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