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