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