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