Trace number 4491206

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
PRINTEMPS 2025-05-28? (TO) 3600.17 2001.25

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_14.opb
MD5SUM0e700fc92a231fc1e477aebd59f20b52
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark137
Best CPU time to get the best result obtained on this benchmark72000.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3296
Total number of constraints6384
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints6383
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 91
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 218
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 286
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1475
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
0.15/0.10	c #variable: 3296
0.15/0.10	c #constraint: 6384
0.15/0.10	c #equal: 0
0.15/0.10	c intsize: 11
0.15/0.10	c sizeproduct: 0
0.15/0.10	c #soft: 0
0.15/0.10	c mincost: 0
0.15/0.10	c maxcost: 0
0.15/0.10	c sumcost: 0
0.15/0.10	c iteration_max: -1
0.15/0.10	c time_max: -1
0.15/0.10	c number_of_threads(move update): 2
0.15/0.10	c number_of_threads(move evaluation): 2
0.15/0.10	c seed: 1355658682
3600.10/2001.20	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: 63665 MiB (63010 MiB free)
  memory of node 1: 64507 MiB (64001 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4491206-1751374507/watcher-4491206-1751374507 -o /tmp/evaluation-result-4491206-1751374507/solver-4491206-1751374507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751374507-50065 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1355658682 HOME/instance-4491206-1751374507.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=50112, runsolver pid=50105
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 0.86 1.03 1.24 7/266 50127
/proc/meminfo: memFree=130028732/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=97956 memory=35428 CPUtime=0.15 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) S 50105 50112 50054 0 -1 4194304 7953 0 0 0 13 2 0 0 20 0 2 0 53130580 100306944 8857 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 24489 8857 608 633 0 10403 0
[pid=50112/tid=50117] ppid=50105 vsize=97956 memory=4026531959 CPUtime=0.07 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 3086 0 0 0 6 1 0 0 20 0 2 0 53130580 100306944 8857 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 97956 KiB
Current children cumulated memory: 35428 KiB

[startup+0.205338 s]*
/proc/loadavg: 0.86 1.03 1.24 6/266 50131
/proc/meminfo: memFree=130000700/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=120484 memory=58084 CPUtime=0.26 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 13558 0 0 0 23 3 0 0 20 0 2 0 53130580 123375616 14521 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 30121 14521 672 633 0 16042 0
[pid=50112/tid=50117] ppid=50105 vsize=120484 memory=3472328300254212635 CPUtime=0.07 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) S 50105 50112 50054 0 -1 4194368 3093 0 0 0 6 1 0 0 20 0 2 0 53130580 123375616 14521 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 120484 KiB
Current children cumulated memory: 58084 KiB

[startup+0.305393 s]*
/proc/loadavg: 0.86 1.03 1.24 6/264 50135
/proc/meminfo: memFree=129991736/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=139164 memory=76772 CPUtime=0.35 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 18222 0 0 0 32 3 0 0 20 0 2 0 53130580 142503936 19193 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 34791 19193 672 633 0 20712 0
[pid=50112/tid=50117] ppid=50105 vsize=139428 memory=-6000919476985031786 CPUtime=0.07 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) S 50105 50112 50054 0 -1 4194368 3093 0 0 0 6 1 0 0 20 0 2 0 53130580 142774272 19225 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 139164 KiB
Current children cumulated memory: 76772 KiB

[startup+0.700176 s]
/proc/loadavg: 0.86 1.03 1.24 7/264 50135
/proc/meminfo: memFree=129967544/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=152656 memory=90364 CPUtime=0.86 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 22842 0 0 0 82 4 0 0 20 0 2 0 53130580 156319744 22591 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 38164 22591 672 633 0 24085 0
[pid=50112/tid=50117] ppid=50105 vsize=152656 memory=17920 CPUtime=0.18 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 3093 0 0 0 17 1 0 0 20 0 2 0 53130580 156319744 22591 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 152656 KiB
Current children cumulated memory: 90364 KiB

[startup+1.50015 s]
/proc/loadavg: 1.35 1.13 1.27 7/264 50135
/proc/meminfo: memFree=129964420/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=153292 memory=90792 CPUtime=2.29 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 35524 0 0 0 224 5 0 0 20 0 2 0 53130580 156971008 22698 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 38323 22698 672 633 0 24244 0
[pid=50112/tid=50117] ppid=50105 vsize=153292 memory=17920 CPUtime=0.81 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 3124 0 0 0 80 1 0 0 20 0 2 0 53130580 156971008 22698 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 153292 KiB
Current children cumulated memory: 90792 KiB

