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