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