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