loading SCIP... n: 40 m: 71 packed: 12 density: 92 nodes: 0 solverTime: 47 buildTime: 0 solved: false 0 4 33 1 3 12 2 25 30 5 14 24 6 8 9 7 11 39 10 15 31 16 23 32 17 18 38 19 29 35 21 26 28 22 27 36