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