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