Trace number 4452804

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) 3600.07 3636.13

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP135.shuf-3.opb
MD5SUMbaac7260ecc6f9812e76d8cbcf4d3b9b
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 benchmark9.93598
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables46580
Total number of constraints9317
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)4
Number of constraints which are nor clauses,nor cardinality constraints9313
Minimum length of a constraint5
Maximum length of a constraint15
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 30
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3636.01	c Program interrupted by user.
3600.01/3636.01	s UNKNOWN

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: 64059 MiB (57163 MiB free)
  memory of node 1: 64510 MiB (27416 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452804-1721839419/watcher-4452804-1721839419 -o /tmp/evaluation-result-4452804-1721839419/solver-4452804-1721839419 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721831914-238466 --watchdog 3760 HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452804-1721839419 --seed=1353416588 HOME/instance-4452804-1721839419.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=243068, runsolver pid=243065

[startup+0.100516 s]*
/proc/loadavg: 4.11 4.15 4.17 6/246 243069
/proc/meminfo: memFree=86574668/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=66988 memory=43104 CPUtime=0.1 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 7366 0 0 0 8 2 0 0 20 0 1 0 19931327 68595712 10776 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 16747 10776 852 1006 0 15508 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 66988 KiB
Current children cumulated memory: 43104 KiB

[startup+0.213222 s]*
/proc/loadavg: 4.11 4.15 4.17 5/246 243069
/proc/meminfo: memFree=86546532/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=83444 memory=62152 CPUtime=0.21 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 12391 0 0 0 18 3 0 0 20 0 1 0 19931327 85446656 15538 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 20861 15538 899 1006 0 19622 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 83444 KiB
Current children cumulated memory: 62152 KiB

[startup+0.313758 s]*
/proc/loadavg: 4.11 4.15 4.17 5/246 243069
/proc/meminfo: memFree=86522564/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=116324 memory=94768 CPUtime=0.31 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 21739 0 0 0 27 4 0 0 20 0 1 0 19931327 119115776 23692 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 29081 23692 1075 1006 0 27842 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 116324 KiB
Current children cumulated memory: 94768 KiB

[startup+0.700313 s]
/proc/loadavg: 4.11 4.15 4.17 5/246 243069
/proc/meminfo: memFree=86508036/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=121504 memory=102596 CPUtime=0.68 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 23135 0 0 0 63 5 0 0 20 0 1 0 19931327 124420096 25649 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 30376 25649 1139 1006 0 29137 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 121504 KiB
Current children cumulated memory: 102596 KiB

[startup+1.50029 s]
/proc/loadavg: 4.11 4.15 4.17 5/246 243069
/proc/meminfo: memFree=86493412/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=122420 memory=105696 CPUtime=1.48 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 23399 0 0 0 143 5 0 0 20 0 1 0 19931327 125358080 26424 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 30605 26424 1139 1006 0 29366 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 122420 KiB
Current children cumulated memory: 105696 KiB

[startup+3.11373 s]
/proc/loadavg: 4.10 4.15 4.17 5/246 243071
/proc/meminfo: memFree=86444928/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=126536 memory=109888 CPUtime=3.08 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 24436 0 0 0 302 6 0 0 20 0 1 0 19931327 129572864 27472 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 31634 27472 1139 1006 0 30395 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 126536 KiB
Current children cumulated memory: 109888 KiB

[startup+6.30029 s]
/proc/loadavg: 4.10 4.15 4.17 5/246 243071
/proc/meminfo: memFree=86347488/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=130428 memory=113816 CPUtime=6.26 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 25417 0 0 0 618 8 0 0 20 0 1 0 19931327 133558272 28454 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 32607 28454 1139 1006 0 31368 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 130428 KiB
Current children cumulated memory: 113816 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.14 4.17 5/246 243071
/proc/meminfo: memFree=86213708/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=134844 memory=118240 CPUtime=12.64 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 26537 0 0 0 1255 9 0 0 20 0 1 0 19931327 138080256 29560 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 33711 29560 1139 1006 0 32472 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 134844 KiB
Current children cumulated memory: 118240 KiB

[startup+25.5003 s]
/proc/loadavg: 4.07 4.14 4.16 5/246 243074
/proc/meminfo: memFree=85918472/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=148668 memory=131700 CPUtime=25.4 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 29949 0 0 0 2526 14 0 0 20 0 1 0 19931327 152236032 32925 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 37167 32925 1155 1006 0 35928 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 148668 KiB
Current children cumulated memory: 131700 KiB

[startup+51.1139 s]
/proc/loadavg: 4.10 4.14 4.17 5/248 243080
/proc/meminfo: memFree=85306748/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=165092 memory=148524 CPUtime=50.65 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 34171 0 0 0 5042 23 0 0 20 0 1 0 19931327 169054208 37131 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 26 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 41273 37131 1155 1006 0 40034 0
Current children cumulated CPU time: 50.65 s
Current children cumulated vsize: 165092 KiB
Current children cumulated memory: 148524 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/246 243088
/proc/meminfo: memFree=84602180/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=187068 memory=170332 CPUtime=101.28 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 39651 0 0 0 10090 38 0 0 20 0 1 0 19931327 191557632 42583 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 64 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 46767 42583 1155 1006 0 45528 0
Current children cumulated CPU time: 101.28 s
Current children cumulated vsize: 187068 KiB
Current children cumulated memory: 170332 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.17 5/246 243099
/proc/meminfo: memFree=83467540/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=210380 memory=195548 CPUtime=159.94 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 45414 0 0 0 15937 57 0 0 20 0 1 0 19931327 215429120 48887 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 176 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 52595 48887 1155 1006 0 51356 0
Current children cumulated CPU time: 159.94 s
Current children cumulated vsize: 210380 KiB
Current children cumulated memory: 195548 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/245 243109
/proc/meminfo: memFree=82145624/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=230848 memory=217612 CPUtime=219.67 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 50491 0 0 0 21888 79 0 0 20 0 1 0 19931327 236388352 54403 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 182 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 57712 54403 1155 1006 0 56473 0
Current children cumulated CPU time: 219.67 s
Current children cumulated vsize: 230848 KiB
Current children cumulated memory: 217612 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/245 243120
/proc/meminfo: memFree=80880664/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=259984 memory=246608 CPUtime=279.32 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 57752 0 0 0 27833 99 0 0 20 0 1 0 19931327 266223616 61652 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 194 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 64996 61652 1155 1006 0 63757 0
Current children cumulated CPU time: 279.32 s
Current children cumulated vsize: 259984 KiB
Current children cumulated memory: 246608 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.13 4.15 5/247 243135
/proc/meminfo: memFree=79469496/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=276552 memory=262412 CPUtime=339.07 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 61705 0 0 0 33789 118 0 0 20 0 1 0 19931327 283189248 65603 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 199 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 69138 65603 1155 1006 0 67899 0
Current children cumulated CPU time: 339.07 s
Current children cumulated vsize: 276552 KiB
Current children cumulated memory: 262412 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/249 243150
/proc/meminfo: memFree=78124328/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=295320 memory=281076 CPUtime=398.75 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 66386 0 0 0 39742 133 0 0 20 0 1 0 19931327 302407680 70269 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 207 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 73830 70269 1155 1006 0 72591 0
Current children cumulated CPU time: 398.75 s
Current children cumulated vsize: 295320 KiB
Current children cumulated memory: 281076 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/251 243162
/proc/meminfo: memFree=76757952/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=304064 memory=291028 CPUtime=458.42 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 68626 0 0 0 45687 155 0 0 20 0 1 0 19931327 311361536 72757 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 215 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 76016 72757 1200 1006 0 74777 0

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

Current children cumulated memory: 670220 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.27 4.23 5/240 244960
/proc/meminfo: memFree=68685992/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=686176 memory=674084 CPUtime=2899.01 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 170913 0 0 0 288956 945 0 0 20 0 1 0 19931327 702644224 168521 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1299 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 171544 168521 1200 1006 0 170305 0
Current children cumulated CPU time: 2899.01 s
Current children cumulated vsize: 686176 KiB
Current children cumulated memory: 674084 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.23 4.22 5/239 244971
/proc/meminfo: memFree=67541856/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=705104 memory=693524 CPUtime=2958.6 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 175851 0 0 0 294896 964 0 0 20 0 1 0 19931327 722026496 173381 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1318 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 176276 173381 1200 1006 0 175037 0
Current children cumulated CPU time: 2958.6 s
Current children cumulated vsize: 705104 KiB
Current children cumulated memory: 693524 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.22 4.21 4/237 244986
/proc/meminfo: memFree=79520892/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=720280 memory=708832 CPUtime=3018.18 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 179986 0 0 0 300834 984 0 0 20 0 1 0 19931327 737566720 177208 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1340 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 180070 177208 1200 1006 0 178831 0
Current children cumulated CPU time: 3018.18 s
Current children cumulated vsize: 720280 KiB
Current children cumulated memory: 708832 KiB

[startup+3102.3 s]
/proc/loadavg: 3.49 4.01 4.14 4/236 244997
/proc/meminfo: memFree=78942244/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=736684 memory=724668 CPUtime=3075.14 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 184332 0 0 0 306509 1005 0 0 20 0 1 0 19931327 754364416 181167 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1624 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 184171 181167 1200 1006 0 182932 0
Current children cumulated CPU time: 3075.14 s
Current children cumulated vsize: 736684 KiB
Current children cumulated memory: 724668 KiB

[startup+3162.3 s]
/proc/loadavg: 3.23 3.84 4.07 4/236 245008
/proc/meminfo: memFree=78605432/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=748164 memory=736280 CPUtime=3133.08 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 187565 0 0 0 312283 1025 0 0 20 0 1 0 19931327 766119936 184070 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1810 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 187041 184070 1200 1006 0 185802 0
Current children cumulated CPU time: 3133.08 s
Current children cumulated vsize: 748164 KiB
Current children cumulated memory: 736280 KiB

[startup+3222.3 s]
/proc/loadavg: 3.19 3.72 4.01 4/236 245018
/proc/meminfo: memFree=77715932/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=767388 memory=755284 CPUtime=3191.34 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 192601 0 0 0 318087 1047 0 0 20 0 1 0 19931327 785805312 188821 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 1964 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 191847 188821 1200 1006 0 190608 0
Current children cumulated CPU time: 3191.34 s
Current children cumulated vsize: 767388 KiB
Current children cumulated memory: 755284 KiB

[startup+3282.3 s]
/proc/loadavg: 3.12 3.60 3.95 4/236 245028
/proc/meminfo: memFree=76958300/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=772404 memory=760304 CPUtime=3250.28 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 194216 0 0 0 323969 1059 0 0 20 0 1 0 19931327 790941696 190076 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2050 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 193101 190076 1200 1006 0 191862 0
Current children cumulated CPU time: 3250.28 s
Current children cumulated vsize: 772404 KiB
Current children cumulated memory: 760304 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.50 3.89 4/236 245038
/proc/meminfo: memFree=76550856/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=778788 memory=766544 CPUtime=3309.52 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 196067 0 0 0 329882 1070 0 0 20 0 1 0 19931327 797478912 191636 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2107 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 194697 191636 1200 1006 0 193458 0
Current children cumulated CPU time: 3309.52 s
Current children cumulated vsize: 778788 KiB
Current children cumulated memory: 766544 KiB

[startup+3402.3 s]
/proc/loadavg: 3.27 3.47 3.86 4/236 245053
/proc/meminfo: memFree=76059284/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=785448 memory=773216 CPUtime=3368.9 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 198066 0 0 0 335804 1086 0 0 20 0 1 0 19931327 804298752 193304 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2150 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 196362 193304 1200 1006 0 195123 0
Current children cumulated CPU time: 3368.9 s
Current children cumulated vsize: 785448 KiB
Current children cumulated memory: 773216 KiB

[startup+3462.3 s]
/proc/loadavg: 3.10 3.38 3.80 4/237 245065
/proc/meminfo: memFree=75351828/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=789180 memory=776744 CPUtime=3428.1 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 199299 0 0 0 341707 1103 0 0 20 0 1 0 19931327 808120320 194186 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2211 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 197295 194186 1200 1006 0 196056 0
Current children cumulated CPU time: 3428.1 s
Current children cumulated vsize: 789180 KiB
Current children cumulated memory: 776744 KiB

[startup+3522.3 s]
/proc/loadavg: 3.12 3.34 3.76 3/231 245107
/proc/meminfo: memFree=78384116/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=794272 memory=781656 CPUtime=3487.41 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 200736 0 0 0 347625 1116 0 0 20 0 1 0 19931327 813334528 195414 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2262 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 198568 195414 1200 1006 0 197329 0
Current children cumulated CPU time: 3487.41 s
Current children cumulated vsize: 794272 KiB
Current children cumulated memory: 781656 KiB

[startup+3582.3 s]
/proc/loadavg: 2.07 3.01 3.62 2/224 245148
/proc/meminfo: memFree=104871368/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=797740 memory=785088 CPUtime=3546.66 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 201949 0 0 0 353533 1133 0 0 20 0 1 0 19931327 816885760 196272 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2319 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 199435 196272 1200 1006 0 198196 0
Current children cumulated CPU time: 3546.66 s
Current children cumulated vsize: 797740 KiB
Current children cumulated memory: 785088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3636 s]*
/proc/loadavg: 1.47 2.69 3.47 2/224 245158
/proc/meminfo: memFree=104686276/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=806360 memory=793768 CPUtime=3600.01 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) R 243065 243068 238456 0 -1 4194304 204320 0 0 0 358852 1149 0 0 20 0 1 0 19931327 825712640 198442 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2341 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 201590 198442 1200 1006 0 200351 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 806360 KiB
Current children cumulated memory: 793768 KiB

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