[startup+3.10517 s]
/proc/loadavg: 1.35 1.13 1.27 9/269 50173
/proc/meminfo: memFree=129964972/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=153888 memory=91444 CPUtime=5.33 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 37437 0 0 0 528 5 0 0 20 0 2 0 53130580 157581312 22861 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 38472 22861 672 633 0 24393 0
[pid=50112/tid=50117] ppid=50105 vsize=153888 memory=7970949683011336811 CPUtime=2.28 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 3124 0 0 0 227 1 0 0 20 0 2 0 53130580 157581312 22861 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 5.33 s
Current children cumulated vsize: 153888 KiB
Current children cumulated memory: 91444 KiB

[startup+6.30015 s]
/proc/loadavg: 1.72 1.21 1.30 8/269 50173
/proc/meminfo: memFree=129965860/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=154760 memory=92284 CPUtime=11.08 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 53701 0 0 0 1101 7 0 0 20 0 2 0 53130580 158474240 23071 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 38690 23071 672 633 0 24611 0
[pid=50112/tid=50117] ppid=50105 vsize=154760 memory=17920 CPUtime=4.84 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 4209 0 0 0 483 1 0 0 20 0 2 0 53130580 158474240 23071 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 11.08 s
Current children cumulated vsize: 154760 KiB
Current children cumulated memory: 92284 KiB

[startup+12.7001 s]
/proc/loadavg: 2.15 1.31 1.33 8/269 50173
/proc/meminfo: memFree=129964028/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=155332 memory=92984 CPUtime=23.35 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 85760 0 0 0 2323 12 0 0 20 0 2 0 53130580 159059968 23246 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 38833 23246 672 633 0 24754 0
[pid=50112/tid=50117] ppid=50105 vsize=155332 memory=92896 CPUtime=10.75 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 5337 0 0 0 1073 2 0 0 20 0 2 0 53130580 159059968 23246 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 23.35 s
Current children cumulated vsize: 155332 KiB
Current children cumulated memory: 92984 KiB

[startup+25.5002 s]
/proc/loadavg: 2.97 1.51 1.40 9/269 50173
/proc/meminfo: memFree=129967220/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=155752 memory=93180 CPUtime=47.85 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 165147 0 0 0 4762 23 0 0 20 0 2 0 53130580 159490048 23295 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 38938 23295 672 633 0 24859 0
[pid=50112/tid=50117] ppid=50105 vsize=155752 memory=92828 CPUtime=22.54 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 6365 0 0 0 2251 3 0 0 20 0 2 0 53130580 159490048 23295 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 47.85 s
Current children cumulated vsize: 155752 KiB
Current children cumulated memory: 93180 KiB

[startup+51.1052 s]
/proc/loadavg: 4.48 2.02 1.57 9/269 50173
/proc/meminfo: memFree=129966008/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=156020 memory=93672 CPUtime=96.85 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 258195 0 0 0 9641 44 0 0 20 0 2 0 53130580 159764480 23418 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39005 23418 672 633 0 24926 0
[pid=50112/tid=50117] ppid=50105 vsize=156020 memory=14720 CPUtime=46.12 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 7159 0 0 0 4607 5 0 0 20 0 2 0 53130580 159764480 23418 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 96.85 s
Current children cumulated vsize: 156020 KiB
Current children cumulated memory: 93672 KiB

[startup+102.3 s]
/proc/loadavg: 5.75 2.76 1.85 7/269 50175
/proc/meminfo: memFree=129959820/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=155944 memory=93952 CPUtime=193.61 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 601308 0 0 0 19252 109 0 0 20 0 2 0 53130580 159686656 23488 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 38986 23488 672 633 0 24907 0
[pid=50112/tid=50117] ppid=50105 vsize=155944 memory=94264 CPUtime=92.06 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) S 50105 50112 50054 0 -1 4194368 8334 0 0 0 9195 11 0 0 20 0 2 0 53130580 159686656 23488 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 193.61 s
Current children cumulated vsize: 155944 KiB
Current children cumulated memory: 93952 KiB

