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