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