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