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