Trace number 4545308

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.74 3229.65

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-08-04-08_c24.opb
MD5SUMe5dad10f2c51a051686c6ce21bebf57a
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables101921
Total number of constraints213661
Number of constraints which are clauses56497
Number of constraints which are cardinality constraints (but not clauses)776
Number of constraints which are nor clauses,nor cardinality constraints156388
Minimum length of a constraint1
Maximum length of a constraint32
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 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 62
Number of bits of the biggest sum of numbers6
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.36/0.98	c #variable: 101921
1.36/0.98	c #constraint: 213661
1.36/0.98	c #equal: 572
1.36/0.98	c intsize: 6
1.36/0.98	c sizeproduct: 0
1.36/0.98	c #soft: 0
1.36/0.98	c mincost: 0
1.36/0.98	c maxcost: 0
1.36/0.98	c sumcost: 0
1.36/0.98	c iteration_max: -1
1.36/0.98	c time_max: -1
1.36/0.98	c number_of_threads(move update): 2
1.36/0.98	c number_of_threads(move evaluation): 2
1.36/0.98	c seed: 2021720829
3600.19/3229.19	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60080 MiB free)
  memory of node 1: 64465 MiB (58764 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4545308-1753237727/watcher-4545308-1753237727 -o /tmp/evaluation-result-4545308-1753237727/solver-4545308-1753237727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753234447-172877 --watchdog 3760 pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2021720829 HOME/instance-4545308-1753237727.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100061 s]*
/proc/loadavg: 4.97 4.76 4.59 7/267 173283
/proc/meminfo: memFree=121653272/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=128004 memory=62696 CPUtime=0.15 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 11624 0 0 0 13 2 0 0 20 0 2 0 239451258 131076096 15674 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 32001 15674 576 633 0 17494 0
[pid=173281/tid=173283] ppid=173278 vsize=128004 memory=4026531960 CPUtime=0.05 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) R 173278 173281 172866 0 -1 4194368 2663 0 0 0 5 0 0 0 20 0 2 0 239451262 131076096 15674 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 128004 KiB
Current children cumulated memory: 62696 KiB

[startup+0.20593 s]*
/proc/loadavg: 4.97 4.76 4.59 7/267 173283
/proc/meminfo: memFree=121620764/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=147804 memory=99304 CPUtime=0.35 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 20750 0 0 0 30 5 0 0 20 0 2 0 239451258 151351296 24826 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 36951 24826 576 633 0 26629 0
[pid=173281/tid=173283] ppid=173278 vsize=147804 memory=4830726537859825948 CPUtime=0.15 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) R 173278 173281 172866 0 -1 4194368 6848 0 0 0 12 3 0 0 20 0 2 0 239451262 151351296 24826 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 147804 KiB
Current children cumulated memory: 99304 KiB

[startup+0.305615 s]*
/proc/loadavg: 4.97 4.76 4.59 6/267 173283
/proc/meminfo: memFree=121589012/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=166548 memory=133736 CPUtime=0.54 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 29400 0 0 0 47 7 0 0 20 0 2 0 239451258 170545152 33434 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 41637 33434 576 633 0 35274 0
[pid=173281/tid=173283] ppid=173278 vsize=166548 memory=-9042311736569587808 CPUtime=0.24 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) R 173278 173281 172866 0 -1 4194368 10807 0 0 0 20 4 0 0 20 0 2 0 239451262 170545152 33434 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 166548 KiB
Current children cumulated memory: 133736 KiB

[startup+0.700206 s]
/proc/loadavg: 4.97 4.76 4.59 6/267 173283
/proc/meminfo: memFree=121563560/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=357328 memory=337416 CPUtime=0.96 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 54151 0 0 0 81 15 0 0 20 0 2 0 239451258 365903872 84354 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 89332 84354 608 633 0 85858 0
[pid=173281/tid=173283] ppid=173278 vsize=357328 memory=27008 CPUtime=0.31 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) R 173278 173281 172866 0 -1 4194368 13698 0 0 0 26 5 0 0 20 0 2 0 239451262 365903872 84354 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 0 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 357328 KiB
Current children cumulated memory: 337416 KiB

[startup+1.50019 s]
/proc/loadavg: 4.97 4.76 4.59 5/267 173283
/proc/meminfo: memFree=121306116/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=497784 memory=445576 CPUtime=2.01 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 121743 0 0 0 178 23 0 0 20 0 2 0 239451258 509730816 111394 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 124446 111394 672 633 0 112917 0
[pid=173281/tid=173283] ppid=173278 vsize=497784 memory=27008 CPUtime=0.59 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 22027 0 0 0 51 8 0 0 20 0 2 0 239451262 509730816 111394 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 497784 KiB
Current children cumulated memory: 445576 KiB

