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