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