[startup+3.10552 s]
/proc/loadavg: 4.89 4.74 4.59 5/267 173283
/proc/meminfo: memFree=121121856/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=643900 memory=589320 CPUtime=3.61 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 210222 0 0 0 328 33 0 0 20 0 2 0 239451258 659353600 147330 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 160975 147330 672 633 0 149446 0
[pid=173281/tid=173283] ppid=173278 vsize=643900 memory=567176 CPUtime=0.59 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 22027 0 0 0 51 8 0 0 20 0 2 0 239451262 659353600 147330 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3.61 s
Current children cumulated vsize: 643900 KiB
Current children cumulated memory: 589320 KiB

[startup+6.3002 s]
/proc/loadavg: 4.89 4.74 4.59 5/267 173283
/proc/meminfo: memFree=120790756/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=958696 memory=906556 CPUtime=6.8 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 317802 0 0 0 633 47 0 0 20 0 2 0 239451258 981704704 226639 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 239674 226639 672 633 0 228145 0
[pid=173281/tid=173283] ppid=173278 vsize=958696 memory=27008 CPUtime=0.6 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 22027 0 0 0 52 8 0 0 20 0 2 0 239451262 981704704 226639 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 6.8 s
Current children cumulated vsize: 958696 KiB
Current children cumulated memory: 906556 KiB

[startup+12.7002 s]
/proc/loadavg: 4.75 4.72 4.58 5/267 173284
/proc/meminfo: memFree=120778596/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=976748 memory=924732 CPUtime=13.3 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 469638 0 0 0 1269 61 0 0 20 0 2 0 239451258 1000189952 231183 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 244187 231183 672 633 0 232658 0
[pid=173281/tid=173283] ppid=173278 vsize=976748 memory=924732 CPUtime=0.73 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 27781 0 0 0 64 9 0 0 20 0 2 0 239451262 1000189952 231183 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 13.3 s
Current children cumulated vsize: 976748 KiB
Current children cumulated memory: 924732 KiB

[startup+25.5002 s]
/proc/loadavg: 4.72 4.71 4.58 5/267 173284
/proc/meminfo: memFree=120770280/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=981632 memory=929596 CPUtime=26.7 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 624426 0 0 0 2599 71 0 0 20 0 2 0 239451258 1005191168 232399 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 245408 232399 672 633 0 233879 0
[pid=173281/tid=173283] ppid=173278 vsize=981632 memory=929596 CPUtime=1.39 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 32434 0 0 0 130 9 0 0 20 0 2 0 239451262 1005191168 232399 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 26.7 s
Current children cumulated vsize: 981632 KiB
Current children cumulated memory: 929596 KiB

[startup+51.1056 s]
/proc/loadavg: 4.74 4.72 4.58 6/267 173330
/proc/meminfo: memFree=122179092/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=985196 memory=933180 CPUtime=54.46 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 779995 0 0 0 5362 84 0 0 20 0 2 0 239451258 1008840704 233295 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 246299 233295 672 633 0 234770 0
[pid=173281/tid=173283] ppid=173278 vsize=985196 memory=933180 CPUtime=3.68 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 40744 0 0 0 358 10 0 0 20 0 2 0 239451262 1008840704 233295 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 54.46 s
Current children cumulated vsize: 985196 KiB
Current children cumulated memory: 933180 KiB

[startup+102.3 s]
/proc/loadavg: 4.62 4.69 4.58 5/267 173332
/proc/meminfo: memFree=122135556/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=992720 memory=940732 CPUtime=109.18 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 1026448 0 0 0 10816 102 0 0 20 0 2 0 239451258 1016545280 235183 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 248180 235183 672 633 0 236651 0
[pid=173281/tid=173283] ppid=173278 vsize=992720 memory=933180 CPUtime=7.47 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 60658 0 0 0 734 13 0 0 20 0 2 0 239451262 1016545280 235183 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 109.18 s
Current children cumulated vsize: 992720 KiB
Current children cumulated memory: 940732 KiB

