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