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