Trace number 4543709

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.41 2331.3

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
MD5SUMfedac043231dc7d3bd4ac0917a28b068
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark6.12995
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables279390
Total number of constraints5791
Number of constraints which are clauses2911
Number of constraints which are cardinality constraints (but not clauses)2880
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint97
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 29
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 98
Number of bits of the biggest sum of numbers7
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/)
1.03/0.82	c #variable: 279390
1.03/0.82	c #constraint: 5791
1.03/0.82	c #equal: 0
1.03/0.82	c intsize: 7
1.03/0.82	c sizeproduct: 0
1.03/0.82	c #soft: 0
1.03/0.82	c mincost: 0
1.03/0.82	c maxcost: 0
1.03/0.82	c sumcost: 0
1.03/0.82	c iteration_max: -1
1.03/0.82	c time_max: -1
1.03/0.82	c number_of_threads(move update): 2
1.03/0.82	c number_of_threads(move evaluation): 2
1.03/0.82	c seed: 1789601716
3600.11/2331.10	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 (59570 MiB free)
  memory of node 1: 64507 MiB (53224 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=174251, runsolver pid=174248

[startup+0.100061 s]*
/proc/loadavg: 6.66 7.03 7.11 8/268 174253
/proc/meminfo: memFree=115446412/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=108900 memory=55936 CPUtime=0.18 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) S 174248 174251 173087 0 -1 4194304 13541 0 0 0 14 4 0 0 20 0 2 0 236196366 111513600 13952 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 27225 13952 576 633 0 15560 0
[pid=174251/tid=174253] ppid=174248 vsize=108900 memory=4026531960 CPUtime=0.08 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 5509 0 0 0 6 2 0 0 20 0 2 0 236196367 111513600 13984 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 108900 KiB
Current children cumulated memory: 55936 KiB

[startup+0.205669 s]*
/proc/loadavg: 6.66 7.03 7.11 7/268 174253
/proc/meminfo: memFree=115430596/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=124892 memory=74868 CPUtime=0.29 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 18916 0 0 0 23 6 0 0 20 0 2 0 236196366 127889408 18717 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 31223 18717 576 633 0 20288 0
[pid=174251/tid=174253] ppid=174248 vsize=124892 memory=734139726812938524 CPUtime=0.09 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 6235 0 0 0 7 2 0 0 20 0 2 0 236196367 127889408 18717 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 124892 KiB
Current children cumulated memory: 74868 KiB

[startup+0.305511 s]*
/proc/loadavg: 6.66 7.03 7.11 6/268 174253
/proc/meminfo: memFree=115418688/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=142084 memory=92076 CPUtime=0.38 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 20669 0 0 0 32 6 0 0 20 0 2 0 236196366 145494016 23019 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 35521 23019 576 633 0 24586 0
[pid=174251/tid=174253] ppid=174248 vsize=142084 memory=-9042030261643208544 CPUtime=0.09 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 6235 0 0 0 7 2 0 0 20 0 2 0 236196367 145494016 23019 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 142084 KiB
Current children cumulated memory: 92076 KiB

[startup+0.700197 s]
/proc/loadavg: 6.66 7.03 7.11 7/268 174253
/proc/meminfo: memFree=115350204/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=234960 memory=191584 CPUtime=0.86 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 43893 0 0 0 75 11 0 0 20 0 2 0 236196366 240599040 47896 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 58740 47896 608 633 0 49396 0
[pid=174251/tid=174253] ppid=174248 vsize=234960 memory=27136 CPUtime=0.19 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 7828 0 0 0 16 3 0 0 20 0 2 0 236196367 240599040 47896 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 0 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 234960 KiB
Current children cumulated memory: 191584 KiB

[startup+1.50019 s]
/proc/loadavg: 6.66 7.03 7.11 7/268 174253
/proc/meminfo: memFree=115301252/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=326728 memory=286052 CPUtime=1.73 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 100594 0 0 0 156 17 0 0 20 0 2 0 236196366 334569472 71513 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 81682 71513 672 633 0 73722 0
[pid=174251/tid=174253] ppid=174248 vsize=326728 memory=27136 CPUtime=0.27 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 9212 0 0 0 23 4 0 0 20 0 2 0 236196367 334569472 71513 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 326728 KiB
Current children cumulated memory: 286052 KiB

