(1,7) (2,22) (3,18) (4,15) (5,9) (6,16) (8,13) (10,27) (11,29) (12,14) (17,19) (20,25) (23,26) (28,30) 
nodes: 4289  conflicts: 71  modelTime: 1741  solveTime: 18134  totalTime: 19895  modelSize: 72264  readTime: 20 size: 14