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