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