Trace number 4512895

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.09 3611.11

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-2.opb
MD5SUM37b3a609918eb30d871bb851627bd55e
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4288
Total number of constraints9520
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)432
Number of constraints which are nor clauses,nor cardinality constraints896
Minimum length of a constraint1
Maximum length of a constraint10
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 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 14
Number of bits of the biggest sum of numbers4
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-4512895-1751209547.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 (62999 MiB free)
  memory of node 1: 64465 MiB (63862 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512895-1751209547/watcher-4512895-1751209547 -o /tmp/evaluation-result-4512895-1751209547/solver-4512895-1751209547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751209547-27264 --watchdog 3760 pb_picat HOME/instance-4512895-1751209547.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=27311, runsolver pid=27305
Current StackSize limit: 8192 KiB


[startup+0.100069 s]*
/proc/loadavg: 0.60 1.28 1.98 5/266 27324
/proc/meminfo: memFree=129799864/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2027148 memory=36760 CPUtime=0.08 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1123 0 0 0 8 0 0 0 20 0 1 0 36632255 2075799552 9190 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 506787 9190 1600 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 36760 KiB

[startup+0.205576 s]*
/proc/loadavg: 0.60 1.28 1.98 5/266 27324
/proc/meminfo: memFree=129771256/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2027832 memory=44412 CPUtime=0.19 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1383 0 0 0 18 1 0 0 20 0 1 0 36632255 2076499968 11103 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 506958 11103 1760 343 0 504022 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027832 KiB
Current children cumulated memory: 44412 KiB

[startup+0.305389 s]*
/proc/loadavg: 0.60 1.28 1.98 5/266 27324
/proc/meminfo: memFree=129771720/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2032072 memory=47100 CPUtime=0.29 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 2176 0 0 0 28 1 0 0 20 0 1 0 36632255 2080841728 11775 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 508018 11775 1760 343 0 505082 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2032072 KiB
Current children cumulated memory: 47100 KiB

[startup+0.700136 s]
/proc/loadavg: 0.60 1.28 1.98 5/266 27324
/proc/meminfo: memFree=129768192/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2034668 memory=50020 CPUtime=0.68 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 4432 0 0 0 66 2 0 0 20 0 1 0 36632255 2083500032 12505 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 508667 12505 1760 343 0 505731 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2034668 KiB
Current children cumulated memory: 50020 KiB

[startup+1.50012 s]
/proc/loadavg: 0.87 1.33 1.99 5/266 27324
/proc/meminfo: memFree=129768192/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2037040 memory=50332 CPUtime=1.47 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 6691 0 0 0 145 2 0 0 20 0 1 0 36632255 2085928960 12583 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 509260 12583 1760 343 0 506324 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2037040 KiB
Current children cumulated memory: 50332 KiB

[startup+3.10508 s]
/proc/loadavg: 0.87 1.33 1.99 5/266 27324
/proc/meminfo: memFree=129763476/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2037428 memory=51572 CPUtime=3.08 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 9361 0 0 0 305 3 0 0 20 0 1 0 36632255 2086326272 12893 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 509357 12893 1760 343 0 506421 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2037428 KiB
Current children cumulated memory: 51572 KiB

[startup+6.3001 s]
/proc/loadavg: 1.12 1.37 2.00 5/267 27326
/proc/meminfo: memFree=129755508/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2037428 memory=52824 CPUtime=6.26 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 12368 0 0 0 623 3 0 0 20 0 1 0 36632255 2086326272 13206 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 509357 13206 1760 343 0 506421 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2037428 KiB
Current children cumulated memory: 52824 KiB

[startup+12.7001 s]
/proc/loadavg: 1.43 1.43 2.02 5/267 27326
/proc/meminfo: memFree=129744672/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2041660 memory=56656 CPUtime=12.64 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 21016 0 0 0 1259 5 0 0 20 0 1 0 36632255 2090659840 14164 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 510415 14164 1760 343 0 507479 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2041660 KiB
Current children cumulated memory: 56656 KiB

[startup+25.5002 s]
/proc/loadavg: 1.83 1.52 2.04 5/267 27326
/proc/meminfo: memFree=129731320/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2054240 memory=59072 CPUtime=25.4 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 40376 0 0 0 2531 9 0 0 20 0 1 0 36632255 2103541760 14768 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 513560 14768 1760 343 0 510624 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2054240 KiB
Current children cumulated memory: 59072 KiB

[startup+51.1053 s]
/proc/loadavg: 2.69 1.76 2.10 5/266 27326
/proc/meminfo: memFree=129702084/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2037856 memory=53372 CPUtime=50.93 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 66370 0 0 0 5076 17 0 0 20 0 1 0 36632255 2086764544 13343 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 509464 13343 1760 343 0 506528 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2037856 KiB
Current children cumulated memory: 53372 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.12 2.21 5/265 27373
/proc/meminfo: memFree=129712480/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2055052 memory=66772 CPUtime=101.96 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 109326 0 0 0 10164 32 0 0 20 0 1 0 36632255 2104373248 16693 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 513763 16693 1760 343 0 510827 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2055052 KiB
Current children cumulated memory: 66772 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 2.48 2.33 5/266 27420
/proc/meminfo: memFree=129685312/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2055052 memory=72928 CPUtime=161.8 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 154378 0 0 0 16134 46 0 0 20 0 1 0 36632255 2104373248 18232 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 513763 18232 1760 343 0 510827 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2055052 KiB
Current children cumulated memory: 72928 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.77 2.44 5/267 27427
/proc/meminfo: memFree=129674300/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2055052 memory=71476 CPUtime=221.63 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 194300 0 0 0 22105 58 0 0 20 0 1 0 36632255 2104373248 17869 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 513763 17869 1760 343 0 510827 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 2055052 KiB
Current children cumulated memory: 71476 KiB

[startup+282.3 s]
/proc/loadavg: 4.03 3.01 2.55 5/267 27429
/proc/meminfo: memFree=129667112/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2071544 memory=75676 CPUtime=281.46 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 241527 0 0 0 28069 77 0 0 20 0 1 0 36632255 2121261056 18919 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 517886 18919 1760 343 0 514950 0
Current children cumulated CPU time: 281.46 s
Current children cumulated vsize: 2071544 KiB
Current children cumulated memory: 75676 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 3.21 2.65 5/264 27431
/proc/meminfo: memFree=129672328/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2071804 memory=77904 CPUtime=341.29 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 282254 0 0 0 34035 94 0 0 20 0 1 0 36632255 2121527296 19476 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 517951 19476 1760 343 0 515015 0
Current children cumulated CPU time: 341.29 s
Current children cumulated vsize: 2071804 KiB
Current children cumulated memory: 77904 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.39 2.74 5/264 27433
/proc/meminfo: memFree=129675980/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2043132 memory=61700 CPUtime=401.11 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 320381 0 0 0 40003 108 0 0 20 0 1 0 36632255 2092167168 15425 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 510783 15425 1760 343 0 507847 0
Current children cumulated CPU time: 401.11 s
Current children cumulated vsize: 2043132 KiB
Current children cumulated memory: 61700 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.52 2.83 5/264 27436
/proc/meminfo: memFree=129651536/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2043952 memory=60960 CPUtime=460.94 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 361790 0 0 0 45967 127 0 0 20 0 1 0 36632255 2093006848 15240 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 510988 15240 1760 343 0 508052 0

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

Current children cumulated memory: 108028 KiB

[startup+2922.3 s]
/proc/loadavg: 4.04 4.07 4.01 5/264 27651
/proc/meminfo: memFree=129562036/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2100900 memory=110076 CPUtime=2913.56 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 967291 0 0 0 290839 517 0 0 20 0 1 0 36632255 2151321600 27519 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 525225 27519 1760 343 0 522289 0
Current children cumulated CPU time: 2913.56 s
Current children cumulated vsize: 2100900 KiB
Current children cumulated memory: 110076 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.10 4.02 5/264 27655
/proc/meminfo: memFree=129526388/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2117284 memory=112968 CPUtime=2973.36 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 976175 0 0 0 296812 524 0 0 20 0 1 0 36632255 2168098816 28242 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 529321 28242 1760 343 0 526385 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 2117284 KiB
Current children cumulated memory: 112968 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.02 5/263 27657
/proc/meminfo: memFree=129519404/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2199204 memory=152180 CPUtime=3033.16 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 988958 0 0 0 302781 535 0 0 20 0 1 0 36632255 2251984896 38045 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 549801 38045 1760 343 0 546865 0
Current children cumulated CPU time: 3033.16 s
Current children cumulated vsize: 2199204 KiB
Current children cumulated memory: 152180 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/263 27659
/proc/meminfo: memFree=129559400/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2117284 memory=109172 CPUtime=3092.96 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 997939 0 0 0 308752 544 0 0 20 0 1 0 36632255 2168098816 27293 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 529321 27293 1760 343 0 526385 0
Current children cumulated CPU time: 3092.96 s
Current children cumulated vsize: 2117284 KiB
Current children cumulated memory: 109172 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/265 27665
/proc/meminfo: memFree=129552652/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2084516 memory=88692 CPUtime=3152.76 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1011460 0 0 0 314722 554 0 0 20 0 1 0 36632255 2134544384 22173 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 521129 22173 1760 343 0 518193 0
Current children cumulated CPU time: 3152.76 s
Current children cumulated vsize: 2084516 KiB
Current children cumulated memory: 88692 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.02 5/265 27667
/proc/meminfo: memFree=129511504/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2084516 memory=101488 CPUtime=3212.57 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1022343 0 0 0 320694 563 0 0 20 0 1 0 36632255 2134544384 25372 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 521129 25372 1760 343 0 518193 0
Current children cumulated CPU time: 3212.57 s
Current children cumulated vsize: 2084516 KiB
Current children cumulated memory: 101488 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.10 4.02 5/264 27673
/proc/meminfo: memFree=129533504/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2100900 memory=94836 CPUtime=3272.36 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1030193 0 0 0 326668 568 0 0 20 0 1 0 36632255 2151321600 23709 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 525225 23709 1760 343 0 522289 0
Current children cumulated CPU time: 3272.36 s
Current children cumulated vsize: 2100900 KiB
Current children cumulated memory: 94836 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.08 4.02 5/264 27686
/proc/meminfo: memFree=129580332/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2100900 memory=97708 CPUtime=3332.15 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1038992 0 0 0 332642 573 0 0 20 0 1 0 36632255 2151321600 24427 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 525225 24427 1760 343 0 522289 0
Current children cumulated CPU time: 3332.15 s
Current children cumulated vsize: 2100900 KiB
Current children cumulated memory: 97708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.02 5/264 27688
/proc/meminfo: memFree=129585044/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2076484 memory=82296 CPUtime=3391.96 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1044666 0 0 0 338616 580 0 0 20 0 1 0 36632255 2126319616 20574 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 519121 20574 1760 343 0 516185 0
Current children cumulated CPU time: 3391.96 s
Current children cumulated vsize: 2076484 KiB
Current children cumulated memory: 82296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.09 4.02 5/264 27690
/proc/meminfo: memFree=129531956/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2133828 memory=137924 CPUtime=3451.76 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1056287 0 0 0 344587 589 0 0 20 0 1 0 36632255 2185039872 34481 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 533457 34481 1760 343 0 530521 0
Current children cumulated CPU time: 3451.76 s
Current children cumulated vsize: 2133828 KiB
Current children cumulated memory: 137924 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/262 27692
/proc/meminfo: memFree=129498196/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2136372 memory=136344 CPUtime=3511.57 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1068686 0 0 0 350559 598 0 0 20 0 1 0 36632255 2187644928 34086 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 534093 34086 1760 343 0 531157 0
Current children cumulated CPU time: 3511.57 s
Current children cumulated vsize: 2136372 KiB
Current children cumulated memory: 136344 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/263 27695
/proc/meminfo: memFree=129470360/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2136372 memory=119960 CPUtime=3571.36 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1078888 0 0 0 356529 607 0 0 20 0 1 0 36632255 2187644928 29990 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 534093 29990 1760 343 0 531157 0
Current children cumulated CPU time: 3571.36 s
Current children cumulated vsize: 2136372 KiB
Current children cumulated memory: 119960 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.11 s]
/proc/loadavg: 4.07 4.08 4.02 5/263 27695
/proc/meminfo: memFree=129471104/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2201908 memory=154776 CPUtime=3600.08 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1083908 0 0 0 359396 612 0 0 20 0 1 0 36632255 2254753792 38694 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 550477 38694 1760 343 0 547541 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2201908 KiB
Current children cumulated memory: 154776 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.96 s, system=6.12621 s

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

