Trace number 4458631

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
Exact_veripb2_no_SoPlex 2024-07-05? (TO) 3544.24 3702.09

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/
normalized-linearized_pebbling_opt_layeredfan_up_r24_c47_a5.opb
MD5SUMee69fc6ecb586d594c25ad09fc3cda54
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6627
Best CPU time to get the best result obtained on this benchmark0.130326
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11045
Total number of constraints2209
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)47
Number of constraints which are nor clauses,nor cardinality constraints2162
Minimum length of a constraint5
Maximum length of a constraint15
Number of terms in the objective function 11045
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 11045
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 11045
Number of bits of the biggest sum of numbers14
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

18.22/18.37	o 6627

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (61254 MiB free)
  memory of node 1: 64473 MiB (62202 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458631-1721890589/watcher-4458631-1721890589 -o /tmp/evaluation-result-4458631-1721890589/solver-4458631-1721890589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721886882-210610 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458631-1721890589 --seed=834372024 HOME/instance-4458631-1721890589.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=213125, runsolver pid=213122

[startup+0.100089 s]*
/proc/loadavg: 4.17 4.21 4.19 5/250 213126
/proc/meminfo: memFree=126394012/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=43664 memory=21812 CPUtime=0.1 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 5365 0 0 0 9 1 0 0 20 0 1 0 25048129 44711936 5453 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 10916 5453 770 747 0 9979 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43664 KiB
Current children cumulated memory: 21812 KiB

[startup+0.209321 s]*
/proc/loadavg: 4.17 4.21 4.19 5/250 213126
/proc/meminfo: memFree=126388444/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=43928 memory=22576 CPUtime=0.2 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 5481 0 0 0 19 1 0 0 20 0 1 0 25048129 44982272 5644 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 10982 5644 834 747 0 10045 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43928 KiB
Current children cumulated memory: 22576 KiB

[startup+0.308649 s]*
/proc/loadavg: 4.17 4.21 4.19 5/250 213126
/proc/meminfo: memFree=126377940/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=47524 memory=24724 CPUtime=0.3 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 6145 0 0 0 29 1 0 0 20 0 1 0 25048129 48664576 6181 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 11881 6181 850 747 0 10944 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47524 KiB
Current children cumulated memory: 24724 KiB

[startup+0.700283 s]
/proc/loadavg: 4.17 4.21 4.19 5/250 213126
/proc/meminfo: memFree=126367972/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=50516 memory=30200 CPUtime=0.69 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 7002 0 0 0 67 2 0 0 20 0 1 0 25048129 51728384 7550 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 12629 7550 850 747 0 11692 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50516 KiB
Current children cumulated memory: 30200 KiB

[startup+1.50029 s]
/proc/loadavg: 4.17 4.21 4.19 5/250 213126
/proc/meminfo: memFree=126333628/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=58708 memory=42208 CPUtime=1.48 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 9026 0 0 0 146 2 0 0 20 0 1 0 25048129 60116992 10552 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 14677 10552 850 747 0 13740 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 42208 KiB

[startup+3.11408 s]
/proc/loadavg: 4.17 4.21 4.19 5/250 213126
/proc/meminfo: memFree=126198684/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=60124 memory=45556 CPUtime=3.09 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 9344 0 0 0 306 3 0 0 20 0 1 0 25048129 61566976 11389 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 15031 11389 850 747 0 14094 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60124 KiB
Current children cumulated memory: 45556 KiB

[startup+6.30028 s]
/proc/loadavg: 4.16 4.21 4.19 5/250 213128
/proc/meminfo: memFree=125935828/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=85936 memory=75596 CPUtime=6.26 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 13491 0 0 0 620 6 0 0 20 0 1 0 25048129 87998464 18899 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 21484 18899 850 747 0 20547 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 85936 KiB
Current children cumulated memory: 75596 KiB

[startup+12.7003 s]
/proc/loadavg: 4.14 4.20 4.18 5/250 213128
/proc/meminfo: memFree=125589544/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=130792 memory=105656 CPUtime=12.64 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 19898 0 0 0 1251 13 0 0 20 0 1 0 25048129 133931008 26414 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 32698 26414 850 747 0 31761 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 130792 KiB
Current children cumulated memory: 105656 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.19 4.18 5/250 213131
/proc/meminfo: memFree=124875376/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=175164 memory=157852 CPUtime=25.4 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 21639 0 0 0 2516 24 0 0 20 0 1 0 25048129 179367936 39463 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 43791 39463 850 747 0 42854 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 175164 KiB
Current children cumulated memory: 157852 KiB

[startup+51.113 s]
/proc/loadavg: 4.22 4.21 4.19 5/250 213135
/proc/meminfo: memFree=124150248/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=584672 memory=476928 CPUtime=50.44 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 24397 0 0 0 4998 46 0 0 20 0 1 0 25048129 598704128 119232 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 47 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 146168 119232 850 747 0 145231 0
Current children cumulated CPU time: 50.44 s
Current children cumulated vsize: 584672 KiB
Current children cumulated memory: 476928 KiB

[startup+102.3 s]
/proc/loadavg: 4.22 4.21 4.18 5/256 213318
/proc/meminfo: memFree=122464272/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=599984 memory=490776 CPUtime=100.94 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 28041 0 0 0 10024 70 0 0 20 0 1 0 25048129 614383616 122694 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 100 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 149996 122694 850 747 0 149059 0
Current children cumulated CPU time: 100.94 s
Current children cumulated vsize: 599984 KiB
Current children cumulated memory: 490776 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/254 213329
/proc/meminfo: memFree=120515368/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=602000 memory=552184 CPUtime=158.8 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 28775 0 0 0 15802 78 0 0 20 0 1 0 25048129 616448000 138046 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 296 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 150500 138046 850 747 0 149563 0
Current children cumulated CPU time: 158.8 s
Current children cumulated vsize: 602000 KiB
Current children cumulated memory: 552184 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/254 213341
/proc/meminfo: memFree=119182628/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=606508 memory=556708 CPUtime=218.31 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 29977 0 0 0 21730 101 0 0 20 0 1 0 25048129 621064192 139177 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 325 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 151627 139177 850 747 0 150690 0
Current children cumulated CPU time: 218.31 s
Current children cumulated vsize: 606508 KiB
Current children cumulated memory: 556708 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/256 213365
/proc/meminfo: memFree=117367144/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=614972 memory=564832 CPUtime=277.79 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 32342 0 0 0 27652 127 0 0 20 0 1 0 25048129 629731328 141208 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 357 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 153743 141208 850 747 0 152806 0
Current children cumulated CPU time: 277.79 s
Current children cumulated vsize: 614972 KiB
Current children cumulated memory: 564832 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.17 5/255 213377
/proc/meminfo: memFree=115571972/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=657964 memory=607428 CPUtime=337.36 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 43357 0 0 0 33587 149 0 0 20 0 1 0 25048129 673755136 151857 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 381 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 164491 151857 850 747 0 163554 0
Current children cumulated CPU time: 337.36 s
Current children cumulated vsize: 657964 KiB
Current children cumulated memory: 607428 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.13 4.16 5/253 213388
/proc/meminfo: memFree=113794372/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=661740 memory=610808 CPUtime=397.06 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 44991 0 0 0 39538 168 0 0 20 0 1 0 25048129 677621760 152702 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 391 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 165435 152702 850 747 0 164498 0
Current children cumulated CPU time: 397.06 s
Current children cumulated vsize: 661740 KiB
Current children cumulated memory: 610808 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.15 4.16 5/253 213399
/proc/meminfo: memFree=112407132/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=666972 memory=648492 CPUtime=456.54 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 46660 0 0 0 45466 188 0 0 20 0 1 0 25048129 682979328 162123 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 424 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0

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

[startup+3102.3 s]
/proc/loadavg: 4.39 4.32 4.28 5/251 214524
/proc/meminfo: memFree=51007932/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1172516 memory=960132 CPUtime=2950.85 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 89321 0 0 0 294127 958 0 0 20 0 1 0 25048129 1200656384 240033 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14188 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 293129 240033 850 747 0 292192 0
Current children cumulated CPU time: 2950.85 s
Current children cumulated vsize: 1172516 KiB
Current children cumulated memory: 960132 KiB

[startup+3162.3 s]
/proc/loadavg: 4.41 4.34 4.29 5/252 214537
/proc/meminfo: memFree=49091868/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1177984 memory=964532 CPUtime=3010.11 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 90678 0 0 0 300001 1010 0 0 20 0 1 0 25048129 1206255616 241133 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14242 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 294496 241133 850 747 0 293559 0
Current children cumulated CPU time: 3010.11 s
Current children cumulated vsize: 1177984 KiB
Current children cumulated memory: 964532 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.31 4.28 5/255 214552
/proc/meminfo: memFree=47860996/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1178784 memory=965340 CPUtime=3068.78 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 91141 0 0 0 305849 1029 0 0 20 0 1 0 25048129 1207074816 241335 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14355 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 294696 241335 850 747 0 293759 0
Current children cumulated CPU time: 3068.78 s
Current children cumulated vsize: 1178784 KiB
Current children cumulated memory: 965340 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.26 4.26 5/254 214563
/proc/meminfo: memFree=46618708/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1178784 memory=965340 CPUtime=3128.53 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 91615 0 0 0 311820 1033 0 0 20 0 1 0 25048129 1207074816 241335 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14361 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 294696 241335 850 747 0 293759 0
Current children cumulated CPU time: 3128.53 s
Current children cumulated vsize: 1178784 KiB
Current children cumulated memory: 965340 KiB

[startup+3342.3 s]
/proc/loadavg: 4.44 4.31 4.28 3/253 214575
/proc/meminfo: memFree=45108144/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1179876 memory=1075020 CPUtime=3187.84 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) D 213122 213125 210600 0 -1 4194304 92310 0 0 0 317729 1055 0 0 20 0 1 0 25048129 1208193024 268755 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14361 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 294969 268755 850 747 0 294032 0
Current children cumulated CPU time: 3187.84 s
Current children cumulated vsize: 1179876 KiB
Current children cumulated memory: 1075020 KiB

