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