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