Trace number 4443213

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Exact_veripb2_no_SoPlex 2024-07-05SAT 637.562 655.816

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
MD5SUMdccf1bd51baf1439f9e0744b31eb924b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.013904
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables266
Total number of constraints401
Number of constraints which are clauses237
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints162
Minimum length of a constraint2
Maximum length of a constraint81
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 12
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 93
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

637.48/655.76	s SATISFIABLE
637.48/655.76	v -x1 -x2 -x3 x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 x163 -x164 x165 -x166 -x167 x168 x169 -x170 x171 -x172 x173 -x174 -x175 x176 x177 -x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 x187 -x188 -x189 x190 x191 -x192 x193 -x194 x195 -x196 -x197 x198 -x199 x200 x201 -x202 -x203 x204 x205 -x206 -x207 x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 x216 -x217 -x218 x219 -x220 -x221 x222 x223 -x224 -x225 x226 x227 -x228 -x229 x230 x231 -x232 -x233 x234 x235 -x236 -x237 x238 x239 -x240 -x241 x242 x243 -x244 -x245 x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 x256 x257 -x258 -x259 -x260 x261 -x262 -x263 x264 x265 -x266

Verifier Data 

OK	0

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (60517 MiB free)
  memory of node 1: 64473 MiB (60683 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443213-1721801555/watcher-4443213-1721801555 -o /tmp/evaluation-result-4443213-1721801555/solver-4443213-1721801555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721801549-171077 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4443213-1721801555 --seed=361698650 HOME/instance-4443213-1721801555.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=171421, runsolver pid=171418

[startup+0.100085 s]*
/proc/loadavg: 2.09 1.91 1.99 5/260 171422
/proc/meminfo: memFree=124097216/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=26100 memory=6364 CPUtime=0.09 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 383 0 0 0 9 0 0 0 20 0 1 0 16685211 26726400 1591 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 6525 1591 850 747 0 5588 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26100 KiB
Current children cumulated memory: 6364 KiB

[startup+0.205081 s]*
/proc/loadavg: 2.09 1.91 1.99 5/260 171422
/proc/meminfo: memFree=124088716/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=26360 memory=6660 CPUtime=0.19 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 459 0 0 0 19 0 0 0 20 0 1 0 16685211 26992640 1665 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 6590 1665 850 747 0 5653 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 26360 KiB
Current children cumulated memory: 6660 KiB

[startup+0.304904 s]*
/proc/loadavg: 2.09 1.91 1.99 5/260 171422
/proc/meminfo: memFree=124084864/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=26616 memory=6916 CPUtime=0.29 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 512 0 0 0 29 0 0 0 20 0 1 0 16685211 27254784 1729 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 6654 1729 850 747 0 5717 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26616 KiB
Current children cumulated memory: 6916 KiB

[startup+0.70016 s]
/proc/loadavg: 2.09 1.91 1.99 5/260 171422
/proc/meminfo: memFree=124067604/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=27304 memory=9748 CPUtime=0.69 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 678 0 0 0 68 1 0 0 20 0 1 0 16685211 27959296 2437 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 6826 2437 850 747 0 5889 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27304 KiB
Current children cumulated memory: 9748 KiB

[startup+1.50019 s]
/proc/loadavg: 2.09 1.91 1.99 5/260 171422
/proc/meminfo: memFree=124038800/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=28488 memory=12588 CPUtime=1.48 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 916 0 0 0 147 1 0 0 20 0 1 0 16685211 29171712 3147 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 7122 3147 850 747 0 6185 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28488 KiB
Current children cumulated memory: 12588 KiB

[startup+3.1056 s]
/proc/loadavg: 2.24 1.95 2.00 5/260 171468
/proc/meminfo: memFree=123962304/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=29864 memory=18192 CPUtime=3.09 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 1284 0 0 0 307 2 0 0 20 0 1 0 16685211 30580736 4548 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 7466 4548 850 747 0 6529 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29864 KiB
Current children cumulated memory: 18192 KiB

[startup+6.30022 s]
/proc/loadavg: 2.24 1.95 2.00 5/260 171470
/proc/meminfo: memFree=123864068/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=30632 memory=18764 CPUtime=6.27 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 1472 0 0 0 624 3 0 0 20 0 1 0 16685211 31367168 4691 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 7658 4691 850 747 0 6721 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 30632 KiB
Current children cumulated memory: 18764 KiB

[startup+12.7002 s]
/proc/loadavg: 2.51 2.02 2.03 5/260 171470
/proc/meminfo: memFree=123707616/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=32552 memory=20448 CPUtime=12.65 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 1959 0 0 0 1261 4 0 0 20 0 1 0 16685211 33333248 5112 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 8138 5112 850 747 0 7201 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 32552 KiB
Current children cumulated memory: 20448 KiB

[startup+25.5002 s]
/proc/loadavg: 2.74 2.08 2.05 5/260 171473
/proc/meminfo: memFree=123363840/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=33640 memory=23560 CPUtime=25.42 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 2310 0 0 0 2536 6 0 0 20 0 1 0 16685211 34447360 5890 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 8410 5890 850 747 0 7473 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 33640 KiB
Current children cumulated memory: 23560 KiB

[startup+51.1059 s]
/proc/loadavg: 3.25 2.25 2.11 5/260 171476
/proc/meminfo: memFree=122864576/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=34412 memory=24316 CPUtime=47.15 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 2682 0 0 0 4703 12 0 0 20 0 1 0 16685211 35237888 6079 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 6 0 0 369 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 8603 6079 850 747 0 7666 0
Current children cumulated CPU time: 47.15 s
Current children cumulated vsize: 34412 KiB
Current children cumulated memory: 24316 KiB

[startup+102.3 s]
/proc/loadavg: 3.70 2.55 2.22 5/260 171485
/proc/meminfo: memFree=121962640/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=35436 memory=25432 CPUtime=93.44 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 3263 0 0 0 9320 24 0 0 20 0 1 0 16685211 36286464 6358 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 833 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 8859 6358 850 747 0 7922 0
Current children cumulated CPU time: 93.44 s
Current children cumulated vsize: 35436 KiB
Current children cumulated memory: 25432 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.83 2.34 5/260 171495
/proc/meminfo: memFree=120645960/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=36268 memory=26348 CPUtime=149.62 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 3783 0 0 0 14922 40 0 0 20 0 1 0 16685211 37138432 6587 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1203 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9067 6587 850 747 0 8130 0
Current children cumulated CPU time: 149.62 s
Current children cumulated vsize: 36268 KiB
Current children cumulated memory: 26348 KiB

[startup+222.3 s]
/proc/loadavg: 4.20 3.11 2.47 3/258 171506
/proc/meminfo: memFree=119434880/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=37172 memory=27032 CPUtime=206.83 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4193 0 0 0 20630 53 0 0 20 0 1 0 16685211 38064128 6758 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1468 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9293 6758 850 747 0 8356 0
Current children cumulated CPU time: 206.83 s
Current children cumulated vsize: 37172 KiB
Current children cumulated memory: 27032 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 3.29 2.57 5/258 171516
/proc/meminfo: memFree=118353904/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=37876 memory=27716 CPUtime=266.53 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4655 0 0 0 26585 68 0 0 20 0 1 0 16685211 38785024 6929 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1481 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9469 6929 850 747 0 8532 0
Current children cumulated CPU time: 266.53 s
Current children cumulated vsize: 37876 KiB
Current children cumulated memory: 27716 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.44 2.67 5/257 171527
/proc/meminfo: memFree=116900968/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=37876 memory=27716 CPUtime=326.28 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4681 0 0 0 32545 83 0 0 20 0 1 0 16685211 38785024 6929 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1492 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9469 6929 850 747 0 8532 0
Current children cumulated CPU time: 326.28 s
Current children cumulated vsize: 37876 KiB
Current children cumulated memory: 27716 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 3.56 2.76 5/258 171539
/proc/meminfo: memFree=115662164/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=37804 memory=27916 CPUtime=385.68 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4756 0 0 0 38471 97 0 0 20 0 1 0 16685211 38711296 6979 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1536 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9451 6979 850 747 0 8514 0
Current children cumulated CPU time: 385.68 s
Current children cumulated vsize: 37804 KiB
Current children cumulated memory: 27916 KiB

[startup+462.3 s]
/proc/loadavg: 4.24 3.71 2.86 5/260 171554
/proc/meminfo: memFree=114521300/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=38004 memory=28600 CPUtime=445.39 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4906 0 0 0 44428 111 0 0 20 0 1 0 16685211 38916096 7150 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1550 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9501 7150 850 747 0 8564 0
Current children cumulated CPU time: 445.39 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 28600 KiB

[startup+522.3 s]
/proc/loadavg: 4.15 3.80 2.95 5/261 171566
/proc/meminfo: memFree=113458504/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=38004 memory=28600 CPUtime=504.94 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4918 0 0 0 50370 124 0 0 20 0 1 0 16685211 38916096 7150 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1578 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9501 7150 850 747 0 8564 0
Current children cumulated CPU time: 504.94 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 28600 KiB

[startup+582.3 s]
/proc/loadavg: 4.10 3.85 3.02 5/261 171577
/proc/meminfo: memFree=112109696/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=38004 memory=28740 CPUtime=564.48 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4947 0 0 0 56310 138 0 0 20 0 1 0 16685211 38916096 7185 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1608 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9501 7185 850 747 0 8564 0
Current children cumulated CPU time: 564.48 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 28740 KiB

[startup+642.3 s]
/proc/loadavg: 4.15 3.91 3.10 5/261 171589
/proc/meminfo: memFree=111066116/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=38004 memory=28740 CPUtime=624.11 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4959 0 0 0 62261 150 0 0 20 0 1 0 16685211 38916096 7185 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1629 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9501 7185 850 747 0 8564 0
Current children cumulated CPU time: 624.11 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 28740 KiB

[startup+655.816 s]
# the end of solver process 171421 was just reported to runsolver
# Child status: 30

# cumulated CPU time of all completed processes:  user=636.018 s, system=1.54454 s

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

[startup+646.4 s]
/proc/loadavg: 4.15 3.91 3.10 5/261 171590
/proc/meminfo: memFree=111005904/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=38004 memory=28740 CPUtime=628.21 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4959 0 0 0 62670 151 0 0 20 0 1 0 16685211 38916096 7185 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1629 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9501 7185 850 747 0 8564 0
Current children cumulated CPU time: 628.21 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 28740 KiB

[startup+652.8 s]
/proc/loadavg: 4.13 3.91 3.11 3/261 171590
/proc/meminfo: memFree=110916120/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=38004 memory=28740 CPUtime=634.59 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4959 0 0 0 63306 153 0 0 20 0 1 0 16685211 38916096 7185 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1629 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9501 7185 850 747 0 8564 0
Current children cumulated CPU time: 634.59 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 28740 KiB

[startup+654.4 s]
/proc/loadavg: 4.13 3.91 3.11 5/261 171592
/proc/meminfo: memFree=110907232/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=38004 memory=28740 CPUtime=636.19 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4959 0 0 0 63466 153 0 0 20 0 1 0 16685211 38916096 7185 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1629 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9501 7185 850 747 0 8564 0
Current children cumulated CPU time: 636.19 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 28740 KiB

[startup+655.2 s]
/proc/loadavg: 4.13 3.91 3.11 5/261 171592
/proc/meminfo: memFree=110883400/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=38004 memory=28740 CPUtime=636.98 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4959 0 0 0 63545 153 0 0 20 0 1 0 16685211 38916096 7185 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1629 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9501 7185 850 747 0 8564 0
Current children cumulated CPU time: 636.98 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 28740 KiB

[startup+655.6 s]
/proc/loadavg: 4.13 3.91 3.11 5/261 171592
/proc/meminfo: memFree=110883400/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=38004 memory=28740 CPUtime=637.38 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) R 171418 171421 171066 0 -1 4194304 4959 0 0 0 63585 153 0 0 20 0 1 0 16685211 38916096 7185 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1629 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 9501 7185 850 747 0 8564 0
Current children cumulated CPU time: 637.38 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 28740 KiB

