Trace number 4516315

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
Picat 2025-06-16? (TO) 3600.03 3610.6

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
MD5SUM6964b646467d268a62556124320c5d40
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.053684
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1585
Number of constraints which are clauses1584
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 constraint792
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 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 805
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c solving HOME/instance-4516315-1751236662.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: 63708 MiB (62936 MiB free)
  memory of node 1: 64465 MiB (63830 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516315-1751236662/watcher-4516315-1751236662 -o /tmp/evaluation-result-4516315-1751236662/solver-4516315-1751236662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751233010-30869 --watchdog 3760 pb_picat HOME/instance-4516315-1751236662.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
Current StackSize limit: 8192 KiB

solver pid=31627, runsolver pid=31624

[startup+0.10006 s]*
/proc/loadavg: 3.98 4.08 4.08 5/264 31628
/proc/meminfo: memFree=129800232/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2030120 memory=23508 CPUtime=0.09 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2074 0 0 0 9 0 0 0 20 0 1 0 39343703 2078842880 5877 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 507530 5877 1728 343 0 504594 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2030120 KiB
Current children cumulated memory: 23508 KiB

[startup+0.205387 s]*
/proc/loadavg: 3.98 4.08 4.08 5/264 31628
/proc/meminfo: memFree=129800232/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2030156 memory=23584 CPUtime=0.19 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2262 0 0 0 19 0 0 0 20 0 1 0 39343703 2078879744 5896 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 507539 5896 1728 343 0 504603 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2030156 KiB
Current children cumulated memory: 23584 KiB

[startup+0.304756 s]*
/proc/loadavg: 3.98 4.08 4.08 5/264 31628
/proc/meminfo: memFree=129800232/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2031180 memory=23840 CPUtime=0.29 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2361 0 0 0 29 0 0 0 20 0 1 0 39343703 2079928320 5960 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 507795 5960 1728 343 0 504859 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2031180 KiB
Current children cumulated memory: 23840 KiB

[startup+0.700098 s]
/proc/loadavg: 3.98 4.08 4.08 5/264 31628
/proc/meminfo: memFree=129800232/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2031324 memory=24216 CPUtime=0.68 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 3133 0 0 0 68 0 0 0 20 0 1 0 39343703 2080075776 6054 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 507831 6054 1728 343 0 504895 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031324 KiB
Current children cumulated memory: 24216 KiB

[startup+1.50011 s]
/proc/loadavg: 3.98 4.08 4.08 5/264 31628
/proc/meminfo: memFree=129799980/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2032348 memory=25052 CPUtime=1.48 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 4741 0 0 0 148 0 0 0 20 0 1 0 39343703 2081124352 6263 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 508087 6263 1728 343 0 505151 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2032348 KiB
Current children cumulated memory: 25052 KiB

[startup+3.10519 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 31628
/proc/meminfo: memFree=129798468/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2034396 memory=25644 CPUtime=3.08 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 8741 0 0 0 307 1 0 0 20 0 1 0 39343703 2083221504 6411 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 508599 6411 1728 343 0 505663 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2034396 KiB
Current children cumulated memory: 25644 KiB

[startup+6.30011 s]
/proc/loadavg: 4.06 4.09 4.09 5/264 31628
/proc/meminfo: memFree=129799816/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2037260 memory=28964 CPUtime=6.27 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 15940 0 0 0 625 2 0 0 20 0 1 0 39343703 2086154240 7241 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 509315 7241 1728 343 0 506379 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2037260 KiB
Current children cumulated memory: 28964 KiB

[startup+12.7001 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 31628
/proc/meminfo: memFree=129797028/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2037260 memory=29632 CPUtime=12.65 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 32812 0 0 0 1260 5 0 0 20 0 1 0 39343703 2086154240 7408 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 509315 7408 1728 343 0 506379 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2037260 KiB
Current children cumulated memory: 29632 KiB

[startup+25.5001 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 31628
/proc/meminfo: memFree=129781348/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2037836 memory=29368 CPUtime=25.42 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 66756 0 0 0 2531 11 0 0 20 0 1 0 39343703 2086744064 7342 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 509459 7342 1728 343 0 506523 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2037836 KiB
Current children cumulated memory: 29368 KiB

[startup+51.1052 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 31629
/proc/meminfo: memFree=129773496/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2042240 memory=33260 CPUtime=50.95 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 119357 0 0 0 5071 24 0 0 20 0 1 0 39343703 2091253760 8315 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 510560 8315 1728 343 0 507624 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2042240 KiB
Current children cumulated memory: 33260 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/264 31630
/proc/meminfo: memFree=129772508/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2054832 memory=37560 CPUtime=102.02 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 206873 0 0 0 10157 45 0 0 20 0 1 0 39343703 2104147968 9390 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 513708 9390 1728 343 0 510772 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2054832 KiB
Current children cumulated memory: 37560 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 31633
/proc/meminfo: memFree=129764552/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2042676 memory=34672 CPUtime=161.84 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 296434 0 0 0 16115 69 0 0 20 0 1 0 39343703 2091700224 8668 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 510669 8668 1728 343 0 507733 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2042676 KiB
Current children cumulated memory: 34672 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 31637
/proc/meminfo: memFree=129757940/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2042964 memory=32608 CPUtime=221.68 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 379787 0 0 0 22072 96 0 0 20 0 1 0 39343703 2091995136 8152 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 510741 8152 1728 343 0 507805 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2042964 KiB
Current children cumulated memory: 32608 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/266 31644
/proc/meminfo: memFree=129749400/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2047880 memory=39524 CPUtime=281.51 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 466568 0 0 0 28032 119 0 0 20 0 1 0 39343703 2097029120 9881 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 511970 9881 1728 343 0 509034 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2047880 KiB
Current children cumulated memory: 39524 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/266 31646
/proc/meminfo: memFree=129750584/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2056072 memory=47844 CPUtime=341.34 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 543155 0 0 0 33992 142 0 0 20 0 1 0 39343703 2105417728 11961 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 514018 11961 1728 343 0 511082 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 2056072 KiB
Current children cumulated memory: 47844 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 31648
/proc/meminfo: memFree=129740564/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2056072 memory=47332 CPUtime=401.17 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 619184 0 0 0 39951 166 0 0 20 0 1 0 39343703 2105417728 11833 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 514018 11833 1728 343 0 511082 0
Current children cumulated CPU time: 401.17 s
Current children cumulated vsize: 2056072 KiB
Current children cumulated memory: 47332 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 31650
/proc/meminfo: memFree=129734220/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2064264 memory=49380 CPUtime=460.99 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 685781 0 0 0 45910 189 0 0 20 0 1 0 39343703 2113806336 12345 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 516066 12345 1728 343 0 513130 0
Current children cumulated CPU time: 460.99 s

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

Current children cumulated memory: 71536 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/266 31785
/proc/meminfo: memFree=129647008/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2100140 memory=81136 CPUtime=2853.99 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2016443 0 0 0 284568 831 0 0 20 0 1 0 39343703 2150543360 20284 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 525035 20284 1728 343 0 522099 0
Current children cumulated CPU time: 2853.99 s
Current children cumulated vsize: 2100140 KiB
Current children cumulated memory: 81136 KiB

[startup+2922.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/266 31789
/proc/meminfo: memFree=129627292/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2100140 memory=83184 CPUtime=2913.8 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2053343 0 0 0 290527 853 0 0 20 0 1 0 39343703 2150543360 20796 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 525035 20796 1728 343 0 522099 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 2100140 KiB
Current children cumulated memory: 83184 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/265 31791
/proc/meminfo: memFree=129627860/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2100140 memory=76400 CPUtime=2973.62 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2095819 0 0 0 296483 879 0 0 20 0 1 0 39343703 2150543360 19100 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 525035 19100 1728 343 0 522099 0
Current children cumulated CPU time: 2973.62 s
Current children cumulated vsize: 2100140 KiB
Current children cumulated memory: 76400 KiB

[startup+3042.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/265 31794
/proc/meminfo: memFree=129627676/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2132908 memory=85232 CPUtime=3033.44 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2136616 0 0 0 302439 905 0 0 20 0 1 0 39343703 2184097792 21308 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 533227 21308 1728 343 0 530291 0
Current children cumulated CPU time: 3033.44 s
Current children cumulated vsize: 2132908 KiB
Current children cumulated memory: 85232 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/265 31796
/proc/meminfo: memFree=129632564/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2116656 memory=86100 CPUtime=3093.26 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2146616 0 0 0 308414 912 0 0 20 0 1 0 39343703 2167455744 21525 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 529164 21525 1728 343 0 526228 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 2116656 KiB
Current children cumulated memory: 86100 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/264 31798
/proc/meminfo: memFree=129635348/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2100272 memory=75092 CPUtime=3153.09 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2157939 0 0 0 314389 920 0 0 20 0 1 0 39343703 2150678528 18773 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 525068 18773 1728 343 0 522132 0
Current children cumulated CPU time: 3153.09 s
Current children cumulated vsize: 2100272 KiB
Current children cumulated memory: 75092 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/265 31801
/proc/meminfo: memFree=129621772/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2083888 memory=58276 CPUtime=3212.91 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2168581 0 0 0 320361 930 0 0 20 0 1 0 39343703 2133901312 14569 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 520972 14569 1728 343 0 518036 0
Current children cumulated CPU time: 3212.91 s
Current children cumulated vsize: 2083888 KiB
Current children cumulated memory: 58276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 31807
/proc/meminfo: memFree=129625764/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2133040 memory=101716 CPUtime=3272.74 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2178645 0 0 0 326337 937 0 0 20 0 1 0 39343703 2184232960 25429 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 533260 25429 1728 343 0 530324 0
Current children cumulated CPU time: 3272.74 s
Current children cumulated vsize: 2133040 KiB
Current children cumulated memory: 101716 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/264 31810
/proc/meminfo: memFree=129634284/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2100272 memory=83344 CPUtime=3332.56 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2205885 0 0 0 332302 954 0 0 20 0 1 0 39343703 2150678528 20836 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 525068 20836 1728 343 0 522132 0
Current children cumulated CPU time: 3332.56 s
Current children cumulated vsize: 2100272 KiB
Current children cumulated memory: 83344 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 31812
/proc/meminfo: memFree=129630400/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2100272 memory=86388 CPUtime=3392.38 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2242294 0 0 0 338260 978 0 0 20 0 1 0 39343703 2150678528 21597 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 525068 21597 1728 343 0 522132 0
Current children cumulated CPU time: 3392.38 s
Current children cumulated vsize: 2100272 KiB
Current children cumulated memory: 86388 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/264 31814
/proc/meminfo: memFree=129614308/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2133040 memory=87196 CPUtime=3452.19 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2281629 0 0 0 344215 1004 0 0 20 0 1 0 39343703 2184232960 21799 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 533260 21799 1728 343 0 530324 0
Current children cumulated CPU time: 3452.19 s
Current children cumulated vsize: 2133040 KiB
Current children cumulated memory: 87196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 31819
/proc/meminfo: memFree=129613608/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2133040 memory=87196 CPUtime=3512.01 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2313455 0 0 0 350175 1026 0 0 20 0 1 0 39343703 2184232960 21799 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 533260 21799 1728 343 0 530324 0
Current children cumulated CPU time: 3512.01 s
Current children cumulated vsize: 2133040 KiB
Current children cumulated memory: 87196 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.09 4.09 5/264 31911
/proc/meminfo: memFree=129634568/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2133040 memory=103824 CPUtime=3571.82 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2339362 0 0 0 356141 1041 0 0 20 0 1 0 39343703 2184232960 25956 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 533260 25956 1728 343 0 530324 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 2133040 KiB
Current children cumulated memory: 103824 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.08 4.08 4.09 5/265 31958
/proc/meminfo: memFree=129670116/131250000 swapFree=33010684/33010684
[pid=31627] ppid=31624 vsize=2133040 memory=103816 CPUtime=3600.02 cores=0,2
/proc/31627/stat : 31627 (pb_picat) R 31624 31627 30859 0 -1 4194304 2341562 0 0 0 358957 1045 0 0 20 0 1 0 39343703 2184232960 25954 18446744073709551615 94802821754880 94802823156461 140729980782400 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94802823427888 94802825302192 94802832437248 140729980787102 140729980787178 140729980787178 140729980792780 0
/proc/31627/statm: 533260 25954 1728 343 0 530324 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2133040 KiB
Current children cumulated memory: 103816 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.57 s, system=10.4556 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.6
CPU time (s): 3600.03
CPU user time (s): 3589.57
CPU system time (s): 10.4556
CPU usage (%): 99.7072
Max. virtual memory (cumulated for all children) (KiB): 2198576
Max. memory (cumulated for all children) (KiB): 130392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.57
system time used= 10.4556
maximum resident set size= 130392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2341562
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= 69
involuntary context switches= 4617


# summary of solver processes directly reported to runsolver:
#   pid: 31627
#   total CPU time (s): 3600.03
#   total CPU user time (s): 3589.57
#   total CPU system time (s): 10.4556

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43609 second user time and 15.5328 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-06-30 00:37:42
IDJOB=4516315
IDBENCH=170631
IDSOLVER=3346
FILE ID=nodeC019/4516315-1751236662
RUNJOBID= nodeC019-1751233010-30869
SLURM_JOB_ID= 9587712
Free space on /tmp= 433056 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4516315-1751236662/watcher-4516315-1751236662 -o /tmp/evaluation-result-4516315-1751236662/solver-4516315-1751236662 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751233010-30869 --watchdog 3760  pb_picat HOME/instance-4516315-1751236662.opb

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

MD5SUM BENCH= 6964b646467d268a62556124320c5d40
RANDOM SEED=119275049

nodeC019 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		: 3602.992
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.37
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.694
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129808676 kB
MemAvailable:   129706092 kB
Buffers:            3280 kB
Cached:           706552 kB
SwapCached:            0 kB
Active:           404936 kB
Inactive:         449804 kB
Active(anon):     162972 kB
Inactive(anon):        0 kB
Active(file):     241964 kB
Inactive(file):   449804 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7416 kB
Writeback:             0 kB
AnonPages:        147504 kB
Mapped:           113284 kB
Shmem:             18064 kB
KReclaimable:      89776 kB
Slab:             175620 kB
SReclaimable:      89776 kB
SUnreclaim:        85844 kB
KernelStack:        4304 kB
PageTables:         3504 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6499192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 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:      176852 kB
DirectMap2M:     9031680 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433048 MiB
End job on nodeC019 at 2025-06-30 01:37:53