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