loading SCIP... n: 40 m: 56 packed: 10 density: 76 nodes: 0 solverTime: 46 buildTime: 0 solved: false 0 8 29 1 18 27 2 9 23 4 28 32 6 30 38 7 17 35 12 20 25 14 26 34 15 24 37 21 22 31