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