[startup+655.8 s]
/proc/loadavg: 4.13 3.91 3.11 5/261 171592
/proc/meminfo: memFree=110883400/131524600 swapFree=131071996/131071996
[pid=171421] ppid=171418 vsize=20748 memory=16264 CPUtime=637.55 cores=4,6
/proc/171421/stat : 171421 (Exact_veripb2_n) D 171418 171421 171066 0 -1 4194304 4959 0 0 0 63601 154 0 0 20 0 1 0 16685211 21245952 4066 134679101440 4194304 7250417 140731827964752 0 0 0 0 0 8404994 0 0 0 17 4 0 0 1633 0 0 7950792 8015128 33472512 140731827970871 140731827971159 140731827971159 140731827978174 0
/proc/171421/statm: 5187 4066 850 747 0 4250 0
Current children cumulated CPU time: 637.55 s
Current children cumulated vsize: 20748 KiB
Current children cumulated memory: 16264 KiB

Child status: 30

Real time (s): 655.816
CPU time (s): 637.562
CPU user time (s): 636.018
CPU system time (s): 1.54454
CPU usage (%): 97.2166
Max. virtual memory (cumulated for all children) (KiB): 38004
Max. memory (cumulated for all children) (KiB): 28740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 636.018
system time used= 1.54454
maximum resident set size= 28740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4960
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3135440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176
involuntary context switches= 1333


