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