loading SCIP... n: 40 m: 67 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false 0 14 23 1 16 36 2 8 15 3 11 27 4 34 38 5 20 22 7 32 37 9 29 33 10 24 35 17 25 31 19 26 28