(1,18) (4,24) (5,16) (6,25) (8,27) (9,23) (10,29) (12,17) (14,26) (15,20) 
nodes: 1401  conflicts: 70  modelTime: 657  solveTime: 1625  totalTime: 2289  modelSize: 41293  readTime: 7 size: 10