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