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