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