Trace number 4543241

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.21 1893.07

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb
MD5SUMa0d62a72b47a2475f04b135ec45730e0
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.01195
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables500
Total number of constraints1001
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)501
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint500
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 125
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 625
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PRINTEMPS v2.7.0 (https://snowberryfield.github.io/printemps/)
0.00/0.00	c #variable: 500
0.00/0.00	c #constraint: 1001
0.00/0.00	c #equal: 0
0.00/0.00	c intsize: 10
0.00/0.00	c sizeproduct: 0
0.00/0.00	c #soft: 0
0.00/0.00	c mincost: 0
0.00/0.00	c maxcost: 0
0.00/0.00	c sumcost: 0
0.00/0.00	c iteration_max: -1
0.00/0.00	c time_max: -1
0.00/0.00	c number_of_threads(move update): 2
0.00/0.00	c number_of_threads(move evaluation): 2
0.00/0.00	c seed: 1385049241
3600.13/1893.04	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (59570 MiB free)
  memory of node 1: 64507 MiB (53364 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=173950, runsolver pid=173947

[startup+0.100056 s]*
/proc/loadavg: 7.51 7.26 6.92 9/266 173952
/proc/meminfo: memFree=115636460/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=82260 memory=8068 CPUtime=0.19 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 1589 0 0 0 19 0 0 0 20 0 2 0 236052824 84234240 2017 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 20565 2017 672 633 0 3480 0
[pid=173950/tid=173952] ppid=173947 vsize=82260 memory=4026531960 CPUtime=0.09 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 87 0 0 0 9 0 0 0 20 0 2 0 236052824 84234240 2017 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 82260 KiB
Current children cumulated memory: 8068 KiB

[startup+0.205309 s]*
/proc/loadavg: 7.51 7.26 6.92 9/266 173952
/proc/meminfo: memFree=115636460/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=82392 memory=8196 CPUtime=0.38 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 1603 0 0 0 38 0 0 0 20 0 2 0 236052824 84369408 2049 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 20598 2049 672 633 0 3513 0
[pid=173950/tid=173952] ppid=173947 vsize=82392 memory=4830728736883343644 CPUtime=0.18 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 87 0 0 0 18 0 0 0 20 0 2 0 236052824 84369408 2049 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 82392 KiB
Current children cumulated memory: 8196 KiB

[startup+0.304418 s]*
/proc/loadavg: 7.51 7.26 6.92 8/266 173952
/proc/meminfo: memFree=115636636/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=82392 memory=8196 CPUtime=0.57 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 1618 0 0 0 57 0 0 0 20 0 2 0 236052824 84369408 2049 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 20598 2049 672 633 0 3513 0
[pid=173950/tid=173952] ppid=173947 vsize=82392 memory=-8537908582648932448 CPUtime=0.28 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 87 0 0 0 28 0 0 0 20 0 2 0 236052824 84369408 2049 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 82392 KiB
Current children cumulated memory: 8196 KiB

[startup+0.700114 s]
/proc/loadavg: 7.51 7.26 6.92 9/266 173952
/proc/meminfo: memFree=115636636/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=82536 memory=8196 CPUtime=1.31 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 1644 0 0 0 130 1 0 0 20 0 2 0 236052824 84516864 2049 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 20634 2049 672 633 0 3549 0
[pid=173950/tid=173952] ppid=173947 vsize=82536 memory=27136 CPUtime=0.63 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 87 0 0 0 63 0 0 0 20 0 2 0 236052824 84516864 2049 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 82536 KiB
Current children cumulated memory: 8196 KiB

[startup+1.50012 s]
/proc/loadavg: 7.51 7.26 6.92 7/266 173952
/proc/meminfo: memFree=115636644/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=84476 memory=10116 CPUtime=2.74 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 3305 0 0 0 272 2 0 0 20 0 2 0 236052824 86503424 2529 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 21119 2529 672 633 0 4034 0
[pid=173950/tid=173952] ppid=173947 vsize=84476 memory=27136 CPUtime=1.26 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 350 0 0 0 126 0 0 0 20 0 2 0 236052824 86503424 2529 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 2.74 s
Current children cumulated vsize: 84476 KiB
Current children cumulated memory: 10116 KiB

[startup+3.10456 s]
/proc/loadavg: 7.51 7.26 6.92 8/266 173952
/proc/meminfo: memFree=115632644/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=87364 memory=12908 CPUtime=5.74 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 5530 0 0 0 571 3 0 0 20 0 2 0 236052824 89460736 3227 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 21841 3227 672 633 0 4756 0
[pid=173950/tid=173952] ppid=173947 vsize=87364 memory=10500 CPUtime=2.68 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 522 0 0 0 268 0 0 0 20 0 2 0 236052824 89460736 3227 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 5.74 s
Current children cumulated vsize: 87364 KiB
Current children cumulated memory: 12908 KiB

[startup+6.30013 s]
/proc/loadavg: 7.47 7.25 6.92 9/266 173952
/proc/meminfo: memFree=115632644/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=87364 memory=12908 CPUtime=11.41 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 8587 0 0 0 1135 6 0 0 20 0 2 0 236052824 89460736 3227 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 21841 3227 672 633 0 4756 0
[pid=173950/tid=173952] ppid=173947 vsize=87364 memory=27136 CPUtime=5.17 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 802 0 0 0 516 1 0 0 20 0 2 0 236052824 89460736 3227 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 11.41 s
Current children cumulated vsize: 87364 KiB
Current children cumulated memory: 12908 KiB

[startup+12.7002 s]
/proc/loadavg: 7.52 7.26 6.93 9/266 173952
/proc/meminfo: memFree=115628116/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=99476 memory=25160 CPUtime=23.49 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 15532 0 0 0 2340 9 0 0 20 0 2 0 236052824 101863424 6290 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 24869 6290 672 633 0 7784 0
[pid=173950/tid=173952] ppid=173947 vsize=99476 memory=24264 CPUtime=10.89 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 1165 0 0 0 1088 1 0 0 20 0 2 0 236052824 101863424 6290 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 23.49 s
Current children cumulated vsize: 99476 KiB
Current children cumulated memory: 25160 KiB

[startup+25.5001 s]
/proc/loadavg: 7.48 7.27 6.94 8/266 173999
/proc/meminfo: memFree=115629052/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=102884 memory=27400 CPUtime=48.35 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 21807 0 0 0 4820 15 0 0 20 0 2 0 236052824 105353216 6850 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 25721 6850 672 633 0 8636 0
[pid=173950/tid=173952] ppid=173947 vsize=102884 memory=27400 CPUtime=23.07 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 2394 0 0 0 2305 2 0 0 20 0 2 0 236052824 105353216 6850 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 48.35 s
Current children cumulated vsize: 102884 KiB
Current children cumulated memory: 27400 KiB

[startup+51.1057 s]
/proc/loadavg: 7.57 7.31 6.96 9/266 173999
/proc/meminfo: memFree=115625796/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=102884 memory=27400 CPUtime=98.26 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 31674 0 0 0 9796 30 0 0 20 0 2 0 236052824 105353216 6850 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 25721 6850 672 633 0 8636 0
[pid=173950/tid=173952] ppid=173947 vsize=102884 memory=14720 CPUtime=47.58 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 4734 0 0 0 4751 7 0 0 20 0 2 0 236052824 105353216 6850 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 98.26 s
Current children cumulated vsize: 102884 KiB
Current children cumulated memory: 27400 KiB

[startup+102.3 s]
/proc/loadavg: 7.72 7.40 7.01 9/267 174002
/proc/meminfo: memFree=115620060/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=106632 memory=31880 CPUtime=198.4 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 40618 0 0 0 19792 48 0 0 20 0 2 0 236052824 109191168 7970 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 26658 7970 672 633 0 9573 0
[pid=173950/tid=173952] ppid=173947 vsize=106632 memory=27136 CPUtime=96.91 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 7954 0 0 0 9678 13 0 0 20 0 2 0 236052824 109191168 7970 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 198.4 s
Current children cumulated vsize: 106632 KiB
Current children cumulated memory: 31880 KiB

[startup+162.3 s]
/proc/loadavg: 7.30 7.35 7.02 8/268 174009
/proc/meminfo: memFree=115584776/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=118796 memory=42348 CPUtime=313.56 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 52832 0 0 0 31296 60 0 0 20 0 2 0 236052824 121647104 10587 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 29699 10587 672 633 0 12614 0
[pid=173950/tid=173952] ppid=173947 vsize=118796 memory=35464 CPUtime=152.58 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 12176 0 0 0 15241 17 0 0 20 0 2 0 236052824 121647104 10587 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 313.56 s
Current children cumulated vsize: 118796 KiB
Current children cumulated memory: 42348 KiB

[startup+222.3 s]
/proc/loadavg: 7.61 7.43 7.06 9/268 174011
/proc/meminfo: memFree=115577296/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=127968 memory=53472 CPUtime=430.89 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 58330 0 0 0 43019 70 0 0 20 0 2 0 236052824 131039232 13368 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 31992 13368 672 633 0 14907 0
[pid=173950/tid=173952] ppid=173947 vsize=127968 memory=53472 CPUtime=210.36 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 13437 0 0 0 21016 20 0 0 20 0 2 0 236052824 131039232 13368 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 430.89 s
Current children cumulated vsize: 127968 KiB
Current children cumulated memory: 53472 KiB

[startup+282.3 s]
/proc/loadavg: 7.82 7.52 7.12 9/268 174013
/proc/meminfo: memFree=115571452/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=134064 memory=59616 CPUtime=547.57 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 59874 0 0 0 54681 76 0 0 20 0 2 0 236052824 137281536 14904 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 33516 14904 672 633 0 16431 0
[pid=173950/tid=173952] ppid=173947 vsize=134064 memory=57056 CPUtime=267.54 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 13437 0 0 0 26732 22 0 0 20 0 2 0 236052824 137281536 14904 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 547.57 s
Current children cumulated vsize: 134064 KiB

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

/proc/meminfo: memFree=115424352/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=203564 memory=128148 CPUtime=2404.05 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 99711 0 0 0 240234 171 0 0 20 0 2 0 236052824 208449536 32037 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 50891 32037 672 633 0 33806 0
[pid=173950/tid=173952] ppid=173947 vsize=203564 memory=14720 CPUtime=1171.14 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 17784 0 0 0 117050 64 0 0 20 0 2 0 236052824 208449536 32037 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 2404.05 s
Current children cumulated vsize: 203564 KiB
Current children cumulated memory: 128148 KiB

[startup+1302.3 s]
/proc/loadavg: 7.21 7.31 7.21 8/267 174058
/proc/meminfo: memFree=115418732/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=205880 memory=130324 CPUtime=2518.57 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 100296 0 0 0 251681 176 0 0 20 0 2 0 236052824 210821120 32581 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 51470 32581 672 633 0 34385 0
[pid=173950/tid=173952] ppid=173947 vsize=205880 memory=14720 CPUtime=1226.07 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) S 173947 173950 173087 0 -1 4194368 17784 0 0 0 122540 67 0 0 20 0 2 0 236052824 210821120 32581 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 2518.57 s
Current children cumulated vsize: 205880 KiB
Current children cumulated memory: 130324 KiB

[startup+1362.3 s]
/proc/loadavg: 6.62 7.13 7.15 7/268 174065
/proc/meminfo: memFree=115396632/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=207976 memory=132500 CPUtime=2610.29 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 100821 0 0 0 260847 182 0 0 20 0 2 0 236052824 212967424 33125 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 51994 33125 672 633 0 34909 0
[pid=173950/tid=173952] ppid=173947 vsize=207976 memory=14720 CPUtime=1258.08 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) S 173947 173950 173087 0 -1 4194368 17784 0 0 0 125738 70 0 0 20 0 2 0 236052824 212967424 33125 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 1 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 2610.29 s
Current children cumulated vsize: 207976 KiB
Current children cumulated memory: 132500 KiB

