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