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