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