loading SCIP... n: 40 m: 95 packed: 12 density: 92 nodes: 0 solverTime: 125 buildTime: 0 solved: false 0 26 39 1 11 32 2 12 36 3 31 38 4 7 28 5 6 21 8 9 35 13 24 34 15 17 18 16 29 30 20 22 33 23 25 37