[startup+1422.3 s]
/proc/loadavg: 6.66 7.05 7.12 8/268 174068
/proc/meminfo: memFree=115398812/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=210672 memory=135188 CPUtime=2724.47 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 101495 0 0 0 272259 188 0 0 20 0 2 0 236052824 215728128 33797 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 52668 33797 672 633 0 35583 0
[pid=173950/tid=173952] ppid=173947 vsize=210672 memory=134676 CPUtime=1312.68 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 17784 0 0 0 131194 74 0 0 20 0 2 0 236052824 215728128 33797 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 2724.47 s
Current children cumulated vsize: 210672 KiB
Current children cumulated memory: 135188 KiB

[startup+1482.3 s]
/proc/loadavg: 6.50 6.95 7.08 8/268 174253
/proc/meminfo: memFree=115053092/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=213156 memory=137620 CPUtime=2833.74 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 104983 0 0 0 283181 193 0 0 20 0 2 0 236052824 218271744 34405 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 53289 34405 672 633 0 36204 0
[pid=173950/tid=173952] ppid=173947 vsize=213156 memory=135444 CPUtime=1362.38 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 18565 0 0 0 136162 76 0 0 20 0 2 0 236052824 218271744 34405 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 2833.74 s
Current children cumulated vsize: 213156 KiB
Current children cumulated memory: 137620 KiB

