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