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