Trace number 4545464

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.19 2311.24

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-03-08_c24.opb
MD5SUM9101894967509166591dd86e4191459c
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 benchmark0.667758
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6861
Total number of constraints13501
Number of constraints which are clauses2281
Number of constraints which are cardinality constraints (but not clauses)190
Number of constraints which are nor clauses,nor cardinality constraints11030
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 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 18
Number of bits of the biggest sum of numbers5
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.17/0.15	c #variable: 6861
0.17/0.15	c #constraint: 13501
0.17/0.15	c #equal: 0
0.17/0.15	c intsize: 5
0.17/0.15	c sizeproduct: 0
0.17/0.15	c #soft: 0
0.17/0.15	c mincost: 0
0.17/0.15	c maxcost: 0
0.17/0.15	c sumcost: 0
0.17/0.15	c iteration_max: -1
0.17/0.15	c time_max: -1
0.17/0.15	c number_of_threads(move update): 2
0.17/0.15	c number_of_threads(move evaluation): 2
0.17/0.15	c seed: 886497936
3600.13/2311.21	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 (45896 MiB free)
  memory of node 1: 64507 MiB (50818 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545464-1753239593/watcher-4545464-1753239593 -o /tmp/evaluation-result-4545464-1753239593/solver-4545464-1753239593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753232411-185396 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 886497936 HOME/instance-4545464-1753239593.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100071 s]*
/proc/loadavg: 5.88 5.84 5.61 7/254 186331
/proc/meminfo: memFree=99016528/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=95772 memory=24392 CPUtime=0.17 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 4289 0 0 0 15 2 0 0 20 0 2 0 239639047 98070528 6098 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 23943 6098 608 633 0 7636 0
[pid=186329/tid=186331] ppid=186326 vsize=95772 memory=4026531960 CPUtime=0.05 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 864 0 0 0 5 0 0 0 20 0 2 0 239639048 98070528 6098 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 0 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 95772 KiB
Current children cumulated memory: 24392 KiB

[startup+0.216943 s]*
/proc/loadavg: 5.88 5.84 5.61 7/254 186331
/proc/meminfo: memFree=99002416/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=105784 memory=36552 CPUtime=0.31 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 7279 0 0 0 28 3 0 0 20 0 2 0 239639047 108322816 9138 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 26446 9138 672 633 0 10602 0
[pid=186329/tid=186331] ppid=186326 vsize=105784 memory=4830726537859825948 CPUtime=0.1 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 1328 0 0 0 9 1 0 0 20 0 2 0 239639048 108322816 9138 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 105784 KiB
Current children cumulated memory: 36552 KiB

[startup+0.313448 s]*
/proc/loadavg: 5.88 5.84 5.61 6/254 186331
/proc/meminfo: memFree=98994352/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=108472 memory=39240 CPUtime=0.4 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 7942 0 0 0 37 3 0 0 20 0 2 0 239639047 111075328 9810 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 27118 9810 672 633 0 11274 0
[pid=186329/tid=186331] ppid=186326 vsize=108472 memory=-8969408583830758751 CPUtime=0.1 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 1328 0 0 0 9 1 0 0 20 0 2 0 239639048 111075328 9810 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 108472 KiB
Current children cumulated memory: 39240 KiB

[startup+0.700388 s]
/proc/loadavg: 5.88 5.84 5.61 6/254 186331
/proc/meminfo: memFree=98978476/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=127100 memory=57800 CPUtime=0.79 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 12585 0 0 0 75 4 0 0 20 0 2 0 239639047 130150400 14450 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 31775 14450 672 633 0 15931 0
[pid=186329/tid=186331] ppid=186326 vsize=127100 memory=27776 CPUtime=0.12 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 1328 0 0 0 11 1 0 0 20 0 2 0 239639048 130150400 14450 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 0.79 s
Current children cumulated vsize: 127100 KiB
Current children cumulated memory: 57800 KiB

[startup+1.50037 s]
/proc/loadavg: 5.88 5.84 5.61 6/254 186331
/proc/meminfo: memFree=98978476/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=127232 memory=58056 CPUtime=2.08 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 18096 0 0 0 203 5 0 0 20 0 2 0 239639047 130285568 14514 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 31808 14514 672 633 0 15964 0
[pid=186329/tid=186331] ppid=186326 vsize=127232 memory=27776 CPUtime=0.61 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 1762 0 0 0 60 1 0 0 20 0 2 0 239639048 130285568 14514 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 2.08 s
Current children cumulated vsize: 127232 KiB
Current children cumulated memory: 58056 KiB

