Trace number 4453103

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Exact_veripb2_no_SoPlex 2024-07-05? (TO) 3600.11 3643.73

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_89.shuf-3.opb
MD5SUMbca3b64090d9c28929d1ba0e342c0a17
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.71714
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables712
Total number of constraints1425
Number of constraints which are clauses1424
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint712
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 732
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/3643.60	c Program interrupted by user.
3600.08/3643.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453103-1721840616/watcher-4453103-1721840616 -o /tmp/evaluation-result-4453103-1721840616/solver-4453103-1721840616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721831833-177695 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4453103-1721840616 --seed=858170131 HOME/instance-4453103-1721840616.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=183186, runsolver pid=183183
Current StackSize limit: 8192 KiB


[startup+0.100079 s]*
/proc/loadavg: 4.65 4.37 4.26 5/246 183187
/proc/meminfo: memFree=96709932/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=27068 memory=5616 CPUtime=0.1 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 753 0 0 0 10 0 0 0 20 0 1 0 20051518 27717632 1404 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 6767 1404 834 747 0 5830 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27068 KiB
Current children cumulated memory: 5616 KiB

[startup+0.204646 s]*
/proc/loadavg: 4.65 4.37 4.26 5/246 183187
/proc/meminfo: memFree=96705516/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=27864 memory=8720 CPUtime=0.2 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 1034 0 0 0 20 0 0 0 20 0 1 0 20051518 28532736 2180 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 6966 2180 834 747 0 6029 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 8720 KiB

[startup+0.304926 s]*
/proc/loadavg: 4.65 4.37 4.26 5/246 183187
/proc/meminfo: memFree=96704732/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=28000 memory=8980 CPUtime=0.3 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 1075 0 0 0 30 0 0 0 20 0 1 0 20051518 28672000 2245 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 7000 2245 834 747 0 6063 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28000 KiB
Current children cumulated memory: 8980 KiB

[startup+0.700257 s]
/proc/loadavg: 4.65 4.37 4.26 5/246 183187
/proc/meminfo: memFree=96699896/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=29240 memory=10096 CPUtime=0.68 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 1346 0 0 0 68 0 0 0 20 0 1 0 20051518 29941760 2524 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 7310 2524 850 747 0 6373 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29240 KiB
Current children cumulated memory: 10096 KiB

[startup+1.50028 s]
/proc/loadavg: 4.65 4.37 4.26 5/246 183187
/proc/meminfo: memFree=96691492/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=30600 memory=13460 CPUtime=1.49 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 1650 0 0 0 148 1 0 0 20 0 1 0 20051518 31334400 3365 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 7650 3365 850 747 0 6713 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 30600 KiB
Current children cumulated memory: 13460 KiB

[startup+3.11253 s]
/proc/loadavg: 4.65 4.37 4.26 5/246 183189
/proc/meminfo: memFree=96658588/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=34476 memory=20708 CPUtime=3.09 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 2448 0 0 0 308 1 0 0 20 0 1 0 20051518 35303424 5177 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 8619 5177 850 747 0 7682 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 34476 KiB
Current children cumulated memory: 20708 KiB

[startup+6.30025 s]
/proc/loadavg: 4.76 4.39 4.27 5/246 183189
/proc/meminfo: memFree=96580096/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=50744 memory=37560 CPUtime=6.28 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 3339 0 0 0 624 4 0 0 20 0 1 0 20051518 51961856 9390 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 12686 9390 850 747 0 11749 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 50744 KiB
Current children cumulated memory: 37560 KiB

[startup+12.7005 s]
/proc/loadavg: 4.78 4.40 4.27 5/246 183189
/proc/meminfo: memFree=96504040/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=53832 memory=40124 CPUtime=12.65 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 3993 0 0 0 1259 6 0 0 20 0 1 0 20051518 55123968 10031 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 13458 10031 850 747 0 12521 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 53832 KiB
Current children cumulated memory: 40124 KiB

[startup+25.5004 s]
/proc/loadavg: 4.75 4.42 4.28 5/246 183192
/proc/meminfo: memFree=96327376/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=56216 memory=42156 CPUtime=25.42 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 4500 0 0 0 2534 8 0 0 20 0 1 0 20051518 57565184 10539 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 14054 10539 850 747 0 13117 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 56216 KiB
Current children cumulated memory: 42156 KiB

