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