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