loading SCIP... n: 40 m: 35 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 9 32 1 30 34 4 8 20 5 21 28 7 35 38 11 26 31 13 15 25 14 16 22 18 27 29 19 36 37