loading SCIP... n: 40 m: 86 packed: 11 density: 84 nodes: 0 solverTime: 141 buildTime: 0 solved: false 0 12 18 2 21 22 3 5 35 4 11 36 6 9 38 7 31 34 10 13 37 14 28 39 15 25 32 17 26 30 19 20 27