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