Trace number 4503728

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 NameAnswerCPU timeWall clock time
OR-Tools CP-SAT 9.14? (TO) 3600.15 1824.67

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
lopes/normalized-111.opb
MD5SUM4268d39683cc1d999f2f6f0490fb9359
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark31.3265
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33692
Total number of constraints740354
Number of constraints which are clauses662955
Number of constraints which are cardinality constraints (but not clauses)2653
Number of constraints which are nor clauses,nor cardinality constraints74746
Minimum length of a constraint1
Maximum length of a constraint567
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 568
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 

3600.08/1824.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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: 63708 MiB (55924 MiB free)
  memory of node 1: 64465 MiB (60029 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503728-1751143277/watcher-4503728-1751143277 -o /tmp/evaluation-result-4503728-1751143277/solver-4503728-1751143277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11336 --watchdog 3760 cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:355569762 --competition_mode --input HOME/instance-4503728-1751143277.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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
Current StackSize limit: 8192 KiB

solver pid=19529, runsolver pid=19526

[startup+0.100064 s]*
/proc/loadavg: 7.56 7.98 8.05 7/269 19530
/proc/meminfo: memFree=118713384/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=49648 memory=43192 CPUtime=0.09 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) R 19526 19529 11319 0 -1 4194304 10352 0 0 0 8 1 0 0 20 0 1 0 30006524 50839552 10798 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 12412 10798 1088 2102 0 9952 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49648 KiB
Current children cumulated memory: 43192 KiB

[startup+0.205806 s]*
/proc/loadavg: 7.56 7.98 8.05 7/269 19530
/proc/meminfo: memFree=118667456/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=90644 memory=84148 CPUtime=0.19 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) R 19526 19529 11319 0 -1 4194304 19567 0 0 0 17 2 0 0 20 0 1 0 30006524 92819456 21037 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 22661 21037 1088 2102 0 20201 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 90644 KiB
Current children cumulated memory: 84148 KiB

[startup+0.305895 s]*
/proc/loadavg: 7.56 7.98 8.05 7/269 19530
/proc/meminfo: memFree=118623164/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=133700 memory=119148 CPUtime=0.3 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) R 19526 19529 11319 0 -1 4194304 27792 0 0 0 25 5 0 0 20 0 1 0 30006524 136908800 29787 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 33425 29787 1088 2102 0 30965 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 133700 KiB
Current children cumulated memory: 119148 KiB

[startup+0.700199 s]
/proc/loadavg: 7.56 7.98 8.05 7/269 19530
/proc/meminfo: memFree=118558652/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=284604 memory=263776 CPUtime=0.68 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) R 19526 19529 11319 0 -1 4194304 59899 0 0 0 57 11 0 0 20 0 1 0 30006524 291434496 65944 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 71151 65944 1088 2102 0 68691 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 284604 KiB
Current children cumulated memory: 263776 KiB

[startup+1.50018 s]
/proc/loadavg: 7.56 7.98 8.05 7/269 19530
/proc/meminfo: memFree=118203192/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=484168 memory=478732 CPUtime=1.48 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) R 19526 19529 11319 0 -1 4194304 115755 0 0 0 128 20 0 0 20 0 1 0 30006524 495788032 119683 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 121042 119683 1408 2102 0 118582 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 484168 KiB
Current children cumulated memory: 478732 KiB

[startup+3.10561 s]
/proc/loadavg: 7.56 7.98 8.05 7/269 19530
/proc/meminfo: memFree=118140592/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=584504 memory=562636 CPUtime=3.08 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) R 19526 19529 11319 0 -1 4194304 129523 0 0 0 285 23 0 0 20 0 1 0 30006524 598532096 140659 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 146126 140659 1504 2102 0 143666 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 584504 KiB
Current children cumulated memory: 562636 KiB

[startup+6.30018 s]
/proc/loadavg: 7.44 7.95 8.04 7/269 19530
/proc/meminfo: memFree=117388996/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=788292 memory=769080 CPUtime=6.26 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) R 19526 19529 11319 0 -1 4194304 179535 0 0 0 589 37 0 0 20 0 1 0 30006524 807211008 192270 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 197073 192270 1760 2102 0 194613 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 788292 KiB
Current children cumulated memory: 769080 KiB

