Trace number 4442613

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.1 3663.76

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
MD5SUM2590c1209b8f449ade71ad316e08b5f7
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 benchmark1.32104
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1800
Total number of constraints39645
Number of constraints which are clauses39645
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint40
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 41
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.05/3663.60	c Program interrupted by user.
3600.05/3663.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: 63968 MiB (50563 MiB free)
  memory of node 1: 64473 MiB (54250 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442613-1721801554/watcher-4442613-1721801554 -o /tmp/evaluation-result-4442613-1721801554/solver-4442613-1721801554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721801546-183918 --watchdog 3760 HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442613-1721801554 --seed=604026573 HOME/instance-4442613-1721801554.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
Current StackSize limit: 8192 KiB

solver pid=184170, runsolver pid=184167

[startup+0.100083 s]*
/proc/loadavg: 2.18 2.03 2.06 5/256 184171
/proc/meminfo: memFree=107314192/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=33520 memory=14760 CPUtime=0.09 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 4176 0 0 0 9 0 0 0 20 0 1 0 16683732 34324480 3690 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 8380 3690 754 747 0 7443 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 33520 KiB
Current children cumulated memory: 14760 KiB

[startup+0.205586 s]*
/proc/loadavg: 2.18 2.03 2.06 5/256 184171
/proc/meminfo: memFree=107312524/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=33520 memory=14760 CPUtime=0.19 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 4179 0 0 0 19 0 0 0 20 0 1 0 16683732 34324480 3690 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 8380 3690 754 747 0 7443 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 33520 KiB
Current children cumulated memory: 14760 KiB

[startup+0.305431 s]*
/proc/loadavg: 2.18 2.03 2.06 5/256 184171
/proc/meminfo: memFree=107308244/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=33520 memory=16808 CPUtime=0.29 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 4180 0 0 0 29 0 0 0 20 0 1 0 16683732 34324480 4202 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 8380 4202 754 747 0 7443 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 33520 KiB
Current children cumulated memory: 16808 KiB

[startup+0.700221 s]
/proc/loadavg: 2.18 2.03 2.06 5/256 184171
/proc/meminfo: memFree=107297684/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=34596 memory=22244 CPUtime=0.69 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 4455 0 0 0 68 1 0 0 20 0 1 0 16683732 35426304 5561 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 8649 5561 834 747 0 7712 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 34596 KiB
Current children cumulated memory: 22244 KiB

[startup+1.50023 s]
/proc/loadavg: 2.18 2.03 2.06 5/256 184171
/proc/meminfo: memFree=107276420/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=39188 memory=33920 CPUtime=1.48 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 5837 0 0 0 147 1 0 0 20 0 1 0 16683732 40128512 8480 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 9797 8480 834 747 0 8860 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39188 KiB
Current children cumulated memory: 33920 KiB

[startup+3.10543 s]
/proc/loadavg: 2.32 2.07 2.07 5/256 184171
/proc/meminfo: memFree=107175028/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=62296 memory=56844 CPUtime=3.08 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 8751 0 0 0 305 3 0 0 20 0 1 0 16683732 63791104 14211 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 15574 14211 834 747 0 14637 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 62296 KiB
Current children cumulated memory: 56844 KiB

[startup+6.30021 s]
/proc/loadavg: 2.32 2.07 2.07 5/256 184172
/proc/meminfo: memFree=106966424/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=97164 memory=85436 CPUtime=6.26 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 11716 0 0 0 620 6 0 0 20 0 1 0 16683732 99495936 21359 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 24291 21359 834 747 0 23354 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 97164 KiB
Current children cumulated memory: 85436 KiB

[startup+12.7002 s]
/proc/loadavg: 2.58 2.13 2.09 5/258 184174
/proc/meminfo: memFree=106730160/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=149344 memory=108716 CPUtime=12.49 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 14975 0 0 0 1237 12 0 0 20 0 1 0 16683732 152928256 27179 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 15 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 37336 27179 834 747 0 36399 0
Current children cumulated CPU time: 12.49 s
Current children cumulated vsize: 149344 KiB
Current children cumulated memory: 108716 KiB

[startup+25.5002 s]
/proc/loadavg: 2.80 2.19 2.11 5/258 184176
/proc/meminfo: memFree=106226960/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=158852 memory=123328 CPUtime=25.24 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 17111 0 0 0 2504 20 0 0 20 0 1 0 16683732 162664448 30832 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 15 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 39713 30832 834 747 0 38776 0
Current children cumulated CPU time: 25.24 s
Current children cumulated vsize: 158852 KiB
Current children cumulated memory: 123328 KiB

[startup+51.1058 s]
/proc/loadavg: 3.28 2.35 2.17 5/259 184228
/proc/meminfo: memFree=105829956/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=174664 memory=147488 CPUtime=50.57 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 20668 0 0 0 5022 35 0 0 20 0 1 0 16683732 178855936 36872 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 32 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 43666 36872 834 747 0 42729 0
Current children cumulated CPU time: 50.57 s
Current children cumulated vsize: 174664 KiB
Current children cumulated memory: 147488 KiB

[startup+102.3 s]
/proc/loadavg: 3.77 2.65 2.28 5/257 184388
/proc/meminfo: memFree=104526684/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=189020 memory=160672 CPUtime=98.7 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 24050 0 0 0 9803 67 0 0 20 0 1 0 16683732 193556480 40168 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 318 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 47255 40168 834 747 0 46318 0
Current children cumulated CPU time: 98.7 s
Current children cumulated vsize: 189020 KiB
Current children cumulated memory: 160672 KiB

[startup+162.3 s]
/proc/loadavg: 3.96 2.91 2.40 4/257 184430
/proc/meminfo: memFree=102777060/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=201088 memory=172780 CPUtime=157.72 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 27199 0 0 0 15668 104 0 0 20 0 1 0 16683732 205914112 43195 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 391 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 50272 43195 834 747 0 49335 0
Current children cumulated CPU time: 157.72 s
Current children cumulated vsize: 201088 KiB
Current children cumulated memory: 172780 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.13 2.51 5/257 184441
/proc/meminfo: memFree=101023792/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=211616 memory=183476 CPUtime=217.09 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 29890 0 0 0 21562 147 0 0 20 0 1 0 16683732 216694784 45869 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 429 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 52904 45869 834 747 0 51967 0
Current children cumulated CPU time: 217.09 s
Current children cumulated vsize: 211616 KiB
Current children cumulated memory: 183476 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 3.31 2.61 3/257 184451
/proc/meminfo: memFree=99074748/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=222920 memory=198492 CPUtime=275.88 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 32642 0 0 0 27403 185 0 0 20 0 1 0 16683732 228270080 49623 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 528 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 55730 49623 834 747 0 54793 0
Current children cumulated CPU time: 275.88 s
Current children cumulated vsize: 222920 KiB
Current children cumulated memory: 198492 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.47 2.71 4/257 184461
/proc/meminfo: memFree=96865876/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=231064 memory=206256 CPUtime=334.73 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 34656 0 0 0 33253 220 0 0 20 0 1 0 16683732 236609536 51564 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 617 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 57766 51564 834 747 0 56829 0
Current children cumulated CPU time: 334.73 s
Current children cumulated vsize: 231064 KiB
Current children cumulated memory: 206256 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.58 2.80 5/257 184472
/proc/meminfo: memFree=94977644/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=235000 memory=210864 CPUtime=393.75 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 35790 0 0 0 39119 256 0 0 20 0 1 0 16683732 240640000 52716 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 692 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 58750 52716 834 747 0 57813 0
Current children cumulated CPU time: 393.75 s
Current children cumulated vsize: 235000 KiB
Current children cumulated memory: 210864 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 3.67 2.88 5/259 184489
/proc/meminfo: memFree=93041036/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=238484 memory=214292 CPUtime=452.75 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 36676 0 0 0 44985 290 0 0 20 0 1 0 16683732 244207616 53573 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 770 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 59621 53573 834 747 0 58684 0

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

Current children cumulated memory: 316976 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.06 5/260 186174
/proc/meminfo: memFree=6547372/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=378040 memory=316976 CPUtime=2927.06 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 66421 0 0 0 290973 1733 0 0 20 0 1 0 16683732 387112960 79244 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4280 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 94510 79244 834 747 0 93573 0
Current children cumulated CPU time: 2927.06 s
Current children cumulated vsize: 378040 KiB
Current children cumulated memory: 316976 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.12 4.05 5/259 186186
/proc/meminfo: memFree=4426632/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=378172 memory=317108 CPUtime=2986.13 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 66621 0 0 0 296837 1776 0 0 20 0 1 0 16683732 387248128 79277 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4354 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 94543 79277 834 747 0 93606 0
Current children cumulated CPU time: 2986.13 s
Current children cumulated vsize: 378172 KiB
Current children cumulated memory: 317108 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.06 5/259 186196
/proc/meminfo: memFree=3121780/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=379004 memory=317928 CPUtime=3045.35 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 68237 0 0 0 302718 1817 0 0 20 0 1 0 16683732 388100096 79482 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4412 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 94751 79482 834 747 0 93814 0
Current children cumulated CPU time: 3045.35 s
Current children cumulated vsize: 379004 KiB
Current children cumulated memory: 317928 KiB

[startup+3162.3 s]
/proc/loadavg: 4.87 4.32 4.13 8/259 186207
/proc/meminfo: memFree=1370944/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=382272 memory=320716 CPUtime=3104.42 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 70449 0 0 0 308600 1842 0 0 20 0 1 0 16683732 391446528 80179 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4485 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 95568 80179 834 747 0 94631 0
Current children cumulated CPU time: 3104.42 s
Current children cumulated vsize: 382272 KiB
Current children cumulated memory: 320716 KiB

[startup+3222.3 s]
/proc/loadavg: 4.54 4.32 4.14 5/260 186219
/proc/meminfo: memFree=511712/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=385468 memory=323412 CPUtime=3163.71 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 71437 0 0 0 314498 1873 0 0 20 0 1 0 16683732 394719232 80853 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4537 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 96367 80853 834 747 0 95430 0
Current children cumulated CPU time: 3163.71 s
Current children cumulated vsize: 385468 KiB
Current children cumulated memory: 323412 KiB

[startup+3282.3 s]
/proc/loadavg: 4.25 4.28 4.13 5/261 186230
/proc/meminfo: memFree=654340/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=385468 memory=323416 CPUtime=3222.9 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 73295 0 0 0 320381 1909 0 0 20 0 1 0 16683732 394719232 80854 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4599 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 96367 80854 834 747 0 95430 0
Current children cumulated CPU time: 3222.9 s
Current children cumulated vsize: 385468 KiB
Current children cumulated memory: 323416 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.24 4.13 5/258 186240
/proc/meminfo: memFree=487744/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=386492 memory=324468 CPUtime=3282.22 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 75379 0 0 0 326292 1930 0 0 20 0 1 0 16683732 395767808 81117 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4648 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 96623 81117 834 747 0 95686 0
Current children cumulated CPU time: 3282.22 s
Current children cumulated vsize: 386492 KiB
Current children cumulated memory: 324468 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.22 4.13 5/259 186252
/proc/meminfo: memFree=690572/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=386492 memory=324616 CPUtime=3341.52 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 76580 0 0 0 332194 1958 0 0 20 0 1 0 16683732 395767808 81154 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4697 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 96623 81154 834 747 0 95686 0
Current children cumulated CPU time: 3341.52 s
Current children cumulated vsize: 386492 KiB
Current children cumulated memory: 324616 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.18 4.12 5/259 186265
/proc/meminfo: memFree=571568/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=387584 memory=325644 CPUtime=3400.68 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 77144 0 0 0 338085 1983 0 0 20 0 1 0 16683732 396886016 81411 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4762 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 96896 81411 834 747 0 95959 0
Current children cumulated CPU time: 3400.68 s
Current children cumulated vsize: 387584 KiB
Current children cumulated memory: 325644 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.19 4.12 5/259 186275
/proc/meminfo: memFree=647428/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=387840 memory=325836 CPUtime=3460.15 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 78187 0 0 0 343998 2017 0 0 20 0 1 0 16683732 397148160 81459 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4796 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 96960 81459 834 747 0 96023 0
Current children cumulated CPU time: 3460.15 s
Current children cumulated vsize: 387840 KiB
Current children cumulated memory: 325836 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.19 4.12 5/257 186286
/proc/meminfo: memFree=651516/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=388480 memory=326476 CPUtime=3519.45 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 79068 0 0 0 349902 2043 0 0 20 0 1 0 16683732 397803520 81619 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4847 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 97120 81619 834 747 0 96183 0
Current children cumulated CPU time: 3519.45 s
Current children cumulated vsize: 388480 KiB
Current children cumulated memory: 326476 KiB

[startup+3642.3 s]
/proc/loadavg: 4.20 4.18 4.12 5/255 186357
/proc/meminfo: memFree=26316368/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=388736 memory=326736 CPUtime=3578.82 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 79832 0 0 0 355814 2068 0 0 20 0 1 0 16683732 398065664 81684 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4889 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 97184 81684 834 747 0 96247 0
Current children cumulated CPU time: 3578.82 s
Current children cumulated vsize: 388736 KiB
Current children cumulated memory: 326736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3663.6 s]
/proc/loadavg: 4.22 4.19 4.12 5/258 186441
/proc/meminfo: memFree=24898144/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=390460 memory=328460 CPUtime=3600.05 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) R 184167 184170 183908 0 -1 4194304 80435 0 0 0 357926 2079 0 0 20 0 1 0 16683732 399831040 82115 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 0 0 0 4889 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 97615 82115 834 747 0 96678 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 390460 KiB
Current children cumulated memory: 328460 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.28 s, system=20.8189 s

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

