(1,20) (2,9) (3,6) (4,27) (5,11) (7,8) (10,17) (12,14) (13,28) (15,19) (16,18) (21,26) (22,23) (24,25) 
nodes: 298772  conflicts: 40  modelTime: 1730  solveTime: 1382170  totalTime: 1383919  modelSize: 72268  readTime: 19 size: 14