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