[startup+3.10572 s]
/proc/loadavg: 6.66 7.03 7.11 7/268 174253
/proc/meminfo: memFree=115062140/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=459460 memory=421768 CPUtime=3.43 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 122015 0 0 0 321 22 0 0 20 0 2 0 236196366 470487040 105442 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 114865 105442 672 633 0 106905 0
[pid=174251/tid=174253] ppid=174248 vsize=459460 memory=369952 CPUtime=0.37 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 9212 0 0 0 33 4 0 0 20 0 2 0 236196367 470487040 105442 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 3.43 s
Current children cumulated vsize: 459460 KiB
Current children cumulated memory: 421768 KiB

[startup+6.30021 s]
/proc/loadavg: 6.69 7.03 7.11 7/268 174253
/proc/meminfo: memFree=115054580/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=471900 memory=434200 CPUtime=7.63 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 154185 0 0 0 739 24 0 0 20 0 2 0 236196366 483225600 108550 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 117975 108550 672 633 0 110015 0
[pid=174251/tid=174253] ppid=174248 vsize=471900 memory=27136 CPUtime=1.41 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 9263 0 0 0 136 5 0 0 20 0 2 0 236196367 483225600 108550 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 471900 KiB
Current children cumulated memory: 434200 KiB

[startup+12.7002 s]
/proc/loadavg: 6.63 7.02 7.11 7/268 174253
/proc/meminfo: memFree=115054328/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=471900 memory=434200 CPUtime=17.33 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 190989 0 0 0 1705 28 0 0 20 0 2 0 236196366 483225600 108550 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 117975 108550 672 633 0 110015 0
[pid=174251/tid=174253] ppid=174248 vsize=471900 memory=434200 CPUtime=4.74 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 11977 0 0 0 469 5 0 0 20 0 2 0 236196367 483225600 108550 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 17.33 s
Current children cumulated vsize: 471900 KiB
Current children cumulated memory: 434200 KiB

[startup+25.5002 s]
/proc/loadavg: 6.71 7.01 7.10 7/268 174253
/proc/meminfo: memFree=115053840/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=471900 memory=434200 CPUtime=37.86 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 269868 0 0 0 3749 37 0 0 20 0 2 0 236196366 483225600 108550 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 117975 108550 672 633 0 110015 0
[pid=174251/tid=174253] ppid=174248 vsize=471900 memory=434200 CPUtime=12.58 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 17954 0 0 0 1249 9 0 0 20 0 2 0 236196367 483225600 108550 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 37.86 s
Current children cumulated vsize: 471900 KiB
Current children cumulated memory: 434200 KiB

[startup+51.1055 s]
/proc/loadavg: 6.54 6.95 7.08 8/268 174253
/proc/meminfo: memFree=115043516/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=483980 memory=440492 CPUtime=79.22 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 322855 0 0 0 7876 46 0 0 20 0 2 0 236196366 495595520 110123 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 120995 110123 672 633 0 113035 0
[pid=174251/tid=174253] ppid=174248 vsize=483980 memory=27136 CPUtime=28.54 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 21892 0 0 0 2842 12 0 0 20 0 2 0 236196367 495595520 110123 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 79.22 s
Current children cumulated vsize: 483980 KiB
Current children cumulated memory: 440492 KiB

[startup+102.3 s]
/proc/loadavg: 6.60 6.90 7.05 8/268 174255
/proc/meminfo: memFree=115043900/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=492280 memory=448560 CPUtime=160.9 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 409127 0 0 0 16027 63 0 0 20 0 2 0 236196366 504094720 112140 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 123070 112140 672 633 0 115110 0
[pid=174251/tid=174253] ppid=174248 vsize=492280 memory=27136 CPUtime=59.45 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 29143 0 0 0 5926 19 0 0 20 0 2 0 236196367 504094720 112140 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 160.9 s
Current children cumulated vsize: 492280 KiB
Current children cumulated memory: 448560 KiB

