(1,16) (2,28) (5,22) (7,18) (8,19) (12,27) (14,29) (15,20) 
nodes: 498  conflicts: 107  modelTime: 668  solveTime: 517  totalTime: 1192  modelSize: 41300  readTime: 7 size: 8