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