(1,29) (3,28) (4,30) (5,27) (6,25) (8,22) (9,23) (11,26) (12,18) (13,21) (14,20) 
nodes: 1362  conflicts: 62  modelTime: 660  solveTime: 1369  totalTime: 2035  modelSize: 41293  readTime: 6 size: 11