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