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