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