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