[startup+162.3 s]
/proc/loadavg: 6.67 6.86 7.02 8/268 174257
/proc/meminfo: memFree=115031036/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=492432 memory=448688 CPUtime=261.67 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 497287 0 0 0 26087 80 0 0 20 0 2 0 236196366 504250368 112172 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 123108 112172 672 633 0 115148 0
[pid=174251/tid=174253] ppid=174248 vsize=492432 memory=448688 CPUtime=100.78 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 35161 0 0 0 10053 25 0 0 20 0 2 0 236196367 504250368 112172 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 261.67 s
Current children cumulated vsize: 492432 KiB
Current children cumulated memory: 448688 KiB

[startup+222.3 s]
/proc/loadavg: 6.65 6.81 7.00 7/267 174261
/proc/meminfo: memFree=115006352/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=494724 memory=450740 CPUtime=364.04 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 544515 0 0 0 36311 93 0 0 20 0 2 0 236196366 506597376 112685 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 123681 112685 672 633 0 115721 0
[pid=174251/tid=174253] ppid=174248 vsize=494724 memory=27136 CPUtime=143.67 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 39486 0 0 0 14337 30 0 0 20 0 2 0 236196367 506597376 112685 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 364.04 s
Current children cumulated vsize: 494724 KiB
Current children cumulated memory: 450740 KiB

[startup+282.3 s]
/proc/loadavg: 6.65 6.77 6.97 8/267 174263
/proc/meminfo: memFree=114978860/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=500888 memory=456764 CPUtime=466.55 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 574472 0 0 0 46550 105 0 0 20 0 2 0 236196366 512909312 114191 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125222 114191 672 633 0 117262 0
[pid=174251/tid=174253] ppid=174248 vsize=500888 memory=450740 CPUtime=186.76 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 43614 0 0 0 18641 35 0 0 20 0 2 0 236196367 512909312 114191 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 466.55 s
Current children cumulated vsize: 500888 KiB

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

/proc/meminfo: memFree=115103040/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501192 memory=462664 CPUtime=2661.29 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 641385 0 0 0 265814 315 0 0 20 0 2 0 236196366 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125298 115666 672 633 0 117338 0
[pid=174251/tid=174253] ppid=174248 vsize=501192 memory=462664 CPUtime=893.34 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 51394 0 0 0 89188 146 0 0 20 0 2 0 236196367 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 2661.29 s
Current children cumulated vsize: 501192 KiB
Current children cumulated memory: 462664 KiB

[startup+1842.3 s]
/proc/loadavg: 6.98 6.99 6.86 8/267 174470
/proc/meminfo: memFree=115103960/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501192 memory=462664 CPUtime=2764.24 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 641540 0 0 0 276102 322 0 0 20 0 2 0 236196366 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125298 115666 672 633 0 117338 0
[pid=174251/tid=174253] ppid=174248 vsize=501192 memory=14720 CPUtime=936.85 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 51411 0 0 0 93536 149 0 0 20 0 2 0 236196367 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 2764.24 s
Current children cumulated vsize: 501192 KiB
Current children cumulated memory: 462664 KiB

[startup+1902.3 s]
/proc/loadavg: 7.01 6.99 6.87 8/267 174472
/proc/meminfo: memFree=115103816/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501192 memory=462664 CPUtime=2866.95 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 643384 0 0 0 286366 329 0 0 20 0 2 0 236196366 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125298 115666 672 633 0 117338 0
[pid=174251/tid=174253] ppid=174248 vsize=501192 memory=462664 CPUtime=980.17 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 51867 0 0 0 97865 152 0 0 20 0 2 0 236196367 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 2866.95 s
Current children cumulated vsize: 501192 KiB
Current children cumulated memory: 462664 KiB

[startup+1962.3 s]
/proc/loadavg: 7.32 7.07 6.90 9/267 174474
/proc/meminfo: memFree=115104884/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501192 memory=462664 CPUtime=2969.59 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 645383 0 0 0 296622 337 0 0 20 0 2 0 236196366 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125298 115666 672 633 0 117338 0
[pid=174251/tid=174253] ppid=174248 vsize=501192 memory=14720 CPUtime=1023.4 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 52213 0 0 0 102183 157 0 0 20 0 2 0 236196367 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 2969.59 s
Current children cumulated vsize: 501192 KiB
Current children cumulated memory: 462664 KiB

