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