(1,25) (2,23) (5,28) (6,19) (7,20) (8,18) (9,29) (10,16) (11,21) (12,22) (14,30) (15,27) 
nodes: 616  conflicts: 88  modelTime: 662  solveTime: 605  totalTime: 1274  modelSize: 41300  readTime: 7 size: 12