[startup+51.1126 s]
/proc/loadavg: 4.50 4.38 4.27 5/246 183195
/proc/meminfo: memFree=95969700/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=58708 memory=44420 CPUtime=50.38 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 5080 0 0 0 5023 15 0 0 20 0 1 0 20051518 60116992 11105 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 59 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 14677 11105 850 747 0 13740 0
Current children cumulated CPU time: 50.38 s
Current children cumulated vsize: 58708 KiB
Current children cumulated memory: 44420 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.32 4.25 5/246 183203
/proc/meminfo: memFree=95221752/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=63052 memory=52340 CPUtime=100.01 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 6415 0 0 0 9976 25 0 0 20 0 1 0 20051518 64565248 13085 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 201 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 15763 13085 850 747 0 14826 0
Current children cumulated CPU time: 100.01 s
Current children cumulated vsize: 63052 KiB
Current children cumulated memory: 52340 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.29 4.25 5/245 183214
/proc/meminfo: memFree=94386956/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=65236 memory=54552 CPUtime=158.39 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 6993 0 0 0 15798 41 0 0 20 0 1 0 20051518 66801664 13638 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 344 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 16309 13638 850 747 0 15372 0
Current children cumulated CPU time: 158.39 s
Current children cumulated vsize: 65236 KiB
Current children cumulated memory: 54552 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.25 4.24 5/245 183224
/proc/meminfo: memFree=93445392/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=68476 memory=57108 CPUtime=216.91 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 7710 0 0 0 21631 60 0 0 20 0 1 0 20051518 70119424 14277 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 474 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 17119 14277 850 747 0 16182 0
Current children cumulated CPU time: 216.91 s
Current children cumulated vsize: 68476 KiB
Current children cumulated memory: 57108 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.23 4.23 5/245 183235
/proc/meminfo: memFree=92479780/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=68732 memory=57568 CPUtime=275.75 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 7827 0 0 0 27498 77 0 0 20 0 1 0 20051518 70381568 14392 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 574 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 17183 14392 850 747 0 16246 0
Current children cumulated CPU time: 275.75 s
Current children cumulated vsize: 68732 KiB
Current children cumulated memory: 57568 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.20 4.22 5/245 183245
/proc/meminfo: memFree=91638216/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=74860 memory=64788 CPUtime=334.57 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 9127 0 0 0 33368 89 0 0 20 0 1 0 20051518 76656640 16197 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 673 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 18715 16197 850 747 0 17778 0
Current children cumulated CPU time: 334.57 s
Current children cumulated vsize: 74860 KiB
Current children cumulated memory: 64788 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.18 4.21 5/245 183255
/proc/meminfo: memFree=90739516/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=105604 memory=76888 CPUtime=394.1 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 11595 0 0 0 39305 105 0 0 20 0 1 0 20051518 108138496 19222 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 705 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 26401 19222 850 747 0 25464 0
Current children cumulated CPU time: 394.1 s
Current children cumulated vsize: 105604 KiB
Current children cumulated memory: 76888 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.18 4.20 5/247 183270
/proc/meminfo: memFree=89825696/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=106112 memory=77680 CPUtime=453.19 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 11750 0 0 0 45199 120 0 0 20 0 1 0 20051518 108658688 19420 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 779 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 26528 19420 850 747 0 25591 0

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

Current children cumulated memory: 119808 KiB

[startup+2982.3 s]
/proc/loadavg: 2.14 2.34 3.10 3/234 184545
/proc/meminfo: memFree=110339688/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=130692 memory=120408 CPUtime=2942.57 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 18896 0 0 0 293423 834 0 0 20 0 1 0 20051518 133828608 30102 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3072 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32673 30102 850 747 0 31736 0
Current children cumulated CPU time: 2942.57 s
Current children cumulated vsize: 130692 KiB
Current children cumulated memory: 120408 KiB

[startup+3042.3 s]
/proc/loadavg: 2.16 2.31 3.04 3/234 184555
/proc/meminfo: memFree=109953684/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131196 memory=121020 CPUtime=3002.28 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19067 0 0 0 299376 852 0 0 20 0 1 0 20051518 134344704 30255 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3084 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32799 30255 850 747 0 31862 0
Current children cumulated CPU time: 3002.28 s
Current children cumulated vsize: 131196 KiB
Current children cumulated memory: 121020 KiB