[startup+12.7002 s]
/proc/loadavg: 7.40 7.93 8.03 7/269 19530
/proc/meminfo: memFree=117164412/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=1028012 memory=1010280 CPUtime=12.64 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) R 19526 19529 11319 0 -1 4194304 227705 0 0 0 1213 51 0 0 20 0 1 0 30006524 1052684288 252570 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 257003 252570 1888 2102 0 254543 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 1028012 KiB
Current children cumulated memory: 1010280 KiB

[startup+25.5003 s]
/proc/loadavg: 7.24 7.87 8.01 8/271 19533
/proc/meminfo: memFree=113430020/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=3334860 memory=2748020 CPUtime=32.08 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 442077 0 0 0 3088 120 0 0 20 0 3 0 30006524 3414896640 687005 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 833715 687005 2144 2102 0 807069 0
[pid=19529/tid=19532] ppid=19526 vsize=3334860 memory=2683288 CPUtime=6.77 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 79624 0 0 0 649 28 0 0 20 0 3 0 30008389 3414896640 687005 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=3334860 memory=2271192 CPUtime=6.71 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 101138 0 0 0 644 27 0 0 20 0 3 0 30008389 3414896640 687005 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 32.08 s
Current children cumulated vsize: 3334860 KiB
Current children cumulated memory: 2748020 KiB

[startup+51.106 s]
/proc/loadavg: 7.46 7.86 8.01 8/271 19533
/proc/meminfo: memFree=113881560/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=2696624 memory=2485556 CPUtime=82.79 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 538376 0 0 0 8128 151 0 0 20 0 3 0 30006524 2761342976 621389 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 674156 621389 2144 2102 0 646654 0
[pid=19529/tid=19532] ppid=19526 vsize=2696624 memory=-8183428089955259845 CPUtime=32.23 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 114315 0 0 0 3191 32 0 0 20 0 3 0 30008389 2761342976 621389 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=2696624 memory=2724524 CPUtime=31.95 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 162693 0 0 0 3141 54 0 0 20 0 3 0 30008389 2761342976 621389 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 82.79 s
Current children cumulated vsize: 2696624 KiB
Current children cumulated memory: 2485556 KiB

[startup+102.3 s]
/proc/loadavg: 7.36 7.78 7.97 8/269 19581
/proc/meminfo: memFree=114719200/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=3101680 memory=2714236 CPUtime=184.39 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 715171 0 0 0 18241 198 0 0 20 0 3 0 30006524 3176120320 678559 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 775420 678559 2144 2102 0 757566 0
[pid=19529/tid=19532] ppid=19526 vsize=3101680 memory=2519804 CPUtime=83.22 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 165642 0 0 0 8286 36 0 0 20 0 3 0 30008389 3176120320 678559 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=3101680 memory=2847612 CPUtime=82.55 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 288094 0 0 0 8158 97 0 0 20 0 3 0 30008389 3176120320 678559 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 184.39 s
Current children cumulated vsize: 3101680 KiB
Current children cumulated memory: 2714236 KiB

[startup+162.3 s]
/proc/loadavg: 7.34 7.68 7.92 9/272 19586
/proc/meminfo: memFree=109312636/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=2696624 memory=2524176 CPUtime=303.43 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 855311 0 0 0 30087 256 0 0 20 0 3 0 30006524 2761342976 631044 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 674156 631044 2144 2102 0 656787 0
[pid=19529/tid=19532] ppid=19526 vsize=2696624 memory=2707856 CPUtime=142.96 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 169720 0 0 0 14259 37 0 0 20 0 3 0 30008389 2761342976 631044 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=2696624 memory=-8183428089955259845 CPUtime=141.83 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 424094 0 0 0 14029 154 0 0 20 0 3 0 30008389 2761342976 631044 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 303.43 s
Current children cumulated vsize: 2696624 KiB
Current children cumulated memory: 2524176 KiB

[startup+222.3 s]
/proc/loadavg: 7.80 7.76 7.93 9/272 19588
/proc/meminfo: memFree=108720440/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=3101680 memory=2856596 CPUtime=422.4 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 935634 0 0 0 41928 312 0 0 20 0 3 0 30006524 3176120320 714149 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 775420 714149 2144 2102 0 758297 0
[pid=19529/tid=19532] ppid=19526 vsize=3101680 memory=2918036 CPUtime=202.68 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 189052 0 0 0 20228 40 0 0 20 0 3 0 30008389 3176120320 714149 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=3101680 memory=-8183430267503679424 CPUtime=201.07 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 485045 0 0 0 19901 206 0 0 20 0 3 0 30008389 3176120320 714149 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 422.4 s
Current children cumulated vsize: 3101680 KiB
Current children cumulated memory: 2856596 KiB

