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