[startup+3102.3 s]
/proc/loadavg: 2.11 2.26 2.98 3/234 184566
/proc/meminfo: memFree=109586132/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131196 memory=121020 CPUtime=3062 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19104 0 0 0 305330 870 0 0 20 0 1 0 20051518 134344704 30255 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3097 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32799 30255 850 747 0 31862 0
Current children cumulated CPU time: 3062 s
Current children cumulated vsize: 131196 KiB
Current children cumulated memory: 121020 KiB

[startup+3162.3 s]
/proc/loadavg: 2.17 2.25 2.92 3/235 184962
/proc/meminfo: memFree=109199532/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131196 memory=121076 CPUtime=3121.62 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19143 0 0 0 311276 886 0 0 20 0 1 0 20051518 134344704 30269 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3117 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32799 30269 850 747 0 31862 0
Current children cumulated CPU time: 3121.62 s
Current children cumulated vsize: 131196 KiB
Current children cumulated memory: 121076 KiB

[startup+3222.3 s]
/proc/loadavg: 2.16 2.23 2.88 3/234 184972
/proc/meminfo: memFree=108897104/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131332 memory=122884 CPUtime=3181.35 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19223 0 0 0 317235 900 0 0 20 0 1 0 20051518 134483968 30721 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3127 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32833 30721 850 747 0 31896 0
Current children cumulated CPU time: 3181.35 s
Current children cumulated vsize: 131332 KiB
Current children cumulated memory: 122884 KiB

[startup+3282.3 s]
/proc/loadavg: 2.11 2.20 2.82 3/233 184982
/proc/meminfo: memFree=108586140/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131332 memory=123020 CPUtime=3241.1 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19266 0 0 0 323196 914 0 0 20 0 1 0 20051518 134483968 30755 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3135 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32833 30755 850 747 0 31896 0
Current children cumulated CPU time: 3241.1 s
Current children cumulated vsize: 131332 KiB
Current children cumulated memory: 123020 KiB

[startup+3342.3 s]
/proc/loadavg: 2.08 2.18 2.78 3/234 185161
/proc/meminfo: memFree=108279588/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131332 memory=123020 CPUtime=3300.65 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19308 0 0 0 329134 931 0 0 20 0 1 0 20051518 134483968 30755 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3163 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32833 30755 850 747 0 31896 0
Current children cumulated CPU time: 3300.65 s
Current children cumulated vsize: 131332 KiB
Current children cumulated memory: 123020 KiB

[startup+3402.3 s]
/proc/loadavg: 2.08 2.16 2.73 3/234 185172
/proc/meminfo: memFree=107984408/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131588 memory=123156 CPUtime=3360.22 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19413 0 0 0 335074 948 0 0 20 0 1 0 20051518 134746112 30789 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3189 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32897 30789 850 747 0 31960 0
Current children cumulated CPU time: 3360.22 s
Current children cumulated vsize: 131588 KiB
Current children cumulated memory: 123156 KiB

[startup+3462.3 s]
/proc/loadavg: 2.07 2.14 2.69 3/233 185196
/proc/meminfo: memFree=107606208/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131588 memory=123276 CPUtime=3419.83 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19455 0 0 0 341017 966 0 0 20 0 1 0 20051518 134746112 30819 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3212 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32897 30819 850 747 0 31960 0
Current children cumulated CPU time: 3419.83 s
Current children cumulated vsize: 131588 KiB
Current children cumulated memory: 123276 KiB

[startup+3522.3 s]
/proc/loadavg: 2.16 2.16 2.66 3/233 185207
/proc/meminfo: memFree=107234424/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131588 memory=123276 CPUtime=3479.4 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19498 0 0 0 346957 983 0 0 20 0 1 0 20051518 134746112 30819 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3238 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32897 30819 850 747 0 31960 0
Current children cumulated CPU time: 3479.4 s
Current children cumulated vsize: 131588 KiB
Current children cumulated memory: 123276 KiB

[startup+3582.3 s]
/proc/loadavg: 2.06 2.13 2.61 3/233 185218
/proc/meminfo: memFree=106856832/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131588 memory=123384 CPUtime=3539.14 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19541 0 0 0 352914 1000 0 0 20 0 1 0 20051518 134746112 30846 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3248 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32897 30846 850 747 0 31960 0
Current children cumulated CPU time: 3539.14 s
Current children cumulated vsize: 131588 KiB
Current children cumulated memory: 123384 KiB

