(2,27) (4,28) (5,30) (6,24) (7,22) (8,16) (9,25) (11,17) (12,26) (13,19) (15,23) 
nodes: 955  conflicts: 72  modelTime: 659  solveTime: 936  totalTime: 1601  modelSize: 41293  readTime: 6 size: 11