(2,27) (3,23) (4,19) (5,26) (9,28) (12,16) (13,24) (15,25) 
nodes: 726  conflicts: 93  modelTime: 669  solveTime: 858  totalTime: 1535  modelSize: 41301  readTime: 8 size: 8