Trace number 4519619

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP-NaPS 1.00a1OPT-29 30.1646 30.2851

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
MD5SUMf91dbe69118ae72b0214f31a62e5b167
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-29
Best CPU time to get the best result obtained on this benchmark0.785581
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4500
Total number of constraints1979
Number of constraints which are clauses1830
Number of constraints which are cardinality constraints (but not clauses)89
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint3
Maximum length of a constraint31
Number of terms in the objective function 900
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 900
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

30.06/30.20	c Command: HOME/scip-naps.py --pbsolver HOME/naps-1.03a6 --opt HOME/instance-4519619-1751547866.opb
30.06/30.20	c Solving mode: optimization
30.06/30.20	c SCIP version 9.2.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.3] [GitHash: NoGitInfo]
30.06/30.20	c Copyright (c) 2002-2025 Zuse Institute Berlin (ZIB)
30.06/30.20	c original problem has 4500 variables (4500 bin, 0 int, 0 impl, 0 cont) and 1979 constraints
30.06/30.20	c feasible solution found by trivial heuristic after 0.0 seconds, objective value 0.000000e+00
30.06/30.20	c presolving:
30.06/30.20	c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1079 upgd conss, 0 impls, 89 clqs
30.06/30.20	c (round 2, medium)     0 del vars, 60 del conss, 930 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1079 upgd conss, 0 impls, 1919 clqs
30.06/30.20	c (round 3, exhaustive) 0 del vars, 90 del conss, 930 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1079 upgd conss, 0 impls, 1919 clqs
30.06/30.20	c (round 4, fast)       870 del vars, 90 del conss, 930 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1079 upgd conss, 0 impls, 989 clqs
30.06/30.20	c (round 5, fast)       900 del vars, 120 del conss, 930 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1079 upgd conss, 0 impls, 959 clqs
30.06/30.20	c (round 6, exhaustive) 900 del vars, 120 del conss, 930 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1979 upgd conss, 0 impls, 959 clqs
30.06/30.20	c    (0.1s) probing: 51/3600 (1.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
30.06/30.20	c    (0.1s) probing aborted: 50/50 successive totally useless probings
30.06/30.20	c    (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
30.06/30.20	c    (0.1s) symmetry computation finished: 86 generators found (max: 1500, log10 of symmetry group size: 90.0) (symcode time: 0.03)
30.06/30.20	c dynamic symmetry handling statistics:
30.06/30.20	c    orbitopal reduction:       no components
30.06/30.20	c    orbital reduction:          1 components of sizes 86
30.06/30.20	c    lexicographic reduction:   86 permutations with support sizes 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 120, 122, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 122, 238, 238
30.06/30.20	c handled 1 out of 1 symmetry components
30.06/30.20	c presolving (7 rounds: 7 fast, 5 medium, 4 exhaustive):
30.06/30.20	c  900 deleted vars, 120 deleted constraints, 930 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
30.06/30.20	c  0 implications, 959 cliques
30.06/30.20	c presolved problem has 3600 variables (3600 bin, 0 int, 0 impl, 0 cont) and 2789 constraints
30.06/30.20	c     959 constraints of type <setppc>
30.06/30.20	c    1830 constraints of type <logicor>
30.06/30.20	c transformed objective value is always integral (scale: 1)
30.06/30.20	c Presolving Time: 0.13
30.06/30.20	c transformed 1/1 original solutions to the transformed problem space
30.06/30.20	c 
30.06/30.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
30.06/30.20	c p 0.2s|     1 |     0 |    32 |     - | vbounds|   0 |3600 |2825 |2789 |   0 |  0 |  36 |   0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
30.06/30.20	c   0.3s|     1 |     0 |  1296 |     - |    65M |   0 |3600 |2861 |2789 |   0 |  0 |  76 |   0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
30.06/30.20	c   0.5s|     1 |     0 |  1687 |     - |    67M |   0 |3600 |2861 |2815 |  26 |  1 |  76 |   0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
30.06/30.20	c   0.6s|     1 |     0 |  1802 |     - |    68M |   0 |3600 |2859 |2830 |  41 |  2 |  76 |   0 |-3.000000e+01 |-1.000000e+00 |2900.00%| unknown
30.06/30.20	c r 0.6s|     1 |     0 |  1802 |     - |shifting|   0 |3600 |2859 |2830 |  41 |  2 |  76 |   0 |-3.000000e+01 |-5.000000e+00 | 500.00%| unknown
30.06/30.20	c   0.7s|     1 |     0 |  1905 |     - |    70M |   0 |3600 |2858 |2841 |  52 |  3 |  76 |   0 |-3.000000e+01 |-5.000000e+00 | 500.00%| unknown
30.06/30.20	c   0.8s|     1 |     0 |  2021 |     - |    71M |   0 |3600 |2857 |2851 |  62 |  4 |  76 |   0 |-3.000000e+01 |-5.000000e+00 | 500.00%| unknown
30.06/30.20	c   1.0s|     1 |     0 |  2720 |     - |    72M |   0 |3600 |2857 |2869 |  80 |  5 |  76 |   0 |-3.000000e+01 |-5.000000e+00 | 500.00%| unknown
30.06/30.20	c   1.1s|     1 |     0 |  2968 |     - |    72M |   0 |3600 |2856 |2880 |  91 |  6 |  76 |   0 |-3.000000e+01 |-5.000000e+00 | 500.00%| unknown
30.06/30.20	c r 1.1s|     1 |     0 |  2968 |     - |shifting|   0 |3600 |2856 |2880 |  91 |  6 |  76 |   0 |-3.000000e+01 |-6.000000e+00 | 400.00%| unknown
30.06/30.20	c   1.2s|     1 |     0 |  3228 |     - |    73M |   0 |3600 |2856 |2888 |  99 |  7 |  76 |   0 |-3.000000e+01 |-6.000000e+00 | 400.00%| unknown
30.06/30.20	c r 1.3s|     1 |     0 |  3228 |     - |shifting|   0 |3600 |2856 |2888 |  99 |  7 |  76 |   0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
30.06/30.20	c   1.4s|     1 |     0 |  3373 |     - |    74M |   0 |3600 |2855 |2895 | 106 |  8 |  76 |   0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
30.06/30.20	c   1.5s|     1 |     0 |  3593 |     - |    75M |   0 |3600 |2855 |2904 | 115 |  9 |  76 |   0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
30.06/30.20	c   1.9s|     1 |     0 |  3660 |     - |    79M |   0 |3600 |2855 |2909 | 120 | 10 |  76 |   0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
30.06/30.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
30.06/30.20	c   1.9s|     1 |     0 |  3907 |     - |    80M |   0 |3600 |2855 |2918 | 129 | 11 |  76 |   0 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
30.06/30.20	c   3.9s|     1 |     2 | 11613 |     - |    80M |   0 |3600 |2884 |2918 | 129 | 11 | 106 |  20 |-3.000000e+01 |-7.000000e+00 | 328.57%| unknown
30.06/30.20	c r 8.0s|    18 |    11 | 19673 | 929.3 |shifting|  10 |3600 |2825 |2819 | 141 |  1 | 108 | 264 |-3.000000e+01 |-8.000000e+00 | 275.00%|  52.29%
30.06/30.20	c r12.1s|    31 |    24 | 21547 | 589.1 |shifting|  17 |3600 |2824 |2823 | 163 |  2 | 108 | 482 |-3.000000e+01 |-1.100000e+01 | 172.73%|  52.29%
30.06/30.20	c r18.8s|    56 |    48 | 24265 | 370.7 |shifting|  22 |3600 |2824 |2829 | 200 |  0 | 108 | 877 |-3.000000e+01 |-1.400000e+01 | 114.29%|  54.58%
30.06/30.20	c r18.9s|    56 |    47 | 24607 | 376.9 |shifting|  22 |3600 |2824 |2841 | 212 |  3 | 108 | 877 |-3.000000e+01 |-1.500000e+01 | 100.00%|  59.17%
30.06/30.20	c d20.4s|    59 |    52 | 30259 | 454.9 |pscostdi|  23 |3600 |2794 |2830 |   0 |  1 | 108 | 925 |-3.000000e+01 |-2.500000e+01 |  20.00%|  59.17%
30.06/30.20	c L21.4s|    85 |    63 | 35472 | 376.2 |    alns|  23 |3600 |2795 |2838 | 281 |  2 | 109 | 934 |-3.000000e+01 |-2.800000e+01 |   7.14%|  62.61%
30.06/30.20	c  21.6s|   100 |    78 | 36264 | 327.2 |    87M |  37 |3600 |2796 |2835 | 287 |  1 | 110 | 934 |-3.000000e+01 |-2.800000e+01 |   7.14%|  62.92%
30.06/30.20	c o22.4s|   151 |   125 | 45382 | 276.7 |objpscos|  49 |3600 |2798 |2847 | 352 |  1 | 112 | 941 |-3.000000e+01 |-2.900000e+01 |   3.45%|  62.92%
30.06/30.20	c  23.1s|   200 |    33 | 49025 | 226.9 |    89M |  49 |3600 |2748 |2839 | 389 |  1 | 194 | 941 |-3.000000e+01 |-2.900000e+01 |   3.45%|  76.78%
30.06/30.20	c  24.1s|   300 |    24 | 55896 | 174.0 |    90M |  49 |3600 |2918 |2826 | 427 |  1 | 384 | 941 |-3.000000e+01 |-2.900000e+01 |   3.45%|  79.48%
30.06/30.20	c  25.5s|   400 |    37 | 64495 | 151.9 |    92M |  49 |3600 |2973 |2838 | 490 |  0 | 529 | 941 |-3.000000e+01 |-2.900000e+01 |   3.45%|  80.47%
30.06/30.20	c  26.8s|   500 |    37 | 71155 | 134.8 |    93M |  49 |3600 |3073 |2849 | 561 |  0 | 709 | 941 |-3.000000e+01 |-2.900000e+01 |   3.45%|  82.40%
30.06/30.20	c  27.8s|   600 |    32 | 76752 | 121.7 |    93M |  49 |3600 |3146 |2836 | 595 |  1 | 879 | 941 |-3.000000e+01 |-2.900000e+01 |   3.45%|  86.09%
30.06/30.20	c  time | node  | left  |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr|  dualbound   | primalbound  |  gap   | compl. 
30.06/30.20	c  29.0s|   700 |    22 | 83786 | 114.3 |    94M |  49 |3600 |3222 |2850 | 628 |  1 |1080 | 941 |-3.000000e+01 |-2.900000e+01 |   3.45%|  87.95%
30.06/30.20	c  30.0s|   800 |     2 | 93314 | 111.9 |    94M |  49 |3600 |2410 |2833 | 632 |  1 |1229 | 941 |-3.000000e+01 |-2.900000e+01 |   3.45%|  99.08%
30.06/30.20	c 
30.06/30.23	c SCIP Status        : problem is solved [optimal solution found]
30.06/30.23	c Solving Time (sec) : 30.03
30.06/30.23	c Solving Nodes      : 802
30.06/30.23	c Primal Bound       : -2.90000000000000e+01 (21 solutions)
30.06/30.23	c Dual Bound         : -2.90000000000000e+01
30.06/30.23	c Gap                : 0.00 %
30.06/30.23	c All original constraints are satisfied.
30.06/30.23	c SCIP's best solution is verified feasible for the original problem.
30.06/30.23	c SCIP found an optimal solution.
30.06/30.23	o -29
30.06/30.23	s OPTIMUM FOUND
30.06/30.23	v x1 -x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
30.06/30.23	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689
30.06/30.23	v -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x2701 -x2702 x2703 x2704 x2705 x2706 x2707 x2708 x2709 x2710 x2711 x2712 x2713 x2714 x2715 x2716 x2717 x2718 x2719 x2720 x2721 x2722 x2723 x2724 x2725 x2726 x2727 x2728 x2729 x2730 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992
30.06/30.23	v -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 x1280
30.06/30.23	v -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 x1437 -x1438 -x1439 -x1440 x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 x1563 -x1564 -x1565 -x1566 -x1567
30.06/30.23	v -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853
30.06/30.23	v -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140
30.06/30.23	v -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426
30.06/30.23	v -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 x2700 x4471 x4472 x4473 x4474 x4475 x4476 x4477 x4478 x4479 x4480 x4481 x4482 x4483 -x4484 x4485
30.06/30.23	v x4486 x4487 x4488 x4489 x4490 x4491 x4492 x4493 x4494 x4495 x4496 x4497 x4498 x4499 x4500 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004
30.06/30.23	v -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291
30.06/30.23	v -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578
30.06/30.23	v -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864
30.06/30.23	v -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150
30.06/30.23	v -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 -x4324 -x4325 x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437
30.06/30.23	v -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470

Verifier Data 

OK	-29

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62427 MiB free)
  memory of node 1: 64507 MiB (60406 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519619-1751547866/watcher-4519619-1751547866 -o /tmp/evaluation-result-4519619-1751547866/solver-4519619-1751547866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751544246-83692 --watchdog 3760 ./scip-naps-1.00.sh HOME/instance-4519619-1751547866.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=84244, runsolver pid=84241
Current StackSize limit: 8192 KiB


[startup+0.100071 s]*
/proc/loadavg: 4.09 4.13 4.09 5/270 84249
/proc/meminfo: memFree=125773540/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1186660 memory=31516 CPUtime=0.07 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 3645 0 0 0 5 2 0 0 20 0 1 0 70466905 1215139840 7879 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 296665 7879 4871 1 0 268687 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 1190852 KiB
Current children cumulated memory: 34460 KiB

[startup+0.205871 s]*
/proc/loadavg: 4.09 4.13 4.09 5/270 84249
/proc/meminfo: memFree=125748352/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1216748 memory=68892 CPUtime=0.17 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 10170 0 0 0 14 3 0 0 20 0 1 0 70466905 1245949952 17223 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 304187 17223 7943 1 0 275545 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 1220940 KiB
Current children cumulated memory: 71836 KiB

[startup+0.305788 s]*
/proc/loadavg: 4.09 4.13 4.09 5/270 84249
/proc/meminfo: memFree=125724160/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1254168 memory=95772 CPUtime=0.27 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 16804 0 0 0 23 4 0 0 20 0 1 0 70466905 1284268032 23943 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 313542 23943 8039 1 0 284900 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 1258360 KiB
Current children cumulated memory: 98716 KiB

[startup+0.700226 s]
/proc/loadavg: 4.09 4.13 4.09 5/270 84249
/proc/meminfo: memFree=125716096/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1287356 memory=126688 CPUtime=0.65 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 25106 0 0 0 61 4 0 0 20 0 1 0 70466905 1318252544 31672 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 321839 31672 8135 1 0 293197 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 1291548 KiB
Current children cumulated memory: 129632 KiB

[startup+1.50022 s]
/proc/loadavg: 4.09 4.13 4.09 5/270 84249
/proc/meminfo: memFree=125691908/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1287356 memory=126944 CPUtime=1.45 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 25171 0 0 0 141 4 0 0 20 0 1 0 70466905 1318252544 31736 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 321839 31736 8135 1 0 293197 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 1291548 KiB
Current children cumulated memory: 129888 KiB

[startup+3.10567 s]
/proc/loadavg: 4.08 4.13 4.09 5/270 84249
/proc/meminfo: memFree=125674308/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1295672 memory=136772 CPUtime=3.05 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 28574 0 0 0 300 5 0 0 20 0 1 0 70466905 1326768128 34193 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 323918 34193 8135 1 0 295276 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 1299864 KiB
Current children cumulated memory: 139716 KiB

[startup+6.30023 s]
/proc/loadavg: 4.08 4.13 4.09 5/270 84249
/proc/meminfo: memFree=125660876/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1300888 memory=140436 CPUtime=6.24 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 31038 0 0 0 618 6 0 0 20 0 1 0 70466905 1332109312 35109 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 325222 35109 8135 1 0 296580 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1305080 KiB
Current children cumulated memory: 143380 KiB

[startup+12.7002 s]
/proc/loadavg: 4.14 4.14 4.10 5/269 84250
/proc/meminfo: memFree=125651488/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1303236 memory=143200 CPUtime=12.62 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 32630 0 0 0 1256 6 0 0 20 0 1 0 70466905 1334513664 35800 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 325809 35800 8135 1 0 297167 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 1307428 KiB
Current children cumulated memory: 146144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.09 5/269 84299
/proc/meminfo: memFree=125458476/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1316400 memory=157664 CPUtime=25.38 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 39921 0 0 0 2531 7 0 0 20 0 1 0 70466905 1347993600 39416 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 329100 39416 8135 1 0 300458 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1320592 KiB
Current children cumulated memory: 160608 KiB

[startup+30.285 s]
# the end of solver process 84244 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=30.069 s, system=0.095624 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+25.6003 s]
/proc/loadavg: 4.12 4.14 4.09 5/269 84299
/proc/meminfo: memFree=125458476/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1316400 memory=157664 CPUtime=25.48 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 39921 0 0 0 2541 7 0 0 20 0 1 0 70466905 1347993600 39416 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 329100 39416 8135 1 0 300458 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 1320592 KiB
Current children cumulated memory: 160608 KiB

[startup+28.8002 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 84299
/proc/meminfo: memFree=125413444/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1319584 memory=160880 CPUtime=28.67 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 44658 0 0 0 2859 8 0 0 20 0 1 0 70466905 1351254016 40220 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 329896 40220 8135 1 0 301254 0
Current children cumulated CPU time: 28.67 s
Current children cumulated vsize: 1323776 KiB
Current children cumulated memory: 163824 KiB

[startup+29.6002 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 84299
/proc/meminfo: memFree=125413444/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1319584 memory=160888 CPUtime=29.47 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 45251 0 0 0 2939 8 0 0 20 0 1 0 70466905 1351254016 40222 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 329896 40222 8135 1 0 301254 0
Current children cumulated CPU time: 29.47 s
Current children cumulated vsize: 1323776 KiB
Current children cumulated memory: 163832 KiB

[startup+30.0002 s]*
/proc/loadavg: 4.11 4.14 4.09 5/269 84299
/proc/meminfo: memFree=125413500/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1322644 memory=163704 CPUtime=29.87 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 45981 0 0 0 2979 8 0 0 20 0 1 0 70466905 1354387456 40926 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 330661 40926 8135 1 0 302019 0
Current children cumulated CPU time: 29.87 s
Current children cumulated vsize: 1326836 KiB
Current children cumulated memory: 166648 KiB

[startup+30.2002 s]
/proc/loadavg: 4.11 4.14 4.09 5/269 84299
/proc/meminfo: memFree=125413500/131250000 swapFree=33008100/33010684
[pid=84244] ppid=84241 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/84244/stat : 84244 (scip-naps-1.00.) S 84241 84244 83653 0 -1 4194304 255 343 0 0 0 0 0 0 20 0 1 0 70466903 4292608 736 18446744073709551615 94923795050496 94923795945029 140737114034464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94923796184080 94923796231824 94923805007872 140737114036641 140737114036738 140737114036738 140737114042340 0
/proc/84244/statm: 1048 736 672 219 0 110 0
[pid=84249] ppid=84244 vsize=1319584 memory=160892 CPUtime=30.06 cores=5,7
/proc/84249/stat : 84249 (python3) R 84244 84244 83653 0 -1 4194304 45981 0 0 0 2998 8 0 0 20 0 1 0 70466905 1351254016 40223 18446744073709551615 94117377802240 94117377802617 140725146892864 0 0 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0 94117377813912 94117377814532 94117399805952 140725146896743 140725146896930 140725146896930 140725146902503 0
/proc/84249/statm: 329896 40223 8135 1 0 301254 0
Current children cumulated CPU time: 30.06 s
Current children cumulated vsize: 1323776 KiB
Current children cumulated memory: 163836 KiB

Child status: 0

Real time (s): 30.2851
CPU time (s): 30.1646
CPU user time (s): 30.069
CPU system time (s): 0.095624
CPU usage (%): 99.6023
Max. virtual memory (cumulated for all children) (KiB): 1326836
Max. memory (cumulated for all children) (KiB): 166648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.069
system time used= 0.095624
maximum resident set size= 163836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47319
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 334
involuntary context switches= 47


# summary of solver processes directly reported to runsolver:
#   pid: 84244
#   total CPU time (s): 30.1646
#   total CPU user time (s): 30.069
#   total CPU system time (s): 0.095624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058122 second user time and 0.193332 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-03 15:04:26
IDJOB=4519619
IDBENCH=177316
IDSOLVER=3368
FILE ID=nodeC013/4519619-1751547866
RUNJOBID= nodeC013-1751544246-83692
SLURM_JOB_ID= 9598713
Free space on /tmp= 432608 MiB

SOLVER NAME= SCIP-NaPS 1.00a1
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
COMMAND LINE= ./scip-naps-1.00.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519619-1751547866/watcher-4519619-1751547866 -o /tmp/evaluation-result-4519619-1751547866/solver-4519619-1751547866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751544246-83692 --watchdog 3760  ./scip-naps-1.00.sh HOME/instance-4519619-1751547866.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167
RANDOM SEED=579421334

nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.837
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.780
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.570
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3566.261
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.836
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.856
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3508.270
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.319
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125781972 kB
MemAvailable:   125905912 kB
Buffers:            1668 kB
Cached:           918472 kB
SwapCached:         2008 kB
Active:          4259620 kB
Inactive:         554208 kB
Active(anon):    3887324 kB
Inactive(anon):    17632 kB
Active(file):     372296 kB
Inactive(file):   536576 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33008100 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12980 kB
Writeback:             0 kB
AnonPages:       3894804 kB
Mapped:           121992 kB
Shmem:             11268 kB
KReclaimable:     108212 kB
Slab:             197712 kB
SReclaimable:     108212 kB
SUnreclaim:        89500 kB
KernelStack:        4416 kB
PageTables:        11372 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7739584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432604 MiB
End job on nodeC013 at 2025-07-03 15:04:57