[startup+2022.3 s]
/proc/loadavg: 7.32 7.11 6.93 9/267 174476
/proc/meminfo: memFree=115104464/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501192 memory=462664 CPUtime=3072.34 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 645537 0 0 0 306890 344 0 0 20 0 2 0 236196366 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125298 115666 672 633 0 117338 0
[pid=174251/tid=174253] ppid=174248 vsize=501192 memory=462664 CPUtime=1066.69 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 52221 0 0 0 106509 160 0 0 20 0 2 0 236196367 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 3072.34 s
Current children cumulated vsize: 501192 KiB
Current children cumulated memory: 462664 KiB

[startup+2082.3 s]
/proc/loadavg: 7.66 7.24 6.99 8/267 174480
/proc/meminfo: memFree=115105440/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501192 memory=462664 CPUtime=3175 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 647380 0 0 0 317148 352 0 0 20 0 2 0 236196366 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125298 115666 672 633 0 117338 0
[pid=174251/tid=174253] ppid=174248 vsize=501192 memory=14720 CPUtime=1109.88 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 52538 0 0 0 110824 164 0 0 20 0 2 0 236196367 513220608 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 3175 s
Current children cumulated vsize: 501192 KiB
Current children cumulated memory: 462664 KiB

[startup+2142.3 s]
/proc/loadavg: 7.49 7.27 7.02 8/266 174493
/proc/meminfo: memFree=115104816/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501412 memory=462664 CPUtime=3277.64 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 647529 0 0 0 327404 360 0 0 20 0 2 0 236196366 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125353 115666 672 633 0 117393 0
[pid=174251/tid=174253] ppid=174248 vsize=501412 memory=462664 CPUtime=1153.08 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 52546 0 0 0 115141 167 0 0 20 0 2 0 236196367 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 3277.64 s
Current children cumulated vsize: 501412 KiB
Current children cumulated memory: 462664 KiB

[startup+2202.3 s]
/proc/loadavg: 7.66 7.35 7.06 8/266 174495
/proc/meminfo: memFree=115105080/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501412 memory=462664 CPUtime=3380.18 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 649372 0 0 0 337650 368 0 0 20 0 2 0 236196366 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125353 115666 672 633 0 117393 0
[pid=174251/tid=174253] ppid=174248 vsize=501412 memory=462664 CPUtime=1196.2 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 52898 0 0 0 119450 170 0 0 20 0 2 0 236196367 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 3380.18 s
Current children cumulated vsize: 501412 KiB
Current children cumulated memory: 462664 KiB

[startup+2262.3 s]
/proc/loadavg: 7.69 7.43 7.10 9/266 174497
/proc/meminfo: memFree=115104732/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501412 memory=462664 CPUtime=3482.69 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 651368 0 0 0 347894 375 0 0 20 0 2 0 236196366 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125353 115666 672 633 0 117393 0
[pid=174251/tid=174253] ppid=174248 vsize=501412 memory=14720 CPUtime=1239.3 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 53371 0 0 0 123757 173 0 0 20 0 2 0 236196367 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 3482.69 s
Current children cumulated vsize: 501412 KiB
Current children cumulated memory: 462664 KiB

[startup+2322.3 s]
/proc/loadavg: 7.32 7.36 7.10 9/266 174499
/proc/meminfo: memFree=115106008/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501412 memory=462664 CPUtime=3585.32 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 651513 0 0 0 358151 381 0 0 20 0 2 0 236196366 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125353 115666 672 633 0 117393 0
[pid=174251/tid=174253] ppid=174248 vsize=501412 memory=462664 CPUtime=1282.48 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 53382 0 0 0 128073 175 0 0 20 0 2 0 236196367 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 3585.32 s
Current children cumulated vsize: 501412 KiB
Current children cumulated memory: 462664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2331 s]*
/proc/loadavg: 7.34 7.36 7.10 7/266 174500
/proc/meminfo: memFree=115106016/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=501412 memory=462664 CPUtime=3600.11 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 651514 0 0 0 359629 382 0 0 20 0 2 0 236196366 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 125353 115666 672 633 0 117393 0
[pid=174251/tid=174253] ppid=174248 vsize=501412 memory=-8897915056437684064 CPUtime=1288.65 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) R 174248 174251 173087 0 -1 4194368 53382 0 0 0 128689 176 0 0 20 0 2 0 236196367 513445888 115666 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 -1 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 501412 KiB
Current children cumulated memory: 462664 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.57 s, system=3.84562 s

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

