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