[startup+3402.3 s]
/proc/loadavg: 4.62 4.40 4.31 5/253 214587
/proc/meminfo: memFree=43375820/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1181092 memory=1076072 CPUtime=3246.93 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 92698 0 0 0 323603 1090 0 0 20 0 1 0 25048129 1209438208 269018 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14480 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 295273 269018 850 747 0 294336 0
Current children cumulated CPU time: 3246.93 s
Current children cumulated vsize: 1181092 KiB
Current children cumulated memory: 1076072 KiB

[startup+3462.3 s]
/proc/loadavg: 4.23 4.33 4.29 5/255 214601
/proc/meminfo: memFree=42500056/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1181092 memory=1076072 CPUtime=3306.25 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 93309 0 0 0 329533 1092 0 0 20 0 1 0 25048129 1209438208 269018 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14531 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 295273 269018 850 747 0 294336 0
Current children cumulated CPU time: 3306.25 s
Current children cumulated vsize: 1181092 KiB
Current children cumulated memory: 1076072 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.30 4.28 5/256 214994
/proc/meminfo: memFree=40996340/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1183140 memory=1077976 CPUtime=3365.7 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 94002 0 0 0 335461 1109 0 0 20 0 1 0 25048129 1211535360 269494 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14567 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 295785 269494 850 747 0 294848 0
Current children cumulated CPU time: 3365.7 s
Current children cumulated vsize: 1183140 KiB
Current children cumulated memory: 1077976 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.29 4.27 5/255 215006
/proc/meminfo: memFree=39428112/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1185188 memory=1079632 CPUtime=3425.16 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 94960 0 0 0 341395 1121 0 0 20 0 1 0 25048129 1213632512 269908 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14602 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 296297 269908 850 747 0 295360 0
Current children cumulated CPU time: 3425.16 s
Current children cumulated vsize: 1185188 KiB
Current children cumulated memory: 1079632 KiB

