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