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