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