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