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