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