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