(1,9) (2,24) (3,14) (4,27) (5,17) (6,11) (7,21) (8,18) (10,22) (12,15) (13,26) (16,28) (19,29) (20,23) (25,30) 
nodes: 239092  conflicts: 42  modelTime: 1549  solveTime: 785693  totalTime: 787262  modelSize: 72265  readTime: 19 size: 15