(1,27) (3,30) (4,19) (6,24) (7,21) (8,17) (10,26) (11,28) (13,22) (14,29) 
nodes: 571  conflicts: 70  modelTime: 672  solveTime: 663  totalTime: 1342  modelSize: 41300  readTime: 7 size: 10