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