loading SCIP... n: 40 m: 36 packed: 9 density: 69 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 15 36 3 4 22 5 11 39 6 7 10 8 29 33 9 23 34 12 26 32 19 27 35 20 21 38