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