(1,29) (3,30) (5,28) (6,21) (7,20) (9,27) (10,23) (12,17) (13,22) (15,26) 
nodes: 662  conflicts: 80  modelTime: 662  solveTime: 786  totalTime: 1455  modelSize: 41292  readTime: 7 size: 10