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