loading SCIP... n: 40 m: 85 packed: 12 density: 92 nodes: 0 solverTime: 109 buildTime: 0 solved: false 0 12 39 1 15 17 2 30 37 3 8 27 5 20 23 6 10 13 7 26 38 9 25 31 11 16 18 14 24 29 21 28 33 22 32 34