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