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