(1,19) (2,26) (4,22) (5,30) (6,18) (7,23) (10,24) (11,28) (12,21) (15,16) 
nodes: 552  conflicts: 65  modelTime: 663  solveTime: 639  totalTime: 1308  modelSize: 41293  readTime: 6 size: 10