[startup+162.3 s]
/proc/loadavg: 4.75 4.70 4.59 6/268 173334
/proc/meminfo: memFree=122129384/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=993116 memory=941116 CPUtime=174.9 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 1199198 0 0 0 17374 116 0 0 20 0 2 0 239451258 1016950784 235279 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 248279 235279 672 633 0 236750 0
[pid=173281/tid=173283] ppid=173278 vsize=993116 memory=933180 CPUtime=13.52 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 80906 0 0 0 1336 16 0 0 20 0 2 0 239451262 1016950784 235279 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 174.9 s
Current children cumulated vsize: 993116 KiB
Current children cumulated memory: 941116 KiB

[startup+222.3 s]
/proc/loadavg: 4.56 4.65 4.58 6/267 173335
/proc/meminfo: memFree=122066972/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=993248 memory=941244 CPUtime=241.67 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 1309678 0 0 0 24041 126 0 0 20 0 2 0 239451258 1017085952 235311 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 248312 235311 672 633 0 236783 0
[pid=173281/tid=173283] ppid=173278 vsize=993248 memory=941244 CPUtime=20.62 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 92505 0 0 0 2044 18 0 0 20 0 2 0 239451262 1017085952 235311 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 241.67 s
Current children cumulated vsize: 993248 KiB
Current children cumulated memory: 941244 KiB

[startup+282.3 s]
/proc/loadavg: 4.55 4.64 4.58 5/267 173337
/proc/meminfo: memFree=122048416/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=998132 memory=946108 CPUtime=307.79 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 1418621 0 0 0 30644 135 0 0 20 0 2 0 239451258 1022087168 236527 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 249533 236527 672 633 0 238004 0
[pid=173281/tid=173283] ppid=173278 vsize=998132 memory=946108 CPUtime=27.04 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 96857 0 0 0 2685 19 0 0 20 0 2 0 239451262 1022087168 236527 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 307.79 s
Current children cumulated vsize: 998132 KiB

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

/proc/meminfo: memFree=122104568/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3055.2 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2286887 0 0 0 305246 274 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=968508 CPUtime=327.51 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154074 0 0 0 32695 56 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3055.2 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

[startup+2802.3 s]
/proc/loadavg: 3.53 3.79 4.32 4/260 173494
/proc/meminfo: memFree=122104424/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3122.39 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2287564 0 0 0 311963 276 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=14344 CPUtime=335.05 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154131 0 0 0 33448 57 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3122.39 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

[startup+2862.3 s]
/proc/loadavg: 3.31 3.69 4.25 4/261 173501
/proc/meminfo: memFree=122113240/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3189.64 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2288257 0 0 0 318686 278 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=968508 CPUtime=342.62 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154151 0 0 0 34204 58 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3189.64 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

[startup+2922.3 s]
/proc/loadavg: 3.30 3.62 4.19 4/261 173503
/proc/meminfo: memFree=122113488/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3256.74 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2288909 0 0 0 325394 280 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=968508 CPUtime=350.05 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) R 173278 173281 172866 0 -1 4194368 154185 0 0 0 34946 59 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3256.74 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

[startup+2982.3 s]
/proc/loadavg: 3.26 3.55 4.13 5/261 173505
/proc/meminfo: memFree=122113156/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3324.04 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2289611 0 0 0 332121 283 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=14344 CPUtime=357.67 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154214 0 0 0 35708 59 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3324.04 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

[startup+3042.3 s]
/proc/loadavg: 3.41 3.53 4.08 4/260 173507
/proc/meminfo: memFree=122103364/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3391.12 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2290232 0 0 0 338828 284 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=968508 CPUtime=365.08 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154236 0 0 0 36448 60 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3391.12 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

[startup+3102.3 s]
/proc/loadavg: 3.28 3.46 4.02 5/260 173509
/proc/meminfo: memFree=122103612/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3458.32 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2290968 0 0 0 345546 286 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=10752 CPUtime=372.59 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154284 0 0 0 37198 61 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3458.32 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

[startup+3162.3 s]
/proc/loadavg: 2.85 3.31 3.93 3/252 173542
/proc/meminfo: memFree=122718784/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3525.42 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2291614 0 0 0 352254 288 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=10752 CPUtime=379.99 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154339 0 0 0 37937 62 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3525.42 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

