(2,28) (3,27) (4,17) (5,24) (7,16) (8,30) (9,25) (10,29) (11,22) (13,26) (15,18) 
nodes: 419  conflicts: 89  modelTime: 662  solveTime: 644  totalTime: 1312  modelSize: 41300  readTime: 6 size: 11