[startup+3636.13 s]
# the end of solver process 243068 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3588.55 s, system=11.5229 s

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

[startup+3636.11 s]
/proc/loadavg: 1.47 2.69 3.47 2/224 245158
/proc/meminfo: memFree=104686276/131655788 swapFree=131061124/131071996
[pid=243068] ppid=243065 vsize=621264 memory=617040 CPUtime=3600.05 cores=0,2
/proc/243068/stat : 243068 (Exact_veripb2) D 243065 243068 238456 0 -1 4194304 204325 0 0 0 358854 1151 0 0 20 0 1 0 19931327 636174336 154260 134679101440 4194304 8311665 140724223982912 0 0 0 0 0 8404994 0 0 0 17 0 0 0 2351 0 0 9173656 9252184 35094528 140724223988556 140724223988836 140724223988836 140724223995847 0
/proc/243068/statm: 155316 154260 1200 1006 0 154077 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 621264 KiB
Current children cumulated memory: 617040 KiB

Child status: 0

Real time (s): 3636.13
CPU time (s): 3600.07
CPU user time (s): 3588.55
CPU system time (s): 11.5229
CPU usage (%): 99.0084
Max. virtual memory (cumulated for all children) (KiB): 806360
Max. memory (cumulated for all children) (KiB): 793768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.55
system time used= 11.5229
maximum resident set size= 793768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 204325
page faults= 0
swaps= 0
block input operations= 0
block output operations= 17818184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1764
involuntary context switches= 24674


