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