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