(1,18) (2,21) (5,25) (6,20) (7,29) (8,22) (9,19) (10,16) (12,26) (13,17) (14,30) (15,24) 
nodes: 562  conflicts: 58  modelTime: 658  solveTime: 679  totalTime: 1344  modelSize: 41293  readTime: 7 size: 12