Trace number 4454556

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
pb-oll-rs 2024-07-19Signal 2713.29 2740.83

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/Large/
normalized-minisat100_16_6_8_mh.opb
MD5SUM0e2b47ba7737bf0edcb2bcb32c5df9e4
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 benchmark20369123
Best CPU time to get the best result obtained on this benchmark2762.4
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019800
Biggest coefficient in the objective function 170953875
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 375466374216
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 170953875
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 375466374216
Number of bits of the biggest sum of numbers39
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 RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
14.25/14.35	c [STEP] solving
14.25/14.35	c #variables 2000400 #constraints 4940611
14.25/14.38	c SMALL=int, LARGE=long long
14.35/14.45	c bounds - >= -100 @ 10.7154
14.35/14.45	c stratification level: 157464000
16.05/16.12	c bounds 546530629 >= -100 @ 11.653
16.05/16.12	c stratification level: 148877000
19.04/19.13	c bounds 546421477 >= -100 @ 14.5953
19.04/19.13	c stratification level: 144703125
21.33/21.40	c bounds 546411589 >= -100 @ 16.7678
21.33/21.40	c stratification level: 139798359
23.42/23.52	c bounds 546352467 >= -100 @ 18.8416
23.42/23.52	c stratification level: 136590875
32.99/33.16	c bounds 546198146 >= -100 @ 27.9649
32.99/33.16	c stratification level: 133432831
35.57/35.72	c bounds 546195297 >= -100 @ 30.4436
35.57/35.72	c stratification level: 132651000
36.98/37.13	c bounds 546188258 >= -100 @ 31.8292
36.98/37.13	c stratification level: 131096512
51.72/51.95	c bounds 545990558 >= -100 @ 46.0723
51.72/51.95	c stratification level: 130323843
62.98/63.20	c bounds 545936270 >= -100 @ 56.9321
62.98/63.20	c stratification level: 129554216
81.93/82.21	c bounds 545935877 >= -100 @ 75.7396
81.93/82.21	c stratification level: 126506008
95.08/95.44	c bounds 545902435 >= -100 @ 88.5116
95.08/95.44	c stratification level: 125751501
97.37/97.76	c bounds 488371827 >= -100 @ 90.7729
97.37/97.76	c stratification level: 125000000
103.55/103.96	c bounds 480445097 >= -100 @ 96.8907
103.55/103.96	c stratification level: 122763473
105.45/105.81	c bounds 480433127 >= -100 @ 98.7246
105.45/105.81	c stratification level: 122023936
107.14/107.58	c bounds 480431524 >= -100 @ 100.469
107.14/107.58	c stratification level: 116214272
514.50/516.25	c bounds 457399586 >= -100 @ 506.672
514.50/516.25	c stratification level: 114791256
2710.79/2720.01	terminate called after throwing an instance of 'rs::OutOfMemoryException'

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454556-1721475528/watcher-4454556-1721475528 -o /tmp/evaluation-result-4454556-1721475528/solver-4454556-1721475528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721471928-1066115 --watchdog 3760 pb-oll-rs HOME/instance-4454556-1721475528.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100615 s]*
/proc/loadavg: 4.15 4.12 4.08 5/254 1068302
/proc/meminfo: memFree=124894060/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=272848 memory=226116 CPUtime=0.09 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 12146 0 0 0 5 4 0 0 20 0 1 0 199723494 279396352 56529 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 68212 56529 1123 291 0 59746 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 272848 KiB
Current children cumulated memory: 226116 KiB

[startup+0.206198 s]*
/proc/loadavg: 4.15 4.12 4.08 5/254 1068302
/proc/meminfo: memFree=124760424/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=442788 memory=357980 CPUtime=0.19 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 32324 0 0 0 11 8 0 0 20 0 1 0 199723494 453414912 89495 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 110697 89495 1123 291 0 102231 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 442788 KiB
Current children cumulated memory: 357980 KiB

