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