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