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