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