loading SCIP... n: 40 m: 44 packed: 10 density: 76 nodes: 0 solverTime: 16 buildTime: 0 solved: false 0 19 23 1 7 37 2 27 36 3 15 32 4 28 33 5 35 39 6 24 25 11 22 30 14 20 21 16 26 34