[startup+3.10929 s]
/proc/loadavg: 5.88 5.84 5.61 8/254 186331
/proc/meminfo: memFree=98978728/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=126416 memory=57312 CPUtime=4.63 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 63747 0 0 0 450 13 0 0 20 0 2 0 239639047 129449984 14328 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 31604 14328 672 633 0 15760 0
[pid=186329/tid=186331] ppid=186326 vsize=126416 memory=58056 CPUtime=1.58 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 2313 0 0 0 157 1 0 0 20 0 2 0 239639048 129449984 14328 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 4.63 s
Current children cumulated vsize: 126416 KiB
Current children cumulated memory: 57312 KiB

[startup+6.30039 s]
/proc/loadavg: 5.97 5.86 5.62 6/254 186331
/proc/meminfo: memFree=98979232/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=127468 memory=58316 CPUtime=9.22 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 102520 0 0 0 902 20 0 0 20 0 2 0 239639047 130527232 14547 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 31867 14547 672 633 0 16023 0
[pid=186329/tid=186331] ppid=186326 vsize=127468 memory=27776 CPUtime=3 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 2318 0 0 0 298 2 0 0 20 0 2 0 239639048 130527232 14579 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 9.22 s
Current children cumulated vsize: 127468 KiB
Current children cumulated memory: 58316 KiB

[startup+12.7003 s]
/proc/loadavg: 6.06 5.88 5.63 8/254 186331
/proc/meminfo: memFree=98979988/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=128696 memory=59540 CPUtime=19.14 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 180336 0 0 0 1877 37 0 0 20 0 2 0 239639047 131784704 14885 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 32174 14885 672 633 0 16330 0
[pid=186329/tid=186331] ppid=186326 vsize=128696 memory=59540 CPUtime=6.59 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 3737 0 0 0 655 4 0 0 20 0 2 0 239639048 131784704 14885 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 19.14 s
Current children cumulated vsize: 128696 KiB
Current children cumulated memory: 59540 KiB

[startup+25.5003 s]
/proc/loadavg: 6.27 5.94 5.65 8/254 186331
/proc/meminfo: memFree=98981500/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=128468 memory=59364 CPUtime=39.1 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 423042 0 0 0 3824 86 0 0 20 0 2 0 239639047 131551232 14841 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 32117 14841 672 633 0 16273 0
[pid=186329/tid=186331] ppid=186326 vsize=128468 memory=59880 CPUtime=13.89 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 4090 0 0 0 1382 7 0 0 20 0 2 0 239639048 131551232 14841 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 39.1 s
Current children cumulated vsize: 128468 KiB
Current children cumulated memory: 59364 KiB

[startup+51.1099 s]
/proc/loadavg: 6.37 5.99 5.68 6/255 186333
/proc/meminfo: memFree=98984020/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=131908 memory=62768 CPUtime=79.07 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 821925 0 0 0 7732 175 0 0 20 0 2 0 239639047 135073792 15692 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 32977 15692 672 633 0 17133 0
[pid=186329/tid=186331] ppid=186326 vsize=132040 memory=27776 CPUtime=28.53 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 4611 0 0 0 2839 14 0 0 20 0 2 0 239639048 135208960 15692 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 79.07 s
Current children cumulated vsize: 131908 KiB
Current children cumulated memory: 62768 KiB

[startup+102.3 s]
/proc/loadavg: 6.58 6.09 5.73 7/255 186345
/proc/meminfo: memFree=98987288/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=137164 memory=67984 CPUtime=154.35 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 2378974 0 0 0 14939 496 0 0 20 0 2 0 239639047 140455936 16996 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 34291 16996 672 633 0 18447 0
[pid=186329/tid=186331] ppid=186326 vsize=137164 memory=27776 CPUtime=53.21 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 5672 0 0 0 5293 28 0 0 20 0 2 0 239639048 140455936 16996 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 154.35 s
Current children cumulated vsize: 137164 KiB
Current children cumulated memory: 67984 KiB

