Trace number 4513220

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

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
MD5SUM4ab683db7c9e99efe1269a989c150a4d
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 benchmark49.0793
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4128
Total number of constraints8720
Number of constraints which are clauses7424
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints864
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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.00/0.08	c #variable: 4128
0.00/0.08	c #constraint: 8720
0.00/0.08	c #equal: 1296
0.00/0.08	c intsize: 4
0.00/0.08	c sizeproduct: 0
0.00/0.08	c #soft: 0
0.00/0.08	c mincost: 0
0.00/0.08	c maxcost: 0
0.00/0.08	c sumcost: 0
0.00/0.08	c iteration_max: -1
0.00/0.08	c time_max: -1
0.00/0.08	c number_of_threads(move update): 2
0.00/0.08	c number_of_threads(move evaluation): 2
0.00/0.08	c seed: 1924460269
3600.03/2274.81	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: 63794 MiB (58940 MiB free)
  memory of node 1: 64507 MiB (63997 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4513220-1751212623/watcher-4513220-1751212623 -o /tmp/evaluation-result-4513220-1751212623/solver-4513220-1751212623 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751205227-25846 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1924460269 HOME/instance-4513220-1751212623.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=26876, runsolver pid=26873

[startup+0.10007 s]*
/proc/loadavg: 5.24 4.69 4.45 6/255 26878
/proc/meminfo: memFree=125874204/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=90448 memory=18968 CPUtime=0.15 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 3880 0 0 0 14 1 0 0 20 0 2 0 36941634 92618752 4742 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 22612 4742 640 633 0 6224 0
[pid=26876/tid=26878] ppid=26873 vsize=90448 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) S 26873 26876 25833 0 -1 4194368 784 0 0 0 6 0 0 0 20 0 2 0 36941635 92618752 4742 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 90448 KiB
Current children cumulated memory: 18968 KiB

[startup+0.213695 s]*
/proc/loadavg: 5.24 4.69 4.45 7/255 26878
/proc/meminfo: memFree=125866140/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=97304 memory=25752 CPUtime=0.26 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 5564 0 0 0 24 2 0 0 20 0 2 0 36941634 99639296 6438 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 24326 6438 672 633 0 7938 0
[pid=26876/tid=26878] ppid=26873 vsize=97304 memory=664958721904869660 CPUtime=0.06 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) S 26873 26876 25833 0 -1 4194368 784 0 0 0 6 0 0 0 20 0 2 0 36941635 99639296 6438 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 97304 KiB
Current children cumulated memory: 25752 KiB

[startup+0.317611 s]*
/proc/loadavg: 5.24 4.69 4.45 8/255 26878
/proc/meminfo: memFree=125850012/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=108368 memory=36888 CPUtime=0.38 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 8358 0 0 0 36 2 0 0 20 0 2 0 36941634 110968832 9222 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 27092 9222 672 633 0 10704 0
[pid=26876/tid=26878] ppid=26873 vsize=108368 memory=7970394459804811378 CPUtime=0.09 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) S 26873 26876 25833 0 -1 4194368 784 0 0 0 9 0 0 0 20 0 2 0 36941635 110968832 9222 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 108368 KiB
Current children cumulated memory: 36888 KiB

[startup+0.700236 s]
/proc/loadavg: 5.24 4.69 4.45 7/255 26878
/proc/meminfo: memFree=125849764/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=108764 memory=37272 CPUtime=0.77 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 8454 0 0 0 75 2 0 0 20 0 2 0 36941634 111374336 9318 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 27191 9318 672 633 0 10803 0
[pid=26876/tid=26878] ppid=26873 vsize=108764 memory=17152 CPUtime=0.15 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 784 0 0 0 15 0 0 0 20 0 2 0 36941635 111374336 9318 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 108764 KiB
Current children cumulated memory: 37272 KiB

[startup+1.50025 s]
/proc/loadavg: 5.24 4.69 4.45 8/255 26878
/proc/meminfo: memFree=125849764/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=109028 memory=37656 CPUtime=2.13 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 13203 0 0 0 210 3 0 0 20 0 2 0 36941634 111644672 9414 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 27257 9414 672 633 0 10869 0
[pid=26876/tid=26878] ppid=26873 vsize=109028 memory=17152 CPUtime=0.72 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 1089 0 0 0 72 0 0 0 20 0 2 0 36941635 111644672 9414 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 2.13 s
Current children cumulated vsize: 109028 KiB
Current children cumulated memory: 37656 KiB

