loading SCIP... n: 40 m: 250 packed: 13 density: 100 nodes: 0 solverTime: 875 buildTime: 0 solved: true 0 18 39 1 22 36 2 29 33 3 35 38 4 17 20 5 26 32 6 12 21 7 14 19 8 9 31 10 25 37 11 16 30 13 15 24 23 28 34