loading SCIP... n: 40 m: 52 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 35 36 2 23 26 3 14 34 6 25 27 8 22 30 9 19 38 10 11 31 13 15 16 17 20 32 18 29 39