[startup+3.10573 s]
/proc/loadavg: 5.22 4.70 4.46 6/255 26878
/proc/meminfo: memFree=125850024/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=109256 memory=37864 CPUtime=4.92 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 13898 0 0 0 488 4 0 0 20 0 2 0 36941634 111878144 9466 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 27314 9466 672 633 0 10926 0
[pid=26876/tid=26878] ppid=26873 vsize=109256 memory=37736 CPUtime=1.92 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) S 26873 26876 25833 0 -1 4194368 1132 0 0 0 192 0 0 0 20 0 2 0 36941635 111878144 9466 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 109256 KiB
Current children cumulated memory: 37864 KiB

[startup+6.30022 s]
/proc/loadavg: 5.22 4.70 4.46 8/255 26878
/proc/meminfo: memFree=125845980/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=110180 memory=38760 CPUtime=9.93 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 24342 0 0 0 988 5 0 0 20 0 2 0 36941634 112824320 9690 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 27545 9690 672 633 0 11157 0
[pid=26876/tid=26878] ppid=26873 vsize=110180 memory=17152 CPUtime=3.76 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) S 26873 26876 25833 0 -1 4194368 1532 0 0 0 375 1 0 0 20 0 2 0 36941635 112824320 9690 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 9.93 s
Current children cumulated vsize: 110180 KiB
Current children cumulated memory: 38760 KiB

[startup+12.7002 s]
/proc/loadavg: 5.28 4.72 4.46 8/255 26878
/proc/meminfo: memFree=125846500/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=110312 memory=38888 CPUtime=19.98 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 34758 0 0 0 1989 9 0 0 20 0 2 0 36941634 112959488 9722 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 27578 9722 672 633 0 11190 0
[pid=26876/tid=26878] ppid=26873 vsize=110312 memory=38888 CPUtime=7.46 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 2171 0 0 0 743 3 0 0 20 0 2 0 36941635 112959488 9722 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 19.98 s
Current children cumulated vsize: 110312 KiB
Current children cumulated memory: 38888 KiB

[startup+25.5002 s]
/proc/loadavg: 5.31 4.75 4.48 6/255 26878
/proc/meminfo: memFree=125847580/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=110548 memory=39132 CPUtime=40.1 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 65575 0 0 0 3991 19 0 0 20 0 2 0 36941634 113201152 9783 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 27637 9783 672 633 0 11249 0
[pid=26876/tid=26878] ppid=26873 vsize=110548 memory=39016 CPUtime=14.86 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 2394 0 0 0 1480 6 0 0 20 0 2 0 36941635 113201152 9783 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 40.1 s
Current children cumulated vsize: 110548 KiB
Current children cumulated memory: 39132 KiB

[startup+51.1058 s]
/proc/loadavg: 5.45 4.84 4.51 5/255 26878
/proc/meminfo: memFree=125849724/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=111112 memory=39644 CPUtime=80.5 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 859948 0 0 0 7896 154 0 0 20 0 2 0 36941634 113778688 9911 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 27778 9911 672 633 0 11390 0
[pid=26876/tid=26878] ppid=26873 vsize=111112 memory=17152 CPUtime=29.86 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 2938 0 0 0 2974 12 0 0 20 0 2 0 36941635 113778688 9911 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 80.5 s
Current children cumulated vsize: 111112 KiB
Current children cumulated memory: 39644 KiB

[startup+102.3 s]
/proc/loadavg: 5.86 5.05 4.60 7/255 26880
/proc/meminfo: memFree=125857452/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=113096 memory=41680 CPUtime=161.96 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 921884 0 0 0 16007 189 0 0 20 0 2 0 36941634 115810304 10420 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28274 10420 672 633 0 11886 0
[pid=26876/tid=26878] ppid=26873 vsize=113096 memory=17152 CPUtime=60.5 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 3773 0 0 0 6022 28 0 0 20 0 2 0 36941635 115810304 10420 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 161.96 s
Current children cumulated vsize: 113096 KiB
Current children cumulated memory: 41680 KiB

