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