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