loading SCIP... n: 40 m: 18 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 3 35 1 4 25 2 18 19 5 28 38 6 9 32 8 20 31 15 30 39 17 29 37