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