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