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