[startup+1542.3 s]
/proc/loadavg: 6.55 6.88 7.05 8/268 174255
/proc/meminfo: memFree=115043260/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=216020 memory=140564 CPUtime=2943.7 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 105713 0 0 0 294172 198 0 0 20 0 2 0 236052824 221204480 35141 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 54005 35141 672 633 0 36920 0
[pid=173950/tid=173952] ppid=173947 vsize=216020 memory=139540 CPUtime=1412.75 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 18573 0 0 0 141197 78 0 0 20 0 2 0 236052824 221204480 35141 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 2943.7 s
Current children cumulated vsize: 216020 KiB
Current children cumulated memory: 140564 KiB

[startup+1602.3 s]
/proc/loadavg: 6.70 6.86 7.02 8/268 174257
/proc/meminfo: memFree=115031036/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=218576 memory=142996 CPUtime=3057.1 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 106528 0 0 0 305507 203 0 0 20 0 2 0 236052824 223821824 35749 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 54644 35749 672 633 0 37559 0
[pid=173950/tid=173952] ppid=173947 vsize=218576 memory=142996 CPUtime=1466.58 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 18640 0 0 0 146578 80 0 0 20 0 2 0 236052824 223821824 35749 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 3057.1 s
Current children cumulated vsize: 218576 KiB
Current children cumulated memory: 142996 KiB