[startup+162.3 s]
/proc/loadavg: 5.67 3.28 2.08 8/269 50178
/proc/meminfo: memFree=129959716/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=155992 memory=94000 CPUtime=304.87 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 1609517 0 0 0 30197 290 0 0 20 0 2 0 53130580 159735808 23500 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 38998 23500 672 633 0 24919 0
[pid=50112/tid=50117] ppid=50105 vsize=155992 memory=0 CPUtime=143.82 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 8616 0 0 0 14364 18 0 0 20 0 2 0 53130580 159735808 23500 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 304.87 s
Current children cumulated vsize: 155992 KiB
Current children cumulated memory: 94000 KiB

[startup+222.3 s]
/proc/loadavg: 5.89 3.78 2.33 8/268 50182
/proc/meminfo: memFree=129956640/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=156300 memory=94036 CPUtime=415.11 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 2456131 0 0 0 41056 455 0 0 20 0 2 0 53130580 160051200 23509 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39075 23509 672 633 0 24996 0
[pid=50112/tid=50117] ppid=50105 vsize=156300 memory=94108 CPUtime=194.62 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 8697 0 0 0 19438 24 0 0 20 0 2 0 53130580 160051200 23509 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 415.11 s
Current children cumulated vsize: 156300 KiB
Current children cumulated memory: 94036 KiB

[startup+282.3 s]
/proc/loadavg: 5.96 4.17 2.56 8/268 50188
/proc/meminfo: memFree=129954980/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=156100 memory=94108 CPUtime=523.13 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 3851801 0 0 0 51598 715 0 0 20 0 2 0 53130580 159846400 23527 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39025 23527 672 633 0 24946 0
[pid=50112/tid=50117] ppid=50105 vsize=156100 memory=10880 CPUtime=243.15 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 8697 0 0 0 24283 32 0 0 20 0 2 0 53130580 159846400 23527 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 523.13 s
Current children cumulated vsize: 156100 KiB
Current children cumulated memory: 94108 KiB

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

/proc/meminfo: memFree=129929728/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=156608 memory=94616 CPUtime=2452.61 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 15239084 0 0 0 242154 3107 0 0 20 0 2 0 53130580 160366592 23654 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39152 23654 672 633 0 25073 0
[pid=50112/tid=50117] ppid=50105 vsize=156608 memory=94648 CPUtime=1101.77 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 9666 0 0 0 110003 174 0 0 20 0 2 0 53130580 160366592 23654 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 2452.61 s
Current children cumulated vsize: 156608 KiB
Current children cumulated memory: 94616 KiB

[startup+1422.3 s]
/proc/loadavg: 5.46 5.65 4.83 8/267 50249
/proc/meminfo: memFree=129926908/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=156668 memory=94640 CPUtime=2559.64 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 15555993 0 0 0 252777 3187 0 0 20 0 2 0 53130580 160428032 23660 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39167 23660 672 633 0 25088 0
[pid=50112/tid=50117] ppid=50105 vsize=156668 memory=94648 CPUtime=1149.29 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 9666 0 0 0 114746 183 0 0 20 0 2 0 53130580 160428032 23660 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 2559.64 s
Current children cumulated vsize: 156668 KiB
Current children cumulated memory: 94640 KiB

[startup+1482.3 s]
/proc/loadavg: 5.73 5.68 4.90 8/267 50255
/proc/meminfo: memFree=129926796/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=157116 memory=94908 CPUtime=2666.46 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 16130870 0 0 0 263341 3305 0 0 20 0 2 0 53130580 160886784 23727 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39279 23727 672 633 0 25200 0
[pid=50112/tid=50117] ppid=50105 vsize=157116 memory=94644 CPUtime=1196.56 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 9666 0 0 0 119465 191 0 0 20 0 2 0 53130580 160886784 23727 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 2666.46 s
Current children cumulated vsize: 157116 KiB
Current children cumulated memory: 94908 KiB

[startup+1542.3 s]
/proc/loadavg: 5.82 5.71 4.96 7/267 50257
/proc/meminfo: memFree=129926720/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=156668 memory=94584 CPUtime=2772.75 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 16507392 0 0 0 273880 3395 0 0 20 0 2 0 53130580 160428032 23646 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39167 23646 672 633 0 25088 0
[pid=50112/tid=50117] ppid=50105 vsize=156668 memory=17920 CPUtime=1243.25 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 9704 0 0 0 124127 198 0 0 20 0 2 0 53130580 160428032 23646 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 2772.75 s
Current children cumulated vsize: 156668 KiB
Current children cumulated memory: 94584 KiB

