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