Trace number 4447042

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

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K85.opb
MD5SUM29274947006e0854b43dfb210bf5d295
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1332.8
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5780
Total number of constraints5952
Number of constraints which are clauses5867
Number of constraints which are cardinality constraints (but not clauses)85
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint85
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
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-4447042-1721334723.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 (62393 MiB free)
  memory of node 1: 64473 MiB (63212 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447042-1721334723/watcher-4447042-1721334723 -o /tmp/evaluation-result-4447042-1721334723/solver-4447042-1721334723 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976184 --watchdog 3760 pb_picat HOME/instance-4447042-1721334723.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=981263, runsolver pid=981260

[startup+0.100845 s]*
/proc/loadavg: 4.11 4.14 4.12 5/259 981264
/proc/meminfo: memFree=128582184/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2034724 memory=38244 CPUtime=0.1 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 1034 0 0 0 9 1 0 0 20 0 1 0 185638472 2083557376 9561 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 508681 9561 1616 439 0 504110 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2034724 KiB
Current children cumulated memory: 38244 KiB

[startup+0.205843 s]*
/proc/loadavg: 4.11 4.14 4.12 5/259 981264
/proc/meminfo: memFree=128572352/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2040120 memory=41688 CPUtime=0.19 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 1873 0 0 0 18 1 0 0 20 0 1 0 185638472 2089082880 10422 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 7 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 510030 10422 1676 439 0 505459 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2040120 KiB
Current children cumulated memory: 41688 KiB

[startup+0.305858 s]*
/proc/loadavg: 4.11 4.14 4.12 5/259 981264
/proc/meminfo: memFree=128570132/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2036024 memory=39536 CPUtime=0.29 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2511 0 0 0 28 1 0 0 20 0 1 0 185638472 2084888576 9884 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 509006 9884 1676 439 0 504435 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2036024 KiB
Current children cumulated memory: 39536 KiB

[startup+0.700207 s]
/proc/loadavg: 4.11 4.14 4.12 5/259 981264
/proc/meminfo: memFree=128558356/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2039504 memory=40860 CPUtime=0.67 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 4557 0 0 0 66 1 0 0 20 0 1 0 185638472 2088452096 10215 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 509876 10215 1676 439 0 505305 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2039504 KiB
Current children cumulated memory: 40860 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.14 4.12 5/259 981264
/proc/meminfo: memFree=128539316/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2041308 memory=43492 CPUtime=1.47 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 7667 0 0 0 145 2 0 0 20 0 1 0 185638472 2090299392 10873 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 510327 10873 1676 439 0 505756 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 2041308 KiB
Current children cumulated memory: 43492 KiB

[startup+3.10546 s]
/proc/loadavg: 4.11 4.14 4.12 5/259 981265
/proc/meminfo: memFree=128473740/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2047452 memory=48148 CPUtime=3.07 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 12645 0 0 0 304 3 0 0 20 0 1 0 185638472 2096590848 12037 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 511863 12037 1676 439 0 507292 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2047452 KiB
Current children cumulated memory: 48148 KiB

[startup+6.30021 s]
/proc/loadavg: 4.11 4.14 4.12 5/259 981265
/proc/meminfo: memFree=128441404/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2048476 memory=48396 CPUtime=6.26 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 21709 0 0 0 621 5 0 0 20 0 1 0 185638472 2097639424 12099 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 512119 12099 1676 439 0 507548 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2048476 KiB
Current children cumulated memory: 48396 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.14 4.12 5/259 981267
/proc/meminfo: memFree=128467960/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2058716 memory=54940 CPUtime=12.64 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 36526 0 0 0 1255 9 0 0 20 0 1 0 185638472 2108125184 13735 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 514679 13735 1676 439 0 510108 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2058716 KiB
Current children cumulated memory: 54940 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.12 5/259 981268
/proc/meminfo: memFree=128530044/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2050524 memory=50472 CPUtime=25.41 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 57607 0 0 0 2524 17 0 0 20 0 1 0 185638472 2099736576 12618 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 512631 12618 1676 439 0 508060 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2050524 KiB
Current children cumulated memory: 50472 KiB

[startup+51.1055 s]
/proc/loadavg: 4.18 4.15 4.12 5/257 981317
/proc/meminfo: memFree=128709376/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2058716 memory=56252 CPUtime=50.94 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 93434 0 0 0 5065 29 0 0 20 0 1 0 185638472 2108125184 14063 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 514679 14063 1676 439 0 510108 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 2058716 KiB
Current children cumulated memory: 56252 KiB

[startup+102.3 s]
/proc/loadavg: 4.32 4.22 4.15 5/257 981329
/proc/meminfo: memFree=128574424/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2062812 memory=59148 CPUtime=102 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 144135 0 0 0 10152 48 0 0 20 0 1 0 185638472 2112319488 14787 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 515703 14787 1676 439 0 511132 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2062812 KiB
Current children cumulated memory: 59148 KiB

[startup+162.3 s]
/proc/loadavg: 4.21 4.20 4.15 5/257 981340
/proc/meminfo: memFree=128571208/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2057624 memory=54608 CPUtime=161.83 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 193944 0 0 0 16114 69 0 0 20 0 1 0 185638472 2107006976 13652 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 514406 13652 1676 439 0 509835 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2057624 KiB
Current children cumulated memory: 54608 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/254 981350
/proc/meminfo: memFree=128470168/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2057624 memory=57752 CPUtime=221.66 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 235689 0 0 0 22080 86 0 0 20 0 1 0 185638472 2107006976 14438 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 514406 14438 1676 439 0 509835 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2057624 KiB
Current children cumulated memory: 57752 KiB

[startup+282.3 s]
/proc/loadavg: 4.20 4.19 4.15 5/254 981360
/proc/meminfo: memFree=128611700/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2084320 memory=71936 CPUtime=281.5 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 279123 0 0 0 28043 107 0 0 20 0 1 0 185638472 2134343680 17984 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 521080 17984 1676 439 0 516509 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 2084320 KiB
Current children cumulated memory: 71936 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.17 4.14 5/254 981371
/proc/meminfo: memFree=128655424/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2088416 memory=78912 CPUtime=341.33 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 322227 0 0 0 34006 127 0 0 20 0 1 0 185638472 2138537984 19728 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 522104 19728 1676 439 0 517533 0
Current children cumulated CPU time: 341.33 s
Current children cumulated vsize: 2088416 KiB
Current children cumulated memory: 78912 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.15 4.14 5/254 981381
/proc/meminfo: memFree=128615796/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2067936 memory=65136 CPUtime=401.16 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 360794 0 0 0 39971 145 0 0 20 0 1 0 185638472 2117566464 16284 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 516984 16284 1676 439 0 512413 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 2067936 KiB
Current children cumulated memory: 65136 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/254 981391
/proc/meminfo: memFree=128622180/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2112992 memory=89000 CPUtime=460.99 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 443459 0 0 0 45924 175 0 0 20 0 1 0 185638472 2163703808 22250 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 528248 22250 1676 439 0 523677 0

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

Current children cumulated memory: 122912 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.17 4.13 5/254 982582
/proc/meminfo: memFree=128673392/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2194912 memory=180256 CPUtime=2854.6 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2013326 0 0 0 284515 945 0 0 20 0 1 0 185638472 2247589888 45064 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 548728 45064 1676 439 0 544157 0
Current children cumulated CPU time: 2854.6 s
Current children cumulated vsize: 2194912 KiB
Current children cumulated memory: 180256 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.17 4.13 5/257 982598
/proc/meminfo: memFree=128802100/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2194912 memory=151592 CPUtime=2914.45 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2030279 0 0 0 290486 959 0 0 20 0 1 0 185638472 2247589888 37898 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 548728 37898 1676 439 0 544157 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 2194912 KiB
Current children cumulated memory: 151592 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/257 982608
/proc/meminfo: memFree=128805692/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2129376 memory=128136 CPUtime=2974.31 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2072037 0 0 0 296451 980 0 0 20 0 1 0 185638472 2180481024 32034 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 532344 32034 1676 439 0 527773 0
Current children cumulated CPU time: 2974.31 s
Current children cumulated vsize: 2129376 KiB
Current children cumulated memory: 128136 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.16 4.13 5/257 982618
/proc/meminfo: memFree=128799300/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2194912 memory=139308 CPUtime=3034.16 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2102637 0 0 0 302418 998 0 0 20 0 1 0 185638472 2247589888 34827 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 548728 34827 1676 439 0 544157 0
Current children cumulated CPU time: 3034.16 s
Current children cumulated vsize: 2194912 KiB
Current children cumulated memory: 139308 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/257 982629
/proc/meminfo: memFree=128783532/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2129376 memory=127020 CPUtime=3094.01 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2156128 0 0 0 308376 1025 0 0 20 0 1 0 185638472 2180481024 31755 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 532344 31755 1676 439 0 527773 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 2129376 KiB
Current children cumulated memory: 127020 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/257 982640
/proc/meminfo: memFree=128730860/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2186720 memory=184824 CPUtime=3153.88 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2175082 0 0 0 314347 1041 0 0 20 0 1 0 185638472 2239201280 46206 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 546680 46206 1676 439 0 542109 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 2186720 KiB
Current children cumulated memory: 184824 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.12 5/255 983032
/proc/meminfo: memFree=128812352/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2129376 memory=116668 CPUtime=3213.73 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2191859 0 0 0 320318 1055 0 0 20 0 1 0 185638472 2180481024 29167 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 532344 29167 1676 439 0 527773 0
Current children cumulated CPU time: 3213.73 s
Current children cumulated vsize: 2129376 KiB
Current children cumulated memory: 116668 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/255 983042
/proc/meminfo: memFree=128662316/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2186720 memory=163828 CPUtime=3273.58 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2206869 0 0 0 326292 1066 0 0 20 0 1 0 185638472 2239201280 40957 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 546680 40957 1676 439 0 542109 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 2186720 KiB
Current children cumulated memory: 163828 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/255 983053
/proc/meminfo: memFree=128797792/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2096608 memory=99748 CPUtime=3333.44 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2222581 0 0 0 332265 1079 0 0 20 0 1 0 185638472 2146926592 24937 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 524152 24937 1676 439 0 519581 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 2096608 KiB
Current children cumulated memory: 99748 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/256 983232
/proc/meminfo: memFree=128808760/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2129376 memory=100256 CPUtime=3393.29 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2248830 0 0 0 338235 1094 0 0 20 0 1 0 185638472 2180481024 25064 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 532344 25064 1676 439 0 527773 0
Current children cumulated CPU time: 3393.29 s
Current children cumulated vsize: 2129376 KiB
Current children cumulated memory: 100256 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.12 4.11 5/256 983242
/proc/meminfo: memFree=128801068/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2088416 memory=94840 CPUtime=3453.15 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2288863 0 0 0 344200 1115 0 0 20 0 1 0 185638472 2138537984 23710 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 522104 23710 1676 439 0 517533 0
Current children cumulated CPU time: 3453.15 s
Current children cumulated vsize: 2088416 KiB
Current children cumulated memory: 94840 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/257 983311
/proc/meminfo: memFree=128833412/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2130592 memory=109396 CPUtime=3513 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2318466 0 0 0 350168 1132 0 0 20 0 1 0 185638472 2181726208 27349 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 532648 27349 1676 439 0 528077 0
Current children cumulated CPU time: 3513 s
Current children cumulated vsize: 2130592 KiB
Current children cumulated memory: 109396 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/257 983321
/proc/meminfo: memFree=128706748/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2220704 memory=223196 CPUtime=3572.85 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2344366 0 0 0 356138 1147 0 0 20 0 1 0 185638472 2274000896 55799 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 555176 55799 1676 439 0 550605 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 2220704 KiB
Current children cumulated memory: 223196 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.15 4.13 4.11 5/257 983326
/proc/meminfo: memFree=128785396/131524600 swapFree=131071996/131071996
[pid=981263] ppid=981260 vsize=2138784 memory=124760 CPUtime=3600.08 cores=5,7
/proc/981263/stat : 981263 (pb_picat) R 981260 981263 976171 0 -1 4194304 2350883 0 0 0 358857 1151 0 0 20 0 1 0 185638472 2190114816 31190 134679101440 4194304 5989780 140727131818512 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 8089048 9894864 37924864 140727131821080 140727131821156 140727131821156 140727131828172 0
/proc/981263/statm: 534696 31190 1676 439 0 530125 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2138784 KiB
Current children cumulated memory: 124760 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.58 s, system=11.5153 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): 3609.6
CPU time (s): 3600.09
CPU user time (s): 3588.58
CPU system time (s): 11.5153
CPU usage (%): 99.7365
Max. virtual memory (cumulated for all children) (KiB): 2375136
Max. memory (cumulated for all children) (KiB): 268328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.58
system time used= 11.5153
maximum resident set size= 268328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2350883
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= 4665


