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