[startup+162.3 s]
/proc/loadavg: 6.61 6.21 5.79 7/254 186347
/proc/meminfo: memFree=98985540/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=138700 memory=69596 CPUtime=247.19 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 4817035 0 0 0 23724 995 0 0 20 0 2 0 239639047 142028800 17399 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 34675 17399 672 633 0 18831 0
[pid=186329/tid=186331] ppid=186326 vsize=138700 memory=69472 CPUtime=86.77 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 6169 0 0 0 8636 41 0 0 20 0 2 0 239639048 142028800 17399 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 247.19 s
Current children cumulated vsize: 138700 KiB
Current children cumulated memory: 69596 KiB

[startup+222.3 s]
/proc/loadavg: 6.75 6.33 5.86 8/254 186349
/proc/meminfo: memFree=98984808/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=140072 memory=70916 CPUtime=340.79 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 6900299 0 0 0 32647 1432 0 0 20 0 2 0 239639047 143433728 17729 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35018 17729 672 633 0 19174 0
[pid=186329/tid=186331] ppid=186326 vsize=140072 memory=27776 CPUtime=121.09 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 6663 0 0 0 12051 58 0 0 20 0 2 0 239639048 143433728 17729 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 340.79 s
Current children cumulated vsize: 140072 KiB
Current children cumulated memory: 70916 KiB

[startup+282.3 s]
/proc/loadavg: 6.85 6.44 5.93 6/255 186354
/proc/meminfo: memFree=98953328/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=139736 memory=70632 CPUtime=434.21 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 8728223 0 0 0 41599 1822 0 0 20 0 2 0 239639047 143089664 17658 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 34934 17658 672 633 0 19090 0
[pid=186329/tid=186331] ppid=186326 vsize=139736 memory=70404 CPUtime=155.23 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 6711 0 0 0 15448 75 0 0 20 0 2 0 239639048 143089664 17658 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 434.21 s
Current children cumulated vsize: 139736 KiB
Current children cumulated memory: 70632 KiB

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

/proc/meminfo: memFree=99486008/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=143136 memory=75968 CPUtime=2589.14 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 71971841 0 0 0 246088 12826 0 0 20 0 2 0 239639047 146571264 18992 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35784 18992 672 633 0 19940 0
[pid=186329/tid=186331] ppid=186326 vsize=143136 memory=75284 CPUtime=945.13 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 7742 0 0 0 94071 442 0 0 20 0 2 0 239639048 146571264 18992 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 2589.14 s
Current children cumulated vsize: 143136 KiB
Current children cumulated memory: 75968 KiB

[startup+1722.3 s]
/proc/loadavg: 1.57 2.04 3.54 3/234 186520
/proc/meminfo: memFree=99486260/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=142396 memory=75276 CPUtime=2682.91 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 75598814 0 0 0 254919 13372 0 0 20 0 2 0 239639047 145813504 18819 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35599 18819 672 633 0 19755 0
[pid=186329/tid=186331] ppid=186326 vsize=142396 memory=75284 CPUtime=979.56 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 7786 0 0 0 97499 457 0 0 20 0 2 0 239639048 145813504 18819 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 2682.91 s
Current children cumulated vsize: 142396 KiB
Current children cumulated memory: 75276 KiB

[startup+1782.3 s]
/proc/loadavg: 1.64 1.97 3.42 2/234 186522
/proc/meminfo: memFree=99486764/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=143064 memory=75900 CPUtime=2776.68 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 79267946 0 0 0 263728 13940 0 0 20 0 2 0 239639047 146497536 18975 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35766 18975 672 633 0 19922 0
[pid=186329/tid=186331] ppid=186326 vsize=143064 memory=75308 CPUtime=1013.95 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 7848 0 0 0 100920 475 0 0 20 0 2 0 239639048 146497536 18975 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 2776.68 s
Current children cumulated vsize: 143064 KiB
Current children cumulated memory: 75900 KiB

[startup+1842.3 s]
/proc/loadavg: 1.78 1.95 3.32 2/233 186524
/proc/meminfo: memFree=99487268/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=142408 memory=75288 CPUtime=2870.31 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 82902973 0 0 0 272544 14487 0 0 20 0 2 0 239639047 145825792 18822 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35602 18822 672 633 0 19758 0
[pid=186329/tid=186331] ppid=186326 vsize=142408 memory=75300 CPUtime=1048.22 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 7908 0 0 0 104333 489 0 0 20 0 2 0 239639048 145825792 18822 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 2870.31 s
Current children cumulated vsize: 142408 KiB
Current children cumulated memory: 75288 KiB

