loading SCIP... n: 40 m: 37 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 34 37 1 29 32 2 21 22 4 24 30 7 20 35 8 23 38 9 18 28 10 13 14 12 16 39 26 33 36