loading SCIP... n: 40 m: 93 packed: 11 density: 84 nodes: 0 solverTime: 94 buildTime: 0 solved: false 0 19 20 1 11 28 2 34 35 3 26 33 4 13 16 6 17 38 7 8 18 9 29 30 12 25 27 15 21 39 22 32 36