[startup+3642.3 s]
/proc/loadavg: 4.14 4.25 4.26 5/255 215016
/proc/meminfo: memFree=38449512/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1185828 memory=1080456 CPUtime=3484.72 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 95401 0 0 0 347343 1129 0 0 20 0 1 0 25048129 1214287872 270114 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14626 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 296457 270114 850 747 0 295520 0
Current children cumulated CPU time: 3484.72 s
Current children cumulated vsize: 1185828 KiB
Current children cumulated memory: 1080456 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+3700 s]*
/proc/loadavg: 4.11 4.22 4.25 3/246 215298
/proc/meminfo: memFree=49958368/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1185828 memory=1080456 CPUtime=3542.21 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 95951 0 0 0 353086 1135 0 0 20 0 1 0 25048129 1214287872 270114 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14629 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 296457 270114 850 747 0 295520 0
Current children cumulated CPU time: 3542.21 s
Current children cumulated vsize: 1185828 KiB
Current children cumulated memory: 1080456 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3532.87 s, system=11.3746 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3700.8 s]
/proc/loadavg: 4.11 4.22 4.25 3/246 215298
/proc/meminfo: memFree=49958368/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1185828 memory=1080456 CPUtime=3543 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 95951 0 0 0 353165 1135 0 0 20 0 1 0 25048129 1214287872 270114 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14629 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 296457 270114 850 747 0 295520 0
Current children cumulated CPU time: 3543 s
Current children cumulated vsize: 1185828 KiB
Current children cumulated memory: 1080456 KiB

