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