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