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