[startup+3663.7 s]
/proc/loadavg: 4.22 4.19 4.12 5/258 186441
/proc/meminfo: memFree=24898144/131524600 swapFree=131071996/131071996
[pid=184170] ppid=184167 vsize=15352 memory=10868 CPUtime=3600.08 cores=0,2
/proc/184170/stat : 184170 (Exact_veripb2_n) D 184167 184170 183908 0 -1 4194304 80436 0 0 0 357927 2081 0 0 20 0 1 0 16683732 15720448 2717 134679101440 4194304 7250417 140731602178064 0 0 0 0 0 8404994 0 0 0 17 2 0 0 4900 0 0 7950792 8015128 35225600 140731602187067 140731602187355 140731602187355 140731602194366 0
/proc/184170/statm: 3838 2717 834 747 0 2901 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 15352 KiB
Current children cumulated memory: 10868 KiB

Child status: 0

Real time (s): 3663.76
CPU time (s): 3600.1
CPU user time (s): 3579.28
CPU system time (s): 20.8189
CPU usage (%): 98.2624
Max. virtual memory (cumulated for all children) (KiB): 390460
Max. memory (cumulated for all children) (KiB): 328460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.28
system time used= 20.8189
maximum resident set size= 369912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80437
page faults= 0
swaps= 0
block input operations= 0
block output operations= 47960736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4164
involuntary context switches= 27278


