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