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