[startup+3222.3 s]
/proc/loadavg: 2.40 3.10 3.82 3/252 173544
/proc/meminfo: memFree=122718876/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3592.57 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2292269 0 0 0 358967 290 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=10752 CPUtime=387.43 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154400 0 0 0 38680 63 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3592.57 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3229 s]*
/proc/loadavg: 2.45 3.10 3.82 3/252 173544
/proc/meminfo: memFree=122718876/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3600.08 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2292269 0 0 0 359718 290 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=-8970254112567486560 CPUtime=388.26 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) R 173278 173281 172866 0 -1 4194368 154400 0 0 0 38763 63 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.8 s, system=2.93727 s

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

[startup+3229.2 s]
/proc/loadavg: 2.45 3.10 3.82 3/252 173544
/proc/meminfo: memFree=122718876/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=1018988 memory=968508 CPUtime=3600.28 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2292275 0 0 0 359738 290 0 0 20 0 2 0 239451258 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 254747 242127 672 633 0 243218 0
[pid=173281/tid=173283] ppid=173278 vsize=1018988 memory=12928 CPUtime=388.27 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154400 0 0 0 38764 63 0 0 20 0 2 0 239451262 1043443712 242127 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 1018988 KiB
Current children cumulated memory: 968508 KiB

[startup+3229.6 s]
/proc/loadavg: 2.45 3.10 3.82 3/252 173544
/proc/meminfo: memFree=122718876/131249988 swapFree=33010416/33010684
[pid=173281] ppid=173278 vsize=877240 memory=826876 CPUtime=3600.68 cores=4,6
/proc/173281/stat : 173281 (pb_competition_) R 173278 173281 172866 0 -1 4194304 2306811 0 0 0 359777 291 0 0 20 0 2 0 239451258 898293760 206719 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
/proc/173281/statm: 219310 206719 672 633 0 207781 0
[pid=173281/tid=173283] ppid=173278 vsize=877240 memory=10752 CPUtime=388.27 cores=4,6
/proc/173281/task/173283/stat : 173283 (pb_competition_) S 173278 173281 172866 0 -1 4194368 154400 0 0 0 38764 63 0 0 20 0 2 0 239451262 898293760 206719 18446744073709551615 4198400 6788177 140724974493856 0 0 0 0 0 8404994 1 0 0 -1 6 0 0 0 0 0 7336896 7391280 24928256 140724974496087 140724974496214 140724974496214 140724974501818 0
Current children cumulated CPU time: 3600.68 s
Current children cumulated vsize: 877240 KiB
Current children cumulated memory: 826876 KiB

Child status: 0

Real time (s): 3229.65
CPU time (s): 3600.74
CPU user time (s): 3597.8
CPU system time (s): 2.93727
CPU usage (%): 111.49
Max. virtual memory (cumulated for all children) (KiB): 1018988
Max. memory (cumulated for all children) (KiB): 968508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.8
system time used= 2.93727
maximum resident set size= 968508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2325044
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= 37173
involuntary context switches= 8441


# summary of solver processes directly reported to runsolver:
#   pid: 173281
#   total CPU time (s): 3600.74
#   total CPU user time (s): 3597.8
#   total CPU system time (s): 2.93727

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38467 second user time and 15.6211 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-23 04:28:47
IDJOB=4545308
IDBENCH=180812
IDSOLVER=3347
FILE ID=nodeC031/4545308-1753237727
RUNJOBID= nodeC031-1753234447-172877
SLURM_JOB_ID= 9687860
Free space on /tmp= 432900 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-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-4545308-1753237727/watcher-4545308-1753237727 -o /tmp/evaluation-result-4545308-1753237727/solver-4545308-1753237727 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753234447-172877 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 2021720829 HOME/instance-4545308-1753237727.opb

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

MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=2021720829

nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.915
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.78
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.883
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.78
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		: 3611.602
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.78
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		: 3600.632
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.78
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.897
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.78
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		: 3600.250
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.78
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		: 3615.779
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.78
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		: 3700.000
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        121697180 kB
MemAvailable:   126889216 kB
Buffers:            2128 kB
Cached:          5876560 kB
SwapCached:            8 kB
Active:          3959228 kB
Inactive:        4742492 kB
Active(anon):    2838816 kB
Inactive(anon):    10464 kB
Active(file):    1120412 kB
Inactive(file):  4732028 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             15592 kB
Writeback:             0 kB
AnonPages:       2826164 kB
Mapped:           117096 kB
Shmem:             26248 kB
KReclaimable:     357672 kB
Slab:             456228 kB
SReclaimable:     357672 kB
SUnreclaim:        98556 kB
KernelStack:        4256 kB
PageTables:         8564 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    3196504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1654784 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432924 MiB
End job on nodeC031 at 2025-07-23 05:22:37