[startup+0.306129 s]*
/proc/loadavg: 4.15 4.12 4.08 5/254 1068302
/proc/meminfo: memFree=124644200/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=603220 memory=478288 CPUtime=0.3 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 43092 0 0 0 18 12 0 0 20 0 1 0 199723494 617697280 119572 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 150805 119572 1123 291 0 142339 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 603220 KiB
Current children cumulated memory: 478288 KiB

[startup+0.700222 s]
/proc/loadavg: 4.15 4.12 4.08 5/254 1068302
/proc/meminfo: memFree=124605548/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=494068 memory=415792 CPUtime=0.69 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 44456 0 0 0 56 13 0 0 20 0 1 0 199723494 505925632 103948 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 123517 103948 1158 291 0 115051 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 494068 KiB
Current children cumulated memory: 415792 KiB

[startup+1.50018 s]
/proc/loadavg: 4.15 4.12 4.08 5/254 1068302
/proc/meminfo: memFree=124622580/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=523332 memory=461056 CPUtime=1.48 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 52694 0 0 0 118 30 0 0 20 0 1 0 199723494 535891968 115264 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 130833 115264 1158 291 0 122367 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 523332 KiB
Current children cumulated memory: 461056 KiB

[startup+3.10584 s]
/proc/loadavg: 4.15 4.12 4.08 5/248 1068337
/proc/meminfo: memFree=124362320/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=570020 memory=516764 CPUtime=3.08 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 60546 0 0 0 232 76 0 0 20 0 1 0 199723494 583700480 129191 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 142505 129191 1158 291 0 134039 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 570020 KiB
Current children cumulated memory: 516764 KiB

[startup+6.30019 s]
/proc/loadavg: 4.14 4.12 4.08 5/254 1068348
/proc/meminfo: memFree=123842948/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=675636 memory=594016 CPUtime=6.27 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 67147 0 0 0 460 167 0 0 20 0 1 0 199723494 691851264 148504 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 168909 148504 1158 291 0 160443 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 675636 KiB
Current children cumulated memory: 594016 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.11 4.08 5/254 1068349
/proc/meminfo: memFree=123364580/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=940308 memory=782660 CPUtime=12.65 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 80114 0 0 0 945 320 0 0 20 0 1 0 199723494 962875392 195665 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 235077 195665 1158 291 0 226611 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 940308 KiB
Current children cumulated memory: 782660 KiB

[startup+25.5002 s]
/proc/loadavg: 4.26 4.14 4.09 5/254 1068351
/proc/meminfo: memFree=122518232/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=1610556 memory=1382840 CPUtime=25.41 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 130810 0 0 0 2078 463 0 0 20 0 1 0 199723494 1649209344 345710 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 402639 345710 1379 291 0 394173 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1610556 KiB
Current children cumulated memory: 1382840 KiB

[startup+51.1063 s]
/proc/loadavg: 4.24 4.15 4.09 5/254 1068356
/proc/meminfo: memFree=121293556/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=2282196 memory=2038976 CPUtime=50.93 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 197634 0 0 0 4541 552 0 0 20 0 1 0 199723494 2336968704 509744 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 570549 509744 1379 291 0 562083 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2282196 KiB
Current children cumulated memory: 2038976 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.14 4.09 5/256 1068368
/proc/meminfo: memFree=118640432/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=4374732 memory=4162932 CPUtime=101.96 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 541749 0 0 0 9531 665 0 0 20 0 1 0 199723494 4479725568 1040733 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 1093683 1040733 1379 291 0 1085217 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 4374732 KiB
Current children cumulated memory: 4162932 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/257 1068380
/proc/meminfo: memFree=117340760/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=5346692 memory=4542836 CPUtime=161.76 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 550337 0 0 0 15496 680 0 0 20 0 1 0 199723494 5475012608 1135709 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 1336673 1135709 1455 291 0 1328207 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 5346692 KiB
Current children cumulated memory: 4542836 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1068391
/proc/meminfo: memFree=116581360/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=5350956 memory=4784528 CPUtime=221.56 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 552248 0 0 0 21469 687 0 0 20 0 1 0 199723494 5479378944 1196132 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 1337739 1196132 1455 291 0 1329273 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 5350956 KiB
Current children cumulated memory: 4784528 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/257 1068401
/proc/meminfo: memFree=114466584/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=6894264 memory=6577820 CPUtime=281.37 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 933803 0 0 0 27392 745 0 0 20 0 1 0 199723494 7059726336 1644455 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 1723566 1644455 1455 291 0 1715100 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 6894264 KiB
Current children cumulated memory: 6577820 KiB

