(1,8) (2,18) (3,16) (4,20) (5,21) (6,27) (7,13) (9,11) (10,25) (12,15) (14,29) (17,22) (19,28) (23,24) (26,30) 
nodes: 57825  conflicts: 48  modelTime: 1734  solveTime: 273105  totalTime: 274858  modelSize: 72265  readTime: 19 size: 15