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