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