loading SCIP... n: 40 m: 58 packed: 10 density: 76 nodes: 0 solverTime: 0 buildTime: 0 solved: false 0 10 28 2 21 26 3 16 32 4 18 30 5 31 34 6 22 25 7 15 33 8 17 35 14 29 38 19 24 37