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