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