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