Trace number 4515943

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
AI448PBSolver 2025-05-31? (TO) 3600.13 3611.54

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb
MD5SUMd9b74fe8ba5c70cce21a95ed96e09832
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.168827
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables484
Total number of constraints485
Number of constraints which are clauses484
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint484
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 487
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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 (53213 MiB free)
  memory of node 1: 64465 MiB (62696 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515943-1751233430/watcher-4515943-1751233430 -o /tmp/evaluation-result-4515943-1751233430/solver-4515943-1751233430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751231330-33254 --watchdog 3760 HOME/solve.sh HOME/instance-4515943-1751233430.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.10007 s]*
/proc/loadavg: 4.08 4.09 4.00 5/269 33822
/proc/meminfo: memFree=118691264/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=14344 memory=10496 CPUtime=0.07 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 2144 0 0 0 7 0 0 0 20 0 1 0 39021655 14688256 2624 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 3586 2624 576 108 0 2103 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 18536 KiB
Current children cumulated memory: 13440 KiB

[startup+0.205753 s]*
/proc/loadavg: 4.08 4.09 4.00 5/269 33822
/proc/meminfo: memFree=118691264/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=20020 memory=16000 CPUtime=0.17 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 3516 0 0 0 17 0 0 0 20 0 1 0 39021655 20500480 4000 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 5005 4000 576 108 0 3522 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 24212 KiB
Current children cumulated memory: 18944 KiB

[startup+0.305437 s]*
/proc/loadavg: 4.08 4.09 4.00 5/269 33822
/proc/meminfo: memFree=118691564/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=25672 memory=20736 CPUtime=0.27 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 4709 0 0 0 27 0 0 0 20 0 1 0 39021655 26288128 5184 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 6418 5184 576 108 0 4935 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 29864 KiB
Current children cumulated memory: 23680 KiB

[startup+0.700171 s]
/proc/loadavg: 4.08 4.09 4.00 5/269 33822
/proc/meminfo: memFree=118691564/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=34956 memory=30592 CPUtime=0.66 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 7187 0 0 0 65 1 0 0 20 0 1 0 39021655 35794944 7648 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 8739 7648 576 108 0 7256 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 39148 KiB
Current children cumulated memory: 33536 KiB

[startup+1.50019 s]
/proc/loadavg: 4.08 4.09 4.00 5/269 33822
/proc/meminfo: memFree=118691564/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=49772 memory=42624 CPUtime=1.46 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 10147 0 0 0 145 1 0 0 20 0 1 0 39021655 50966528 10656 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 12443 10656 608 108 0 10960 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 53964 KiB
Current children cumulated memory: 45568 KiB

[startup+3.10563 s]
/proc/loadavg: 4.07 4.09 4.00 5/269 33822
/proc/meminfo: memFree=118683344/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=80092 memory=67712 CPUtime=3.06 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 16432 0 0 0 304 2 0 0 20 0 1 0 39021655 82014208 16928 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 20023 16928 608 108 0 18540 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 84284 KiB
Current children cumulated memory: 70656 KiB

[startup+6.30019 s]
/proc/loadavg: 4.07 4.09 4.00 5/269 33822
/proc/meminfo: memFree=118683580/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=97952 memory=80512 CPUtime=6.25 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 19645 0 0 0 622 3 0 0 20 0 1 0 39021655 100302848 20128 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 24488 20128 608 108 0 23005 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 102144 KiB
Current children cumulated memory: 83456 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 4.10 4.01 5/269 33822
/proc/meminfo: memFree=118682732/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=120848 memory=102528 CPUtime=12.63 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 25153 0 0 0 1258 5 0 0 20 0 1 0 39021655 123748352 25632 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 30212 25632 608 108 0 28729 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 125040 KiB
Current children cumulated memory: 105472 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.01 5/269 33822
/proc/meminfo: memFree=118648972/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=168888 memory=136832 CPUtime=25.39 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 33768 0 0 0 2531 8 0 0 20 0 1 0 39021655 172941312 34208 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 42222 34208 608 108 0 40739 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 173080 KiB
Current children cumulated memory: 139776 KiB

