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