[startup+3611.11 s]
/proc/loadavg: 4.07 4.08 4.02 5/263 27695
/proc/meminfo: memFree=129471104/131250000 swapFree=33010684/33010684
[pid=27311] ppid=27305 vsize=2201908 memory=154776 CPUtime=3600.08 cores=0,2
/proc/27311/stat : 27311 (pb_picat) R 27305 27311 27252 0 -1 4194304 1083908 0 0 0 359396 612 0 0 20 0 1 0 36632255 2254753792 38694 18446744073709551615 94384522645504 94384524047085 140734235699216 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94384524318512 94384526192816 94384543514624 140734235703710 140734235703786 140734235703786 140734235709388 0
/proc/27311/statm: 550477 38694 1760 343 0 547541 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2201908 KiB
Current children cumulated memory: 154776 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3611.11
CPU time (s): 3600.09
CPU user time (s): 3593.96
CPU system time (s): 6.12621
CPU usage (%): 99.6948
Max. virtual memory (cumulated for all children) (KiB): 2201908
Max. memory (cumulated for all children) (KiB): 165016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.96
system time used= 6.12621
maximum resident set size= 165016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1083908
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= 105
involuntary context switches= 4636


# summary of solver processes directly reported to runsolver:
#   pid: 27311
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3593.96
#   total CPU system time (s): 6.12621

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.73604 second user time and 15.3741 second system time

