loading SCIP... n: 40 m: 129 packed: 12 density: 92 nodes: 0 solverTime: 125 buildTime: 0 solved: false 0 5 34 1 4 10 2 8 14 3 7 38 6 23 33 9 20 30 11 25 26 12 15 32 13 31 36 17 18 22 21 28 37 27 29 39