loading SCIP... n: 40 m: 29 packed: 8 density: 61 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 11 34 1 5 21 2 25 36 8 33 35 12 14 29 13 15 32 17 18 26 24 27 31