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