Trace number 4448314

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
Exact_veripb2 2024-07-05? (TO) 3513.7 3706.15

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x100split.cnf-extracted.pb.metafix.opb
MD5SUM8184a92443c0bd6c42f1e968e18f3f0b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.154425
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables601
Total number of constraints800
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)798
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data


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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448314-1721835626/watcher-4448314-1721835626 -o /tmp/evaluation-result-4448314-1721835626/solver-4448314-1721835626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721828332-200284 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4448314-1721835626 --seed=1035493965 HOME/instance-4448314-1721835626.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=204322, runsolver pid=204319

[startup+0.100114 s]*
/proc/loadavg: 4.14 4.13 4.11 5/261 204323
/proc/meminfo: memFree=78233384/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=29800 memory=9276 CPUtime=0.08 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 1322 0 0 0 8 0 0 0 20 0 1 0 20090914 30515200 2319 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 7450 2319 1155 1006 0 6211 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 29800 KiB
Current children cumulated memory: 9276 KiB

[startup+0.206133 s]*
/proc/loadavg: 4.14 4.13 4.11 5/261 204323
/proc/meminfo: memFree=78228592/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=29936 memory=12192 CPUtime=0.18 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 1506 0 0 0 18 0 0 0 20 0 1 0 20090914 30654464 3048 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 7484 3048 1155 1006 0 6245 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 29936 KiB
Current children cumulated memory: 12192 KiB

[startup+0.305702 s]*
/proc/loadavg: 4.14 4.13 4.11 5/261 204323
/proc/meminfo: memFree=78226068/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=30980 memory=13220 CPUtime=0.28 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 1763 0 0 0 28 0 0 0 20 0 1 0 20090914 31723520 3305 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 7745 3305 1155 1006 0 6506 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 30980 KiB
Current children cumulated memory: 13220 KiB

[startup+0.700227 s]
/proc/loadavg: 4.14 4.13 4.11 5/261 204323
/proc/meminfo: memFree=78222232/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=31100 memory=15400 CPUtime=0.68 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 1804 0 0 0 67 1 0 0 20 0 1 0 20090914 31846400 3850 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 7775 3850 1155 1006 0 6536 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 31100 KiB
Current children cumulated memory: 15400 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.13 4.11 5/261 204323
/proc/meminfo: memFree=78203732/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=35364 memory=21340 CPUtime=1.47 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 2789 0 0 0 146 1 0 0 20 0 1 0 20090914 36212736 5335 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 8841 5335 1155 1006 0 7602 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 35364 KiB
Current children cumulated memory: 21340 KiB

[startup+3.10561 s]
/proc/loadavg: 4.12 4.12 4.11 5/261 204323
/proc/meminfo: memFree=78145060/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=39988 memory=31448 CPUtime=3.07 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 3778 0 0 0 305 2 0 0 20 0 1 0 20090914 40947712 7862 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 9997 7862 1155 1006 0 8758 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 39988 KiB
Current children cumulated memory: 31448 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.12 4.11 5/261 204325
/proc/meminfo: memFree=78028780/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=59444 memory=43208 CPUtime=6.26 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 5961 0 0 0 621 5 0 0 20 0 1 0 20090914 60870656 10802 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 14861 10802 1155 1006 0 13622 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 59444 KiB
Current children cumulated memory: 43208 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.14 4.11 5/261 204325
/proc/meminfo: memFree=77817948/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=67992 memory=57116 CPUtime=12.64 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 7402 0 0 0 1255 9 0 0 20 0 1 0 20090914 69623808 14279 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 16998 14279 1155 1006 0 15759 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67992 KiB
Current children cumulated memory: 57116 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.13 4.11 5/261 204328
/proc/meminfo: memFree=77260364/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=71908 memory=62228 CPUtime=25.4 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 8228 0 0 0 2521 19 0 0 20 0 1 0 20090914 73633792 15557 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 17977 15557 1155 1006 0 16738 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 71908 KiB
Current children cumulated memory: 62228 KiB