[startup+1902.3 s]
/proc/loadavg: 1.71 1.91 3.22 2/233 186526
/proc/meminfo: memFree=99487520/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=143344 memory=76088 CPUtime=2963.32 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 86479911 0 0 0 281292 15040 0 0 20 0 2 0 239639047 146784256 19022 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35836 19022 672 633 0 19992 0
[pid=186329/tid=186331] ppid=186326 vsize=143344 memory=75300 CPUtime=1081.87 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 8098 0 0 0 107683 504 0 0 20 0 2 0 239639048 146784256 19022 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 2963.32 s
Current children cumulated vsize: 143344 KiB
Current children cumulated memory: 76088 KiB

[startup+1962.3 s]
/proc/loadavg: 1.78 1.89 3.13 3/233 186528
/proc/meminfo: memFree=99486512/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=143212 memory=76024 CPUtime=3057.34 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 90249625 0 0 0 290105 15629 0 0 20 0 2 0 239639047 146649088 19006 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35803 19006 672 633 0 19959 0
[pid=186329/tid=186331] ppid=186326 vsize=143212 memory=75512 CPUtime=1116.54 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 8133 0 0 0 111135 519 0 0 20 0 2 0 239639048 146649088 19006 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 3057.34 s
Current children cumulated vsize: 143212 KiB
Current children cumulated memory: 76024 KiB

[startup+2022.3 s]
/proc/loadavg: 1.74 1.85 3.03 2/233 186530
/proc/meminfo: memFree=99485756/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=142656 memory=75536 CPUtime=3151.33 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 93922907 0 0 0 298916 16217 0 0 20 0 2 0 239639047 146079744 18884 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35664 18884 672 633 0 19820 0
[pid=186329/tid=186331] ppid=186326 vsize=142656 memory=75724 CPUtime=1151.16 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 8181 0 0 0 114583 533 0 0 20 0 2 0 239639048 146079744 18884 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 3151.33 s
Current children cumulated vsize: 142656 KiB
Current children cumulated memory: 75536 KiB

[startup+2082.3 s]
/proc/loadavg: 1.67 1.80 2.94 3/233 186535
/proc/meminfo: memFree=99481540/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=143184 memory=76028 CPUtime=3245.05 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 97558755 0 0 0 307694 16811 0 0 20 0 2 0 239639047 146620416 19007 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35796 19007 672 633 0 19952 0
[pid=186329/tid=186331] ppid=186326 vsize=143184 memory=75740 CPUtime=1185.52 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 8335 0 0 0 118005 547 0 0 20 0 2 0 239639048 146620416 19007 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 3245.05 s
Current children cumulated vsize: 143184 KiB
Current children cumulated memory: 76028 KiB

[startup+2142.3 s]
/proc/loadavg: 1.74 1.80 2.86 2/234 186542
/proc/meminfo: memFree=99484336/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=142656 memory=75756 CPUtime=3339.03 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 101224184 0 0 0 316511 17392 0 0 20 0 2 0 239639047 146079744 18939 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35664 18939 672 633 0 19820 0
[pid=186329/tid=186331] ppid=186326 vsize=142656 memory=75740 CPUtime=1220.14 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 8386 0 0 0 121453 561 0 0 20 0 2 0 239639048 146079744 18939 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 3339.03 s
Current children cumulated vsize: 142656 KiB
Current children cumulated memory: 75756 KiB

[startup+2202.3 s]
/proc/loadavg: 1.89 1.83 2.81 3/234 186544
/proc/meminfo: memFree=99480440/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=143608 memory=76404 CPUtime=3431.08 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 104760804 0 0 0 325133 17975 0 0 20 0 2 0 239639047 147054592 19101 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35902 19101 672 633 0 20058 0
[pid=186329/tid=186331] ppid=186326 vsize=143608 memory=75740 CPUtime=1252.82 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) S 186326 186329 185383 0 -1 4194368 8434 0 0 0 124706 576 0 0 20 0 2 0 239639048 147054592 19101 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 1 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 3431.08 s
Current children cumulated vsize: 143608 KiB
Current children cumulated memory: 76404 KiB

