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