(1,12) (3,6) (4,17) (5,13) (7,19) (8,15) (9,14) (10,22) (11,20) (16,27) (18,24) (21,30) (23,26) (28,29) 
nodes: 924  conflicts: 51  modelTime: 1695  solveTime: 4609  totalTime: 6324  modelSize: 72262  readTime: 20 size: 14