[startup+2262.3 s]
/proc/loadavg: 1.85 1.83 2.74 2/234 186546
/proc/meminfo: memFree=99479940/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=143080 memory=75664 CPUtime=3523.94 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 108352285 0 0 0 333845 18549 0 0 20 0 2 0 239639047 146513920 18916 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35770 18916 672 633 0 19926 0
[pid=186329/tid=186331] ppid=186326 vsize=143080 memory=75912 CPUtime=1286.22 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 8570 0 0 0 128033 589 0 0 20 0 2 0 239639048 146513920 18916 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 3523.94 s
Current children cumulated vsize: 143080 KiB
Current children cumulated memory: 75664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2311.2 s]
/proc/loadavg: 1.81 1.83 2.69 2/234 186546
/proc/meminfo: memFree=99477672/131382116 swapFree=33010684/33010684
[pid=186329] ppid=186326 vsize=143464 memory=76180 CPUtime=3600.13 cores=5,7
/proc/186329/stat : 186329 (pb_competition_) R 186326 186329 185383 0 -1 4194304 111363707 0 0 0 340987 19026 0 0 20 0 2 0 239639047 146907136 19045 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
/proc/186329/statm: 35866 19045 672 633 0 20022 0
[pid=186329/tid=186331] ppid=186326 vsize=143464 memory=10112 CPUtime=1314.01 cores=5,7
/proc/186329/task/186331/stat : 186331 (pb_competition_) R 186326 186329 185383 0 -1 4194368 8635 0 0 0 130800 601 0 0 20 0 2 0 239639048 146907136 19045 18446744073709551615 4198400 6788177 140733966765376 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 9601024 140733966768472 140733966768598 140733966768598 140733966774202 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 143464 KiB
Current children cumulated memory: 76180 KiB

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

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

# cumulated CPU time of all completed processes:  user=3409.92 s, system=190.268 s

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

Child status: 0

Real time (s): 2311.24
CPU time (s): 3600.19
CPU user time (s): 3409.92
CPU system time (s): 190.268
CPU usage (%): 155.769
Max. virtual memory (cumulated for all children) (KiB): 143992
Max. memory (cumulated for all children) (KiB): 76692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3409.92
system time used= 190.268
maximum resident set size= 76764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111366343
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= 544706
involuntary context switches= 78621


# summary of solver processes directly reported to runsolver:
#   pid: 186329
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3409.92
#   total CPU system time (s): 190.268

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07929 second user time and 14.6514 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-07-23 04:59:53
IDJOB=4545464
IDBENCH=180876
IDSOLVER=3347
FILE ID=nodeC011/4545464-1753239593
RUNJOBID= nodeC011-1753232411-185396
SLURM_JOB_ID= 9687844
Free space on /tmp= 432792 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-Hamming-20-10-03-08_c24.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-4545464-1753239593/watcher-4545464-1753239593 -o /tmp/evaluation-result-4545464-1753239593/solver-4545464-1753239593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1753232411-185396 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 886497936 HOME/instance-4545464-1753239593.opb

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

MD5SUM BENCH= 9101894967509166591dd86e4191459c
RANDOM SEED=886497936

nodeC011 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		: 3509.563
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	: 6984.20
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		: 3524.092
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	: 6984.20
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.315
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	: 6984.20
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		: 3492.082
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	: 6984.20
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		: 3492.200
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	: 6984.20
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.253
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	: 6984.20
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		: 3492.051
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	: 6984.20
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.297
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	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        99037244 kB
MemAvailable:   129341944 kB
Buffers:            3276 kB
Cached:         31074200 kB
SwapCached:            0 kB
Active:          1133672 kB
Inactive:       30558476 kB
Active(anon):     638780 kB
Inactive(anon):     2076 kB
Active(file):     494892 kB
Inactive(file): 30556400 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5508 kB
Writeback:            12 kB
AnonPages:        616880 kB
Mapped:           117192 kB
Shmem:             26152 kB
KReclaimable:     185684 kB
Slab:             278648 kB
SReclaimable:     185684 kB
SUnreclaim:        92964 kB
KernelStack:        4068 kB
PageTables:         4164 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     978648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149480 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:    454656 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:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432808 MiB
End job on nodeC011 at 2025-07-23 05:38:25