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