loading SCIP... n: 40 m: 58 packed: 11 density: 84 nodes: 0 solverTime: 15 buildTime: 0 solved: false 0 15 17 2 6 30 3 25 34 5 7 18 8 16 38 9 19 36 10 21 37 11 22 23 12 24 33 14 20 26 27 29 32