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