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