(1,12) (2,19) (3,10) (4,7) (5,14) (6,27) (8,29) (9,16) (11,30) (13,15) (17,25) (18,28) (20,26) (21,22) (23,24) 
nodes: 37582  conflicts: 28  modelTime: 1120  solveTime: 143614  totalTime: 144752  modelSize: 72266  readTime: 18 size: 15