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