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