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