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