Trace number 4456334

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) 3601.41 3612.8

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
scens/normalized-scen08reduc_wcsp.wbo
MD5SUM6173017921cf4cdc7f10e0dda09f7db9
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables14194
Total number of constraints1450105
Number of soft constraints1449740
Number of constraints which are clauses1449740
Number of constraints which are cardinality constraints (but not clauses)365
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 262
Min constraint cost 1
Max constraint cost 30
Sum of constraints costs 6361774
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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/3611.40	c Program interrupted by user.
3600.01/3611.40	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: 64096 MiB (58466 MiB free)
  memory of node 1: 64473 MiB (61003 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456334-1721721503/watcher-4456334-1721721503 -o /tmp/evaluation-result-4456334-1721721503/solver-4456334-1721721503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721717889-80535 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=251117472 HOME/instance-4456334-1721721503.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=82532, runsolver pid=82529

[startup+0.100977 s]*
/proc/loadavg: 3.97 4.06 4.04 5/241 82533
/proc/meminfo: memFree=122283932/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=56628 memory=33272 CPUtime=0.09 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 8824 0 0 0 7 2 0 0 20 0 1 0 8140167 57987072 8318 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 14157 8318 884 1005 0 12920 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 56628 KiB
Current children cumulated memory: 33272 KiB

[startup+0.213279 s]*
/proc/loadavg: 3.97 4.06 4.04 5/241 82533
/proc/meminfo: memFree=122158532/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=103600 memory=79772 CPUtime=0.21 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 20287 0 0 0 17 4 0 0 20 0 1 0 8140167 106086400 19877 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 25900 19943 884 1005 0 24663 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 103600 KiB
Current children cumulated memory: 79772 KiB

[startup+0.31331 s]*
/proc/loadavg: 3.97 4.06 4.04 6/239 82533
/proc/meminfo: memFree=123392204/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=147164 memory=125136 CPUtime=0.31 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 26795 0 0 0 25 6 0 0 20 0 1 0 8140167 150695936 31284 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 36791 31284 884 1005 0 35554 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 147164 KiB
Current children cumulated memory: 125136 KiB

[startup+0.700314 s]
/proc/loadavg: 3.97 4.06 4.04 6/238 82547
/proc/meminfo: memFree=123108416/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=279952 memory=259352 CPUtime=0.68 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 47218 0 0 0 57 11 0 0 20 0 1 0 8140167 286670848 64838 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 69988 64838 884 1005 0 68751 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 279952 KiB
Current children cumulated memory: 259352 KiB

[startup+1.50032 s]
/proc/loadavg: 3.97 4.06 4.04 5/241 82579
/proc/meminfo: memFree=122651816/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=605668 memory=568776 CPUtime=1.48 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 87128 0 0 0 126 22 0 0 20 0 1 0 8140167 620204032 142194 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 151417 142194 884 1005 0 150180 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 605668 KiB
Current children cumulated memory: 568776 KiB

[startup+3.11293 s]
/proc/loadavg: 3.97 4.06 4.04 5/237 82651
/proc/meminfo: memFree=121327864/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=1265876 memory=1184648 CPUtime=3.08 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 146976 0 0 0 263 45 0 0 20 0 1 0 8140167 1296257024 296162 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 316469 296162 884 1005 0 315232 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 1265876 KiB
Current children cumulated memory: 1184648 KiB

[startup+6.30032 s]
/proc/loadavg: 3.97 4.06 4.04 5/239 82950
/proc/meminfo: memFree=119667012/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=2308292 memory=2178440 CPUtime=6.27 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 221899 0 0 0 546 81 0 0 20 0 1 0 8140167 2363691008 544610 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 577073 544610 884 1005 0 575836 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2308292 KiB
Current children cumulated memory: 2178440 KiB

[startup+12.7003 s]
/proc/loadavg: 3.97 4.06 4.04 5/243 83073
/proc/meminfo: memFree=115463216/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=4299204 memory=4162620 CPUtime=12.65 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 421298 0 0 0 1107 158 0 0 20 0 1 0 8140167 4402384896 1040655 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1074801 1040655 1044 1005 0 1073564 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 4299204 KiB
Current children cumulated memory: 4162620 KiB

[startup+25.5003 s]
/proc/loadavg: 4.05 4.07 4.05 5/243 83074
/proc/meminfo: memFree=114157912/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=4875424 memory=4645332 CPUtime=25.4 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 453673 0 0 0 2357 183 0 0 20 0 1 0 8140167 4992434176 1161333 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1218856 1161333 1108 1005 0 1217619 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 4875424 KiB
Current children cumulated memory: 4645332 KiB

[startup+51.1141 s]
/proc/loadavg: 4.03 4.06 4.04 5/244 83080
/proc/meminfo: memFree=113290036/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=4886752 memory=4656928 CPUtime=50.94 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 455353 0 0 0 4909 185 0 0 20 0 1 0 8140167 5004034048 1164232 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1221688 1164232 1108 1005 0 1220451 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 4886752 KiB
Current children cumulated memory: 4656928 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.08 4.05 5/244 83089
/proc/meminfo: memFree=112484652/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=4886752 memory=4656928 CPUtime=101.95 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 455952 0 0 0 10009 186 0 0 20 0 1 0 8140167 5004034048 1164232 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1221688 1164232 1108 1005 0 1220451 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 4886752 KiB
Current children cumulated memory: 4656928 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.09 4.06 5/244 83112
/proc/meminfo: memFree=111527120/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=4886752 memory=4656928 CPUtime=161.76 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 456539 0 0 0 15989 187 0 0 20 0 1 0 8140167 5004034048 1164232 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1221688 1164232 1108 1005 0 1220451 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 4886752 KiB
Current children cumulated memory: 4656928 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.07 4.05 5/244 83123
/proc/meminfo: memFree=111226840/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=4886752 memory=4663072 CPUtime=221.57 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 457002 0 0 0 21968 189 0 0 20 0 1 0 8140167 5004034048 1165768 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1221688 1165768 1108 1005 0 1220451 0
Current children cumulated CPU time: 221.57 s
Current children cumulated vsize: 4886752 KiB
Current children cumulated memory: 4663072 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.09 4.06 5/244 83134
/proc/meminfo: memFree=110874636/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=4886752 memory=4690712 CPUtime=281.38 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 457879 0 0 0 27947 191 0 0 20 0 1 0 8140167 5004034048 1172678 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1221688 1172678 1108 1005 0 1220451 0
Current children cumulated CPU time: 281.38 s
Current children cumulated vsize: 4886752 KiB
Current children cumulated memory: 4690712 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/243 83144
/proc/meminfo: memFree=110004380/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=5071788 memory=4882688 CPUtime=341.19 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 475561 0 0 0 33910 209 0 0 20 0 1 0 8140167 5193510912 1220672 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1267947 1220672 1140 1005 0 1266710 0
Current children cumulated CPU time: 341.19 s
Current children cumulated vsize: 5071788 KiB
Current children cumulated memory: 4882688 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.08 4.06 5/242 83154
/proc/meminfo: memFree=109734336/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=5081028 memory=4902072 CPUtime=401 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 478304 0 0 0 39889 211 0 0 20 0 1 0 8140167 5202972672 1225518 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1270257 1225518 1140 1005 0 1269020 0
Current children cumulated CPU time: 401 s
Current children cumulated vsize: 5081028 KiB
Current children cumulated memory: 4902072 KiB

[startup+462.3 s]
/proc/loadavg: 4.53 4.20 4.10 5/241 83165
/proc/meminfo: memFree=109560140/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=5331832 memory=4970776 CPUtime=460.8 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 489093 0 0 0 45860 220 0 0 20 0 1 0 8140167 5459795968 1242694 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1332958 1242694 1140 1005 0 1331721 0
Current children cumulated CPU time: 460.8 s

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

/proc/82532/statm: 2539566 2278537 1140 1005 0 2538329 0
Current children cumulated CPU time: 3032.72 s
Current children cumulated vsize: 10158264 KiB
Current children cumulated memory: 9114148 KiB

[startup+3102.3 s]
/proc/loadavg: 3.25 3.80 4.04 4/235 84330
/proc/meminfo: memFree=92905408/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10158264 memory=9114148 CPUtime=3092.54 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1038290 0 0 0 308699 555 0 0 20 0 1 0 8140167 10402062336 2278537 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2539566 2278537 1140 1005 0 2538329 0
Current children cumulated CPU time: 3092.54 s
Current children cumulated vsize: 10158264 KiB
Current children cumulated memory: 9114148 KiB

[startup+3162.3 s]
/proc/loadavg: 3.27 3.70 3.99 4/238 84345
/proc/meminfo: memFree=92752932/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10173564 memory=9130324 CPUtime=3152.35 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1041340 0 0 0 314674 561 0 0 20 0 1 0 8140167 10417729536 2282581 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2543391 2282581 1140 1005 0 2542154 0
Current children cumulated CPU time: 3152.35 s
Current children cumulated vsize: 10173564 KiB
Current children cumulated memory: 9130324 KiB

[startup+3222.3 s]
/proc/loadavg: 3.16 3.59 3.93 4/238 84356
/proc/meminfo: memFree=90237084/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10239004 memory=9195152 CPUtime=3212.15 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1047541 0 0 0 320644 571 0 0 20 0 1 0 8140167 10484740096 2298788 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2559751 2298788 1140 1005 0 2558514 0
Current children cumulated CPU time: 3212.15 s
Current children cumulated vsize: 10239004 KiB
Current children cumulated memory: 9195152 KiB

[startup+3282.3 s]
/proc/loadavg: 3.12 3.49 3.88 5/237 84367
/proc/meminfo: memFree=90137680/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10242536 memory=9195156 CPUtime=3271.96 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1049272 0 0 0 326616 580 0 0 20 0 1 0 8140167 10488356864 2298789 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2560634 2298789 1140 1005 0 2559397 0
Current children cumulated CPU time: 3271.96 s
Current children cumulated vsize: 10242536 KiB
Current children cumulated memory: 9195156 KiB

[startup+3342.3 s]
/proc/loadavg: 3.14 3.43 3.83 4/237 84377
/proc/meminfo: memFree=90067716/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10242536 memory=9195168 CPUtime=3331.77 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1050173 0 0 0 332596 581 0 0 20 0 1 0 8140167 10488356864 2298792 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2560634 2298792 1140 1005 0 2559397 0
Current children cumulated CPU time: 3331.77 s
Current children cumulated vsize: 10242536 KiB
Current children cumulated memory: 9195168 KiB

[startup+3402.3 s]
/proc/loadavg: 3.10 3.37 3.78 4/237 84387
/proc/meminfo: memFree=89978640/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10242536 memory=9195192 CPUtime=3391.59 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1054649 0 0 0 338570 589 0 0 20 0 1 0 8140167 10488356864 2298798 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2560634 2298798 1140 1005 0 2559397 0
Current children cumulated CPU time: 3391.59 s
Current children cumulated vsize: 10242536 KiB
Current children cumulated memory: 9195192 KiB

[startup+3462.3 s]
/proc/loadavg: 3.12 3.33 3.74 4/237 84782
/proc/meminfo: memFree=89901992/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10249400 memory=9195196 CPUtime=3451.38 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1056162 0 0 0 344541 597 0 0 20 0 1 0 8140167 10495385600 2298799 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2562350 2298799 1140 1005 0 2561113 0
Current children cumulated CPU time: 3451.38 s
Current children cumulated vsize: 10249400 KiB
Current children cumulated memory: 9195196 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.28 3.70 4/237 84792
/proc/meminfo: memFree=89813848/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10249400 memory=9195196 CPUtime=3511.19 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1057259 0 0 0 350521 598 0 0 20 0 1 0 8140167 10495385600 2298799 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2562350 2298799 1140 1005 0 2561113 0
Current children cumulated CPU time: 3511.19 s
Current children cumulated vsize: 10249400 KiB
Current children cumulated memory: 9195196 KiB

[startup+3582.3 s]
/proc/loadavg: 3.13 3.26 3.66 4/237 84802
/proc/meminfo: memFree=89658572/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10249400 memory=9205792 CPUtime=3571 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1060379 0 0 0 356494 606 0 0 20 0 1 0 8140167 10495385600 2301448 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2562350 2301448 1140 1005 0 2561113 0
Current children cumulated CPU time: 3571 s
Current children cumulated vsize: 10249400 KiB
Current children cumulated memory: 9205792 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 3.14 3.25 3.64 4/237 84992
/proc/meminfo: memFree=114842004/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=10252856 memory=9209256 CPUtime=3600.01 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1062466 0 0 0 359392 609 0 0 20 0 1 0 8140167 10498924544 2302314 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 2563214 2302314 1140 1005 0 2561977 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 10252856 KiB
Current children cumulated memory: 9209256 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.18 s, system=6.23027 s

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

[startup+3612 s]*
/proc/loadavg: 3.14 3.25 3.64 3/232 85009
/proc/meminfo: memFree=118117628/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=6279424 memory=6004780 CPUtime=3600.62 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1062683 0 0 0 359452 610 0 0 20 0 1 0 8140167 6430130176 1501195 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1569856 1501195 1153 1005 0 1568619 0
Current children cumulated CPU time: 3600.62 s
Current children cumulated vsize: 6279424 KiB
Current children cumulated memory: 6004780 KiB

[startup+3612.4 s]
/proc/loadavg: 3.14 3.25 3.64 3/232 85009
/proc/meminfo: memFree=118117628/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=6134500 memory=5859856 CPUtime=3601.01 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1062788 0 0 0 359491 610 0 0 20 0 1 0 8140167 6281728000 1464964 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1533625 1464964 1153 1005 0 1532388 0
Current children cumulated CPU time: 3601.01 s
Current children cumulated vsize: 6134500 KiB
Current children cumulated memory: 5859856 KiB

[startup+3612.6 s]
/proc/loadavg: 3.14 3.25 3.64 3/232 85009
/proc/meminfo: memFree=118117628/131655788 swapFree=131071996/131071996
[pid=82532] ppid=82529 vsize=6134500 memory=5859856 CPUtime=3601.21 cores=1,3
/proc/82532/stat : 82532 (Exact) R 82529 82532 80523 0 -1 4194304 1062835 0 0 0 359511 610 0 0 20 0 1 0 8140167 6281728000 1464964 134679101440 4194304 8309489 140730906701776 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 9165528 9243992 26587136 140730906710974 140730906711143 140730906711143 140730906718159 0
/proc/82532/statm: 1533625 1464964 1153 1005 0 1532388 0
Current children cumulated CPU time: 3601.21 s
Current children cumulated vsize: 6134500 KiB
Current children cumulated memory: 5859856 KiB

[startup+3612.7 s]*
/proc/loadavg: 3.14 3.25 3.64 3/232 85009
/proc/meminfo: memFree=119501468/131655788 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3612.8
CPU time (s): 3601.41
CPU user time (s): 3595.18
CPU system time (s): 6.23027
CPU usage (%): 99.6849
Max. virtual memory (cumulated for all children) (KiB): 10670380
Max. memory (cumulated for all children) (KiB): 9285112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.18
system time used= 6.23027
maximum resident set size= 9313668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1062916
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= 2
involuntary context switches= 2613


# summary of solver processes directly reported to runsolver:
#   pid: 82532
#   total CPU time (s): 3601.41
#   total CPU user time (s): 3595.18
#   total CPU system time (s): 6.23027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5438 second user time and 36.2187 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-23 09:58:23
IDJOB=4456334
IDBENCH=143877
IDSOLVER=3040
FILE ID=nodeC009/4456334-1721721503
RUNJOBID= nodeC009-1721717889-80535
SLURM_JOB_ID= 7770391
Free space on /tmp= 723652 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen08reduc_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4456334-1721721503/watcher-4456334-1721721503 -o /tmp/evaluation-result-4456334-1721721503/solver-4456334-1721721503 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721717889-80535 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=251117472 HOME/instance-4456334-1721721503.wbo

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

MD5SUM BENCH= 6173017921cf4cdc7f10e0dda09f7db9
RANDOM SEED=251117472

nodeC009.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		: 3663.261
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.96
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		: 3491.983
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.36
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.289
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.96
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.258
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.36
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		: 3672.047
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.96
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		: 3659.005
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.36
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.435
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.96
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.297
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.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122342332 kB
MemAvailable:   126926800 kB
Buffers:          139432 kB
Cached:          5222872 kB
SwapCached:            0 kB
Active:           919372 kB
Inactive:        7793420 kB
Active(anon):       1448 kB
Inactive(anon):  3378584 kB
Active(file):     917924 kB
Inactive(file):  4414836 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            112724 kB
Writeback:             0 kB
AnonPages:       3345888 kB
Mapped:           111628 kB
Shmem:             29512 kB
KReclaimable:     183816 kB
Slab:             281320 kB
SReclaimable:     183816 kB
SUnreclaim:        97504 kB
KernelStack:        3888 kB
PageTables:        15884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    4004352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17568 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1615872 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:      265032 kB
DirectMap2M:    23756800 kB
DirectMap1G:    112197632 kB

Free space on /tmp at the end= 723716 MiB
End job on nodeC009 at 2024-07-23 10:58:36