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