(1,26) (2,19) (3,18) (4,22) (5,25) (8,29) (10,21) (11,28) (13,17) (14,20) (15,30) 
nodes: 846  conflicts: 62  modelTime: 663  solveTime: 779  totalTime: 1449  modelSize: 41292  readTime: 7 size: 11