loading SCIP... n: 40 m: 52 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 2 9 1 14 25 3 15 16 4 5 10 6 7 32 8 21 29 11 18 20 12 26 33 19 34 36 23 24 38