loading SCIP... n: 40 m: 33 packed: 9 density: 69 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 1 16 2 11 17 3 9 13 4 6 35 5 32 36 8 14 39 12 20 27 15 21 33 25 29 38