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