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