[startup+2331.2 s]
/proc/loadavg: 7.34 7.36 7.10 7/266 174500
/proc/meminfo: memFree=115106016/131250000 swapFree=33010416/33010684
[pid=174251] ppid=174248 vsize=434496 memory=398648 CPUtime=3600.3 cores=0,2
/proc/174251/stat : 174251 (pb_competition_) R 174248 174251 173087 0 -1 4194304 661507 0 0 0 359648 382 0 0 20 0 2 0 236196366 444923904 99662 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
/proc/174251/statm: 108624 99662 672 633 0 100664 0
[pid=174251/tid=174253] ppid=174248 vsize=434496 memory=27136 CPUtime=1288.65 cores=0,2
/proc/174251/task/174253/stat : 174253 (pb_competition_) S 174248 174251 173087 0 -1 4194368 53382 0 0 0 128689 176 0 0 20 0 2 0 236196367 444923904 99662 18446744073709551615 4198400 6788177 140721708145072 0 0 0 0 0 8404994 1 0 0 -1 0 0 0 0 0 0 7336896 7391280 16457728 140721708149079 140721708149206 140721708149206 140721708154810 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 434496 KiB
Current children cumulated memory: 398648 KiB

Child status: 0

Real time (s): 2331.3
CPU time (s): 3600.41
CPU user time (s): 3596.57
CPU system time (s): 3.84562
CPU usage (%): 154.438
Max. virtual memory (cumulated for all children) (KiB): 501412
Max. memory (cumulated for all children) (KiB): 462664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.57
system time used= 3.84562
maximum resident set size= 462664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 674085
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= 121753
involuntary context switches= 68860


# summary of solver processes directly reported to runsolver:
#   pid: 174251
#   total CPU time (s): 3600.41
#   total CPU user time (s): 3596.57
#   total CPU system time (s): 3.84562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.31961 second user time and 11.6148 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-22 19:26:05
IDJOB=4543709
IDBENCH=174564
IDSOLVER=3347
FILE ID=nodeC027/4543709-1753205165
RUNJOBID= nodeC027-1753198973-173102
SLURM_JOB_ID= 9687760
Free space on /tmp= 432976 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/php-exit/normalized-phpexit_v2_30_096.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-4543709-1753205165/watcher-4543709-1753205165 -o /tmp/evaluation-result-4543709-1753205165/solver-4543709-1753205165 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753198973-173102 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1789601716 HOME/instance-4543709-1753205165.opb

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

MD5SUM BENCH= fedac043231dc7d3bd4ac0917a28b068
RANDOM SEED=1789601716

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		: 3630.870
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		: 3599.637
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		: 3599.621
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.786
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.634
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.624
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.612
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.698
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:        115501848 kB
MemAvailable:   129431344 kB
Buffers:            2488 kB
Cached:         14695620 kB
SwapCached:            8 kB
Active:          1419644 kB
Inactive:       13598872 kB
Active(anon):     343872 kB
Inactive(anon):     2788 kB
Active(file):    1075772 kB
Inactive(file): 13596084 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10792 kB
Writeback:             0 kB
AnonPages:        323536 kB
Mapped:           117048 kB
Shmem:             26252 kB
KReclaimable:     193356 kB
Slab:             289008 kB
SReclaimable:     193356 kB
SUnreclaim:        95652 kB
KernelStack:        4368 kB
PageTables:         3660 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     690860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150680 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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= 432968 MiB
End job on nodeC027 at 2025-07-22 20:04:56