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