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