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