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