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