# summary of solver processes directly reported to runsolver:
#   pid: 981263
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3588.58
#   total CPU system time (s): 11.5153

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06923 second user time and 16.0349 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-18 22:32:16
IDJOB=4447042
IDBENCH=158351
IDSOLVER=3068
FILE ID=nodeC026/4447042-1721334723
RUNJOBID= nodeC026-1721327502-976184
SLURM_JOB_ID= 7542685
Free space on /tmp= 890068 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K85.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447042-1721334723/watcher-4447042-1721334723 -o /tmp/evaluation-result-4447042-1721334723/solver-4447042-1721334723 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721327502-976184 --watchdog 3760  pb_picat HOME/instance-4447042-1721334723.opb

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

MD5SUM BENCH= 29274947006e0854b43dfb210bf5d295
RANDOM SEED=1124092843

nodeC026.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		: 3649.075
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.74
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		: 3658.464
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.45
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.973
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128620716 kB
MemAvailable:   129240868 kB
Buffers:          530320 kB
Cached:           926748 kB
SwapCached:            0 kB
Active:          1041536 kB
Inactive:        1250620 kB
Active(anon):       1556 kB
Inactive(anon):   871244 kB
Active(file):    1039980 kB
Inactive(file):   379376 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4224 kB
Writeback:             0 kB
AnonPages:        830228 kB
Mapped:           115280 kB
Shmem:             37720 kB
KReclaimable:      81240 kB
Slab:             191600 kB
SReclaimable:      81240 kB
SUnreclaim:       110360 kB
KernelStack:        4120 kB
PageTables:        10772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    7106868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:    598016 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:      260820 kB
DirectMap2M:    27824128 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 890068 MiB
End job on nodeC026 at 2024-07-18 23:32:25