(1,26) (4,25) (5,18) (6,28) (8,22) (10,21) (12,29) (13,17) (15,16) 
nodes: 369  conflicts: 102  modelTime: 671  solveTime: 699  totalTime: 1377  modelSize: 41301  readTime: 7 size: 9