(1,23) (2,29) (3,30) (5,24) (7,25) (8,18) (9,16) (10,19) (13,27) (15,26) 
nodes: 954  conflicts: 89  modelTime: 1084  solveTime: 1492  totalTime: 2583  modelSize: 41300  readTime: 7 size: 10