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