loading SCIP... n: 40 m: 55 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 3 17 2 8 21 4 5 22 6 9 19 7 14 32 10 12 35 13 25 39 15 26 37 18 20 24 28 30 33