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