[startup+282.3 s]
/proc/loadavg: 7.99 7.82 7.94 9/271 19590
/proc/meminfo: memFree=108846224/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=2762160 memory=2570176 CPUtime=541.37 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 1012707 0 0 0 53770 367 0 0 20 0 3 0 30006524 2828451840 642544 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 690540 642544 2144 2102 0 667785 0
[pid=19529/tid=19532] ppid=19526 vsize=2762160 memory=2570176 CPUtime=262.42 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 213742 0 0 0 26198 44 0 0 20 0 3 0 30008389 2828451840 642544 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=2762160 memory=14692 CPUtime=260.29 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 537395 0 0 0 25773 256 0 0 20 0 3 0 30008389 2828451840 642544 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 541.37 s
Current children cumulated vsize: 2762160 KiB
Current children cumulated memory: 2570176 KiB

[startup+342.3 s]
/proc/loadavg: 8.04 7.87 7.95 9/271 19592

################
# More data... #
################

Current children cumulated memory: 2588984 KiB

[startup+1302.3 s]
/proc/loadavg: 8.08 8.15 8.10 9/271 19653
/proc/meminfo: memFree=107074240/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=3167216 memory=2828216 CPUtime=2564.08 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2112058 0 0 0 255146 1262 0 0 20 0 3 0 30006524 3243229184 707054 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 791804 707054 2144 2102 0 772711 0
[pid=19529/tid=19532] ppid=19526 vsize=3167216 memory=2670564 CPUtime=1278.22 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 648942 0 0 0 127721 101 0 0 20 0 3 0 30008389 3243229184 707054 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=3167216 memory=2588984 CPUtime=1266.91 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1201240 0 0 0 125607 1084 0 0 20 0 3 0 30008389 3243229184 707054 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 2564.08 s
Current children cumulated vsize: 3167216 KiB
Current children cumulated memory: 2828216 KiB

[startup+1362.3 s]
/proc/loadavg: 8.08 8.14 8.10 9/271 19655
/proc/meminfo: memFree=107080580/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=2762160 memory=2588984 CPUtime=2683.07 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2204871 0 0 0 266990 1317 0 0 20 0 3 0 30006524 2828451840 647246 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 690540 647246 2144 2102 0 671447 0
[pid=19529/tid=19532] ppid=19526 vsize=2762160 memory=2588984 CPUtime=1337.97 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 672445 0 0 0 133694 103 0 0 20 0 3 0 30008389 2828451840 647246 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=2762160 memory=2588984 CPUtime=1326.13 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1270532 0 0 0 131477 1136 0 0 20 0 3 0 30008389 2828451840 647246 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 2683.07 s
Current children cumulated vsize: 2762160 KiB
Current children cumulated memory: 2588984 KiB

[startup+1422.3 s]
/proc/loadavg: 8.14 8.14 8.10 9/271 19657
/proc/meminfo: memFree=105544744/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=2860468 memory=2635660 CPUtime=2802.07 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2269969 0 0 0 278834 1373 0 0 20 0 3 0 30006524 2929119232 658915 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 715117 658915 2144 2102 0 688586 0
[pid=19529/tid=19532] ppid=19526 vsize=2860468 memory=2588984 CPUtime=1397.73 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 688488 0 0 0 139667 106 0 0 20 0 3 0 30008389 2929119232 658915 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=2860468 memory=2588984 CPUtime=1385.36 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1319553 0 0 0 137348 1188 0 0 20 0 3 0 30008389 2929119232 658915 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 2802.07 s
Current children cumulated vsize: 2860468 KiB
Current children cumulated memory: 2635660 KiB

[startup+1482.3 s]
/proc/loadavg: 8.16 8.15 8.10 9/271 19659
/proc/meminfo: memFree=107381516/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=3220576 memory=2790968 CPUtime=2921.06 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2308005 0 0 0 290686 1420 0 0 20 0 3 0 30006524 3297869824 697742 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 805144 697742 2144 2102 0 778613 0
[pid=19529/tid=19532] ppid=19526 vsize=3220576 memory=2635660 CPUtime=1457.48 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 711302 0 0 0 145640 108 0 0 20 0 3 0 30008389 3297869824 697742 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=3220576 memory=2874892 CPUtime=1444.58 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1334771 0 0 0 143226 1232 0 0 20 0 3 0 30008389 3297869824 697742 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 2921.06 s
Current children cumulated vsize: 3220576 KiB
Current children cumulated memory: 2790968 KiB