The end

Launcher Data 

Begin job on nodeC019 at 2025-06-29 17:05:47
IDJOB=4512895
IDBENCH=162196
IDSOLVER=3346
FILE ID=nodeC019/4512895-1751209547
RUNJOBID= nodeC019-1751209547-27264
SLURM_JOB_ID= 9587644
Free space on /tmp= 433064 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size144-round23-2.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512895-1751209547/watcher-4512895-1751209547 -o /tmp/evaluation-result-4512895-1751209547/solver-4512895-1751209547 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC019-1751209547-27264 --watchdog 3760  pb_picat HOME/instance-4512895-1751209547.opb

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

MD5SUM BENCH= 37b3a609918eb30d871bb851627bd55e
RANDOM SEED=683218520

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		: 3600.070
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		: 3600.075
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.658
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.695
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.674
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		: 2695.641
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		: 3599.686
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		: 3599.831
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:        129898324 kB
MemAvailable:   129779096 kB
Buffers:            3280 kB
Cached:           690248 kB
SwapCached:            0 kB
Active:           327048 kB
Inactive:         433520 kB
Active(anon):      85104 kB
Inactive(anon):        0 kB
Active(file):     241944 kB
Inactive(file):   433520 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10368 kB
Writeback:             0 kB
AnonPages:         70100 kB
Mapped:           102412 kB
Shmem:             18064 kB
KReclaimable:      89092 kB
Slab:             174544 kB
SReclaimable:      89092 kB
SUnreclaim:        85452 kB
KernelStack:        3956 kB
PageTables:         2692 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     330280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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-29 18:05:59