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