[startup+1542.3 s]
/proc/loadavg: 7.00 7.84 7.99 7/262 19692
/proc/meminfo: memFree=109689472/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=2860468 memory=2635660 CPUtime=3040.07 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2353926 0 0 0 302535 1472 0 0 20 0 3 0 30006524 2929119232 658915 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 715117 658915 2144 2102 0 688586 0
[pid=19529/tid=19532] ppid=19526 vsize=2860468 memory=2965004 CPUtime=1517.24 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 734284 0 0 0 151614 110 0 0 20 0 3 0 30008389 2929119232 658915 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=2860468 memory=14692 CPUtime=1503.82 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1357701 0 0 0 149100 1282 0 0 20 0 3 0 30008389 2929119232 658915 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 3040.07 s
Current children cumulated vsize: 2860468 KiB
Current children cumulated memory: 2635660 KiB

[startup+1602.3 s]
/proc/loadavg: 6.48 7.53 7.87 7/263 19699
/proc/meminfo: memFree=110054256/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=3265524 memory=2971404 CPUtime=3159.09 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2392622 0 0 0 314386 1523 0 0 20 0 3 0 30006524 3343896576 742851 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 816381 742851 2144 2102 0 789905 0
[pid=19529/tid=19532] ppid=19526 vsize=3265524 memory=3026444 CPUtime=1577 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 756295 0 0 0 157588 112 0 0 20 0 3 0 30008389 3343896576 742851 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=3265524 memory=2717496 CPUtime=1563.06 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1374380 0 0 0 154976 1330 0 0 20 0 3 0 30008389 3343896576 742851 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 3159.09 s
Current children cumulated vsize: 3265524 KiB
Current children cumulated memory: 2971404 KiB

[startup+1662.3 s]
/proc/loadavg: 6.24 7.27 7.76 7/263 19703
/proc/meminfo: memFree=109702596/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=2860468 memory=2635916 CPUtime=3278.11 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2430435 0 0 0 326244 1567 0 0 20 0 3 0 30006524 2929119232 658979 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 715117 658979 2144 2102 0 688641 0
[pid=19529/tid=19532] ppid=19526 vsize=2860468 memory=3026444 CPUtime=1636.75 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 773462 0 0 0 163562 113 0 0 20 0 3 0 30008389 2929119232 658979 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=2860468 memory=17408 CPUtime=1622.31 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1395014 0 0 0 160858 1373 0 0 20 0 3 0 30008389 2929119232 658979 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 3278.11 s
Current children cumulated vsize: 2860468 KiB
Current children cumulated memory: 2635916 KiB

[startup+1722.3 s]
/proc/loadavg: 6.13 7.05 7.65 7/264 19706
/proc/meminfo: memFree=110292120/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=2860468 memory=2635916 CPUtime=3397.14 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2480535 0 0 0 338094 1620 0 0 20 0 3 0 30006524 2929119232 658979 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 715117 658979 2144 2102 0 688641 0
[pid=19529/tid=19532] ppid=19526 vsize=2860468 memory=3026444 CPUtime=1696.51 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 799263 0 0 0 169536 115 0 0 20 0 3 0 30008389 2929119232 658979 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=2860468 memory=3030796 CPUtime=1681.57 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1419307 0 0 0 166734 1423 0 0 20 0 3 0 30008389 2929119232 658979 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 3397.14 s
Current children cumulated vsize: 2860468 KiB
Current children cumulated memory: 2635916 KiB

