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