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