(1,15) (2,20) (5,11) (7,16) (9,13) (10,19) 
nodes: 676  conflicts: 40  modelTime: 770  solveTime: 735  totalTime: 1511  modelSize: 20646  readTime: 6 size: 6