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