[startup+51.1057 s]
/proc/loadavg: 4.07 4.09 4.00 5/269 33822
/proc/meminfo: memFree=118572772/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=222512 memory=183552 CPUtime=50.92 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 45519 0 0 0 5081 11 0 0 20 0 1 0 39021655 227852288 45888 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 55628 45888 608 108 0 54145 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 226704 KiB
Current children cumulated memory: 186496 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.00 5/269 33824
/proc/meminfo: memFree=118500608/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=270040 memory=226304 CPUtime=101.98 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 56235 0 0 0 10181 17 0 0 20 0 1 0 39021655 276520960 56576 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 67510 56576 608 108 0 66027 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 274232 KiB
Current children cumulated memory: 229248 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.00 5/268 33826
/proc/meminfo: memFree=118345264/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=348428 memory=285312 CPUtime=161.81 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 71018 0 0 0 16160 21 0 0 20 0 1 0 39021655 356790272 71328 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 87107 71328 608 108 0 85624 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 352620 KiB
Current children cumulated memory: 288256 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.01 5/268 33828
/proc/meminfo: memFree=118073716/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=438412 memory=360036 CPUtime=221.64 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 89241 0 0 0 22136 28 0 0 20 0 1 0 39021655 448933888 90009 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 109603 90009 608 108 0 108120 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 442604 KiB

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

/proc/33822/statm: 366028 314502 608 108 0 364545 0
Current children cumulated CPU time: 3092.86 s
Current children cumulated vsize: 1468304 KiB
Current children cumulated memory: 1260952 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 35105
/proc/meminfo: memFree=125659656/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1478192 memory=1277720 CPUtime=3152.66 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 302970 0 0 0 315139 127 0 0 20 0 1 0 39021655 1513668608 319430 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 369548 319430 608 108 0 368065 0
Current children cumulated CPU time: 3152.66 s
Current children cumulated vsize: 1482384 KiB
Current children cumulated memory: 1280664 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 35107
/proc/meminfo: memFree=125566240/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1483312 memory=1304472 CPUtime=3212.47 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 303929 0 0 0 321119 128 0 0 20 0 1 0 39021655 1518911488 326118 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 370828 326118 608 108 0 369345 0
Current children cumulated CPU time: 3212.47 s
Current children cumulated vsize: 1487504 KiB
Current children cumulated memory: 1307416 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/265 35109
/proc/meminfo: memFree=125513788/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1484336 memory=1310360 CPUtime=3272.26 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 304462 0 0 0 327098 128 0 0 20 0 1 0 39021655 1519960064 327590 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 371084 327590 608 108 0 369601 0
Current children cumulated CPU time: 3272.26 s
Current children cumulated vsize: 1488528 KiB
Current children cumulated memory: 1313304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/266 35114
/proc/meminfo: memFree=125476564/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1491504 memory=1315928 CPUtime=3332.02 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 305343 0 0 0 333073 129 0 0 20 0 1 0 39021655 1527300096 328982 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 372876 328982 608 108 0 371393 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 1495696 KiB
Current children cumulated memory: 1318872 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 35117
/proc/meminfo: memFree=125426892/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1496112 memory=1321128 CPUtime=3391.76 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 306143 0 0 0 339046 130 0 0 20 0 1 0 39021655 1532018688 330282 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 374028 330282 608 108 0 372545 0
Current children cumulated CPU time: 3391.76 s
Current children cumulated vsize: 1500304 KiB
Current children cumulated memory: 1324072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/267 35123
/proc/meminfo: memFree=125373748/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1548336 memory=1329832 CPUtime=3451.51 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 308330 0 0 0 345020 131 0 0 20 0 1 0 39021655 1585496064 332458 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 387084 332458 608 108 0 385601 0
Current children cumulated CPU time: 3451.51 s
Current children cumulated vsize: 1552528 KiB
Current children cumulated memory: 1332776 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/267 35125
/proc/meminfo: memFree=125300700/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1600104 memory=1369000 CPUtime=3511.25 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 318123 0 0 0 350990 135 0 0 20 0 1 0 39021655 1638506496 342250 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 400026 342250 608 108 0 398543 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 1604296 KiB
Current children cumulated memory: 1371944 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/267 35127
/proc/meminfo: memFree=125231892/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1635108 memory=1407016 CPUtime=3570.99 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 327615 0 0 0 356958 141 0 0 20 0 1 0 39021655 1674350592 351754 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 408777 351754 608 108 0 407294 0
Current children cumulated CPU time: 3570.99 s
Current children cumulated vsize: 1639300 KiB
Current children cumulated memory: 1409960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 35127
/proc/meminfo: memFree=125216112/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1636132 memory=1408680 CPUtime=3600.07 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 328034 0 0 0 359866 141 0 0 20 0 1 0 39021655 1675399168 352170 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 409033 352170 608 108 0 407550 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1640324 KiB
Current children cumulated memory: 1411624 KiB

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