[startup+1602.3 s]
/proc/loadavg: 5.75 5.71 5.01 8/267 50259
/proc/meminfo: memFree=129926104/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=157220 memory=95016 CPUtime=2880.55 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 16834947 0 0 0 284581 3474 0 0 20 0 2 0 53130580 160993280 23754 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39305 23754 672 633 0 25226 0
[pid=50112/tid=50117] ppid=50105 vsize=157220 memory=94888 CPUtime=1291.53 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) S 50105 50112 50054 0 -1 4194368 9741 0 0 0 128948 205 0 0 20 0 2 0 53130580 160993280 23754 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 2880.55 s
Current children cumulated vsize: 157220 KiB
Current children cumulated memory: 95016 KiB

[startup+1662.3 s]
/proc/loadavg: 5.79 5.72 5.06 8/268 50262
/proc/meminfo: memFree=129926432/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=156640 memory=94556 CPUtime=2985.14 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 17265292 0 0 0 294944 3570 0 0 20 0 2 0 53130580 160399360 23639 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39160 23639 672 633 0 25081 0
[pid=50112/tid=50117] ppid=50105 vsize=156640 memory=94888 CPUtime=1336.59 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 10126 0 0 0 133444 215 0 0 20 0 2 0 53130580 160399360 23639 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 2985.14 s
Current children cumulated vsize: 156640 KiB
Current children cumulated memory: 94556 KiB

[startup+1722.3 s]
/proc/loadavg: 5.72 5.71 5.10 8/267 50264
/proc/meminfo: memFree=129925692/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=156612 memory=94620 CPUtime=3094.6 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 17482356 0 0 0 305832 3628 0 0 20 0 2 0 53130580 160370688 23655 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39153 23655 672 633 0 25074 0
[pid=50112/tid=50117] ppid=50105 vsize=156612 memory=94888 CPUtime=1386.54 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 10378 0 0 0 138432 222 0 0 20 0 2 0 53130580 160370688 23655 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 3094.6 s
Current children cumulated vsize: 156612 KiB
Current children cumulated memory: 94620 KiB

[startup+1782.3 s]
/proc/loadavg: 5.79 5.73 5.14 7/267 50266
/proc/meminfo: memFree=129925148/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=157112 memory=94960 CPUtime=3202.71 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 17914956 0 0 0 316540 3731 0 0 20 0 2 0 53130580 160882688 23740 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39278 23740 672 633 0 25199 0
[pid=50112/tid=50117] ppid=50105 vsize=157112 memory=14720 CPUtime=1435.16 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 10378 0 0 0 143285 231 0 0 20 0 2 0 53130580 160882688 23740 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 3202.71 s
Current children cumulated vsize: 157112 KiB
Current children cumulated memory: 94960 KiB

[startup+1842.3 s]
/proc/loadavg: 5.80 5.75 5.19 8/267 50268
/proc/meminfo: memFree=129924692/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=157108 memory=94872 CPUtime=3309.7 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 18182807 0 0 0 327173 3797 0 0 20 0 2 0 53130580 160878592 23718 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39277 23718 672 633 0 25198 0
[pid=50112/tid=50117] ppid=50105 vsize=157108 memory=94972 CPUtime=1482.58 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) S 50105 50112 50054 0 -1 4194368 10406 0 0 0 148020 238 0 0 20 0 2 0 53130580 160878592 23718 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 1 0 0 -1 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 3309.7 s
Current children cumulated vsize: 157108 KiB
Current children cumulated memory: 94872 KiB

[startup+1902.3 s]
/proc/loadavg: 5.72 5.74 5.22 8/267 50270
/proc/meminfo: memFree=129924344/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=157132 memory=94972 CPUtime=3415.98 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 18572556 0 0 0 337715 3883 0 0 20 0 2 0 53130580 160903168 23743 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39283 23743 672 633 0 25204 0
[pid=50112/tid=50117] ppid=50105 vsize=157132 memory=94972 CPUtime=1529.37 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 10406 0 0 0 152690 247 0 0 20 0 2 0 53130580 160903168 23743 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 3415.98 s
Current children cumulated vsize: 157132 KiB
Current children cumulated memory: 94972 KiB

