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