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