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