loading SCIP... n: 40 m: 33 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 2 28 32 4 15 38 5 24 36 8 21 26 9 22 31 11 19 25 18 23 27 20 34 37