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