(1,27) (2,29) (3,19) (6,25) (7,30) (8,24) (9,17) (10,22) (13,26) (15,28) 
nodes: 1001  conflicts: 73  modelTime: 660  solveTime: 1016  totalTime: 1683  modelSize: 41292  readTime: 7 size: 10