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