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