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