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