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