(4,24) (5,30) (7,29) (9,23) (10,28) (11,17) (12,19) (13,22) (14,21) (15,18) 
nodes: 1474  conflicts: 74  modelTime: 662  solveTime: 1292  totalTime: 1961  modelSize: 41293  readTime: 7 size: 10