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