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