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