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