loading SCIP... n: 40 m: 125 packed: 12 density: 92 nodes: 0 solverTime: 109 buildTime: 0 solved: false 0 7 26 1 23 39 2 14 24 3 10 37 4 9 18 6 17 22 8 30 38 11 12 29 13 31 34 15 20 32 16 25 28 21 27 33