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