(1,16) (2,28) (3,27) (4,11) (5,13) (6,19) (7,15) (8,18) (9,14) (10,21) (12,30) (17,23) (20,22) (24,25) (26,29) 
nodes: 132502  conflicts: 10  modelTime: 1247  solveTime: 672365  totalTime: 673629  modelSize: 72264  readTime: 17 size: 15