(1,26) (2,19) (3,30) (7,16) (8,21) (9,29) (10,18) (11,27) (13,28) 
nodes: 2329  conflicts: 92  modelTime: 658  solveTime: 2610  totalTime: 3275  modelSize: 41293  readTime: 7 size: 9