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