[startup+342.3 s]
/proc/loadavg: 4.24 4.14 4.10 5/257 1068412
/proc/meminfo: memFree=113432236/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=7213752 memory=7061320 CPUtime=341.18 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 1009642 0 0 0 33357 761 0 0 20 0 1 0 199723494 7386882048 1765330 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 1803438 1765330 1455 291 0 1794972 0
Current children cumulated CPU time: 341.18 s
Current children cumulated vsize: 7213752 KiB
Current children cumulated memory: 7061320 KiB

[startup+402.3 s]
/proc/loadavg: 4.49 4.24 4.14 5/257 1068423
/proc/meminfo: memFree=112548676/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=8712384 memory=7252952 CPUtime=400.98 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 1011014 0 0 0 39329 769 0 0 20 0 1 0 199723494 8921481216 1813238 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 2178096 1813238 1455 291 0 2169630 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 8712384 KiB
Current children cumulated memory: 7252952 KiB

[startup+462.3 s]
/proc/loadavg: 4.38 4.27 4.15 5/254 1068433
/proc/meminfo: memFree=112364840/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=8712384 memory=7300064 CPUtime=460.78 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 1011624 0 0 0 45305 773 0 0 20 0 1 0 199723494 8921481216 1825016 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 2178096 1825016 1455 291 0 2169630 0

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

Current children cumulated vsize: 23322480 KiB
Current children cumulated memory: 19876104 KiB

