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