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