Trace number 4447786

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 2024-07-05? (TO) 3600.09 3608.2

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n236-d3-i2-f.cnf.gz-plain.pb.metafix.opb
MD5SUMb320e8df0d5fbea72b736842c910ba4c
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables354
Total number of constraints944
Number of constraints which are clauses944
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 constraint3
Maximum length of a constraint3
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 5
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 

3600.08/3608.20	c Program interrupted by user.
3600.08/3608.20	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 (62727 MiB free)
  memory of node 1: 64510 MiB (61377 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447786-1721359305/watcher-4447786-1721359305 -o /tmp/evaluation-result-4447786-1721359305/solver-4447786-1721359305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721359317-986109 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=425587000 HOME/instance-4447786-1721359305.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=986139, runsolver pid=986135
Current StackSize limit: 8192 KiB


[startup+0.100096 s]*
/proc/loadavg: 1.11 1.18 1.31 5/245 986169
/proc/meminfo: memFree=127071176/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=28284 memory=7384 CPUtime=0.1 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 847 0 0 0 10 0 0 0 20 0 1 0 188087145 28962816 1846 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 7071 1846 1140 1005 0 5834 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28284 KiB
Current children cumulated memory: 7384 KiB

[startup+0.213261 s]*
/proc/loadavg: 1.11 1.18 1.31 5/245 986169
/proc/meminfo: memFree=127069036/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=28512 memory=7700 CPUtime=0.21 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 963 0 0 0 21 0 0 0 20 0 1 0 188087145 29196288 1925 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 7128 1925 1140 1005 0 5891 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28512 KiB
Current children cumulated memory: 7700 KiB

[startup+0.312195 s]*
/proc/loadavg: 1.11 1.18 1.31 5/245 986169
/proc/meminfo: memFree=127067348/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=28724 memory=8516 CPUtime=0.31 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 1163 0 0 0 31 0 0 0 20 0 1 0 188087145 29413376 2129 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 7181 2129 1140 1005 0 5944 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28724 KiB
Current children cumulated memory: 8516 KiB

[startup+0.700266 s]
/proc/loadavg: 1.11 1.18 1.31 5/242 986173
/proc/meminfo: memFree=127072256/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=29084 memory=8912 CPUtime=0.69 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 1315 0 0 0 68 1 0 0 20 0 1 0 188087145 29782016 2228 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 7271 2228 1140 1005 0 6034 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29084 KiB
Current children cumulated memory: 8912 KiB

[startup+1.50027 s]
/proc/loadavg: 1.11 1.18 1.31 5/245 986215
/proc/meminfo: memFree=127066116/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=29584 memory=11700 CPUtime=1.48 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 1649 0 0 0 146 2 0 0 20 0 1 0 188087145 30294016 2925 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 7396 2925 1140 1005 0 6159 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29584 KiB
Current children cumulated memory: 11700 KiB

[startup+3.11228 s]
/proc/loadavg: 1.11 1.18 1.31 5/239 986389
/proc/meminfo: memFree=127063320/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=30220 memory=12504 CPUtime=3.08 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 2234 0 0 0 304 4 0 0 20 0 1 0 188087145 30945280 3126 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 7555 3126 1140 1005 0 6318 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 30220 KiB
Current children cumulated memory: 12504 KiB

[startup+6.30026 s]
/proc/loadavg: 1.42 1.24 1.33 5/245 986537
/proc/meminfo: memFree=127031448/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=31232 memory=13520 CPUtime=6.26 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 3153 0 0 0 617 9 0 0 20 0 1 0 188087145 31981568 3380 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 7808 3380 1140 1005 0 6571 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 31232 KiB
Current children cumulated memory: 13520 KiB

[startup+12.7003 s]
/proc/loadavg: 1.63 1.29 1.35 5/245 986539
/proc/meminfo: memFree=126974672/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=32432 memory=14652 CPUtime=12.64 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 4667 0 0 0 1245 19 0 0 20 0 1 0 188087145 33210368 3663 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 8108 3663 1140 1005 0 6871 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 32432 KiB
Current children cumulated memory: 14652 KiB

[startup+25.5004 s]
/proc/loadavg: 2.15 1.42 1.39 5/245 986540
/proc/meminfo: memFree=126916832/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=34008 memory=16220 CPUtime=25.41 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 7158 0 0 0 2503 38 0 0 20 0 1 0 188087145 34824192 4055 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 8502 4055 1140 1005 0 7265 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 34008 KiB
Current children cumulated memory: 16220 KiB

[startup+51.1126 s]
/proc/loadavg: 2.87 1.65 1.47 5/245 986547
/proc/meminfo: memFree=126871972/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=35560 memory=17748 CPUtime=50.94 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 11364 0 0 0 5018 76 0 0 20 0 1 0 188087145 36413440 4437 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 8890 4437 1140 1005 0 7653 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 35560 KiB
Current children cumulated memory: 17748 KiB

[startup+102.3 s]
/proc/loadavg: 3.58 2.03 1.61 5/245 986555
/proc/meminfo: memFree=126830420/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=37288 memory=19484 CPUtime=101.96 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 18586 0 0 0 10042 154 0 0 20 0 1 0 188087145 38182912 4871 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 9322 4871 1140 1005 0 8085 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 37288 KiB
Current children cumulated memory: 19484 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.41 1.76 5/245 986565
/proc/meminfo: memFree=126806324/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=38056 memory=20260 CPUtime=161.77 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 24083 0 0 0 15934 243 0 0 20 0 1 0 188087145 38969344 5065 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 9514 5065 1140 1005 0 8277 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 38056 KiB
Current children cumulated memory: 20260 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 2.73 1.92 5/243 986958
/proc/meminfo: memFree=126794004/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=38760 memory=23096 CPUtime=221.59 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 30904 0 0 0 21828 331 0 0 20 0 1 0 188087145 39690240 5774 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 9690 5774 1140 1005 0 8453 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 38760 KiB
Current children cumulated memory: 23096 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 3.00 2.06 5/243 986969
/proc/meminfo: memFree=126781728/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=39464 memory=23800 CPUtime=281.44 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 38507 0 0 0 27724 420 0 0 20 0 1 0 188087145 40411136 5950 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 9866 5950 1140 1005 0 8629 0
Current children cumulated CPU time: 281.44 s
Current children cumulated vsize: 39464 KiB
Current children cumulated memory: 23800 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.21 2.20 5/243 986979
/proc/meminfo: memFree=126773420/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=40136 memory=24472 CPUtime=341.3 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 45928 0 0 0 33622 508 0 0 20 0 1 0 188087145 41099264 6118 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 10034 6118 1140 1005 0 8797 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 40136 KiB
Current children cumulated memory: 24472 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.37 2.32 5/246 987160
/proc/meminfo: memFree=126760832/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=41160 memory=25496 CPUtime=401.15 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 52993 0 0 0 39516 599 0 0 20 0 1 0 188087145 42147840 6374 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 10290 6374 1140 1005 0 9053 0
Current children cumulated CPU time: 401.15 s
Current children cumulated vsize: 41160 KiB
Current children cumulated memory: 25496 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 3.50 2.43 5/246 987171
/proc/meminfo: memFree=126757024/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=42188 memory=26524 CPUtime=461.01 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 60212 0 0 0 45415 686 0 0 20 0 1 0 188087145 43200512 6631 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 10547 6631 1140 1005 0 9310 0

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

Current children cumulated memory: 33824 KiB

[startup+2862.3 s]
/proc/loadavg: 1.12 1.18 1.68 2/221 988320
/proc/meminfo: memFree=127058752/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=49596 memory=33888 CPUtime=2855.78 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 293911 0 0 0 281653 3925 0 0 20 0 1 0 188087145 50786304 8472 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12399 8472 1140 1005 0 11162 0
Current children cumulated CPU time: 2855.78 s
Current children cumulated vsize: 49596 KiB
Current children cumulated memory: 33888 KiB

[startup+2922.3 s]
/proc/loadavg: 1.09 1.16 1.64 2/224 988335
/proc/meminfo: memFree=127058372/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=49724 memory=34016 CPUtime=2915.66 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 313357 0 0 0 287556 4010 0 0 20 0 1 0 188087145 50917376 8504 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12431 8504 1140 1005 0 11194 0
Current children cumulated CPU time: 2915.66 s
Current children cumulated vsize: 49724 KiB
Current children cumulated memory: 34016 KiB

[startup+2982.3 s]
/proc/loadavg: 1.15 1.16 1.61 2/224 988345
/proc/meminfo: memFree=127057980/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=49852 memory=34144 CPUtime=2975.53 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 330715 0 0 0 293471 4082 0 0 20 0 1 0 188087145 51048448 8536 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12463 8536 1140 1005 0 11226 0
Current children cumulated CPU time: 2975.53 s
Current children cumulated vsize: 49852 KiB
Current children cumulated memory: 34144 KiB

[startup+3042.3 s]
/proc/loadavg: 1.11 1.15 1.58 2/224 988356
/proc/meminfo: memFree=127057708/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=49852 memory=34144 CPUtime=3035.39 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 350042 0 0 0 299367 4172 0 0 20 0 1 0 188087145 51048448 8536 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12463 8536 1140 1005 0 11226 0
Current children cumulated CPU time: 3035.39 s
Current children cumulated vsize: 49852 KiB
Current children cumulated memory: 34144 KiB

[startup+3102.3 s]
/proc/loadavg: 1.08 1.13 1.54 2/224 988366
/proc/meminfo: memFree=127057428/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=49916 memory=34208 CPUtime=3095.27 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 369298 0 0 0 305268 4259 0 0 20 0 1 0 188087145 51113984 8552 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12479 8552 1140 1005 0 11242 0
Current children cumulated CPU time: 3095.27 s
Current children cumulated vsize: 49916 KiB
Current children cumulated memory: 34208 KiB

[startup+3162.3 s]
/proc/loadavg: 1.20 1.15 1.52 2/224 988376
/proc/meminfo: memFree=127057172/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=49916 memory=34208 CPUtime=3155.14 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 389147 0 0 0 311167 4347 0 0 20 0 1 0 188087145 51113984 8552 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12479 8552 1140 1005 0 11242 0
Current children cumulated CPU time: 3155.14 s
Current children cumulated vsize: 49916 KiB
Current children cumulated memory: 34208 KiB

[startup+3222.3 s]
/proc/loadavg: 1.12 1.14 1.50 2/224 988387
/proc/meminfo: memFree=127056688/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=49916 memory=34208 CPUtime=3215.01 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 407691 0 0 0 317063 4438 0 0 20 0 1 0 188087145 51113984 8552 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12479 8552 1140 1005 0 11242 0
Current children cumulated CPU time: 3215.01 s
Current children cumulated vsize: 49916 KiB
Current children cumulated memory: 34208 KiB

[startup+3282.3 s]
/proc/loadavg: 1.12 1.13 1.47 2/221 988398
/proc/meminfo: memFree=127056304/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=50108 memory=34400 CPUtime=3274.88 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 426196 0 0 0 322967 4521 0 0 20 0 1 0 188087145 51310592 8600 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12527 8600 1140 1005 0 11290 0
Current children cumulated CPU time: 3274.88 s
Current children cumulated vsize: 50108 KiB
Current children cumulated memory: 34400 KiB

[startup+3342.3 s]
/proc/loadavg: 1.10 1.12 1.44 2/221 988408
/proc/meminfo: memFree=127056024/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=50108 memory=34400 CPUtime=3334.75 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 445784 0 0 0 328860 4615 0 0 20 0 1 0 188087145 51310592 8600 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12527 8600 1140 1005 0 11290 0
Current children cumulated CPU time: 3334.75 s
Current children cumulated vsize: 50108 KiB
Current children cumulated memory: 34400 KiB

[startup+3402.3 s]
/proc/loadavg: 1.08 1.11 1.42 2/221 988418
/proc/meminfo: memFree=127055660/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=50172 memory=34464 CPUtime=3394.63 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 464692 0 0 0 334758 4705 0 0 20 0 1 0 188087145 51376128 8616 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12543 8616 1140 1005 0 11306 0
Current children cumulated CPU time: 3394.63 s
Current children cumulated vsize: 50172 KiB
Current children cumulated memory: 34464 KiB

[startup+3462.3 s]
/proc/loadavg: 1.06 1.10 1.39 2/221 988429
/proc/meminfo: memFree=127055340/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=50172 memory=34508 CPUtime=3454.5 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 484195 0 0 0 340660 4790 0 0 20 0 1 0 188087145 51376128 8627 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12543 8627 1140 1005 0 11306 0
Current children cumulated CPU time: 3454.5 s
Current children cumulated vsize: 50172 KiB
Current children cumulated memory: 34508 KiB

[startup+3522.3 s]
/proc/loadavg: 1.07 1.10 1.37 2/224 988444
/proc/meminfo: memFree=127055196/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=50172 memory=34508 CPUtime=3514.37 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 501000 0 0 0 346576 4861 0 0 20 0 1 0 188087145 51376128 8627 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12543 8627 1140 1005 0 11306 0
Current children cumulated CPU time: 3514.37 s
Current children cumulated vsize: 50172 KiB
Current children cumulated memory: 34508 KiB

[startup+3582.3 s]
/proc/loadavg: 1.14 1.11 1.36 2/224 988454
/proc/meminfo: memFree=127054748/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=50172 memory=34508 CPUtime=3574.24 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 518153 0 0 0 352491 4933 0 0 20 0 1 0 188087145 51376128 8627 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12543 8627 1140 1005 0 11306 0
Current children cumulated CPU time: 3574.24 s
Current children cumulated vsize: 50172 KiB
Current children cumulated memory: 34508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.2 s]
/proc/loadavg: 1.09 1.10 1.35 2/224 988458
/proc/meminfo: memFree=127054584/131655788 swapFree=131071996/131071996
[pid=986139] ppid=986135 vsize=50172 memory=34508 CPUtime=3600.08 cores=5,7
/proc/986139/stat : 986139 (Exact) R 986135 986139 978001 0 -1 4194304 525461 0 0 0 355047 4961 0 0 20 0 1 0 188087145 51376128 8627 134679101440 4194304 8309489 140735512280608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9165528 9243992 26173440 140735512282046 140735512282215 140735512282215 140735512289231 0
/proc/986139/statm: 12543 8627 1140 1005 0 11306 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 50172 KiB
Current children cumulated memory: 34508 KiB

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

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

