loading SCIP... n: 40 m: 32 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 21 34 3 10 23 5 29 38 6 9 17 7 8 20 11 13 30 14 19 27 15 22 26 24 33 36