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