[startup+162.3 s]
/proc/loadavg: 5.75 5.17 4.68 7/254 26882
/proc/meminfo: memFree=125854092/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=112924 memory=41372 CPUtime=255.58 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 4546465 0 0 0 24791 767 0 0 20 0 2 0 36941634 115634176 10343 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28231 10343 672 633 0 11843 0
[pid=26876/tid=26878] ppid=26873 vsize=112924 memory=41108 CPUtime=94.62 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 5429 0 0 0 9420 42 0 0 20 0 2 0 36941635 115634176 10343 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 255.58 s
Current children cumulated vsize: 112924 KiB
Current children cumulated memory: 41372 KiB

[startup+222.3 s]
/proc/loadavg: 6.44 5.44 4.80 8/254 26932
/proc/meminfo: memFree=130152220/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=113424 memory=41920 CPUtime=349.65 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 8542785 0 0 0 33536 1429 0 0 20 0 2 0 36941634 116146176 10480 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28356 10480 672 633 0 11968 0
[pid=26876/tid=26878] ppid=26873 vsize=113424 memory=41496 CPUtime=129.16 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 6947 0 0 0 12858 58 0 0 20 0 2 0 36941635 116146176 10480 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 349.65 s
Current children cumulated vsize: 113424 KiB
Current children cumulated memory: 41920 KiB

[startup+282.3 s]
/proc/loadavg: 6.44 5.65 4.91 6/255 26950
/proc/meminfo: memFree=130125064/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=113920 memory=43812 CPUtime=445.44 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 10548219 0 0 0 42764 1780 0 0 20 0 2 0 36941634 116654080 10953 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28480 10953 672 633 0 12092 0
[pid=26876/tid=26878] ppid=26873 vsize=113920 memory=14304 CPUtime=165.44 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 6956 0 0 0 16469 75 0 0 20 0 2 0 36941635 116654080 10953 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 445.44 s
Current children cumulated vsize: 113920 KiB

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

/proc/meminfo: memFree=130202636/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=115248 memory=45440 CPUtime=2622.77 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 76810766 0 0 0 248740 13537 0 0 20 0 2 0 36941634 118013952 11360 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28812 11360 672 633 0 12424 0
[pid=26876/tid=26878] ppid=26873 vsize=115248 memory=14304 CPUtime=973.79 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 8186 0 0 0 96952 427 0 0 20 0 2 0 36941635 118013952 11360 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 2622.77 s
Current children cumulated vsize: 115248 KiB
Current children cumulated memory: 45440 KiB

[startup+1722.3 s]
/proc/loadavg: 6.29 6.42 6.16 9/254 27019
/proc/meminfo: memFree=130203108/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=116100 memory=45348 CPUtime=2716.77 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 80555747 0 0 0 257452 14225 0 0 20 0 2 0 36941634 118886400 11337 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28789 11337 672 633 0 12401 0
[pid=26876/tid=26878] ppid=26873 vsize=115156 memory=14304 CPUtime=1008.29 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 8441 0 0 0 100389 440 0 0 20 0 2 0 36941635 117919744 11337 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 2716.77 s
Current children cumulated vsize: 116100 KiB
Current children cumulated memory: 45348 KiB

[startup+1782.3 s]
/proc/loadavg: 6.35 6.42 6.18 7/254 27021
/proc/meminfo: memFree=130202884/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=115216 memory=45408 CPUtime=2810.8 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 84250651 0 0 0 266171 14909 0 0 20 0 2 0 36941634 117981184 11352 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28804 11352 672 633 0 12416 0
[pid=26876/tid=26878] ppid=26873 vsize=115216 memory=17152 CPUtime=1042.84 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 8441 0 0 0 103831 453 0 0 20 0 2 0 36941635 117981184 11352 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 2810.8 s
Current children cumulated vsize: 115216 KiB
Current children cumulated memory: 45408 KiB

[startup+1842.3 s]
/proc/loadavg: 6.22 6.38 6.18 8/254 27023
/proc/meminfo: memFree=130203428/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=115260 memory=45452 CPUtime=2904.8 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 87929143 0 0 0 274889 15591 0 0 20 0 2 0 36941634 118026240 11363 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28815 11363 672 633 0 12427 0
[pid=26876/tid=26878] ppid=26873 vsize=115260 memory=46212 CPUtime=1077.37 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) S 26873 26876 25833 0 -1 4194368 8441 0 0 0 107268 469 0 0 20 0 2 0 36941635 118026240 11363 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 2904.8 s
Current children cumulated vsize: 115260 KiB
Current children cumulated memory: 45452 KiB

