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