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