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