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