(2,25) (4,17) (5,16) (6,29) (7,19) (10,18) (12,26) (13,28) (14,20) (15,21) 
nodes: 1225  conflicts: 83  modelTime: 671  solveTime: 1301  totalTime: 1979  modelSize: 41292  readTime: 7 size: 10