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