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