# cumulated CPU time of all completed processes:  user=3550.48 s, system=49.6158 s

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

Child status: 0

Real time (s): 3608.2
CPU time (s): 3600.09
CPU user time (s): 3550.48
CPU system time (s): 49.6158
CPU usage (%): 99.7753
Max. virtual memory (cumulated for all children) (KiB): 50648
Max. memory (cumulated for all children) (KiB): 34768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3550.48
system time used= 49.6158
maximum resident set size= 34768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525467
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= 14
involuntary context switches= 4432


# summary of solver processes directly reported to runsolver:
#   pid: 986139
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3550.48
#   total CPU system time (s): 49.6158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4357 second user time and 28.9828 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-19 05:21:57
IDJOB=4447786
IDBENCH=160323
IDSOLVER=3060
FILE ID=nodeC007/4447786-1721359305
RUNJOBID= nodeC007-1721359317-986109
SLURM_JOB_ID= 7542747
Free space on /tmp= 723784 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n236-d3-i2-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447786-1721359305/watcher-4447786-1721359305 -o /tmp/evaluation-result-4447786-1721359305/solver-4447786-1721359305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721359317-986109 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=425587000 HOME/instance-4447786-1721359305.opb

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

MD5SUM BENCH= b320e8df0d5fbea72b736842c910ba4c
RANDOM SEED=425587000

nodeC007.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		: 1197.137
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.25
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		: 1197.137
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.30
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.141
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.25
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.135
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.30
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		: 1197.134
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.25
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		: 3478.529
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.30
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.142
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.25
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.135
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.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127083692 kB
MemAvailable:   129924984 kB
Buffers:          518456 kB
Cached:          3153156 kB
SwapCached:            0 kB
Active:          1065712 kB
Inactive:        2942960 kB
Active(anon):       1404 kB
Inactive(anon):   373352 kB
Active(file):    1064308 kB
Inactive(file):  2569608 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             23488 kB
Writeback:             0 kB
AnonPages:        337156 kB
Mapped:           106096 kB
Shmem:             37704 kB
KReclaimable:      94812 kB
Slab:             196484 kB
SReclaimable:      94812 kB
SUnreclaim:       101672 kB
KernelStack:        3628 kB
PageTables:         9728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     553152 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            58976 kB
HardwareCorrupted:     0 kB
AnonHugePages:    288768 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723776 MiB
End job on nodeC007 at 2024-07-19 06:22:06