loading SCIP... n: 40 m: 33 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 24 27 1 21 30 2 20 38 3 10 13 5 16 34 6 15 32 8 19 39 11 29 35 14 18 25 23 26 33