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