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