(1,27) (2,29) (4,20) (5,21) (6,22) (7,30) (8,18) (10,19) (12,23) (15,17) 
nodes: 1256  conflicts: 82  modelTime: 670  solveTime: 1104  totalTime: 1791  modelSize: 41301  readTime: 17 size: 10