loading SCIP... n: 40 m: 29 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 8 27 3 9 32 4 12 15 5 6 19 10 11 26 16 21 34 17 20 37 24 25 39 28 33 36 29 31 35