[startup+3701.6 s]
/proc/loadavg: 4.11 4.22 4.25 4/246 215298
/proc/meminfo: memFree=55561228/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1185828 memory=1080456 CPUtime=3543.8 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 95951 0 0 0 353245 1135 0 0 20 0 1 0 25048129 1214287872 270114 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14629 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 296457 270114 850 747 0 295520 0
Current children cumulated CPU time: 3543.8 s
Current children cumulated vsize: 1185828 KiB
Current children cumulated memory: 1080456 KiB

[startup+3702 s]*
/proc/loadavg: 4.11 4.22 4.25 5/246 215298
/proc/meminfo: memFree=64499372/131655788 swapFree=131056320/131071996
[pid=213125] ppid=213122 vsize=1185828 memory=1080456 CPUtime=3544.21 cores=0,2
/proc/213125/stat : 213125 (Exact_veripb2_n) R 213122 213125 210600 0 -1 4194304 95951 0 0 0 353286 1135 0 0 20 0 1 0 25048129 1214287872 270114 134679101440 4194304 7250417 140720316190480 0 0 0 0 0 8404994 0 0 0 17 0 0 0 14629 0 0 7950792 8015128 43032576 140720316195639 140720316195927 140720316195927 140720316202942 0
/proc/213125/statm: 296457 270114 850 747 0 295520 0
Current children cumulated CPU time: 3544.21 s
Current children cumulated vsize: 1185828 KiB
Current children cumulated memory: 1080456 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3702.09
CPU time (s): 3544.24
CPU user time (s): 3532.87
CPU system time (s): 11.3746
CPU usage (%): 95.7363
Max. virtual memory (cumulated for all children) (KiB): 1537424
Max. memory (cumulated for all children) (KiB): 1080456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3532.87
system time used= 11.3746
maximum resident set size= 1162592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41281792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2107
involuntary context switches= 24500


# summary of solver processes directly reported to runsolver:
#   pid: 213125
#   total CPU time (s): 3544.24
#   total CPU user time (s): 3532.87
#   total CPU system time (s): 11.3746

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.6262 second user time and 32.6227 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2024-07-25 08:56:29
IDJOB=4458631
IDBENCH=177786
IDSOLVER=3080
FILE ID=nodeC006/4458631-1721890589
RUNJOBID= nodeC006-1721886882-210610
SLURM_JOB_ID= 8089290
Free space on /tmp= 723768 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/linpeb/linearized_pebbling_opt_layeredfan_up/normalized-linearized_pebbling_opt_layeredfan_up_r24_c47_a5.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-4458631-1721890589/watcher-4458631-1721890589 -o /tmp/evaluation-result-4458631-1721890589/solver-4458631-1721890589 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1721886882-210610 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4458631-1721890589 --seed=834372024 HOME/instance-4458631-1721890589.opb

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

MD5SUM BENCH= ee69fc6ecb586d594c25ad09fc3cda54
RANDOM SEED=834372024

nodeC006.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.101
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 2992.740
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1795.663
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.234
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3664.896
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.530
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.293
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.119
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        126421296 kB
MemAvailable:   129672944 kB
Buffers:          312568 kB
Cached:          3549404 kB
SwapCached:          244 kB
Active:          2001316 kB
Inactive:        2308984 kB
Active(anon):       1728 kB
Inactive(anon):   492272 kB
Active(file):    1999588 kB
Inactive(file):  1816712 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056320 kB
Dirty:             93212 kB
Writeback:             0 kB
AnonPages:        448572 kB
Mapped:           102680 kB
Shmem:             45244 kB
KReclaimable:     497256 kB
Slab:             610232 kB
SReclaimable:     497256 kB
SUnreclaim:       112976 kB
KernelStack:        4052 kB
PageTables:         9872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     947880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            16576 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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:      420680 kB
DirectMap2M:    57155584 kB
DirectMap1G:    78643200 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC006 at 2024-07-25 09:58:11