[startup+51.1055 s]
/proc/loadavg: 4.10 4.12 4.11 5/257 204332
/proc/meminfo: memFree=76482588/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=94744 memory=64624 CPUtime=50.32 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 8686 0 0 0 4990 42 0 0 20 0 1 0 20090914 97017856 16156 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 61 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 23686 16156 1155 1006 0 22447 0
Current children cumulated CPU time: 50.32 s
Current children cumulated vsize: 94744 KiB
Current children cumulated memory: 64624 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.13 4.11 5/259 204528
/proc/meminfo: memFree=123748304/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=96668 memory=76492 CPUtime=100.61 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 9344 0 0 0 9979 82 0 0 20 0 1 0 20090914 98988032 19123 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 136 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 24167 19123 1155 1006 0 22928 0
Current children cumulated CPU time: 100.61 s
Current children cumulated vsize: 96668 KiB
Current children cumulated memory: 76492 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/263 204683
/proc/meminfo: memFree=122475424/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=99112 memory=80968 CPUtime=157.78 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 9945 0 0 0 15651 127 0 0 20 0 1 0 20090914 101490688 20242 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 404 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 24778 20242 1155 1006 0 23539 0
Current children cumulated CPU time: 157.78 s
Current children cumulated vsize: 99112 KiB
Current children cumulated memory: 80968 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.10 5/263 204789
/proc/meminfo: memFree=121443192/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=108332 memory=90984 CPUtime=216.48 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 11484 0 0 0 21472 176 0 0 20 0 1 0 20090914 110931968 22746 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 519 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 27083 22746 1155 1006 0 25844 0
Current children cumulated CPU time: 216.48 s
Current children cumulated vsize: 108332 KiB
Current children cumulated memory: 90984 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 204801
/proc/meminfo: memFree=119623480/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=109228 memory=91904 CPUtime=275.43 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 11753 0 0 0 27317 226 0 0 20 0 1 0 20090914 111849472 22976 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 608 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 27307 22976 1155 1006 0 26068 0
Current children cumulated CPU time: 275.43 s
Current children cumulated vsize: 109228 KiB
Current children cumulated memory: 91904 KiB

[startup+342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/264 204811
/proc/meminfo: memFree=117793112/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=109484 memory=92344 CPUtime=333.89 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 11869 0 0 0 33114 275 0 0 20 0 1 0 20090914 112111616 23086 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 747 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 27371 23086 1155 1006 0 26132 0
Current children cumulated CPU time: 333.89 s
Current children cumulated vsize: 109484 KiB
Current children cumulated memory: 92344 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/261 204821
/proc/meminfo: memFree=116007580/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=111276 memory=94004 CPUtime=393.21 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 12329 0 0 0 38991 330 0 0 20 0 1 0 20090914 113946624 23501 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 799 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 27819 23501 1155 1006 0 26580 0
Current children cumulated CPU time: 393.21 s
Current children cumulated vsize: 111276 KiB
Current children cumulated memory: 94004 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 204832
/proc/meminfo: memFree=114175660/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=116268 memory=100448 CPUtime=450.9 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 13107 0 0 0 44705 385 0 0 20 0 1 0 20090914 119058432 25112 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 1014 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 29067 25112 1155 1006 0 27828 0

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


[startup+3162.3 s]
/proc/loadavg: 3.16 3.71 3.96 4/260 206567
/proc/meminfo: memFree=49773756/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=159472 memory=117056 CPUtime=3014.01 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 16642 0 0 0 298783 2618 0 0 20 0 1 0 20090914 163299328 29264 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 14000 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 39868 29264 1155 1006 0 38629 0
Current children cumulated CPU time: 3014.01 s
Current children cumulated vsize: 159472 KiB
Current children cumulated memory: 117056 KiB

[startup+3222.3 s]
/proc/loadavg: 3.10 3.59 3.90 4/260 206578
/proc/meminfo: memFree=48361664/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=159728 memory=117196 CPUtime=3070.79 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 16760 0 0 0 304411 2668 0 0 20 0 1 0 20090914 163561472 29299 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 14308 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 39932 29299 1155 1006 0 38693 0
Current children cumulated CPU time: 3070.79 s
Current children cumulated vsize: 159728 KiB
Current children cumulated memory: 117196 KiB

[startup+3282.3 s]
/proc/loadavg: 3.18 3.53 3.86 4/254 206588
/proc/meminfo: memFree=46966312/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=159728 memory=117312 CPUtime=3128.75 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 16813 0 0 0 310158 2717 0 0 20 0 1 0 20090914 163561472 29328 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 14494 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 39932 29328 1155 1006 0 38693 0
Current children cumulated CPU time: 3128.75 s
Current children cumulated vsize: 159728 KiB
Current children cumulated memory: 117312 KiB

[startup+3342.3 s]
/proc/loadavg: 3.16 3.46 3.81 4/253 206599
/proc/meminfo: memFree=45567576/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=159728 memory=117312 CPUtime=3185.54 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 16868 0 0 0 315791 2763 0 0 20 0 1 0 20090914 163561472 29328 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 14799 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 39932 29328 1155 1006 0 38693 0
Current children cumulated CPU time: 3185.54 s
Current children cumulated vsize: 159728 KiB
Current children cumulated memory: 117312 KiB

[startup+3402.3 s]
/proc/loadavg: 3.18 3.41 3.77 4/248 206609
/proc/meminfo: memFree=44222628/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=159728 memory=117312 CPUtime=3240.59 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 16922 0 0 0 321253 2806 0 0 20 0 1 0 20090914 163561472 29328 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 15279 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 39932 29328 1155 1006 0 38693 0
Current children cumulated CPU time: 3240.59 s
Current children cumulated vsize: 159728 KiB
Current children cumulated memory: 117312 KiB

[startup+3462.3 s]
/proc/loadavg: 3.28 3.40 3.75 4/248 206619
/proc/meminfo: memFree=42870300/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=159984 memory=119432 CPUtime=3297.05 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 17041 0 0 0 326856 2849 0 0 20 0 1 0 20090914 163823616 29858 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 15616 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 39996 29858 1155 1006 0 38757 0
Current children cumulated CPU time: 3297.05 s
Current children cumulated vsize: 159984 KiB
Current children cumulated memory: 119432 KiB

[startup+3522.3 s]
/proc/loadavg: 3.15 3.34 3.70 4/249 206631
/proc/meminfo: memFree=41534000/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=160496 memory=120004 CPUtime=3353.05 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 17194 0 0 0 332406 2899 0 0 20 0 1 0 20090914 164347904 30001 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 16001 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 40124 30001 1155 1006 0 38885 0
Current children cumulated CPU time: 3353.05 s
Current children cumulated vsize: 160496 KiB
Current children cumulated memory: 120004 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.31 3.67 3/248 206642
/proc/meminfo: memFree=40216004/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=160496 memory=120004 CPUtime=3408.53 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) R 204319 204322 200272 0 -1 4194304 17249 0 0 0 337912 2941 0 0 20 0 1 0 20090914 164347904 30001 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 16438 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 40124 30001 1155 1006 0 38885 0
Current children cumulated CPU time: 3408.53 s
Current children cumulated vsize: 160496 KiB
Current children cumulated memory: 120004 KiB

