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