(1,27) (2,25) (4,19) (5,29) (6,20) (8,30) (10,16) (12,23) (14,21) 
nodes: 1068  conflicts: 92  modelTime: 670  solveTime: 1426  totalTime: 2103  modelSize: 41300  readTime: 7 size: 9