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