# summary of solver processes directly reported to runsolver:
#   pid: 171421
#   total CPU time (s): 637.562
#   total CPU user time (s): 636.018
#   total CPU system time (s): 1.54454

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.28527 second user time and 3.08135 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-24 08:12:35
IDJOB=4443213
IDBENCH=147866
IDSOLVER=3080
FILE ID=nodeC033/4443213-1721801555
RUNJOBID= nodeC033-1721801549-171077
SLURM_JOB_ID= 7770693
Free space on /tmp= 890064 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
COMMAND LINE= HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=CERTNAME --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443213-1721801555/watcher-4443213-1721801555 -o /tmp/evaluation-result-4443213-1721801555/solver-4443213-1721801555 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721801549-171077 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4443213-1721801555 --seed=361698650 HOME/instance-4443213-1721801555.opb

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

MD5SUM BENCH= dccf1bd51baf1439f9e0744b31eb924b
RANDOM SEED=361698650

nodeC033.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		: 3678.900
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.99
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		: 3678.853
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.76
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		: 3686.449
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.99
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		: 3600.027
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.76
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		: 3642.711
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.99
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		: 3678.835
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.76
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		: 3659.921
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.99
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		: 3600.301
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124110352 kB
MemAvailable:   129566392 kB
Buffers:          231636 kB
Cached:          5981332 kB
SwapCached:            0 kB
Active:          2438412 kB
Inactive:        4223464 kB
Active(anon):       1524 kB
Inactive(anon):   501528 kB
Active(file):    2436888 kB
Inactive(file):  3721936 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             46944 kB
Writeback:             0 kB
AnonPages:        447128 kB
Mapped:           126088 kB
Shmem:             54104 kB
KReclaimable:     274076 kB
Slab:             392116 kB
SReclaimable:     274076 kB
SUnreclaim:       118040 kB
KernelStack:        4224 kB
PageTables:        10416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     826276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      363220 kB
DirectMap2M:    31916032 kB
DirectMap1G:    103809024 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC033 at 2024-07-24 08:23:31