loading SCIP... n: 40 m: 26 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 1 15 2 4 35 3 12 39 5 7 24 8 32 38 14 21 34 16 28 37 17 22 31 18 19 20 27 33 36