(1,9) (2,11) (3,16) (4,10) (5,13) (6,14) (7,21) (8,22) (12,30) (15,28) (17,25) (18,26) (19,23) (20,29) (24,27) 
nodes: 40299  conflicts: 43  modelTime: 1316  solveTime: 145731  totalTime: 147058  modelSize: 72274  readTime: 11 size: 15