[startup+1902.3 s]
/proc/loadavg: 6.46 6.42 6.21 8/254 27025
/proc/meminfo: memFree=130203576/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=115596 memory=45576 CPUtime=2998.91 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 91517089 0 0 0 283647 16244 0 0 20 0 2 0 36941634 118370304 11394 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28899 11394 672 633 0 12511 0
[pid=26876/tid=26878] ppid=26873 vsize=115596 memory=46212 CPUtime=1111.96 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 8482 0 0 0 110711 485 0 0 20 0 2 0 36941635 118370304 11394 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 2998.91 s
Current children cumulated vsize: 115596 KiB
Current children cumulated memory: 45576 KiB

[startup+1962.3 s]
/proc/loadavg: 6.45 6.45 6.23 7/254 27027
/proc/meminfo: memFree=130203452/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=115988 memory=46008 CPUtime=3093.01 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 95174333 0 0 0 292399 16902 0 0 20 0 2 0 36941634 118771712 11502 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28997 11502 672 633 0 12609 0
[pid=26876/tid=26878] ppid=26873 vsize=115988 memory=14304 CPUtime=1146.56 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 8482 0 0 0 114157 499 0 0 20 0 2 0 36941635 118771712 11502 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 3093.01 s
Current children cumulated vsize: 115988 KiB
Current children cumulated memory: 46008 KiB

[startup+2022.3 s]
/proc/loadavg: 6.87 6.53 6.27 7/255 27032
/proc/meminfo: memFree=130203984/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=116008 memory=45900 CPUtime=3187.14 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 98921896 0 0 0 301139 17575 0 0 20 0 2 0 36941634 118792192 11475 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 29002 11475 672 633 0 12614 0
[pid=26876/tid=26878] ppid=26873 vsize=116008 memory=45644 CPUtime=1181.18 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 8482 0 0 0 117602 516 0 0 20 0 2 0 36941635 118792192 11507 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 3187.14 s
Current children cumulated vsize: 116008 KiB
Current children cumulated memory: 45900 KiB

[startup+2082.3 s]
/proc/loadavg: 6.73 6.58 6.30 8/256 27039
/proc/meminfo: memFree=130200456/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=115336 memory=45528 CPUtime=3281.27 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 102700668 0 0 0 309885 18242 0 0 20 0 2 0 36941634 118104064 11382 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28834 11382 672 633 0 12446 0
[pid=26876/tid=26878] ppid=26873 vsize=115676 memory=46216 CPUtime=1215.78 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 8484 0 0 0 121048 530 0 0 20 0 2 0 36941635 118452224 11382 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 3281.27 s
Current children cumulated vsize: 115336 KiB
Current children cumulated memory: 45528 KiB

[startup+2142.3 s]
/proc/loadavg: 6.83 6.61 6.33 8/256 27087
/proc/meminfo: memFree=130234268/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=116192 memory=46336 CPUtime=3375.28 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 106499012 0 0 0 318609 18919 0 0 20 0 2 0 36941634 118980608 11584 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 29048 11584 672 633 0 12660 0
[pid=26876/tid=26878] ppid=26873 vsize=116192 memory=45520 CPUtime=1250.26 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) S 26873 26876 25833 0 -1 4194368 8486 0 0 0 124479 547 0 0 20 0 2 0 36941635 118980608 11584 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 3375.28 s
Current children cumulated vsize: 116192 KiB
Current children cumulated memory: 46336 KiB

[startup+2202.3 s]
/proc/loadavg: 7.37 6.82 6.42 8/256 27134
/proc/meminfo: memFree=130263588/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=116204 memory=46264 CPUtime=3475.26 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 111429127 0 0 0 327890 19636 0 0 20 0 2 0 36941634 118992896 11566 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 29051 11566 672 633 0 12663 0
[pid=26876/tid=26878] ppid=26873 vsize=116204 memory=14304 CPUtime=1290.68 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) S 26873 26876 25833 0 -1 4194368 8532 0 0 0 128504 564 0 0 20 0 2 0 36941635 118992896 11342 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 3475.26 s
Current children cumulated vsize: 116204 KiB
Current children cumulated memory: 46264 KiB

