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