loading SCIP... n: 40 m: 78 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 12 32 1 13 15 2 14 25 3 31 33 4 8 37 5 22 27 9 10 28 11 23 29 16 18 34 21 35 36 26 38 39