[startup+2262.3 s]
/proc/loadavg: 7.57 6.99 6.51 9/255 27136
/proc/meminfo: memFree=130267660/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=115724 memory=45704 CPUtime=3578.52 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 117043814 0 0 0 337481 20371 0 0 20 0 2 0 36941634 118501376 11426 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 28931 11426 672 633 0 12543 0
[pid=26876/tid=26878] ppid=26873 vsize=115724 memory=14304 CPUtime=1334.35 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) R 26873 26876 25833 0 -1 4194368 8769 0 0 0 132857 578 0 0 20 0 2 0 36941635 118501376 11426 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 3578.52 s
Current children cumulated vsize: 115724 KiB
Current children cumulated memory: 45704 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2274.8 s]
/proc/loadavg: 7.44 6.99 6.52 9/255 27137
/proc/meminfo: memFree=130267920/131382120 swapFree=33010416/33010684
[pid=26876] ppid=26873 vsize=116336 memory=46352 CPUtime=3600.03 cores=5,7
/proc/26876/stat : 26876 (pb_competition_) R 26873 26876 25833 0 -1 4194304 118206807 0 0 0 339481 20522 0 0 20 0 2 0 36941634 119128064 11588 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
/proc/26876/statm: 29084 11588 672 633 0 12696 0
[pid=26876/tid=26878] ppid=26873 vsize=116336 memory=2432 CPUtime=1343.44 cores=5,7
/proc/26876/task/26878/stat : 26878 (pb_competition_) S 26873 26876 25833 0 -1 4194368 8796 0 0 0 133763 581 0 0 20 0 2 0 36941635 119128064 11588 18446744073709551615 4198400 6788177 140730635519616 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 11984896 140730635524441 140730635524568 140730635524568 140730635530170 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 116336 KiB
Current children cumulated memory: 46352 KiB

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

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

# cumulated CPU time of all completed processes:  user=3394.84 s, system=205.226 s

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

Child status: 0

Real time (s): 2274.82
CPU time (s): 3600.07
CPU user time (s): 3394.84
CPU system time (s): 205.226
CPU usage (%): 158.257
Max. virtual memory (cumulated for all children) (KiB): 116360
Max. memory (cumulated for all children) (KiB): 46424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3394.84
system time used= 205.226
maximum resident set size= 46600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118207471
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= 722272
involuntary context switches= 128225


# summary of solver processes directly reported to runsolver:
#   pid: 26876
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3394.84
#   total CPU system time (s): 205.226

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.84386 second user time and 11.8804 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-06-29 17:57:03
IDJOB=4513220
IDBENCH=162295
IDSOLVER=3347
FILE ID=nodeC006/4513220-1751212623
RUNJOBID= nodeC006-1751205227-25846
SLURM_JOB_ID= 9587624
Free space on /tmp= 432912 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round22-2.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-4513220-1751212623/watcher-4513220-1751212623 -o /tmp/evaluation-result-4513220-1751212623/solver-4513220-1751212623 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751205227-25846 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1924460269 HOME/instance-4513220-1751212623.opb

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

MD5SUM BENCH= 4ab683db7c9e99efe1269a989c150a4d
RANDOM SEED=1924460269

nodeC006 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	: 0xb00001f
cpu MHz		: 3540.361
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3491.639
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.716
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3491.631
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 3540.019
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.610
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 2494.352
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
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	: 0xb00001f
cpu MHz		: 1197.139
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        125887876 kB
MemAvailable:   125612024 kB
Buffers:            2128 kB
Cached:           532856 kB
SwapCached:           12 kB
Active:          4654576 kB
Inactive:         262220 kB
Active(anon):    4387020 kB
Inactive(anon):    12740 kB
Active(file):     267556 kB
Inactive(file):   249480 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5580 kB
Writeback:             4 kB
AnonPages:       4384416 kB
Mapped:           110604 kB
Shmem:             17948 kB
KReclaimable:      93096 kB
Slab:             174884 kB
SReclaimable:      93096 kB
SUnreclaim:        81788 kB
KernelStack:        4112 kB
PageTables:        11596 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    4785024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    421888 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:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC006 at 2025-06-29 18:34:58