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