loading SCIP... n: 40 m: 52 packed: 11 density: 84 nodes: 0 solverTime: 32 buildTime: 0 solved: false 0 16 24 1 8 39 3 22 32 4 30 34 5 9 25 6 7 26 10 19 23 11 15 37 14 18 28 20 29 38 27 33 35