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