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