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