(1,19) (2,23) (4,20) (5,16) (6,17) (7,28) (10,27) (12,30) (13,26) (14,22) 
nodes: 1461  conflicts: 71  modelTime: 659  solveTime: 1799  totalTime: 2464  modelSize: 41293  readTime: 6 size: 10