[startup+3642.3 s]
/proc/loadavg: 3.10 3.26 3.63 3/250 206656
/proc/meminfo: memFree=38955600/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=160736 memory=120092 CPUtime=3461.33 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) D 204319 204322 200272 0 -1 4194304 17334 0 0 0 343151 2982 0 0 20 0 1 0 20090914 164593664 30023 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 16655 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 40184 30023 1155 1006 0 38945 0
Current children cumulated CPU time: 3461.33 s
Current children cumulated vsize: 160736 KiB
Current children cumulated memory: 120092 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 3.08 3.23 3.59 3/250 206667
/proc/meminfo: memFree=37648556/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=161264 memory=120400 CPUtime=3513.68 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) D 204319 204322 200272 0 -1 4194304 17521 0 0 0 348342 3026 0 0 20 0 1 0 20090914 165134336 30100 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17549 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 40316 30100 1155 1006 0 39077 0
Current children cumulated CPU time: 3513.68 s
Current children cumulated vsize: 161264 KiB
Current children cumulated memory: 120400 KiB

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

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 3.08 3.23 3.59 3/250 206667
/proc/meminfo: memFree=37621656/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=161264 memory=120400 CPUtime=3513.68 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) D 204319 204322 200272 0 -1 4194304 17521 0 0 0 348342 3026 0 0 20 0 1 0 20090914 165134336 30100 134679101440 4194304 8311665 140726318262240 0 0 256 0 0 8404994 0 0 0 17 1 0 0 17549 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 40316 30100 1155 1006 0 39077 0
??? kill 204322 sig 9
??? end of watcher thread

