(1,18) (2,17) (3,30) (4,19) (5,29) (6,23) (7,24) (8,16) (9,21) (10,20) (11,27) (12,22) (13,25) (14,26) (15,28) 
nodes: 1207  conflicts: 0  modelTime: 1067  solveTime: 1233  totalTime: 2306  modelSize: 41292  readTime: 6 size: 15