[startup+2322.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 1069350
/proc/meminfo: memFree=96646464/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=23363312 memory=20106848 CPUtime=2314.43 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 2736525 0 0 0 228664 2779 0 0 20 0 1 0 199723494 23924031488 5026712 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 5840828 5026712 1455 291 0 5832362 0
Current children cumulated CPU time: 2314.43 s
Current children cumulated vsize: 23363312 KiB
Current children cumulated memory: 20106848 KiB

[startup+2382.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/254 1069360
/proc/meminfo: memFree=96396084/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=23394796 memory=20358592 CPUtime=2374.21 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 2744049 0 0 0 234603 2818 0 0 20 0 1 0 199723494 23956271104 5089648 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 5848699 5089648 1455 291 0 5840233 0
Current children cumulated CPU time: 2374.21 s
Current children cumulated vsize: 23394796 KiB
Current children cumulated memory: 20358592 KiB

[startup+2442.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 1069370
/proc/meminfo: memFree=95898988/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=23394796 memory=20852172 CPUtime=2434.01 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 2746437 0 0 0 240525 2876 0 0 20 0 1 0 199723494 23956271104 5213043 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 5848699 5213043 1455 291 0 5840233 0
Current children cumulated CPU time: 2434.01 s
Current children cumulated vsize: 23394796 KiB
Current children cumulated memory: 20852172 KiB

[startup+2502.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1069386
/proc/meminfo: memFree=95472244/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=23394796 memory=21269308 CPUtime=2493.81 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 2749036 0 0 0 246431 2950 0 0 20 0 1 0 199723494 23956271104 5317327 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 5848699 5317327 1455 291 0 5840233 0
Current children cumulated CPU time: 2493.81 s
Current children cumulated vsize: 23394796 KiB
Current children cumulated memory: 21269308 KiB

[startup+2562.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 1069397
/proc/meminfo: memFree=92971816/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=25873936 memory=23708452 CPUtime=2553.6 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 3215851 0 0 0 252255 3105 0 0 20 0 1 0 199723494 26494910464 5927113 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 6468484 5927113 1455 291 0 6460018 0
Current children cumulated CPU time: 2553.6 s
Current children cumulated vsize: 25873936 KiB
Current children cumulated memory: 23708452 KiB

[startup+2622.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1069408
/proc/meminfo: memFree=92126160/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=26326736 memory=24519764 CPUtime=2613.41 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 3316824 0 0 0 258157 3184 0 0 20 0 1 0 199723494 26958577664 6129941 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 6581684 6129941 1455 291 0 6573218 0
Current children cumulated CPU time: 2613.41 s
Current children cumulated vsize: 26326736 KiB
Current children cumulated memory: 24519764 KiB

[startup+2682.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1069418
/proc/meminfo: memFree=91185492/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=26894456 memory=25436752 CPUtime=2673.2 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 3439203 0 0 0 264104 3216 0 0 20 0 1 0 199723494 27539922944 6359188 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 6723614 6359188 1455 291 0 6715148 0
Current children cumulated CPU time: 2673.2 s
Current children cumulated vsize: 26894456 KiB
Current children cumulated memory: 25436752 KiB

[startup+2740.83 s]
# the end of solver process 1068301 was just reported to runsolver
# Child ended because it received signal 6 (SIGABRT)
Child dumped core

# cumulated CPU time of all completed processes:  user=2678.46 s, system=34.8293 s

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

[startup+2713.6 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 1069425
/proc/meminfo: memFree=90837880/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=27019028 memory=25774680 CPUtime=2704.41 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) R 1068298 1068301 1066105 0 -1 4194304 3472054 0 0 0 267212 3229 0 0 20 0 1 0 199723494 27667484672 6443670 134679101440 4194304 5384485 140730209150768 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 6754757 6443670 1455 291 0 6746291 0
Current children cumulated CPU time: 2704.41 s
Current children cumulated vsize: 27019028 KiB
Current children cumulated memory: 25774680 KiB

[startup+2726.4 s]
/proc/loadavg: 4.06 4.08 4.09 4/258 1069429
/proc/meminfo: memFree=86837028/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=27106892 memory=25903276 CPUtime=2712.75 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) S 1068298 1068301 1066105 0 -1 4195840 3491672 0 1 0 267845 3430 0 0 20 0 1 0 199723494 27757457408 6475819 134679101440 4194304 5384485 140730209150768 140730209146384 139874985743231 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 6776723 6475819 1455 291 0 6768257 0
Current children cumulated CPU time: 2712.75 s
Current children cumulated vsize: 27106892 KiB
Current children cumulated memory: 25903276 KiB

[startup+2732.8 s]
/proc/loadavg: 4.05 4.08 4.09 4/258 1069430
/proc/meminfo: memFree=86836740/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=27106892 memory=25903276 CPUtime=2712.75 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) S 1068298 1068301 1066105 0 -1 4195840 3491672 0 1 0 267845 3430 0 0 20 0 1 0 199723494 27757457408 6475819 134679101440 4194304 5384485 140730209150768 140730209146384 139874985743231 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 6776723 6475819 1455 291 0 6768257 0
Current children cumulated CPU time: 2712.75 s
Current children cumulated vsize: 27106892 KiB
Current children cumulated memory: 25903276 KiB

[startup+2736 s]*
/proc/loadavg: 4.05 4.08 4.09 4/258 1069430
/proc/meminfo: memFree=86836460/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=27106892 memory=25903276 CPUtime=2712.75 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) S 1068298 1068301 1066105 0 -1 4195840 3491672 0 1 0 267845 3430 0 0 20 0 1 0 199723494 27757457408 6475819 134679101440 4194304 5384485 140730209150768 140730209146384 139874985743231 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 6776723 6475819 1455 291 0 6768257 0
Current children cumulated CPU time: 2712.75 s
Current children cumulated vsize: 27106892 KiB
Current children cumulated memory: 25903276 KiB

[startup+2739.2 s]
/proc/loadavg: 4.05 4.08 4.09 4/258 1069432
/proc/meminfo: memFree=86836236/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=27106892 memory=25903276 CPUtime=2712.75 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) S 1068298 1068301 1066105 0 -1 4195840 3491672 0 1 0 267845 3430 0 0 20 0 1 0 199723494 27757457408 6475819 134679101440 4194304 5384485 140730209150768 140730209146384 139874985743231 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 6776723 6475819 1455 291 0 6768257 0
Current children cumulated CPU time: 2712.75 s
Current children cumulated vsize: 27106892 KiB
Current children cumulated memory: 25903276 KiB

[startup+2740 s]*
/proc/loadavg: 4.04 4.08 4.08 4/258 1069432
/proc/meminfo: memFree=86836124/131524596 swapFree=131071996/131071996
[pid=1068301] ppid=1068298 vsize=27106892 memory=25903276 CPUtime=2712.75 cores=0,2
/proc/1068301/stat : 1068301 (pb-oll-rs) S 1068298 1068301 1066105 0 -1 4195840 3491672 0 1 0 267845 3430 0 0 20 0 1 0 199723494 27757457408 6475819 134679101440 4194304 5384485 140730209150768 140730209146384 139874985743231 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 5674704 5678696 28622848 140730209158165 140730209158242 140730209158242 140730209165259 0
/proc/1068301/statm: 6776723 6475819 1455 291 0 6768257 0
Current children cumulated CPU time: 2712.75 s
Current children cumulated vsize: 27106892 KiB
Current children cumulated memory: 25903276 KiB

[startup+2740.41 s]
/proc/loadavg: 4.04 4.08 4.08 5/258 1069432
/proc/meminfo: memFree=89577452/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+2740.8 s]
/proc/loadavg: 4.04 4.08 4.08 5/258 1069432
/proc/meminfo: memFree=89577452/131524596 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child ended because it received signal 6 (SIGABRT)
Child dumped core

Real time (s): 2740.83
CPU time (s): 2713.29
CPU user time (s): 2678.46
CPU system time (s): 34.8293
CPU usage (%): 98.995
Max. virtual memory (cumulated for all children) (KiB): 27106892
Max. memory (cumulated for all children) (KiB): 25903276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2678.46
system time used= 34.8293
maximum resident set size= 25903624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3491672
page faults= 1
swaps= 0
block input operations= 184
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 18630


# summary of solver processes directly reported to runsolver:
#   pid: 1068301
#   total CPU time (s): 2713.29
#   total CPU user time (s): 2678.46
#   total CPU system time (s): 34.8293

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.36734 second user time and 14.2165 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2024-07-20 13:39:02
IDJOB=4454556
IDBENCH=155744
IDSOLVER=3082
FILE ID=nodeC034/4454556-1721475528
RUNJOBID= nodeC034-1721471928-1066115
SLURM_JOB_ID= 7545740
Free space on /tmp= 889752 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Large/normalized-minisat100_16_6_8_mh.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454556-1721475528/watcher-4454556-1721475528 -o /tmp/evaluation-result-4454556-1721475528/solver-4454556-1721475528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721471928-1066115 --watchdog 3760  pb-oll-rs HOME/instance-4454556-1721475528.opb

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

MD5SUM BENCH= 0e2b47ba7737bf0edcb2bcb32c5df9e4
RANDOM SEED=1317538934

nodeC034.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		: 3615.893
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		: 3686.555
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.58
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		: 3680.555
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		: 3604.813
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.58
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		: 3679.762
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		: 3686.230
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.58
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		: 3600.101
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.073
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524596 kB
MemFree:        125118432 kB
MemAvailable:   129289376 kB
Buffers:          554872 kB
Cached:          4415348 kB
SwapCached:            0 kB
Active:          1136328 kB
Inactive:        4548648 kB
Active(anon):       1484 kB
Inactive(anon):   759176 kB
Active(file):    1134844 kB
Inactive(file):  3789472 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            326676 kB
Writeback:             0 kB
AnonPages:        715124 kB
Mapped:           111144 kB
Shmem:             45912 kB
KReclaimable:     172904 kB
Slab:             297188 kB
SReclaimable:     172904 kB
SUnreclaim:       124284 kB
KernelStack:        4112 kB
PageTables:        10676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834292 kB
Committed_AS:    1082088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            75040 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 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:      320212 kB
DirectMap2M:    44541952 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 889652 MiB
End job on nodeC034 at 2024-07-20 14:24:43