loading SCIP... n: 40 m: 73 packed: 10 density: 76 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 9 14 1 5 13 3 26 29 6 11 36 8 16 31 10 21 39 12 23 24 19 20 28 25 34 35 30 32 33