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