# summary of solver processes directly reported to runsolver:
#   pid: 184170
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3579.28
#   total CPU system time (s): 20.8189

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.04211 second user time and 16.988 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-24 08:12:34
IDJOB=4442613
IDBENCH=147833
IDSOLVER=3080
FILE ID=nodeC020/4442613-1721801554
RUNJOBID= nodeC020-1721801546-183918
SLURM_JOB_ID= 7770683
Free space on /tmp= 890060 MiB

SOLVER NAME= Exact_veripb2_no_SoPlex 2024-07-05
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-45-40.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-4442613-1721801554/watcher-4442613-1721801554 -o /tmp/evaluation-result-4442613-1721801554/solver-4442613-1721801554 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721801546-183918 --watchdog 3760  HOME/Exact_veripb2_nosoplex --print-uniform=0 --verbosity=0 --print-sol --proof-assumptions=0 --proof-log=PROOFDIR/proof-4442613-1721801554 --seed=604026573 HOME/instance-4442613-1721801554.opb

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

MD5SUM BENCH= 2590c1209b8f449ade71ad316e08b5f7
RANDOM SEED=604026573

nodeC020.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		: 3649.946
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.478
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.25
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		: 3652.671
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.009
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.25
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		: 3657.905
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.610
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.25
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		: 3601.652
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.31
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		: 3599.923
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.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        107330152 kB
MemAvailable:   129107188 kB
Buffers:          236540 kB
Cached:         22258008 kB
SwapCached:            0 kB
Active:          2611140 kB
Inactive:       20745144 kB
Active(anon):       1536 kB
Inactive(anon):   914004 kB
Active(file):    2609604 kB
Inactive(file): 19831140 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             63532 kB
Writeback:             0 kB
AnonPages:        860488 kB
Mapped:           130312 kB
Shmem:             54096 kB
KReclaimable:     352232 kB
Slab:             480508 kB
SReclaimable:     352232 kB
SUnreclaim:       128276 kB
KernelStack:        4112 kB
PageTables:        11200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1229332 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            22464 kB
HardwareCorrupted:     0 kB
AnonHugePages:    346112 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:      359124 kB
DirectMap2M:    43454464 kB
DirectMap1G:    92274688 kB

Free space on /tmp at the end= 890044 MiB
End job on nodeC020 at 2024-07-24 09:13:38