(1,26) (2,18) (3,27) (4,17) (6,23) (7,22) (9,29) (11,19) (12,16) (13,24) (14,25) (15,30) 
nodes: 953  conflicts: 39  modelTime: 669  solveTime: 1000  totalTime: 1676  modelSize: 41292  readTime: 7 size: 12