(2,23) (4,19) (5,18) (7,24) (8,26) (9,28) (12,22) (13,16) (15,27) 
nodes: 1753  conflicts: 80  modelTime: 676  solveTime: 2726  totalTime: 3409  modelSize: 41300  readTime: 7 size: 9