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