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