# summary of solver processes directly reported to runsolver:
#   pid: 243068
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3588.55
#   total CPU system time (s): 11.5229

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8717 second user time and 36.4835 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-24 18:43:39
IDJOB=4452804
IDBENCH=165317
IDSOLVER=3081
FILE ID=nodeC005/4452804-1721839419
RUNJOBID= nodeC005-1721831914-238466
SLURM_JOB_ID= 7891526
Free space on /tmp= 723760 MiB

SOLVER NAME= Exact_veripb2 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP135.shuf-3.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-4452804-1721839419/watcher-4452804-1721839419 -o /tmp/evaluation-result-4452804-1721839419/solver-4452804-1721839419 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721831914-238466 --watchdog 3760  HOME/Exact_veripb2 --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4452804-1721839419 --seed=1353416588 HOME/instance-4452804-1721839419.opb

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

MD5SUM BENCH= baac7260ecc6f9812e76d8cbcf4d3b9b
RANDOM SEED=1353416588

nodeC005.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	: 0xb00001f
cpu MHz		: 3491.578
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3582.109
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.119
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.155
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 3654.024
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 3647.199
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
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	: 0xb00001f
cpu MHz		: 1197.303
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.14
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	: 0xb00001f
cpu MHz		: 1197.227
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti 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	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        86610836 kB
MemAvailable:   129343820 kB
Buffers:          265048 kB
Cached:         43214952 kB
SwapCached:          612 kB
Active:          2513616 kB
Inactive:       41800996 kB
Active(anon):       1608 kB
Inactive(anon):   886316 kB
Active(file):    2512008 kB
Inactive(file): 40914680 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:            430924 kB
Writeback:            16 kB
AnonPages:        833884 kB
Mapped:           131792 kB
Shmem:             53264 kB
KReclaimable:     292652 kB
Slab:             417856 kB
SReclaimable:     292652 kB
SUnreclaim:       125204 kB
KernelStack:        3952 kB
PageTables:        11300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1409508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            10848 kB
HardwareCorrupted:     0 kB
AnonHugePages:    452608 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC005 at 2024-07-24 19:44:16