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