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