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