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