loading SCIP... n: 40 m: 35 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 5 37 1 2 10 3 32 38 6 12 26 7 15 16 8 36 39 11 23 27 13 14 35 20 25 34