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