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