Trace number 4488859

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 NameAnswerobjective functionCPU timeWall clock time
Picat 2025-06-16? (TO) 3600.03 3610.01

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
MD5SUM1c637e715c606e851ba2308661126deb
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1040
Best CPU time to get the best result obtained on this benchmark3585.49
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1968
Total number of constraints4000
Number of constraints which are clauses4000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1968
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1968
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1968
Number of bits of the biggest sum of numbers11
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.01	c solving HOME/instance-4488859-1751340913.opb (Picat 3.9b6)

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 (62560 MiB free)
  memory of node 1: 64507 MiB (63879 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4488859-1751340913/watcher-4488859-1751340913 -o /tmp/evaluation-result-4488859-1751340913/solver-4488859-1751340913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751337295-52624 --watchdog 3760 pb_picat HOME/instance-4488859-1751340913.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100059 s]*
/proc/loadavg: 4.11 4.12 4.09 5/263 53581
/proc/meminfo: memFree=129466108/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2039696 memory=30784 CPUtime=0.09 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 2766 0 0 0 8 1 0 0 20 0 1 0 49771522 2088648704 7696 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 509924 7696 1696 343 0 506988 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2039696 KiB
Current children cumulated memory: 30784 KiB

[startup+0.205328 s]*
/proc/loadavg: 4.11 4.12 4.09 5/263 53581
/proc/meminfo: memFree=129460500/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2043280 memory=33664 CPUtime=0.19 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 4112 0 0 0 18 1 0 0 20 0 1 0 49771522 2092318720 8416 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 510820 8416 1696 343 0 507884 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2043280 KiB
Current children cumulated memory: 33664 KiB

[startup+0.305272 s]*
/proc/loadavg: 4.11 4.12 4.09 5/263 53581
/proc/meminfo: memFree=129460500/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2043384 memory=33908 CPUtime=0.29 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 4264 0 0 0 28 1 0 0 20 0 1 0 49771522 2092425216 8477 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 510846 8477 1696 343 0 507910 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2043384 KiB
Current children cumulated memory: 33908 KiB

