loading SCIP... n: 40 m: 63 packed: 10 density: 76 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 18 39 1 5 11 2 12 29 3 32 38 6 16 37 7 10 36 8 13 22 9 17 31 19 25 30 23 24 28