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