[startup+0.700166 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 53581
/proc/meminfo: memFree=129460500/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2043140 memory=33584 CPUtime=0.68 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 5803 0 0 0 67 1 0 0 20 0 1 0 49771522 2092175360 8396 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 510785 8396 1696 343 0 507849 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2043140 KiB
Current children cumulated memory: 33584 KiB

[startup+1.50015 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 53581
/proc/meminfo: memFree=129459212/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2045188 memory=34760 CPUtime=1.48 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 7415 0 0 0 146 2 0 0 20 0 1 0 49771522 2094272512 8690 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 511297 8690 1696 343 0 508361 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2045188 KiB
Current children cumulated memory: 34760 KiB

[startup+3.10491 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 53581
/proc/meminfo: memFree=129527700/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2045320 memory=35404 CPUtime=3.08 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 11316 0 0 0 305 3 0 0 20 0 1 0 49771522 2094407680 8851 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 511330 8851 1696 343 0 508394 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2045320 KiB
Current children cumulated memory: 35404 KiB

[startup+6.30013 s]
/proc/loadavg: 4.10 4.12 4.09 5/263 53581
/proc/meminfo: memFree=129503268/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2049940 memory=38148 CPUtime=6.26 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 18406 0 0 0 622 4 0 0 20 0 1 0 49771522 2099138560 9537 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 512485 9537 1696 343 0 509549 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2049940 KiB
Current children cumulated memory: 38148 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 53581
/proc/meminfo: memFree=129518724/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2049908 memory=37852 CPUtime=12.65 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 32903 0 0 0 1258 7 0 0 20 0 1 0 49771522 2099105792 9463 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 512477 9463 1696 343 0 509541 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2049908 KiB
Current children cumulated memory: 37852 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.09 5/263 53581
/proc/meminfo: memFree=129491928/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2050352 memory=41820 CPUtime=25.42 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 55154 0 0 0 2529 13 0 0 20 0 1 0 49771522 2099560448 10455 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 512588 10455 1696 343 0 509652 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2050352 KiB
Current children cumulated memory: 41820 KiB

[startup+51.1047 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 53582
/proc/meminfo: memFree=129458324/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2051092 memory=40164 CPUtime=50.95 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 104110 0 0 0 5069 26 0 0 20 0 1 0 49771522 2100318208 10041 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 512773 10041 1696 343 0 509837 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2051092 KiB
Current children cumulated memory: 40164 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 53588
/proc/meminfo: memFree=129439304/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2055688 memory=41736 CPUtime=102.02 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 179654 0 0 0 10155 47 0 0 20 0 1 0 49771522 2105024512 10434 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 513922 10434 1696 343 0 510986 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2055688 KiB
Current children cumulated memory: 41736 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 53591
/proc/meminfo: memFree=129440268/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2064244 memory=50520 CPUtime=161.86 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 274872 0 0 0 16108 78 0 0 20 0 1 0 49771522 2113785856 12630 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 516061 12630 1696 343 0 513125 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2064244 KiB
Current children cumulated memory: 50520 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 53593
/proc/meminfo: memFree=129434300/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2064448 memory=56180 CPUtime=221.7 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 351579 0 0 0 22069 101 0 0 20 0 1 0 49771522 2113994752 14045 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 516112 14045 1696 343 0 513176 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2064448 KiB
Current children cumulated memory: 56180 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/264 53595
/proc/meminfo: memFree=129416252/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2080832 memory=62328 CPUtime=281.54 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 417211 0 0 0 28035 119 0 0 20 0 1 0 49771522 2130771968 15582 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 520208 15582 1696 343 0 517272 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2080832 KiB
Current children cumulated memory: 62328 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/264 53596
/proc/meminfo: memFree=129411256/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2064952 memory=48812 CPUtime=341.38 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 470691 0 0 0 34001 137 0 0 20 0 1 0 49771522 2114510848 12203 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 516238 12203 1696 343 0 513302 0
Current children cumulated CPU time: 341.38 s
Current children cumulated vsize: 2064952 KiB
Current children cumulated memory: 48812 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 53598
/proc/meminfo: memFree=129390028/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2066924 memory=55152 CPUtime=401.24 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 524407 0 0 0 39966 158 0 0 20 0 1 0 49771522 2116530176 13788 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 516731 13788 1696 343 0 513795 0
Current children cumulated CPU time: 401.24 s
Current children cumulated vsize: 2066924 KiB
Current children cumulated memory: 55152 KiB

[startup+462.3 s]
/proc/loadavg: 4.38 4.17 4.12 5/263 53600
/proc/meminfo: memFree=129388252/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2067652 memory=55308 CPUtime=461.07 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 577482 0 0 0 45931 176 0 0 20 0 1 0 49771522 2117275648 13827 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 516913 13827 1696 343 0 513977 0

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

Current children cumulated memory: 137672 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/263 53769
/proc/meminfo: memFree=129251760/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2133628 memory=123336 CPUtime=2854.44 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 1871762 0 0 0 284648 796 0 0 20 0 1 0 49771522 2184835072 30834 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 533407 30834 1696 343 0 530471 0
Current children cumulated CPU time: 2854.44 s
Current children cumulated vsize: 2133628 KiB
Current children cumulated memory: 123336 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 53774
/proc/meminfo: memFree=129248284/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2150012 memory=133576 CPUtime=2914.28 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 1886338 0 0 0 290624 804 0 0 20 0 1 0 49771522 2201612288 33394 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 537503 33394 1696 343 0 534567 0
Current children cumulated CPU time: 2914.28 s
Current children cumulated vsize: 2150012 KiB
Current children cumulated memory: 133576 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 53776
/proc/meminfo: memFree=129223372/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2150012 memory=133576 CPUtime=2974.11 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 1917805 0 0 0 296590 821 0 0 20 0 1 0 49771522 2201612288 33394 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 537503 33394 1696 343 0 534567 0
Current children cumulated CPU time: 2974.11 s
Current children cumulated vsize: 2150012 KiB
Current children cumulated memory: 133576 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 53778
/proc/meminfo: memFree=129208288/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2150012 memory=129480 CPUtime=3033.93 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 1952395 0 0 0 302553 840 0 0 20 0 1 0 49771522 2201612288 32370 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 537503 32370 1696 343 0 534567 0
Current children cumulated CPU time: 3033.93 s
Current children cumulated vsize: 2150012 KiB
Current children cumulated memory: 129480 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 53785
/proc/meminfo: memFree=129180600/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2215548 memory=190920 CPUtime=3093.76 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 1973206 0 0 0 308525 851 0 0 20 0 1 0 49771522 2268721152 47730 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 553887 47730 1696 343 0 550951 0
Current children cumulated CPU time: 3093.76 s
Current children cumulated vsize: 2215548 KiB
Current children cumulated memory: 190920 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 53787
/proc/meminfo: memFree=129200248/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2150012 memory=111048 CPUtime=3153.6 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 1989308 0 0 0 314499 861 0 0 20 0 1 0 49771522 2201612288 27762 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 537503 27762 1696 343 0 534567 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 2150012 KiB
Current children cumulated memory: 111048 KiB

[startup+3222.3 s]
/proc/loadavg: 4.33 4.18 4.12 5/263 53789
/proc/meminfo: memFree=129204920/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2136908 memory=122520 CPUtime=3213.44 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 2006686 0 0 0 320473 871 0 0 20 0 1 0 49771522 2188193792 30630 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 534227 30630 1696 343 0 531291 0
Current children cumulated CPU time: 3213.44 s
Current children cumulated vsize: 2136908 KiB
Current children cumulated memory: 122520 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/263 53791
/proc/meminfo: memFree=129202356/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2153292 memory=140952 CPUtime=3273.26 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 2015786 0 0 0 326450 876 0 0 20 0 1 0 49771522 2204971008 35238 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 538323 35238 1696 343 0 535387 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 2153292 KiB
Current children cumulated memory: 140952 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.16 4.11 5/263 53794
/proc/meminfo: memFree=129203296/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2153292 memory=140952 CPUtime=3333.09 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 2048774 0 0 0 332416 893 0 0 20 0 1 0 49771522 2204971008 35238 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 538323 35238 1696 343 0 535387 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 2153292 KiB
Current children cumulated memory: 140952 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/262 53796
/proc/meminfo: memFree=129184640/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2186060 memory=143896 CPUtime=3392.93 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 2081812 0 0 0 338380 913 0 0 20 0 1 0 49771522 2238525440 35974 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 546515 35974 1696 343 0 543579 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 2186060 KiB
Current children cumulated memory: 143896 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/262 53798
/proc/meminfo: memFree=129193356/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2153292 memory=140952 CPUtime=3452.76 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 2113564 0 0 0 344346 930 0 0 20 0 1 0 49771522 2204971008 35238 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 538323 35238 1696 343 0 535387 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 2153292 KiB
Current children cumulated memory: 140952 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/263 53803
/proc/meminfo: memFree=129171720/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2138340 memory=117804 CPUtime=3512.59 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 2131100 0 0 0 350319 940 0 0 20 0 1 0 49771522 2189660160 29451 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 534585 29451 1696 343 0 531649 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 2138340 KiB
Current children cumulated memory: 117804 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/263 53805
/proc/meminfo: memFree=129201084/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2154724 memory=132140 CPUtime=3572.43 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 2145536 0 0 0 356294 949 0 0 20 0 1 0 49771522 2206437376 33035 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 538681 33035 1696 343 0 535745 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 2154724 KiB
Current children cumulated memory: 132140 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.08 4.11 4.09 3/259 53831
/proc/meminfo: memFree=129450552/131250000 swapFree=33010684/33010684
[pid=53580] ppid=53577 vsize=2105572 memory=95452 CPUtime=3600.02 cores=4,6
/proc/53580/stat : 53580 (pb_picat) R 53577 53580 52613 0 -1 4194304 2149206 0 0 0 359048 954 0 0 20 0 1 0 49771522 2156105728 23863 18446744073709551615 94214445842432 94214447244013 140720745847424 0 0 0 0 0 8389634 0 0 0 17 4 0 0 0 0 0 94214447515440 94214449389744 94214460968960 140720745855390 140720745855466 140720745855466 140720745861068 0
/proc/53580/statm: 526393 23863 1696 343 0 523457 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2105572 KiB
Current children cumulated memory: 95452 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.48 s, system=9.55123 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.01
CPU time (s): 3600.03
CPU user time (s): 3590.48
CPU system time (s): 9.55123
CPU usage (%): 99.7237
Max. virtual memory (cumulated for all children) (KiB): 2251596
Max. memory (cumulated for all children) (KiB): 195016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.48
system time used= 9.55123
maximum resident set size= 195016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2149206
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= 67
involuntary context switches= 4883


# summary of solver processes directly reported to runsolver:
#   pid: 53580
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3590.48
#   total CPU system time (s): 9.55123

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28084 second user time and 14.7731 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-01 05:35:13
IDJOB=4488859
IDBENCH=147533
IDSOLVER=3346
FILE ID=nodeC013/4488859-1751340913
RUNJOBID= nodeC013-1751337295-52624
SLURM_JOB_ID= 9594389
Free space on /tmp= 433048 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/vtxcov/normalized-vtxcov_v2000_e4000_2.opb.PB06.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4488859-1751340913/watcher-4488859-1751340913 -o /tmp/evaluation-result-4488859-1751340913/solver-4488859-1751340913 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751337295-52624 --watchdog 3760  pb_picat HOME/instance-4488859-1751340913.opb

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

MD5SUM BENCH= 1c637e715c606e851ba2308661126deb
RANDOM SEED=1398245754

nodeC013 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.781
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.67
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.827
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.67
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		: 3601.503
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.587
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.67
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.837
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.834
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.67
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.085
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.67
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		: 3564.638
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129473884 kB
MemAvailable:   129557416 kB
Buffers:            3280 kB
Cached:           884304 kB
SwapCached:            0 kB
Active:           527440 kB
Inactive:         640660 kB
Active(anon):     293808 kB
Inactive(anon):        0 kB
Active(file):     233632 kB
Inactive(file):   640660 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             11860 kB
Writeback:             0 kB
AnonPages:        283684 kB
Mapped:           109152 kB
Shmem:             13284 kB
KReclaimable:      96560 kB
Slab:             184624 kB
SReclaimable:      96560 kB
SUnreclaim:        88064 kB
KernelStack:        4256 kB
PageTables:         3664 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6663476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150472 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433044 MiB
End job on nodeC013 at 2025-07-01 06:35:23