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