Trace number 4459049

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Picat 2024-06-18? (TO) 3600.01 3609.8

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/
vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_160.opb
MD5SUMa644b55a2fda92c1d941543f185d4bb9
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12960
Best CPU time to get the best result obtained on this benchmark170.469
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables25760
Total number of constraints51520
Number of constraints which are clauses51520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 25760
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 25760
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 25760
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c solving HOME/instance-4459049-1721899472.opb (Picat 3.6#12)
0.88/0.97	o 25760
1.28/1.39	o 25759
26.52/26.65	o 17172
74.98/75.21	o 15264
101.91/102.20	o 13967
125.45/125.89	o 13127

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459049-1721899472/watcher-4459049-1721899472 -o /tmp/evaluation-result-4459049-1721899472/solver-4459049-1721899472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721899471-284703 --watchdog 3760 pb_picat HOME/instance-4459049-1721899472.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=284730, runsolver pid=284727

[startup+0.100269 s]*
/proc/loadavg: 0.73 1.01 1.14 5/249 284732
/proc/meminfo: memFree=128429780/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2033608 memory=43440 CPUtime=0.08 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 847 0 0 0 8 0 0 0 20 0 1 0 26470028 2082414592 10860 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 508402 10860 1530 439 0 503831 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 43440 KiB

[startup+0.205509 s]*
/proc/loadavg: 0.73 1.01 1.14 5/254 284742
/proc/meminfo: memFree=128347328/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2033608 memory=57776 CPUtime=0.2 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 854 0 0 0 19 1 0 0 20 0 1 0 26470028 2082414592 14444 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 508402 14444 1530 439 0 503831 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 57776 KiB

[startup+0.305567 s]*
/proc/loadavg: 0.73 1.01 1.14 5/254 284742
/proc/meminfo: memFree=128271348/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2033608 memory=72304 CPUtime=0.29 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 861 0 0 0 28 1 0 0 20 0 1 0 26470028 2082414592 18076 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 508402 18076 1530 439 0 503831 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2033608 KiB
Current children cumulated memory: 72304 KiB

[startup+0.700204 s]
/proc/loadavg: 0.73 1.01 1.14 5/252 284742
/proc/meminfo: memFree=128143012/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2063940 memory=150324 CPUtime=0.68 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 5897 0 0 0 65 3 0 0 20 0 1 0 26470028 2113474560 37581 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 515985 37581 1689 439 0 511414 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2063940 KiB
Current children cumulated memory: 150324 KiB

[startup+1.50023 s]
/proc/loadavg: 0.73 1.01 1.14 5/262 284764
/proc/meminfo: memFree=127751024/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2046152 memory=135336 CPUtime=1.49 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 15341 0 0 0 142 7 0 0 20 0 1 0 26470028 2095259648 33834 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 511538 33834 1737 439 0 506967 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2046152 KiB
Current children cumulated memory: 135336 KiB

[startup+3.10587 s]
/proc/loadavg: 1.07 1.07 1.16 5/262 284764
/proc/meminfo: memFree=126283816/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2159912 memory=205616 CPUtime=3.08 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 24367 0 0 0 298 10 0 0 20 0 1 0 26470028 2211749888 51404 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 539978 51404 1737 439 0 535407 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2159912 KiB
Current children cumulated memory: 205616 KiB

[startup+6.30023 s]
/proc/loadavg: 1.07 1.07 1.16 5/262 284766
/proc/meminfo: memFree=124261448/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2129208 memory=197896 CPUtime=6.27 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 33976 0 0 0 614 13 0 0 20 0 1 0 26470028 2180308992 49474 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 532302 49474 1753 439 0 527731 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2129208 KiB
Current children cumulated memory: 197896 KiB

[startup+12.7002 s]
/proc/loadavg: 1.31 1.12 1.18 6/262 284766
/proc/meminfo: memFree=122980588/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2112824 memory=194016 CPUtime=12.65 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 39337 0 0 0 1250 15 0 0 20 0 1 0 26470028 2163531776 48504 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 528206 48504 1753 439 0 523635 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2112824 KiB
Current children cumulated memory: 194016 KiB

[startup+25.5002 s]
/proc/loadavg: 1.90 1.27 1.22 5/262 284768
/proc/meminfo: memFree=121321308/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2112824 memory=194020 CPUtime=25.42 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 45374 0 0 0 2525 17 0 0 20 0 1 0 26470028 2163531776 48505 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 528206 48505 1753 439 0 523635 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2112824 KiB
Current children cumulated memory: 194020 KiB

[startup+51.1059 s]
/proc/loadavg: 2.77 1.52 1.31 5/262 284772
/proc/meminfo: memFree=117345792/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2137108 memory=216520 CPUtime=50.95 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 68629 0 0 0 5070 25 0 0 20 0 1 0 26470028 2188398592 54130 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 534277 54130 1753 439 0 529706 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2137108 KiB
Current children cumulated memory: 216520 KiB

[startup+102.3 s]
/proc/loadavg: 3.53 1.92 1.46 5/262 285164
/proc/meminfo: memFree=114435260/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2080032 memory=163252 CPUtime=102 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 108415 0 0 0 10158 42 0 0 20 0 1 0 26470028 2129952768 40813 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 520008 40813 1753 439 0 515437 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2080032 KiB
Current children cumulated memory: 163252 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 2.32 1.62 5/261 285175
/proc/meminfo: memFree=114420768/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2129192 memory=203628 CPUtime=161.84 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 164764 0 0 0 16119 65 0 0 20 0 1 0 26470028 2180292608 50907 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 532298 50907 1753 439 0 527727 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 2129192 KiB
Current children cumulated memory: 203628 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 2.66 1.79 5/258 285185
/proc/meminfo: memFree=114715544/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2112808 memory=201144 CPUtime=221.68 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 179864 0 0 0 22098 70 0 0 20 0 1 0 26470028 2163515392 50286 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 528202 50286 1753 439 0 523631 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 2112808 KiB
Current children cumulated memory: 201144 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 2.93 1.94 5/257 285364
/proc/meminfo: memFree=114745384/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2129192 memory=205176 CPUtime=281.51 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 187789 0 0 0 28079 72 0 0 20 0 1 0 26470028 2180292608 51294 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 532298 51294 1753 439 0 527727 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 2129192 KiB
Current children cumulated memory: 205176 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.16 2.08 5/257 285375
/proc/meminfo: memFree=114504140/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2145576 memory=206908 CPUtime=341.35 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 198946 0 0 0 34059 76 0 0 20 0 1 0 26470028 2197069824 51727 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 536394 51727 1753 439 0 531823 0
Current children cumulated CPU time: 341.35 s
Current children cumulated vsize: 2145576 KiB
Current children cumulated memory: 206908 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 3.35 2.21 5/261 285445
/proc/meminfo: memFree=114819964/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2129192 memory=201660 CPUtime=401.18 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 206457 0 0 0 40039 79 0 0 20 0 1 0 26470028 2180292608 50415 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 532298 50415 1753 439 0 527727 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 2129192 KiB
Current children cumulated memory: 201660 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 3.50 2.34 5/261 285456
/proc/meminfo: memFree=114712904/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2145576 memory=217312 CPUtime=461.01 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 212978 0 0 0 46019 82 0 0 20 0 1 0 26470028 2197069824 54328 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 536394 54328 1753 439 0 531823 0

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

Current children cumulated memory: 205592 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.15 4.04 5/258 286461
/proc/meminfo: memFree=114027336/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2178344 memory=225672 CPUtime=2854.47 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 493821 0 0 0 285198 249 0 0 20 0 1 0 26470028 2230624256 56418 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 544586 56418 1753 439 0 540015 0
Current children cumulated CPU time: 2854.47 s
Current children cumulated vsize: 2178344 KiB
Current children cumulated memory: 225672 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.12 4.03 5/258 286472
/proc/meminfo: memFree=114480528/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2145576 memory=221420 CPUtime=2914.31 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 502722 0 0 0 291176 255 0 0 20 0 1 0 26470028 2197069824 55355 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 536394 55355 1753 439 0 531823 0
Current children cumulated CPU time: 2914.31 s
Current children cumulated vsize: 2145576 KiB
Current children cumulated memory: 221420 KiB

[startup+2982.3 s]
/proc/loadavg: 4.17 4.14 4.04 5/258 286483
/proc/meminfo: memFree=114170176/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2178344 memory=225572 CPUtime=2974.14 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 509909 0 0 0 297154 260 0 0 20 0 1 0 26470028 2230624256 56393 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 544586 56393 1753 439 0 540015 0
Current children cumulated CPU time: 2974.14 s
Current children cumulated vsize: 2178344 KiB
Current children cumulated memory: 225572 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.04 5/258 286494
/proc/meminfo: memFree=114435700/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2145576 memory=216884 CPUtime=3033.98 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 513390 0 0 0 303137 261 0 0 20 0 1 0 26470028 2197069824 54221 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 536394 54221 1753 439 0 531823 0
Current children cumulated CPU time: 3033.98 s
Current children cumulated vsize: 2145576 KiB
Current children cumulated memory: 216884 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.04 5/255 286504
/proc/meminfo: memFree=113739024/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2178344 memory=248152 CPUtime=3093.82 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 516984 0 0 0 309118 264 0 0 20 0 1 0 26470028 2230624256 62038 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 544586 62038 1753 439 0 540015 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 2178344 KiB
Current children cumulated memory: 248152 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.04 5/255 286514
/proc/meminfo: memFree=113979104/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2112808 memory=193620 CPUtime=3153.66 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 522216 0 0 0 315098 268 0 0 20 0 1 0 26470028 2163515392 48405 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 528202 48405 1753 439 0 523631 0
Current children cumulated CPU time: 3153.66 s
Current children cumulated vsize: 2112808 KiB
Current children cumulated memory: 193620 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.10 4.04 5/255 286524
/proc/meminfo: memFree=114139956/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2129192 memory=202524 CPUtime=3213.5 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 534187 0 0 0 321072 278 0 0 20 0 1 0 26470028 2180292608 50631 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 532298 50631 1753 439 0 527727 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 2129192 KiB
Current children cumulated memory: 202524 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.13 4.06 5/256 286536
/proc/meminfo: memFree=114472656/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2178344 memory=237888 CPUtime=3273.33 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 542923 0 0 0 327049 284 0 0 20 0 1 0 26470028 2230624256 59472 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 544586 59472 1753 439 0 540015 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 2178344 KiB
Current children cumulated memory: 237888 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.14 4.06 5/256 286546
/proc/meminfo: memFree=114158820/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2145576 memory=213268 CPUtime=3333.18 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 548776 0 0 0 333031 287 0 0 20 0 1 0 26470028 2197069824 53317 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 536394 53317 1753 439 0 531823 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 2145576 KiB
Current children cumulated memory: 213268 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.17 4.08 5/258 286560
/proc/meminfo: memFree=113936312/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2178344 memory=231688 CPUtime=3393.03 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 549304 0 0 0 339015 288 0 0 20 0 1 0 26470028 2230624256 57922 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 544586 57922 1753 439 0 540015 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 2178344 KiB
Current children cumulated memory: 231688 KiB

[startup+3462.3 s]
/proc/loadavg: 4.31 4.19 4.09 5/258 286571
/proc/meminfo: memFree=114206708/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2178344 memory=250252 CPUtime=3452.88 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 555412 0 0 0 344997 291 0 0 20 0 1 0 26470028 2230624256 62563 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 544586 62563 1753 439 0 540015 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 2178344 KiB
Current children cumulated memory: 250252 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/258 286582
/proc/meminfo: memFree=114243508/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2145576 memory=217384 CPUtime=3512.72 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 558757 0 0 0 350978 294 0 0 20 0 1 0 26470028 2197069824 54346 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 536394 54346 1753 439 0 531823 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 2145576 KiB
Current children cumulated memory: 217384 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.16 4.09 5/257 286592
/proc/meminfo: memFree=114485928/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2161960 memory=223572 CPUtime=3572.57 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 569547 0 0 0 356956 301 0 0 20 0 1 0 26470028 2213847040 55893 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 540490 55893 1753 439 0 535919 0
Current children cumulated CPU time: 3572.57 s
Current children cumulated vsize: 2161960 KiB
Current children cumulated memory: 223572 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.10 4.15 4.09 5/257 286597
/proc/meminfo: memFree=114081804/131524600 swapFree=131056028/131071996
[pid=284730] ppid=284727 vsize=2129192 memory=205592 CPUtime=3600 cores=1,3
/proc/284730/stat : 284730 (pb_picat) R 284727 284730 284691 0 -1 4194304 571584 0 0 0 359698 302 0 0 20 0 1 0 26470028 2180292608 51398 134679101440 4194304 5989780 140731836620416 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 8089048 9894864 22237184 140731836625945 140731836626021 140731836626021 140731836633036 0
/proc/284730/statm: 532298 51398 1753 439 0 527727 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 2129192 KiB
Current children cumulated memory: 205592 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.98 s, system=3.02988 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.8
CPU time (s): 3600.01
CPU user time (s): 3596.98
CPU system time (s): 3.02988
CPU usage (%): 99.7288
Max. virtual memory (cumulated for all children) (KiB): 2374952
Max. memory (cumulated for all children) (KiB): 350520

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.98
system time used= 3.02988
maximum resident set size= 350520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571584
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= 11
involuntary context switches= 3758


# summary of solver processes directly reported to runsolver:
#   pid: 284730
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3596.98
#   total CPU system time (s): 3.02988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21636 second user time and 17.2364 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-25 11:24:32
IDJOB=4459049
IDBENCH=178476
IDSOLVER=3068
FILE ID=nodeC015/4459049-1721899472
RUNJOBID= nodeC015-1721899471-284703
SLURM_JOB_ID= 8089369
Free space on /tmp= 890076 MiB

SOLVER NAME= Picat 2024-06-18
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/vertex_cover/vertexcover_opt_grid_evenrowoddcolsquare/normalized-vertexcover_opt_grid_evenrowoddcolsquare_dim_160.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459049-1721899472/watcher-4459049-1721899472 -o /tmp/evaluation-result-4459049-1721899472/solver-4459049-1721899472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721899471-284703 --watchdog 3760  pb_picat HOME/instance-4459049-1721899472.opb

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

MD5SUM BENCH= a644b55a2fda92c1d941543f185d4bb9
RANDOM SEED=1268693821

nodeC015.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		: 3503.338
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.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		: 3587.974
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.17
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		: 3605.361
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.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		: 3648.469
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.17
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		: 3595.132
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.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		: 3645.271
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.17
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		: 3609.289
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.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		: 3634.146
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.17
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128516764 kB
MemAvailable:   129596428 kB
Buffers:          323940 kB
Cached:          1420268 kB
SwapCached:          312 kB
Active:          1188240 kB
Inactive:         894380 kB
Active(anon):       4352 kB
Inactive(anon):   386944 kB
Active(file):    1183888 kB
Inactive(file):   507436 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056028 kB
Dirty:             18312 kB
Writeback:             8 kB
AnonPages:        338048 kB
Mapped:            93540 kB
Shmem:             52524 kB
KReclaimable:     449748 kB
Slab:             573268 kB
SReclaimable:     449748 kB
SUnreclaim:       123520 kB
KernelStack:        3860 kB
PageTables:         9736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     775040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16224 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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:      367316 kB
DirectMap2M:    43446272 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 889876 MiB
End job on nodeC015 at 2024-07-25 12:24:42