loading SCIP... n: 40 m: 23 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 19 25 1 26 29 2 14 34 3 11 30 4 7 28 6 9 15 12 31 32 13 21 22 20 37 38