loading SCIP... n: 40 m: 43 packed: 10 density: 76 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 12 28 3 31 38 5 6 35 9 13 16 10 29 32 11 14 26 17 20 25 18 19 30 21 27 34 23 24 33