(1,29) (2,24) (3,20) (4,17) (5,26) (6,25) (7,16) (8,18) (9,30) (10,23) (12,22) (13,19) (14,27) (15,28) 
nodes: 999  conflicts: 40  modelTime: 660  solveTime: 1208  totalTime: 1874  modelSize: 41292  readTime: 6 size: 14