loading SCIP... n: 40 m: 54 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 14 35 1 25 38 2 3 6 4 8 21 7 13 16 9 27 31 10 15 26 17 34 37 19 24 33 28 29 30