Trace number 4427991

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 NameAnswerobjective functionCPU timeWall clock time
LS-MabSP 2024-07-10SAT84 3558.01 3566.08

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
MD5SUM51fa3ae0158cc49e421df545accb4e20
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark84
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints441
Number of constraints which are clauses361
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Number of terms in the objective function 361
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 361
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 361
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Filename:instance-4427991-1722813218.opb, Cutoff_time:3558, memory_limit_gb:500000
0.00/0.00	c Use Presolve
0.00/0.00	c Parse finsih
0.00/0.00	c Start Presolve
0.00/0.01	c After Reduce Vars: 361 Clauses: 722 Top clause weight: 362 Hard Clauses: 361
1774.60/1779.12	c Use LS-small
1774.60/1779.12	c Use postsolve
1774.60/1779.12	o 84
3557.93/3566.07	s SATISFIABLE
3557.93/3566.07	c Use postsolve
3557.93/3566.07	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 x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 x278 -x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 x299 -x300 x301 -x302 -x303 -x304 x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 x325 -x326 -x327 x328 -x329 x330 -x331 -x332 -x333 -x334 x335 -x336 -x337 x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 x348 x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 
3557.93/3566.07	c Done 1774.61s

Verifier Data 

OK	84

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 (61094 MiB free)
  memory of node 1: 64473 MiB (61532 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427991-1722813218/watcher-4427991-1722813218 -o /tmp/evaluation-result-4427991-1722813218/solver-4427991-1722813218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722806084-258665 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427991-1722813218.opb -t 3558 -s 861795388 

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
Using a pseudo terminal to collect output from the solver
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=263213, runsolver pid=263210
Current StackSize limit: 8192 KiB


[startup+0.100085 s]*
/proc/loadavg: 4.14 4.12 4.09 5/250 263214
/proc/meminfo: memFree=125558824/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=30708 memory=23900 CPUtime=0.09 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 2917 0 0 0 9 0 0 0 20 0 1 0 47920775 31444992 5975 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 7677 5975 2833 2753 0 4330 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 30708 KiB
Current children cumulated memory: 23900 KiB

[startup+0.205453 s]*
/proc/loadavg: 4.14 4.12 4.09 5/250 263216
/proc/meminfo: memFree=125529860/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=57256 memory=50280 CPUtime=0.2 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 9500 0 0 0 19 1 0 0 20 0 1 0 47920775 58630144 12570 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 14314 12570 2833 2753 0 10967 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 57256 KiB
Current children cumulated memory: 50280 KiB

[startup+0.305444 s]*
/proc/loadavg: 4.14 4.12 4.09 5/256 263227
/proc/meminfo: memFree=125466488/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=72468 memory=65180 CPUtime=0.3 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 14628 0 0 0 28 2 0 0 20 0 1 0 47920775 74207232 16295 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 18117 16295 2833 2753 0 14770 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 72468 KiB
Current children cumulated memory: 65180 KiB

[startup+0.700222 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 263227
/proc/meminfo: memFree=125431756/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=117668 memory=109532 CPUtime=0.68 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 25704 0 0 0 65 3 0 0 20 0 1 0 47920775 120492032 27383 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 29417 27383 2833 2753 0 26070 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 117668 KiB
Current children cumulated memory: 109532 KiB

[startup+1.50016 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 263227
/proc/meminfo: memFree=125404280/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=123400 memory=113704 CPUtime=1.48 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 26886 0 0 0 145 3 0 0 20 0 1 0 47920775 126361600 28426 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 30850 28426 2833 2753 0 27503 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 123400 KiB
Current children cumulated memory: 113704 KiB

[startup+3.10527 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 263273
/proc/meminfo: memFree=126334784/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=123400 memory=113968 CPUtime=3.08 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 26889 0 0 0 305 3 0 0 20 0 1 0 47920775 126361600 28492 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 30850 28492 2833 2753 0 27503 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 123400 KiB
Current children cumulated memory: 113968 KiB

[startup+6.30014 s]
/proc/loadavg: 4.13 4.12 4.09 5/256 263273
/proc/meminfo: memFree=126281264/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=123400 memory=114100 CPUtime=6.27 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 26895 0 0 0 624 3 0 0 20 0 1 0 47920775 126361600 28525 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 30850 28525 2833 2753 0 27503 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 123400 KiB
Current children cumulated memory: 114100 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 263320
/proc/meminfo: memFree=127480736/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=206588 memory=197176 CPUtime=12.66 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 47697 0 0 0 1259 7 0 0 20 0 1 0 47920775 211546112 49294 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 51647 49294 2833 2753 0 48300 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 206588 KiB
Current children cumulated memory: 197176 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 263322
/proc/meminfo: memFree=127251784/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=205824 memory=197112 CPUtime=25.42 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 47749 0 0 0 2535 7 0 0 20 0 1 0 47920775 210763776 49278 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 51456 49278 2849 2753 0 48109 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 205824 KiB
Current children cumulated memory: 197112 KiB

[startup+51.1057 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 263328
/proc/meminfo: memFree=126137048/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=208604 memory=200860 CPUtime=50.97 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 48539 0 0 0 5090 7 0 0 20 0 1 0 47920775 213610496 50215 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 52151 50215 2849 2753 0 48804 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 208604 KiB
Current children cumulated memory: 200860 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 263337
/proc/meminfo: memFree=124740124/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=213228 memory=206268 CPUtime=102.03 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 49477 0 0 0 10196 7 0 0 20 0 1 0 47920775 218345472 51567 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 53307 51567 2849 2753 0 49960 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 213228 KiB
Current children cumulated memory: 206268 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/256 263347
/proc/meminfo: memFree=124733196/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=215748 memory=208716 CPUtime=161.88 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 50710 0 0 0 16181 7 0 0 20 0 1 0 47920775 220925952 52179 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 53937 52179 2849 2753 0 50590 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 215748 KiB
Current children cumulated memory: 208716 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/256 263358
/proc/meminfo: memFree=124701860/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=246884 memory=238652 CPUtime=221.73 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 58524 0 0 0 22165 8 0 0 20 0 1 0 47920775 252809216 59663 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 61721 59663 2849 2753 0 58374 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 246884 KiB
Current children cumulated memory: 238652 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/256 263370
/proc/meminfo: memFree=121438316/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=254208 memory=245768 CPUtime=281.59 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 60025 0 0 0 28150 9 0 0 20 0 1 0 47920775 260308992 61442 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 63552 61442 3195 2753 0 60205 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 254208 KiB
Current children cumulated memory: 245768 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 263380
/proc/meminfo: memFree=116478740/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=255944 memory=247524 CPUtime=341.44 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 60505 0 0 0 34135 9 0 0 20 0 1 0 47920775 262086656 61881 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 63986 61881 3195 2753 0 60639 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 255944 KiB
Current children cumulated memory: 247524 KiB

[startup+402.3 s]
/proc/loadavg: 4.40 4.18 4.11 5/255 263390
/proc/meminfo: memFree=113865620/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=265128 memory=255448 CPUtime=401.29 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 62608 0 0 0 40120 9 0 0 20 0 1 0 47920775 271491072 63862 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 66282 63862 3195 2753 0 62935 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 265128 KiB
Current children cumulated memory: 255448 KiB

[startup+462.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/257 263405
/proc/meminfo: memFree=113965188/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=265128 memory=257012 CPUtime=461.14 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 63035 0 0 0 46105 9 0 0 20 0 1 0 47920775 271491072 64253 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0

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

/proc/loadavg: 4.10 4.09 4.09 5/255 265078
/proc/meminfo: memFree=113370108/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3155.02 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 286098 29404 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3155.02 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.10 4.09 5/255 265088
/proc/meminfo: memFree=113369756/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3214.9 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 290812 30678 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3214.9 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/255 265100
/proc/meminfo: memFree=113369412/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3274.78 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 295522 31956 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3274.78 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/256 265111
/proc/meminfo: memFree=113369140/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3334.66 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 300242 33224 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3334.66 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/256 265121
/proc/meminfo: memFree=113368776/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3394.55 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 304945 34510 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3394.55 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 265138
/proc/meminfo: memFree=113368256/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3454.42 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 309657 35785 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3454.42 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 265149
/proc/meminfo: memFree=113367960/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3514.3 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 314370 37060 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3514.3 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

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

# cumulated CPU time of all completed processes:  user=3178.25 s, system=379.757 s

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

[startup+3532.8 s]
/proc/loadavg: 4.14 4.10 4.09 5/259 265150
/proc/meminfo: memFree=113367928/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3524.79 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 315198 37281 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3524.79 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3545.6 s]
/proc/loadavg: 4.11 4.10 4.09 5/259 265152
/proc/meminfo: memFree=113367876/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3537.56 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 316207 37549 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3537.56 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3558.4 s]
/proc/loadavg: 4.09 4.09 4.09 5/259 265154
/proc/meminfo: memFree=113367796/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3550.34 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 317215 37819 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3550.34 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3561.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 265156
/proc/meminfo: memFree=113367760/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3553.53 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 317470 37883 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3553.53 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3563.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 265156
/proc/meminfo: memFree=113367768/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3555.12 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 317595 37917 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3555.12 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3564.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 265156
/proc/meminfo: memFree=113367768/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3556.72 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 317721 37951 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3556.72 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3565.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/259 265156
/proc/meminfo: memFree=113367796/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3557.52 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 317786 37966 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3557.52 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

[startup+3566 s]*
/proc/loadavg: 4.08 4.09 4.09 5/259 265156
/proc/meminfo: memFree=113367800/131524600 swapFree=131071728/131071996
[pid=263213] ppid=263210 vsize=278048 memory=273228 CPUtime=3557.93 cores=4,6
/proc/263213/stat : 263213 (LS-MabSP) R 263210 263213 258654 0 -1 4194304 82358 0 0 0 317819 37974 0 0 20 0 1 0 47920775 284721152 68307 134679101440 4194304 15467897 140731799656224 0 0 0 0 0 17410 0 0 0 17 4 0 0 0 0 0 17807032 17896208 54755328 140731799663647 140731799663749 140731799663749 140731799670765 0
/proc/263213/statm: 69512 68307 3195 2753 0 66165 0
Current children cumulated CPU time: 3557.93 s
Current children cumulated vsize: 278048 KiB
Current children cumulated memory: 273228 KiB

Child status: 0

Real time (s): 3566.08
CPU time (s): 3558.01
CPU user time (s): 3178.25
CPU system time (s): 379.757
CPU usage (%): 99.7737
Max. virtual memory (cumulated for all children) (KiB): 333232
Max. memory (cumulated for all children) (KiB): 322364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3178.25
system time used= 379.757
maximum resident set size= 322364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82396
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= 23
involuntary context switches= 5832


# summary of solver processes directly reported to runsolver:
#   pid: 263213
#   total CPU time (s): 3558.01
#   total CPU user time (s): 3178.25
#   total CPU system time (s): 379.757

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.8028 second user time and 14.9495 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-08-05 01:13:38
IDJOB=4427991
IDBENCH=155338
IDSOLVER=3047
FILE ID=nodeC024/4427991-1722813218
RUNJOBID= nodeC024-1722806084-258665
SLURM_JOB_ID= 8258575
Free space on /tmp= 889800 MiB

SOLVER NAME= LS-MabSP 2024-07-10
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.opb
COMMAND LINE= ./LS-MabSP -f BENCHNAME -t 3558 -s RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4427991-1722813218/watcher-4427991-1722813218 -o /tmp/evaluation-result-4427991-1722813218/solver-4427991-1722813218 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1722806084-258665 --watchdog 3760 --use-pty ./LS-MabSP -f HOME/instance-4427991-1722813218.opb -t 3558 -s 861795388

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

MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20
RANDOM SEED=861795388

nodeC024.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		: 3660.767
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.90
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		: 3690.095
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.73
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		: 3614.945
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.90
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.237
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.73
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		: 3629.078
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.90
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		: 3690.114
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.73
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		: 3670.431
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.90
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.074
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.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125569800 kB
MemAvailable:   127376060 kB
Buffers:          300612 kB
Cached:          2339452 kB
SwapCached:           36 kB
Active:           531752 kB
Inactive:        4899784 kB
Active(anon):       1536 kB
Inactive(anon):  2819420 kB
Active(file):     530216 kB
Inactive(file):  2080364 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071728 kB
Dirty:            255932 kB
Writeback:             0 kB
AnonPages:       2789600 kB
Mapped:           119760 kB
Shmem:             29484 kB
KReclaimable:      71008 kB
Slab:             161336 kB
SReclaimable:      71008 kB
SUnreclaim:        90328 kB
KernelStack:        4016 kB
PageTables:        14488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3206020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            23488 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2650112 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:      269012 kB
DirectMap2M:    14184448 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 889784 MiB
End job on nodeC024 at 2024-08-05 02:13:04