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