[startup+1662.3 s]
/proc/loadavg: 6.68 6.81 7.00 8/267 174261
/proc/meminfo: memFree=115008136/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=222420 memory=146964 CPUtime=3172.87 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 107547 0 0 0 317078 209 0 0 20 0 2 0 236052824 227758080 36741 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 55605 36741 672 633 0 38520 0
[pid=173950/tid=173952] ppid=173947 vsize=222420 memory=146964 CPUtime=1522.79 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 18640 0 0 0 152196 83 0 0 20 0 2 0 236052824 227758080 36741 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 3172.87 s
Current children cumulated vsize: 222420 KiB
Current children cumulated memory: 146964 KiB

[startup+1722.3 s]
/proc/loadavg: 6.68 6.78 6.97 8/267 174263
/proc/meminfo: memFree=114978860/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=226264 memory=150676 CPUtime=3288.29 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 108697 0 0 0 328614 215 0 0 20 0 2 0 236052824 231694336 37669 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 56566 37669 672 633 0 39481 0
[pid=173950/tid=173952] ppid=173947 vsize=226264 memory=146964 CPUtime=1578.63 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 18664 0 0 0 157777 86 0 0 20 0 2 0 236052824 231694336 37669 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 3288.29 s
Current children cumulated vsize: 226264 KiB
Current children cumulated memory: 150676 KiB

[startup+1782.3 s]
/proc/loadavg: 6.55 6.70 6.93 8/267 174265
/proc/meminfo: memFree=114968816/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=229764 memory=154132 CPUtime=3403.33 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 109639 0 0 0 340111 222 0 0 20 0 2 0 236052824 235278336 38533 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 57441 38533 672 633 0 40356 0
[pid=173950/tid=173952] ppid=173947 vsize=229764 memory=153620 CPUtime=1634.09 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 18664 0 0 0 163321 88 0 0 20 0 2 0 236052824 235278336 38533 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 3403.33 s
Current children cumulated vsize: 229764 KiB
Current children cumulated memory: 154132 KiB

