(1,29) (2,20) (3,27) (5,22) (8,25) (10,21) (11,24) (13,26) (14,19) (15,16) 
nodes: 857  conflicts: 67  modelTime: 663  solveTime: 850  totalTime: 1519  modelSize: 41300  readTime: 6 size: 10