[startup+3642.3 s]
/proc/loadavg: 2.13 2.13 2.58 3/233 185228
/proc/meminfo: memFree=106453468/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131588 memory=123384 CPUtime=3598.79 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19583 0 0 0 358862 1017 0 0 20 0 1 0 20051518 134746112 30846 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3267 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32897 30846 850 747 0 31960 0
Current children cumulated CPU time: 3598.79 s
Current children cumulated vsize: 131588 KiB
Current children cumulated memory: 123384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3643.6 s]
/proc/loadavg: 2.13 2.13 2.58 3/233 185229
/proc/meminfo: memFree=106450120/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=131588 memory=123384 CPUtime=3600.08 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) R 183183 183186 177682 0 -1 4194304 19583 0 0 0 358990 1018 0 0 20 0 1 0 20051518 134746112 30846 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3267 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 32897 30846 850 747 0 31960 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 131588 KiB
Current children cumulated memory: 123384 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.92 s, system=10.1992 s

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

[startup+3643.7 s]
/proc/loadavg: 2.13 2.13 2.58 3/233 185229
/proc/meminfo: memFree=106450120/131655788 swapFree=131058856/131071996
[pid=183186] ppid=183183 vsize=78744 memory=74304 CPUtime=3600.1 cores=5,7
/proc/183186/stat : 183186 (Exact_veripb2_n) D 183183 183186 177682 0 -1 4194304 19614 0 0 0 358991 1019 0 0 20 0 1 0 20051518 80633856 18576 134679101440 4194304 7250417 140734912837760 0 0 0 0 0 8404994 0 0 0 17 5 0 0 3278 0 0 7950792 8015128 28069888 140734912844599 140734912844887 140734912844887 140734912851902 0
/proc/183186/statm: 19686 18576 850 747 0 18749 0
Current children cumulated CPU time: 3600.1 s
Current children cumulated vsize: 78744 KiB
Current children cumulated memory: 74304 KiB

Child status: 0

Real time (s): 3643.73
CPU time (s): 3600.11
CPU user time (s): 3589.92
CPU system time (s): 10.1992
CPU usage (%): 98.8029
Max. virtual memory (cumulated for all children) (KiB): 131588
Max. memory (cumulated for all children) (KiB): 123384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.92
system time used= 10.1992
maximum resident set size= 123384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19623
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21554280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4437
involuntary context switches= 6281


# summary of solver processes directly reported to runsolver:
#   pid: 183186
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3589.92
#   total CPU system time (s): 10.1992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7439 second user time and 32.3523 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-24 19:03:37
IDJOB=4453103
IDBENCH=168597
IDSOLVER=3080
FILE ID=nodeC009/4453103-1721840616
RUNJOBID= nodeC009-1721831833-177695
SLURM_JOB_ID= 7891524
Free space on /tmp= 723752 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/vertex-cover/vc-grids-v2_shuffle/normalized-grid8_89.shuf-3.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-4453103-1721840616/watcher-4453103-1721840616 -o /tmp/evaluation-result-4453103-1721840616/solver-4453103-1721840616 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721831833-177695 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4453103-1721840616 --seed=858170131 HOME/instance-4453103-1721840616.opb

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

MD5SUM BENCH= bca3b64090d9c28929d1ba0e342c0a17
RANDOM SEED=858170131

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        96714068 kB
MemAvailable:   128811552 kB
Buffers:          270304 kB
Cached:         32537116 kB
SwapCached:         4924 kB
Active:          1693464 kB
Inactive:       32458744 kB
Active(anon):       1728 kB
Inactive(anon):  1388440 kB
Active(file):    1691736 kB
Inactive(file): 31070304 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131058856 kB
Dirty:            202488 kB
Writeback:            16 kB
AnonPages:       1340024 kB
Mapped:           100124 kB
Shmem:             45300 kB
KReclaimable:     351288 kB
Slab:             469640 kB
SReclaimable:     351288 kB
SUnreclaim:       118352 kB
KernelStack:        3956 kB
PageTables:        12036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1846564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            18848 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1013760 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:      367432 kB
DirectMap2M:    44625920 kB
DirectMap1G:    91226112 kB

Free space on /tmp at the end= 723760 MiB
End job on nodeC009 at 2024-07-24 20:04:20