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