[startup+1962.3 s]
/proc/loadavg: 5.75 5.74 5.25 7/267 50318
/proc/meminfo: memFree=129898340/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=156988 memory=94784 CPUtime=3525.6 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 18892910 0 0 0 348604 3956 0 0 20 0 2 0 53130580 160755712 23696 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39247 23696 672 633 0 25168 0
[pid=50112/tid=50117] ppid=50105 vsize=156988 memory=95000 CPUtime=1579.47 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 10406 0 0 0 157693 254 0 0 20 0 2 0 53130580 160755712 23696 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 3525.6 s
Current children cumulated vsize: 156988 KiB
Current children cumulated memory: 94784 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2001.2 s]
/proc/loadavg: 5.96 5.79 5.29 7/267 50319
/proc/meminfo: memFree=129898688/131250000 swapFree=33010416/33010684
[pid=50112] ppid=50105 vsize=157108 memory=94800 CPUtime=3600.1 cores=4,6
/proc/50112/stat : 50112 (pb_competition_) R 50105 50112 50054 0 -1 4194304 19182384 0 0 0 356008 4002 0 0 20 0 2 0 53130580 160878592 23700 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
/proc/50112/statm: 39277 23700 672 633 0 25198 0
[pid=50112/tid=50117] ppid=50105 vsize=157108 memory=94532 CPUtime=1615.37 cores=4,6
/proc/50112/task/50117/stat : 50117 (pb_competition_) R 50105 50112 50054 0 -1 4194368 10414 0 0 0 161281 256 0 0 20 0 2 0 53130580 160878592 23700 18446744073709551615 4198400 6788177 140730372854192 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 22003712 140730372856153 140730372856280 140730372856280 140730372861882 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 157108 KiB
Current children cumulated memory: 94800 KiB

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

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

# cumulated CPU time of all completed processes:  user=3560.13 s, system=40.0322 s

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

Child status: 0

Real time (s): 2001.25
CPU time (s): 3600.17
CPU user time (s): 3560.13
CPU system time (s): 40.0322
CPU usage (%): 179.896
Max. virtual memory (cumulated for all children) (KiB): 157344
Max. memory (cumulated for all children) (KiB): 95148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.13
system time used= 40.0322
maximum resident set size= 95208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19187645
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= 410918
involuntary context switches= 36804


# summary of solver processes directly reported to runsolver:
#   pid: 50112
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3560.13
#   total CPU system time (s): 40.0322

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.48613 second user time and 8.11728 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-01 14:55:07
IDJOB=4491206
IDBENCH=147690
IDSOLVER=3347
FILE ID=nodeC027/4491206-1751374507
RUNJOBID= nodeC027-1751374507-50065
SLURM_JOB_ID= 9598210
Free space on /tmp= 433064 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_14.opb
COMMAND LINE= pb_competition_2025_solver -k -1 -t -1.0 -j NBCORE -r RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4491206-1751374507/watcher-4491206-1751374507 -o /tmp/evaluation-result-4491206-1751374507/solver-4491206-1751374507 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751374507-50065 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1355658682 HOME/instance-4491206-1751374507.opb

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

MD5SUM BENCH= 0e700fc92a231fc1e477aebd59f20b52
RANDOM SEED=1355658682

nodeC027 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.729
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.29
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		: 3598.481
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.29
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.219
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.29
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.639
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.29
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.637
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.29
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.627
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.29
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.563
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.29
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.704
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.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        130053040 kB
MemAvailable:   129748828 kB
Buffers:            2488 kB
Cached:           498204 kB
SwapCached:           12 kB
Active:           375624 kB
Inactive:         197172 kB
Active(anon):      87368 kB
Inactive(anon):     2792 kB
Active(file):     288256 kB
Inactive(file):   194380 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22040 kB
Writeback:             0 kB
AnonPages:         75100 kB
Mapped:           102536 kB
Shmem:             18056 kB
KReclaimable:     104380 kB
Slab:             191900 kB
SReclaimable:     104380 kB
SUnreclaim:        87520 kB
KernelStack:        4040 kB
PageTables:         2344 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     336156 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC027 at 2025-07-01 15:28:28