[startup+1842.3 s]
/proc/loadavg: 6.80 6.74 6.93 8/267 174267
/proc/meminfo: memFree=114967372/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=232700 memory=157204 CPUtime=3519.05 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 110525 0 0 0 351677 228 0 0 20 0 2 0 236052824 238284800 39301 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 58175 39301 672 633 0 41090 0
[pid=173950/tid=173952] ppid=173947 vsize=232700 memory=10880 CPUtime=1690.25 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 18738 0 0 0 168934 91 0 0 20 0 2 0 236052824 238284800 39301 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 7 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 3519.05 s
Current children cumulated vsize: 232700 KiB
Current children cumulated memory: 157204 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1893 s]*
/proc/loadavg: 6.71 6.72 6.91 8/266 174269
/proc/meminfo: memFree=114963840/131250000 swapFree=33010416/33010684
[pid=173950] ppid=173947 vsize=235072 memory=159508 CPUtime=3600.13 cores=5,7
/proc/173950/stat : 173950 (pb_competition_) R 173947 173950 173087 0 -1 4194304 111120 0 0 0 359779 234 0 0 20 0 2 0 236052824 240713728 39877 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
/proc/173950/statm: 58768 39877 672 633 0 41683 0
[pid=173950/tid=173952] ppid=173947 vsize=235072 memory=-9042030261643208544 CPUtime=1720.9 cores=5,7
/proc/173950/task/173952/stat : 173952 (pb_competition_) R 173947 173950 173087 0 -1 4194368 18739 0 0 0 171996 94 0 0 20 0 2 0 236052824 240713728 39877 18446744073709551615 4198400 6788177 140728240537824 0 0 0 0 0 8404994 0 0 0 -1 5 0 0 0 0 0 7336896 7391280 28471296 140728240544087 140728240544214 140728240544214 140728240549818 0
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 235072 KiB
Current children cumulated memory: 159508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.87 s, system=2.34576 s

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

Child status: 0

Real time (s): 1893.07
CPU time (s): 3600.21
CPU user time (s): 3597.87
CPU system time (s): 2.34576
CPU usage (%): 190.178
Max. virtual memory (cumulated for all children) (KiB): 235072
Max. memory (cumulated for all children) (KiB): 159508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.87
system time used= 2.34576
maximum resident set size= 159508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111247
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= 146779
involuntary context switches= 62093


# summary of solver processes directly reported to runsolver:
#   pid: 173950
#   total CPU time (s): 3600.21
#   total CPU user time (s): 3597.87
#   total CPU system time (s): 2.34576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.1708 second user time and 9.44463 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2025-07-22 19:02:09
IDJOB=4543241
IDBENCH=172378
IDSOLVER=3347
FILE ID=nodeC027/4543241-1753203729
RUNJOBID= nodeC027-1753198973-173105
SLURM_JOB_ID= 9687760
Free space on /tmp= 432980 MiB

SOLVER NAME= PRINTEMPS 2025-05-28
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.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-4543241-1753203729/watcher-4543241-1753203729 -o /tmp/evaluation-result-4543241-1753203729/solver-4543241-1753203729 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1753198973-173105 --watchdog 3760  pb_competition_2025_solver -k -1 -t -1.0 -j 2 -r 1385049241 HOME/instance-4543241-1753203729.opb

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

MD5SUM BENCH= a0d62a72b47a2475f04b135ec45730e0
RANDOM SEED=1385049241

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.607
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.152
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.598
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.607
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.799
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3559.720
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.638
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.644
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.29
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        115645892 kB
MemAvailable:   129569680 kB
Buffers:            2488 kB
Cached:         14689972 kB
SwapCached:            8 kB
Active:          1297896 kB
Inactive:       13593224 kB
Active(anon):     222124 kB
Inactive(anon):     2788 kB
Active(file):    1075772 kB
Inactive(file): 13590436 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5192 kB
Writeback:            28 kB
AnonPages:        201760 kB
Mapped:           117112 kB
Shmem:             26252 kB
KReclaimable:     193240 kB
Slab:             289720 kB
SReclaimable:     193240 kB
SUnreclaim:        96480 kB
KernelStack:        4384 kB
PageTables:         3460 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     567712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432972 MiB
End job on nodeC027 at 2025-07-22 19:33:43