Trace number 4450632

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 2024-06-18? (TO) 3600.04 3609.9

General information on the benchmark

NamePB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-9.opb
MD5SUMbf1757ad4e21f2473915004abf7b1376
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 constraints9504
Number of constraints which are clauses8192
Number of constraints which are cardinality constraints (but not clauses)416
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.00	c solving HOME/instance-4450632-1721415083.opb (Picat 3.6#12)

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: 63968 MiB (60195 MiB free)
  memory of node 1: 64473 MiB (60341 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450632-1721415083/watcher-4450632-1721415083 -o /tmp/evaluation-result-4450632-1721415083/solver-4450632-1721415083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721410767-1027284 --watchdog 3760 pb_picat HOME/instance-4450632-1721415083.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1030197, runsolver pid=1030194

[startup+0.100581 s]*
/proc/loadavg: 4.13 4.13 4.09 5/256 1030198
/proc/meminfo: memFree=123398108/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2033608 memory=36768 CPUtime=0.09 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 628 0 0 0 9 0 0 0 20 0 1 0 193678857 2082414592 9192 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 508402 9192 1599 439 0 503831 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 36768 KiB

[startup+0.205825 s]*
/proc/loadavg: 4.13 4.13 4.09 5/256 1030198
/proc/meminfo: memFree=123386312/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2034404 memory=46764 CPUtime=0.2 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 912 0 0 0 20 0 0 0 20 0 1 0 193678857 2083229696 11691 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 508601 11691 1787 439 0 504030 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2034404 KiB
Current children cumulated memory: 46764 KiB

[startup+0.305811 s]*
/proc/loadavg: 4.13 4.13 4.09 5/256 1030198
/proc/meminfo: memFree=123380344/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2039316 memory=50364 CPUtime=0.3 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1994 0 0 0 29 1 0 0 20 0 1 0 193678857 2088259584 12591 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 509829 12591 1787 439 0 505258 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2039316 KiB
Current children cumulated memory: 50364 KiB

[startup+0.700232 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 1030198
/proc/meminfo: memFree=123376392/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2041960 memory=53708 CPUtime=0.69 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 4258 0 0 0 67 2 0 0 20 0 1 0 193678857 2090967040 13427 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 510490 13427 1787 439 0 505919 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2041960 KiB
Current children cumulated memory: 53708 KiB

[startup+1.50022 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 1030198
/proc/meminfo: memFree=123373700/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2041800 memory=52908 CPUtime=1.48 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 6576 0 0 0 146 2 0 0 20 0 1 0 193678857 2090803200 13227 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 510450 13227 1787 439 0 505879 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2041800 KiB
Current children cumulated memory: 52908 KiB

[startup+3.10569 s]
/proc/loadavg: 4.13 4.13 4.09 5/256 1030198
/proc/meminfo: memFree=123397932/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2044100 memory=54704 CPUtime=3.08 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 8984 0 0 0 306 2 0 0 20 0 1 0 193678857 2093158400 13676 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 511025 13676 1787 439 0 506454 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2044100 KiB
Current children cumulated memory: 54704 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 1030200
/proc/meminfo: memFree=123410472/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2042052 memory=53500 CPUtime=6.27 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 14364 0 0 0 624 3 0 0 20 0 1 0 193678857 2091061248 13375 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 510513 13375 1787 439 0 505942 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2042052 KiB
Current children cumulated memory: 53500 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1030200
/proc/meminfo: memFree=123394144/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2044364 memory=56572 CPUtime=12.65 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 23163 0 0 0 1259 6 0 0 20 0 1 0 193678857 2093428736 14143 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 511091 14143 1787 439 0 506520 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2044364 KiB
Current children cumulated memory: 56572 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.13 4.09 5/256 1030201
/proc/meminfo: memFree=123362688/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2046532 memory=55368 CPUtime=25.42 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 44475 0 0 0 2529 13 0 0 20 0 1 0 193678857 2095648768 13842 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 511633 13842 1787 439 0 507062 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2046532 KiB
Current children cumulated memory: 55368 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 1030207
/proc/meminfo: memFree=123365248/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2056996 memory=65996 CPUtime=50.96 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 74865 0 0 0 5074 22 0 0 20 0 1 0 193678857 2106363904 16499 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 514249 16499 1787 439 0 509678 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2056996 KiB
Current children cumulated memory: 65996 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 1030215
/proc/meminfo: memFree=123370624/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2049412 memory=58076 CPUtime=102.02 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 130246 0 0 0 10165 37 0 0 20 0 1 0 193678857 2098597888 14519 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 512353 14519 1787 439 0 507782 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2049412 KiB
Current children cumulated memory: 58076 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 1030226
/proc/meminfo: memFree=123355252/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2053704 memory=61784 CPUtime=161.86 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 189260 0 0 0 16127 59 0 0 20 0 1 0 193678857 2102992896 15446 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 513426 15446 1787 439 0 508855 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2053704 KiB
Current children cumulated memory: 61784 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 1030237
/proc/meminfo: memFree=123359668/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2053660 memory=65036 CPUtime=221.7 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 243709 0 0 0 22094 76 0 0 20 0 1 0 193678857 2102947840 16259 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 513415 16259 1787 439 0 508844 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2053660 KiB
Current children cumulated memory: 65036 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/257 1030635
/proc/meminfo: memFree=123449964/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2079264 memory=79432 CPUtime=281.54 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 294833 0 0 0 28060 94 0 0 20 0 1 0 193678857 2129166336 19858 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 519816 19858 1787 439 0 515245 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2079264 KiB
Current children cumulated memory: 79432 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/257 1030645
/proc/meminfo: memFree=123468004/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2079264 memory=85920 CPUtime=341.39 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 341450 0 0 0 34029 110 0 0 20 0 1 0 193678857 2129166336 21480 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 519816 21480 1787 439 0 515245 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 2079264 KiB
Current children cumulated memory: 85920 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/257 1030657
/proc/meminfo: memFree=123437424/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2079264 memory=77652 CPUtime=401.22 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 381237 0 0 0 39998 124 0 0 20 0 1 0 193678857 2129166336 19413 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 519816 19413 1787 439 0 515245 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 2079264 KiB
Current children cumulated memory: 77652 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/259 1030837
/proc/meminfo: memFree=123451344/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2071072 memory=73604 CPUtime=461.06 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 416515 0 0 0 45967 139 0 0 20 0 1 0 193678857 2120777728 18401 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 517768 18401 1787 439 0 513197 0

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

Current children cumulated memory: 99612 KiB

[startup+2922.3 s]
/proc/loadavg: 4.48 4.27 4.17 5/254 1031960
/proc/meminfo: memFree=123383492/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2080748 memory=90256 CPUtime=2914.41 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1098142 0 0 0 290903 538 0 0 20 0 1 0 193678857 2130685952 22564 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 520187 22564 1787 439 0 515616 0
Current children cumulated CPU time: 2914.41 s
Current children cumulated vsize: 2080748 KiB
Current children cumulated memory: 90256 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.23 4.16 5/257 1032160
/proc/meminfo: memFree=123452128/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2189428 memory=137712 CPUtime=2974.24 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1113175 0 0 0 296874 550 0 0 20 0 1 0 193678857 2241974272 34428 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 547357 34428 1787 439 0 542786 0
Current children cumulated CPU time: 2974.24 s
Current children cumulated vsize: 2189428 KiB
Current children cumulated memory: 137712 KiB

[startup+3042.3 s]
/proc/loadavg: 4.20 4.22 4.16 5/257 1032216
/proc/meminfo: memFree=123419260/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2066548 memory=82660 CPUtime=3034.08 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1127493 0 0 0 302848 560 0 0 20 0 1 0 193678857 2116145152 20665 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 516637 20665 1787 439 0 512066 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 2066548 KiB
Current children cumulated memory: 82660 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.19 4.16 5/257 1032227
/proc/meminfo: memFree=123455412/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2091124 memory=91952 CPUtime=3093.93 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1142692 0 0 0 308821 572 0 0 20 0 1 0 193678857 2141310976 22988 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 522781 22988 1787 439 0 518210 0
Current children cumulated CPU time: 3093.93 s
Current children cumulated vsize: 2091124 KiB
Current children cumulated memory: 91952 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.17 4.15 5/257 1032239
/proc/meminfo: memFree=123433700/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2107508 memory=112544 CPUtime=3153.77 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1153816 0 0 0 314800 577 0 0 20 0 1 0 193678857 2158088192 28136 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 526877 28136 1787 439 0 522306 0
Current children cumulated CPU time: 3153.77 s
Current children cumulated vsize: 2107508 KiB
Current children cumulated memory: 112544 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/257 1032294
/proc/meminfo: memFree=123472976/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2107508 memory=95756 CPUtime=3213.61 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1162970 0 0 0 320779 582 0 0 20 0 1 0 193678857 2158088192 23939 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 526877 23939 1787 439 0 522306 0
Current children cumulated CPU time: 3213.61 s
Current children cumulated vsize: 2107508 KiB
Current children cumulated memory: 95756 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.17 4.15 5/254 1032304
/proc/meminfo: memFree=123449036/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2107508 memory=110380 CPUtime=3273.43 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1177220 0 0 0 326753 590 0 0 20 0 1 0 193678857 2158088192 27595 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 526877 27595 1787 439 0 522306 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 2107508 KiB
Current children cumulated memory: 110380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.60 4.29 4.20 5/254 1032314
/proc/meminfo: memFree=123431064/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2123892 memory=116640 CPUtime=3333.25 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1190214 0 0 0 332725 600 0 0 20 0 1 0 193678857 2174865408 29160 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 530973 29160 1787 439 0 526402 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 2123892 KiB
Current children cumulated memory: 116640 KiB

[startup+3402.3 s]
/proc/loadavg: 4.35 4.28 4.20 5/254 1032326
/proc/meminfo: memFree=123402448/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2189428 memory=156516 CPUtime=3393.06 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1205464 0 0 0 338695 611 0 0 20 0 1 0 193678857 2241974272 39129 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 547357 39129 1787 439 0 542786 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 2189428 KiB
Current children cumulated memory: 156516 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.26 4.19 5/254 1032336
/proc/meminfo: memFree=123415124/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2140276 memory=139196 CPUtime=3452.89 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1217536 0 0 0 344669 620 0 0 20 0 1 0 193678857 2191642624 34799 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 535069 34799 1787 439 0 530498 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 2140276 KiB
Current children cumulated memory: 139196 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.24 4.18 5/254 1032346
/proc/meminfo: memFree=123429416/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2091124 memory=91732 CPUtime=3512.71 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1232483 0 0 0 350641 630 0 0 20 0 1 0 193678857 2141310976 22933 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 522781 22933 1787 439 0 518210 0
Current children cumulated CPU time: 3512.71 s
Current children cumulated vsize: 2091124 KiB
Current children cumulated memory: 91732 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.22 4.18 5/256 1032361
/proc/meminfo: memFree=123380292/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2107508 memory=111412 CPUtime=3572.52 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1246012 0 0 0 356616 636 0 0 20 0 1 0 193678857 2158088192 27853 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 526877 27853 1787 439 0 522306 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 2107508 KiB
Current children cumulated memory: 111412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.19 4.22 4.18 5/256 1032365
/proc/meminfo: memFree=123403824/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2107508 memory=114504 CPUtime=3600.03 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1249548 0 0 0 359365 638 0 0 20 0 1 0 193678857 2158088192 28626 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 526877 28626 1787 439 0 522306 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2107508 KiB
Current children cumulated memory: 114504 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.65 s, system=6.3917 s

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

[startup+3609.9 s]
/proc/loadavg: 4.19 4.22 4.18 5/256 1032365
/proc/meminfo: memFree=123403824/131524596 swapFree=131071996/131071996
[pid=1030197] ppid=1030194 vsize=2107508 memory=114504 CPUtime=3600.03 cores=1,3
/proc/1030197/stat : 1030197 (pb_picat) R 1030194 1030197 1027272 0 -1 4194304 1249548 0 0 0 359365 638 0 0 20 0 1 0 193678857 2158088192 28626 134679101440 4194304 5989780 140724667481536 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 47411200 140724667487255 140724667487331 140724667487331 140724667494348 0
/proc/1030197/statm: 526877 28626 1787 439 0 522306 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 2107508 KiB
Current children cumulated memory: 114504 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.9
CPU time (s): 3600.04
CPU user time (s): 3593.65
CPU system time (s): 6.3917
CPU usage (%): 99.7269
Max. virtual memory (cumulated for all children) (KiB): 2205812
Max. memory (cumulated for all children) (KiB): 175920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.65
system time used= 6.3917
maximum resident set size= 175920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1249548
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= 13
involuntary context switches= 4620


# summary of solver processes directly reported to runsolver:
#   pid: 1030197
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3593.65
#   total CPU system time (s): 6.3917

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43551 second user time and 17.5833 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-19 20:51:36
IDJOB=4450632
IDBENCH=162177
IDSOLVER=3068
FILE ID=nodeC034/4450632-1721415083
RUNJOBID= nodeC034-1721410767-1027284
SLURM_JOB_ID= 7545473
Free space on /tmp= 890072 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB16/DEC-LIN/nossum/normalized-sha1-size128-round23-9.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450632-1721415083/watcher-4450632-1721415083 -o /tmp/evaluation-result-4450632-1721415083/solver-4450632-1721415083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721410767-1027284 --watchdog 3760  pb_picat HOME/instance-4450632-1721415083.opb

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

MD5SUM BENCH= bf1757ad4e21f2473915004abf7b1376
RANDOM SEED=860226596

nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3674.085
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
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		: 3655.188
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3600.034
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
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		: 3658.854
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3674.089
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
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		: 3686.025
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
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		: 3600.205
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.99
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		: 3656.446
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 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        123430412 kB
MemAvailable:   129381316 kB
Buffers:          520928 kB
Cached:          6203216 kB
SwapCached:            0 kB
Active:          1043620 kB
Inactive:        6275608 kB
Active(anon):       1532 kB
Inactive(anon):   639132 kB
Active(file):    1042088 kB
Inactive(file):  5636476 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              3940 kB
Writeback:            24 kB
AnonPages:        595104 kB
Mapped:           117392 kB
Shmem:             45912 kB
KReclaimable:     224324 kB
Slab:             354680 kB
SReclaimable:     224324 kB
SUnreclaim:       130356 kB
KernelStack:        4128 kB
PageTables:        10908 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    6890856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            73152 kB
HardwareCorrupted:     0 kB
AnonHugePages:    401408 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      320212 kB
DirectMap2M:    44541952 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC034 at 2024-07-19 21:51:46