[startup+3611.5 s]
# the end of solver process 33818 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.007796 s

[startup+3611.54 s]
# the end of solver process 33822 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3598.67 s, system=1.46419 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3611.5 s]
/proc/loadavg: 4.04 4.07 4.08 5/267 35127
/proc/meminfo: memFree=125216112/131250000 swapFree=33010684/33010684
[pid=33818] ppid=33815 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/33818/stat : 33818 (bash) S 33815 33818 33241 0 -1 4194304 307 225 0 0 0 0 0 0 20 0 1 0 39021654 4292608 736 18446744073709551615 94550085562368 94550086456901 140723651116464 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94550086695952 94550086743696 94550115811328 140723651123604 140723651123720 140723651123720 140723651129322 0
/proc/33818/statm: 1048 736 672 219 0 110 0
[pid=33822] ppid=33818 vsize=1636132 memory=1408680 CPUtime=3600.07 cores=5,7
/proc/33822/stat : 33822 (solve_pb) R 33818 33818 33241 0 -1 4194304 328034 0 0 0 359866 141 0 0 20 0 1 0 39021655 1675399168 352170 18446744073709551615 93828358317056 93828358755200 140736423670656 0 0 0 0 4096 1088 0 0 0 17 5 0 0 0 0 0 93828358783920 93828358786336 93828364701696 140736423676292 140736423676356 140736423676356 140736423681976 0
/proc/33822/statm: 409033 352170 608 108 0 407550 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1640324 KiB
Current children cumulated memory: 1411624 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.54
CPU time (s): 3600.13
CPU user time (s): 3598.67
CPU system time (s): 1.46419
CPU usage (%): 99.684
Max. virtual memory (cumulated for all children) (KiB): 1640324
Max. memory (cumulated for all children) (KiB): 1411624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.67
system time used= 1.46419
maximum resident set size= 1408680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328566
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= 439
involuntary context switches= 5853


# summary of solver processes directly reported to runsolver:
#   pid: 33818,33822
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3598.67
#   total CPU system time (s): 1.46419

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.71649 second user time and 16.8562 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2025-06-29 23:43:50
IDJOB=4515943
IDBENCH=168324
IDSOLVER=3321
FILE ID=nodeC026/4515943-1751233430
RUNJOBID= nodeC026-1751231330-33254
SLURM_JOB_ID= 9587706
Free space on /tmp= 433052 MiB

SOLVER NAME= AI448PBSolver 2025-05-31
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb
COMMAND LINE= HOME/solve.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515943-1751233430/watcher-4515943-1751233430 -o /tmp/evaluation-result-4515943-1751233430/solver-4515943-1751233430 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751231330-33254 --watchdog 3760  HOME/solve.sh HOME/instance-4515943-1751233430.opb

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

MD5SUM BENCH= d9b74fe8ba5c70cce21a95ed96e09832
RANDOM SEED=2021393074

nodeC026 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.814
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.59
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.721
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.59
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		: 3642.553
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.59
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		: 3552.291
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.59
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.980
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.59
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.053
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.59
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.413
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.59
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.213
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.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        118691664 kB
MemAvailable:   119664612 kB
Buffers:            3280 kB
Cached:          1770920 kB
SwapCached:            0 kB
Active:         10273288 kB
Inactive:        1513608 kB
Active(anon):   10030776 kB
Inactive(anon):        0 kB
Active(file):     242512 kB
Inactive(file):  1513608 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               720 kB
Writeback:             0 kB
AnonPages:      10015836 kB
Mapped:           104376 kB
Shmem:             18080 kB
KReclaimable:     112132 kB
Slab:             202332 kB
SReclaimable:     112132 kB
SUnreclaim:        90200 kB
KernelStack:        4336 kB
PageTables:        30728 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   13619612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1681408 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:      187092 kB
DirectMap2M:     9021440 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC026 at 2025-06-30 00:44:02