loading SCIP... n: 40 m: 38 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 4 27 2 10 33 3 9 18 5 17 19 8 29 32 13 16 38 14 34 36 20 26 30 21 28 31 24 25 35