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