[startup+3706.15 s]
# the end of solver process 204322 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3483.43 s, system=30.2717 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3700.8 s]
/proc/loadavg: 3.08 3.23 3.59 3/250 206667
/proc/meminfo: memFree=37648556/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=161264 memory=120400 CPUtime=3513.68 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) D 204319 204322 200272 0 -1 4194304 17521 0 0 0 348342 3026 0 0 20 0 1 0 20090914 165134336 30100 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17549 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 40316 30100 1155 1006 0 39077 0
Current children cumulated CPU time: 3513.68 s
Current children cumulated vsize: 161264 KiB
Current children cumulated memory: 120400 KiB

[startup+3701.6 s]
/proc/loadavg: 3.08 3.23 3.59 3/250 206667
/proc/meminfo: memFree=37634924/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=161264 memory=120400 CPUtime=3513.68 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) D 204319 204322 200272 0 -1 4194304 17521 0 0 0 348342 3026 0 0 20 0 1 0 20090914 165134336 30100 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17549 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 40316 30100 1155 1006 0 39077 0
Current children cumulated CPU time: 3513.68 s
Current children cumulated vsize: 161264 KiB
Current children cumulated memory: 120400 KiB

[startup+3702 s]*
/proc/loadavg: 3.08 3.23 3.59 3/250 206667
/proc/meminfo: memFree=37621656/131524600 swapFree=131061696/131071996
[pid=204322] ppid=204319 vsize=161264 memory=120400 CPUtime=3513.68 cores=1,3
/proc/204322/stat : 204322 (Exact_veripb2) D 204319 204322 200272 0 -1 4194304 17521 0 0 0 348342 3026 0 0 20 0 1 0 20090914 165134336 30100 134679101440 4194304 8311665 140726318262240 0 0 0 0 0 8404994 0 0 0 17 1 0 0 17549 0 0 9173656 9252184 26853376 140726318269260 140726318269540 140726318269540 140726318276551 0
/proc/204322/statm: 40316 30100 1155 1006 0 39077 0
Current children cumulated CPU time: 3513.68 s
Current children cumulated vsize: 161264 KiB
Current children cumulated memory: 120400 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3706.15
CPU time (s): 3513.7
CPU user time (s): 3483.43
CPU system time (s): 30.2717
CPU usage (%): 94.8071
Max. virtual memory (cumulated for all children) (KiB): 161264
Max. memory (cumulated for all children) (KiB): 120400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3483.43
system time used= 30.2717
maximum resident set size= 169900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17521
page faults= 0
swaps= 0
block input operations= 0
block output operations= 76209888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 143
involuntary context switches= 4771


# summary of solver processes directly reported to runsolver:
#   pid: 204322
#   total CPU time (s): 3513.7
#   total CPU user time (s): 3483.43
#   total CPU system time (s): 30.2717

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95972 second user time and 16.6595 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 17:40:26
IDJOB=4448314
IDBENCH=160382
IDSOLVER=3081
FILE ID=nodeC020/4448314-1721835626
RUNJOBID= nodeC020-1721828332-200284
SLURM_JOB_ID= 7891478
Free space on /tmp= 890060 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/normalized-ECgrid3x100split.cnf-extracted.pb.metafix.opb
COMMAND LINE= HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4448314-1721835626/watcher-4448314-1721835626 -o /tmp/evaluation-result-4448314-1721835626/solver-4448314-1721835626 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721828332-200284 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4448314-1721835626 --seed=1035493965 HOME/instance-4448314-1721835626.opb

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

MD5SUM BENCH= 8184a92443c0bd6c42f1e968e18f3f0b
RANDOM SEED=1035493965

nodeC020.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		: 3665.120
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.31
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		: 3664.416
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.25
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.853
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.31
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		: 3652.397
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.25
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		: 3665.242
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.31
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		: 3666.808
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.25
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.072
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        78239796 kB
MemAvailable:   128041312 kB
Buffers:          258228 kB
Cached:         50289048 kB
SwapCached:           56 kB
Active:          2587000 kB
Inactive:       49920380 kB
Active(anon):       2488 kB
Inactive(anon):  2011268 kB
Active(file):    2584512 kB
Inactive(file): 47909112 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061696 kB
Dirty:            203140 kB
Writeback:             0 kB
AnonPages:       1958900 kB
Mapped:           123360 kB
Shmem:             53880 kB
KReclaimable:     295432 kB
Slab:             417864 kB
SReclaimable:     295432 kB
SUnreclaim:       122432 kB
KernelStack:        4224 kB
PageTables:        13276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2629572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18496 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1757184 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:      363220 kB
DirectMap2M:    44498944 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 890064 MiB
End job on nodeC020 at 2024-07-24 18:42:12