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