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