loading SCIP... n: 40 m: 65 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 24 34 4 18 27 6 25 32 7 26 29 8 12 35 10 31 38 14 15 36 16 21 22 17 19 23 20 28 33