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