Trace number 4452786

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) 3602.11 3611.61

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


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: 63931 MiB (61082 MiB free)
  memory of node 1: 64510 MiB (61601 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452786-1721445990/watcher-4452786-1721445990 -o /tmp/evaluation-result-4452786-1721445990/solver-4452786-1721445990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721446000-1048091 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=591569619 HOME/instance-4452786-1721445990.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=1048290, runsolver pid=1048287

[startup+0.100139 s]*
/proc/loadavg: 3.66 4.00 4.09 5/258 1048291
/proc/meminfo: memFree=125575120/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=77736 memory=57720 CPUtime=0.09 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 10109 0 0 0 8 1 0 0 20 0 1 0 196758142 79601664 14430 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 19434 14430 884 1005 0 18197 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 77736 KiB
Current children cumulated memory: 57720 KiB

[startup+0.205847 s]*
/proc/loadavg: 3.66 4.00 4.09 5/258 1048291
/proc/meminfo: memFree=125567364/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=95492 memory=74088 CPUtime=0.2 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 13339 0 0 0 19 1 0 0 20 0 1 0 196758142 97783808 18522 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 23873 18522 1044 1005 0 22636 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 95492 KiB
Current children cumulated memory: 74088 KiB

[startup+0.30585 s]*
/proc/loadavg: 3.66 4.00 4.09 5/258 1048291
/proc/meminfo: memFree=125534552/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=116620 memory=96080 CPUtime=0.3 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 20742 0 0 0 27 3 0 0 20 0 1 0 196758142 119418880 24020 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 29155 24020 1060 1005 0 27918 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 116620 KiB
Current children cumulated memory: 96080 KiB

[startup+0.70021 s]
/proc/loadavg: 3.66 4.00 4.09 5/258 1048291
/proc/meminfo: memFree=125528348/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=121504 memory=101600 CPUtime=0.69 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 22083 0 0 0 65 4 0 0 20 0 1 0 196758142 124420096 25400 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 30376 25400 1124 1005 0 29139 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121504 KiB
Current children cumulated memory: 101600 KiB

[startup+1.50023 s]
/proc/loadavg: 3.66 4.00 4.09 4/255 1048305
/proc/meminfo: memFree=125574312/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=122892 memory=105228 CPUtime=1.49 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 22431 0 0 0 145 4 0 0 20 0 1 0 196758142 125841408 26307 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 30723 26307 1124 1005 0 29486 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 122892 KiB
Current children cumulated memory: 105228 KiB

[startup+3.10571 s]
/proc/loadavg: 3.69 4.00 4.09 5/258 1048339
/proc/meminfo: memFree=125530484/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=125656 memory=109880 CPUtime=3.09 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 23131 0 0 0 305 4 0 0 20 0 1 0 196758142 128671744 27470 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 31414 27470 1124 1005 0 30177 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 125656 KiB
Current children cumulated memory: 109880 KiB

[startup+6.30016 s]
/proc/loadavg: 3.69 4.00 4.09 5/258 1048431
/proc/meminfo: memFree=125437768/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=129464 memory=113804 CPUtime=6.27 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 24100 0 0 0 623 4 0 0 20 0 1 0 196758142 132571136 28451 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 32366 28451 1124 1005 0 31129 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 129464 KiB
Current children cumulated memory: 113804 KiB

[startup+12.7002 s]
/proc/loadavg: 3.71 4.00 4.09 5/258 1048432
/proc/meminfo: memFree=125410104/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=136752 memory=120596 CPUtime=12.65 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 25823 0 0 0 1260 5 0 0 20 0 1 0 196758142 140034048 30149 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 34188 30149 1124 1005 0 32951 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 136752 KiB
Current children cumulated memory: 120596 KiB

[startup+25.5002 s]
/proc/loadavg: 3.84 4.02 4.09 5/258 1048434
/proc/meminfo: memFree=125373528/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=144992 memory=128972 CPUtime=25.42 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 27962 0 0 0 2536 6 0 0 20 0 1 0 196758142 148471808 32243 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 36248 32243 1124 1005 0 35011 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 144992 KiB
Current children cumulated memory: 128972 KiB

[startup+51.1057 s]
/proc/loadavg: 4.44 4.15 4.13 5/257 1048437
/proc/meminfo: memFree=125309676/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=163956 memory=147872 CPUtime=50.96 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 32669 0 0 0 5087 9 0 0 20 0 1 0 196758142 167890944 36968 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 40989 36968 1124 1005 0 39752 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 163956 KiB
Current children cumulated memory: 147872 KiB

[startup+102.3 s]
/proc/loadavg: 4.19 4.12 4.12 5/257 1048447
/proc/meminfo: memFree=125219896/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=186164 memory=170516 CPUtime=102.02 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 38295 0 0 0 10190 12 0 0 20 0 1 0 196758142 190631936 42629 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 46541 42629 1198 1005 0 45304 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 186164 KiB
Current children cumulated memory: 170516 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/258 1048903
/proc/meminfo: memFree=125209212/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=216968 memory=202844 CPUtime=161.87 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 45916 0 0 0 16171 16 0 0 20 0 1 0 196758142 222175232 50711 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 54242 50711 1198 1005 0 53005 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 216968 KiB
Current children cumulated memory: 202844 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.12 4.12 5/258 1049327
/proc/meminfo: memFree=125156176/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=229968 memory=216888 CPUtime=221.7 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 49264 0 0 0 22148 22 0 0 20 0 1 0 196758142 235487232 54222 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 57492 54222 1198 1005 0 56255 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 229968 KiB
Current children cumulated memory: 216888 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/260 1049395
/proc/meminfo: memFree=125055776/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=257184 memory=246392 CPUtime=281.53 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 56099 0 0 0 28128 25 0 0 20 0 1 0 196758142 263356416 61598 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 64296 61598 1198 1005 0 63059 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 257184 KiB
Current children cumulated memory: 246392 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.10 4.10 4/257 1050050
/proc/meminfo: memFree=125041312/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=269232 memory=258672 CPUtime=341.37 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 59287 0 0 0 34101 36 0 0 20 0 1 0 196758142 275693568 64668 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 67308 64668 1198 1005 0 66071 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 269232 KiB
Current children cumulated memory: 258672 KiB

[startup+402.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 1050198
/proc/meminfo: memFree=124938396/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=281224 memory=270636 CPUtime=401.2 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 62364 0 0 0 40083 37 0 0 20 0 1 0 196758142 287973376 67659 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 70306 67659 1198 1005 0 69069 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 281224 KiB
Current children cumulated memory: 270636 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/259 1050209
/proc/meminfo: memFree=124856168/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=297424 memory=286456 CPUtime=461.02 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 66349 0 0 0 46057 45 0 0 20 0 1 0 196758142 304562176 71614 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 74356 71614 1198 1005 0 73119 0

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

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 1051492
/proc/meminfo: memFree=124004856/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=761232 memory=748920 CPUtime=3034.08 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 189912 0 0 0 303146 262 0 0 20 0 1 0 196758142 779501568 187230 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 190308 187230 1198 1005 0 189071 0
Current children cumulated CPU time: 3034.08 s
Current children cumulated vsize: 761232 KiB
Current children cumulated memory: 748920 KiB

[startup+3102.3 s]
/proc/loadavg: 4.22 4.12 4.10 5/257 1051504
/proc/meminfo: memFree=123993360/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=768924 memory=756516 CPUtime=3093.94 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 192162 0 0 0 309132 262 0 0 20 0 1 0 196758142 787378176 189129 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 192231 189129 1198 1005 0 190994 0
Current children cumulated CPU time: 3093.94 s
Current children cumulated vsize: 768924 KiB
Current children cumulated memory: 756516 KiB

[startup+3162.3 s]
/proc/loadavg: 4.22 4.15 4.11 5/257 1051514
/proc/meminfo: memFree=123980308/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=772556 memory=760040 CPUtime=3153.8 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 193342 0 0 0 315118 262 0 0 20 0 1 0 196758142 791097344 190010 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 193139 190010 1198 1005 0 191902 0
Current children cumulated CPU time: 3153.8 s
Current children cumulated vsize: 772556 KiB
Current children cumulated memory: 760040 KiB

[startup+3222.3 s]
/proc/loadavg: 4.36 4.19 4.12 5/258 1051525
/proc/meminfo: memFree=123965356/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=781160 memory=768580 CPUtime=3213.66 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 195800 0 0 0 321103 263 0 0 20 0 1 0 196758142 799907840 192145 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 195290 192145 1198 1005 0 194053 0
Current children cumulated CPU time: 3213.66 s
Current children cumulated vsize: 781160 KiB
Current children cumulated memory: 768580 KiB

[startup+3282.3 s]
/proc/loadavg: 4.32 4.20 4.13 5/258 1051541
/proc/meminfo: memFree=123954192/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=783740 memory=771324 CPUtime=3273.52 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 196750 0 0 0 327089 263 0 0 20 0 1 0 196758142 802549760 192831 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 195935 192831 1198 1005 0 194698 0
Current children cumulated CPU time: 3273.52 s
Current children cumulated vsize: 783740 KiB
Current children cumulated memory: 771324 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/258 1051552
/proc/meminfo: memFree=123931944/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=788348 memory=775600 CPUtime=3333.38 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 198175 0 0 0 333068 270 0 0 20 0 1 0 196758142 807268352 193900 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 197087 193900 1198 1005 0 195850 0
Current children cumulated CPU time: 3333.38 s
Current children cumulated vsize: 788348 KiB
Current children cumulated memory: 775600 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/258 1051562
/proc/meminfo: memFree=123892700/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=797844 memory=784912 CPUtime=3393.25 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 200813 0 0 0 339047 278 0 0 20 0 1 0 196758142 816992256 196228 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 199461 196228 1198 1005 0 198224 0
Current children cumulated CPU time: 3393.25 s
Current children cumulated vsize: 797844 KiB
Current children cumulated memory: 784912 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/258 1051576
/proc/meminfo: memFree=123871592/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=801360 memory=788152 CPUtime=3453.11 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 201939 0 0 0 345027 284 0 0 20 0 1 0 196758142 820592640 197038 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 200340 197038 1198 1005 0 199103 0
Current children cumulated CPU time: 3453.11 s
Current children cumulated vsize: 801360 KiB
Current children cumulated memory: 788152 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/257 1051587
/proc/meminfo: memFree=123844224/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=802416 memory=789360 CPUtime=3512.98 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 202213 0 0 0 350984 314 0 0 20 0 1 0 196758142 821673984 197340 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 200604 197340 1198 1005 0 199367 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 802416 KiB
Current children cumulated memory: 789360 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/256 1051982
/proc/meminfo: memFree=123944408/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=802652 memory=789656 CPUtime=3572.85 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 202349 0 0 0 356947 338 0 0 20 0 1 0 196758142 821915648 197414 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 200663 197414 1198 1005 0 199426 0
Current children cumulated CPU time: 3572.85 s
Current children cumulated vsize: 802652 KiB
Current children cumulated memory: 789656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.13 4.14 4.11 5/256 1051987
/proc/meminfo: memFree=123938976/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=802652 memory=789656 CPUtime=3600.09 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 202351 0 0 0 359663 346 0 0 20 0 1 0 196758142 821915648 197414 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 200663 197414 1198 1005 0 199426 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 802652 KiB
Current children cumulated memory: 789656 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3598.62 s, system=3.48345 s

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

[startup+3610.4 s]
/proc/loadavg: 4.13 4.14 4.11 5/256 1051987
/proc/meminfo: memFree=123938976/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=802652 memory=789656 CPUtime=3600.89 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 202351 0 0 0 359743 346 0 0 20 0 1 0 196758142 821915648 197414 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 200663 197414 1198 1005 0 199426 0
Current children cumulated CPU time: 3600.89 s
Current children cumulated vsize: 802652 KiB
Current children cumulated memory: 789656 KiB

[startup+3611.2 s]
/proc/loadavg: 4.13 4.14 4.11 5/256 1051987
/proc/meminfo: memFree=123938976/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=802652 memory=789656 CPUtime=3601.68 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 202351 0 0 0 359822 346 0 0 20 0 1 0 196758142 821915648 197414 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 200663 197414 1198 1005 0 199426 0
Current children cumulated CPU time: 3601.68 s
Current children cumulated vsize: 802652 KiB
Current children cumulated memory: 789656 KiB

[startup+3611.6 s]
/proc/loadavg: 4.13 4.14 4.11 5/256 1051987
/proc/meminfo: memFree=123938976/131524600 swapFree=130799640/131071996
[pid=1048290] ppid=1048287 vsize=802652 memory=789656 CPUtime=3602.09 cores=1,3
/proc/1048290/stat : 1048290 (Exact) R 1048287 1048290 1048079 0 -1 4194304 202351 0 0 0 359862 347 0 0 20 0 1 0 196758142 821915648 197414 134679101440 4194304 8309489 140725613348752 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 19464192 140725613351869 140725613352038 140725613352038 140725613359055 0
/proc/1048290/statm: 200663 197414 1198 1005 0 199426 0
Current children cumulated CPU time: 3602.09 s
Current children cumulated vsize: 802652 KiB
Current children cumulated memory: 789656 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.61
CPU time (s): 3602.11
CPU user time (s): 3598.62
CPU system time (s): 3.48345
CPU usage (%): 99.7368
Max. virtual memory (cumulated for all children) (KiB): 802652
Max. memory (cumulated for all children) (KiB): 789656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.62
system time used= 3.48345
maximum resident set size= 789656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202351
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= 128
involuntary context switches= 3983


# summary of solver processes directly reported to runsolver:
#   pid: 1048290
#   total CPU time (s): 3602.11
#   total CPU user time (s): 3598.62
#   total CPU system time (s): 3.48345

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04759 second user time and 17.0417 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-20 05:26:42
IDJOB=4452786
IDBENCH=165317
IDSOLVER=3060
FILE ID=nodeC014/4452786-1721445990
RUNJOBID= nodeC014-1721446000-1048091
SLURM_JOB_ID= 7545668
Free space on /tmp= 890016 MiB

SOLVER NAME= Exact 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 --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4452786-1721445990/watcher-4452786-1721445990 -o /tmp/evaluation-result-4452786-1721445990/solver-4452786-1721445990 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721446000-1048091 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=591569619 HOME/instance-4452786-1721445990.opb

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

MD5SUM BENCH= baac7260ecc6f9812e76d8cbcf4d3b9b
RANDOM SEED=591569619

nodeC014.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		: 3654.885
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.32
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		: 3667.548
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.96
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.857
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.32
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		: 3656.566
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.96
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		: 3654.858
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.32
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.464
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.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125629352 kB
MemAvailable:   129793244 kB
Buffers:          502472 kB
Cached:          4456916 kB
SwapCached:        12864 kB
Active:          1527352 kB
Inactive:        3741260 kB
Active(anon):       9172 kB
Inactive(anon):   329684 kB
Active(file):    1518180 kB
Inactive(file):  3411576 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799640 kB
Dirty:             27772 kB
Writeback:             0 kB
AnonPages:        300492 kB
Mapped:            64532 kB
Shmem:             29628 kB
KReclaimable:     147564 kB
Slab:             250516 kB
SReclaimable:     147564 kB
SUnreclaim:       102952 kB
KernelStack:        4124 kB
PageTables:        10384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     892608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            36256 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 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:      303828 kB
DirectMap2M:    38266880 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC014 at 2024-07-20 06:26:54