(1,10) (2,25) (3,18) (4,16) (5,15) (6,9) (7,11) (8,19) (12,26) (13,27) (14,22) (17,23) (20,28) (21,29) (24,30) 
nodes: 371133  conflicts: 36  modelTime: 965  solveTime: 1557703  totalTime: 1558679  modelSize: 72275  readTime: 11 size: 15