[startup+1782.3 s]
/proc/loadavg: 6.12 6.87 7.55 7/264 19709
/proc/meminfo: memFree=109451332/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=3265524 memory=2875276 CPUtime=3516.17 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2569053 0 0 0 349943 1674 0 0 20 0 3 0 30006524 3343896576 718819 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 816381 718819 2144 2102 0 789942 0
[pid=19529/tid=19532] ppid=19526 vsize=3265524 memory=10752 CPUtime=1756.26 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 815673 0 0 0 175509 117 0 0 20 0 3 0 30008389 3343896576 718819 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=3265524 memory=2636044 CPUtime=1740.81 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1491377 0 0 0 172607 1474 0 0 20 0 3 0 30008389 3343896576 718819 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 3516.17 s
Current children cumulated vsize: 3265524 KiB
Current children cumulated memory: 2875276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1824.6 s]
/proc/loadavg: 6.13 6.78 7.49 7/264 19711
/proc/meminfo: memFree=109532160/131249992 swapFree=33010684/33010684
[pid=19529] ppid=19526 vsize=3265524 memory=2875276 CPUtime=3600.08 cores=1,3
/proc/19529/stat : 19529 (cp-sat-runner) S 19526 19529 11319 0 -1 4194304 2608878 0 0 0 358301 1707 0 0 20 0 3 0 30006524 3343896576 718819 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 17 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
/proc/19529/statm: 816381 718819 2144 2102 0 789942 0
[pid=19529/tid=19532] ppid=19526 vsize=3265524 memory=5280 CPUtime=1798.39 cores=1,3
/proc/19529/task/19532/stat : 19532 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 838479 0 0 0 179720 119 0 0 20 0 3 0 30008389 3343896576 718819 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 1 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
[pid=19529/tid=19533] ppid=19526 vsize=3265524 memory=5488 CPUtime=1782.58 cores=1,3
/proc/19529/task/19533/stat : 19533 (cp-sat-runner) R 19526 19529 11319 0 -1 4194368 1508391 0 0 0 176753 1505 0 0 20 0 3 0 30008389 3343896576 718819 18446744073709551615 4198400 12805993 140722473065392 0 0 0 0 0 16386 0 0 0 -1 3 0 0 0 0 0 14146912 14333620 31363072 140722473072921 140722473073125 140722473073125 140722473078727 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 3265524 KiB
Current children cumulated memory: 2875276 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

# cumulated CPU time of all completed processes:  user=3583.02 s, system=17.1327 s

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

Child status: 0

Real time (s): 1824.67
CPU time (s): 3600.15
CPU user time (s): 3583.02
CPU system time (s): 17.1327
CPU usage (%): 197.305
Max. virtual memory (cumulated for all children) (KiB): 3334860
Max. memory (cumulated for all children) (KiB): 3030924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.02
system time used= 17.1327
maximum resident set size= 3030924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2608890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30722
involuntary context switches= 93059


# summary of solver processes directly reported to runsolver:
#   pid: 19529
#   total CPU time (s): 3600.15
#   total CPU user time (s): 3583.02
#   total CPU system time (s): 17.1327

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82485 second user time and 9.209 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-06-28 22:41:18
IDJOB=4503728
IDBENCH=155584
IDSOLVER=3320
FILE ID=nodeC025/4503728-1751143277
RUNJOBID= nodeC025-1751133631-11336
SLURM_JOB_ID= 9587425
Free space on /tmp= 432648 MiB

SOLVER NAME= OR-Tools CP-SAT 9.14
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-111.opb
COMMAND LINE= cp-sat-runner --params num_workers:NBCORE,log_search_progress:false,max_time_in_seconds:TIMEOUT,random_seed:RANDOMSEED --competition_mode --input BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503728-1751143277/watcher-4503728-1751143277 -o /tmp/evaluation-result-4503728-1751143277/solver-4503728-1751143277 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1751133631-11336 --watchdog 3760  cp-sat-runner --params num_workers:2,log_search_progress:false,max_time_in_seconds:3600,random_seed:355569762 --competition_mode --input HOME/instance-4503728-1751143277.opb

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

MD5SUM BENCH= 4268d39683cc1d999f2f6f0490fb9359
RANDOM SEED=355569762

nodeC025 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.539
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		: 3543.998
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		: 3599.601
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		: 3599.715
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.841
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.016
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		: 3599.830
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		: 3599.899
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:       131249992 kB
MemFree:        118737252 kB
MemAvailable:   118718244 kB
Buffers:            3280 kB
Cached:           791876 kB
SwapCached:            0 kB
Active:         11192548 kB
Inactive:         584836 kB
Active(anon):   11000312 kB
Inactive(anon):        0 kB
Active(file):     192236 kB
Inactive(file):   584836 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            322680 kB
Writeback:             0 kB
AnonPages:      10982976 kB
Mapped:           126036 kB
Shmem:             18084 kB
KReclaimable:      86320 kB
Slab:             169012 kB
SReclaimable:      86320 kB
SUnreclaim:        82692 kB
KernelStack:        4336 kB
PageTables:        24528 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   11751568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3457024 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432736 MiB
End job on nodeC025 at 2025-06-28 23:11:42