loading SCIP... n: 40 m: 43 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 5 9 1 19 26 2 4 35 3 8 14 7 13 20 10 16 22 15 27 38 18 25 34 24 33 36 28 29 30