loading SCIP... n: 40 m: 23 packed: 7 density: 53 nodes: 0 solverTime: 15 buildTime: 0 solved: false 5 7 14 9 22 32 11 18 36 13 15 17 16 19 29 23 25 28 27 34 38