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