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