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