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