(1,30) (2,27) (3,18) (4,16) (5,28) (6,25) (7,17) (8,26) (9,24) (10,22) (11,29) (12,19) (14,20) (15,23) 
nodes: 2242  conflicts: 16  modelTime: 663  solveTime: 2894  totalTime: 3563  modelSize: 41292  readTime: 6 size: 14