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