Trace number 4439706

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
CASHWMaxSAT-DisjCom-SP 2024-07-10? (TO) 3600.1 3613.52

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
MD5SUMf42bed8b206e9691e6e5fc670f14b50f
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-214739
Best CPU time to get the best result obtained on this benchmark66957.9
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 594102826
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 594102826
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

116.95/117.47	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
116.95/117.47	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.07/3613.50	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 (61918 MiB free)
  memory of node 1: 64473 MiB (59104 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439706-1721246129/watcher-4439706-1721246129 -o /tmp/evaluation-result-4439706-1721246129/solver-4439706-1721246129 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721240644-916318 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439706-1721246129.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100084 s]*
/proc/loadavg: 4.04 4.10 4.10 6/256 919438
/proc/meminfo: memFree=123871296/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=78200 memory=59184 CPUtime=0.09 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 7745 0 0 0 8 1 0 0 20 0 1 0 176776445 80076800 14796 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 19550 14796 794 2550 0 16505 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 78200 KiB
Current children cumulated memory: 59184 KiB

[startup+0.205027 s]*
/proc/loadavg: 4.04 4.10 4.10 5/256 919438
/proc/meminfo: memFree=123855648/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=93876 memory=75048 CPUtime=0.2 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 11922 0 0 0 18 2 0 0 20 0 1 0 176776445 96129024 18762 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 23469 18762 794 2550 0 20424 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 93876 KiB
Current children cumulated memory: 75048 KiB

[startup+0.305535 s]*
/proc/loadavg: 4.04 4.10 4.10 5/256 919438
/proc/meminfo: memFree=123838168/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=110916 memory=91508 CPUtime=0.3 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 15988 0 0 0 27 3 0 0 20 0 1 0 176776445 113577984 22877 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 27729 22877 794 2550 0 24684 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 110916 KiB
Current children cumulated memory: 91508 KiB

[startup+0.700234 s]
/proc/loadavg: 4.04 4.10 4.10 5/256 919438
/proc/meminfo: memFree=123824736/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=148432 memory=120724 CPUtime=0.69 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 19785 0 0 0 64 5 0 0 20 0 1 0 176776445 151994368 30181 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 37108 30181 794 2550 0 34063 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 148432 KiB
Current children cumulated memory: 120724 KiB

[startup+1.50022 s]
/proc/loadavg: 4.04 4.10 4.10 5/256 919438
/proc/meminfo: memFree=123795740/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=181200 memory=153720 CPUtime=1.48 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 20330 0 0 0 141 7 0 0 20 0 1 0 176776445 185548800 38430 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 45300 38430 794 2550 0 42255 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 181200 KiB
Current children cumulated memory: 153720 KiB

[startup+3.1055 s]
/proc/loadavg: 4.04 4.10 4.10 5/256 919438
/proc/meminfo: memFree=123476680/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=579168 memory=497608 CPUtime=3.08 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 41935 0 0 0 286 22 0 0 20 0 1 0 176776445 593068032 124402 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 144792 124402 890 2550 0 141747 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 579168 KiB
Current children cumulated memory: 497608 KiB

[startup+6.30023 s]
/proc/loadavg: 4.04 4.10 4.10 5/256 919438
/proc/meminfo: memFree=123440656/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=601072 memory=516284 CPUtime=6.27 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 44087 0 0 0 604 23 0 0 20 0 1 0 176776445 615497728 129071 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 150268 129071 890 2550 0 147223 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 601072 KiB
Current children cumulated memory: 516284 KiB

[startup+12.7002 s]
/proc/loadavg: 4.19 4.13 4.11 5/256 919824
/proc/meminfo: memFree=123426676/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=601072 memory=516380 CPUtime=12.64 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 44154 0 0 0 1241 23 0 0 20 0 1 0 176776445 615497728 129095 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 150268 129095 890 2550 0 147223 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 601072 KiB
Current children cumulated memory: 516380 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.12 4.10 5/256 919825
/proc/meminfo: memFree=123430560/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=603508 memory=513400 CPUtime=25.39 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 50370 0 0 0 2514 25 0 0 20 0 1 0 176776445 617992192 128350 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 150877 128350 890 2550 0 147832 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 603508 KiB
Current children cumulated memory: 513400 KiB

[startup+51.1058 s]
/proc/loadavg: 4.16 4.12 4.10 5/256 919830
/proc/meminfo: memFree=122635724/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=1355284 memory=1255864 CPUtime=50.88 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 206489 0 0 0 5033 55 0 0 20 0 1 0 176776445 1387810816 313966 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 16386 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 338821 313966 970 2550 0 335776 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 1355284 KiB
Current children cumulated memory: 1255864 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 919838
/proc/meminfo: memFree=120551924/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3797364 memory=3380504 CPUtime=101.9 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 360700 0 0 0 10067 123 0 0 20 0 1 0 176776445 3888500736 845126 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 949341 845126 970 2550 0 946296 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 3797364 KiB
Current children cumulated memory: 3380504 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/256 919849
/proc/meminfo: memFree=120638732/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3253332 CPUtime=161.7 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 363458 0 0 0 16034 136 0 0 20 0 1 0 176776445 3790602240 813333 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 813333 986 2550 0 922395 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3253332 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 920029
/proc/meminfo: memFree=120642656/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3267668 CPUtime=221.49 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 363905 0 0 0 22012 137 0 0 20 0 1 0 176776445 3790602240 816917 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 816917 986 2550 0 922395 0
Current children cumulated CPU time: 221.49 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3267668 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/258 920039
/proc/meminfo: memFree=120617308/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3277908 CPUtime=281.29 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 364483 0 0 0 27991 138 0 0 20 0 1 0 176776445 3790602240 819477 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 819477 986 2550 0 922395 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3277908 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 920064
/proc/meminfo: memFree=120587576/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3294292 CPUtime=341.08 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 364974 0 0 0 33970 138 0 0 20 0 1 0 176776445 3790602240 823573 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 823573 986 2550 0 922395 0
Current children cumulated CPU time: 341.08 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3294292 KiB

[startup+402.3 s]
/proc/loadavg: 4.41 4.18 4.12 5/258 920075
/proc/meminfo: memFree=120553204/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3310676 CPUtime=400.87 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 365501 0 0 0 39947 140 0 0 20 0 1 0 176776445 3790602240 827669 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 827669 986 2550 0 922395 0
Current children cumulated CPU time: 400.87 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3310676 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.18 4.12 5/258 920085
/proc/meminfo: memFree=120522052/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3320916 CPUtime=460.67 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 366068 0 0 0 45926 141 0 0 20 0 1 0 176776445 3790602240 830229 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 830229 986 2550 0 922395 0

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

Current children cumulated memory: 3316824 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/258 921371
/proc/meminfo: memFree=122024180/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3349676 CPUtime=2911.34 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 394957 0 0 0 290889 245 0 0 20 0 1 0 176776445 3790602240 837419 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 837419 986 2550 0 922395 0
Current children cumulated CPU time: 2911.34 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3349676 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 921381
/proc/meminfo: memFree=121984388/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3916684 memory=3388284 CPUtime=2971.11 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 396217 0 0 0 296865 246 0 0 20 0 1 0 176776445 4010684416 847071 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 979171 847071 986 2550 0 976126 0
Current children cumulated CPU time: 2971.11 s
Current children cumulated vsize: 3916684 KiB
Current children cumulated memory: 3388284 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 5/255 921436
/proc/meminfo: memFree=119653024/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3318956 CPUtime=3030.88 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 397250 0 0 0 302834 254 0 0 20 0 1 0 176776445 3790602240 829739 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 829739 986 2550 0 922395 0
Current children cumulated CPU time: 3030.88 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3318956 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/254 921446
/proc/meminfo: memFree=108886396/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3357324 CPUtime=3090.64 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 398228 0 0 0 308809 255 0 0 20 0 1 0 176776445 3790602240 839331 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 839331 986 2550 0 922395 0
Current children cumulated CPU time: 3090.64 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3357324 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 921457
/proc/meminfo: memFree=102076004/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3326188 CPUtime=3150.4 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 399423 0 0 0 314778 262 0 0 20 0 1 0 176776445 3790602240 831547 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 831547 986 2550 0 922395 0
Current children cumulated CPU time: 3150.4 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3326188 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/254 921467
/proc/meminfo: memFree=100856740/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3367156 CPUtime=3210.17 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 400330 0 0 0 320754 263 0 0 20 0 1 0 176776445 3790602240 841789 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 841789 986 2550 0 922395 0
Current children cumulated CPU time: 3210.17 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3367156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/254 921477
/proc/meminfo: memFree=100071356/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3916684 memory=3397788 CPUtime=3269.97 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 401808 0 0 0 326732 265 0 0 20 0 1 0 176776445 4010684416 849447 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 979171 849447 986 2550 0 976126 0
Current children cumulated CPU time: 3269.97 s
Current children cumulated vsize: 3916684 KiB
Current children cumulated memory: 3397788 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/257 921494
/proc/meminfo: memFree=97627204/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3363276 CPUtime=3329.76 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 402918 0 0 0 332704 272 0 0 20 0 1 0 176776445 3790602240 840819 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 840819 986 2550 0 922395 0
Current children cumulated CPU time: 3329.76 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3363276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.13 4.10 4/258 921506
/proc/meminfo: memFree=93824116/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3916684 memory=3404820 CPUtime=3389.57 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 404362 0 0 0 338684 273 0 0 20 0 1 0 176776445 4010684416 851205 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 979171 851205 986 2550 0 976126 0
Current children cumulated CPU time: 3389.57 s
Current children cumulated vsize: 3916684 KiB
Current children cumulated memory: 3404820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/262 921571
/proc/meminfo: memFree=117820144/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3349900 CPUtime=3449.37 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 405644 0 0 0 344658 279 0 0 20 0 1 0 176776445 3790602240 837475 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 837475 986 2550 0 922395 0
Current children cumulated CPU time: 3449.37 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3349900 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/263 921584
/proc/meminfo: memFree=116054680/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3916684 memory=3404892 CPUtime=3509.17 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 407132 0 0 0 350636 281 0 0 20 0 1 0 176776445 4010684416 851223 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 979171 851223 986 2550 0 976126 0
Current children cumulated CPU time: 3509.17 s
Current children cumulated vsize: 3916684 KiB
Current children cumulated memory: 3404892 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/263 921594
/proc/meminfo: memFree=103680156/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3353996 CPUtime=3568.96 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 408405 0 0 0 356609 287 0 0 20 0 1 0 176776445 3790602240 838499 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 838499 986 2550 0 922395 0
Current children cumulated CPU time: 3568.96 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3353996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3613.5 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 921982
/proc/meminfo: memFree=93348348/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3378572 CPUtime=3600.07 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 408961 0 0 0 359719 288 0 0 20 0 1 0 176776445 3790602240 844643 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 844643 986 2550 0 922395 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3378572 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.2 s, system=2.90027 s

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

[startup+3613.5 s]
/proc/loadavg: 4.15 4.14 4.10 5/264 921982
/proc/meminfo: memFree=93348348/131524600 swapFree=131071996/131071996
[pid=919437] ppid=919434 vsize=3701760 memory=3378572 CPUtime=3600.07 cores=0,2
/proc/919437/stat : 919437 (CASHWMaxSAT-Dis) R 919434 919437 916308 0 -1 4194304 408961 0 0 0 359719 288 0 0 20 0 1 0 176776445 3790602240 844643 134679101440 4194304 14636349 140725630148384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 16575728 16655184 50946048 140725630153698 140725630153814 140725630153814 140725630160830 0
/proc/919437/statm: 925440 844643 986 2550 0 922395 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 3701760 KiB
Current children cumulated memory: 3378572 KiB

Child status: 0

Real time (s): 3613.52
CPU time (s): 3600.1
CPU user time (s): 3597.2
CPU system time (s): 2.90027
CPU usage (%): 99.6286
Max. virtual memory (cumulated for all children) (KiB): 4260560
Max. memory (cumulated for all children) (KiB): 3704548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.2
system time used= 2.90027
maximum resident set size= 3704548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194
involuntary context switches= 24671


# summary of solver processes directly reported to runsolver:
#   pid: 919437
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.2
#   total CPU system time (s): 2.90027

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05276 second user time and 17.1165 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2024-07-17 21:55:42
IDJOB=4439706
IDBENCH=157943
IDSOLVER=3076
FILE ID=nodeC020/4439706-1721246129
RUNJOBID= nodeC020-1721240644-916318
SLURM_JOB_ID= 7508994
Free space on /tmp= 889980 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_fibo_20null10mast_rapportOE1.0_TMAX180_K192_cod1.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439706-1721246129/watcher-4439706-1721246129 -o /tmp/evaluation-result-4439706-1721246129/solver-4439706-1721246129 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1721240644-916318 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4439706-1721246129.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= f42bed8b206e9691e6e5fc670f14b50f
RANDOM SEED=2136265342

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		: 3653.347
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	: 7000.05
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		: 3687.233
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.84
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		: 3677.673
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	: 7000.05
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.296
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.84
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		: 3677.555
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	: 7000.05
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		: 3687.235
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.84
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		: 3618.832
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	: 7000.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123927700 kB
MemAvailable:   124468260 kB
Buffers:          473700 kB
Cached:           907100 kB
SwapCached:            0 kB
Active:           836416 kB
Inactive:        6159100 kB
Active(anon):       1568 kB
Inactive(anon):  5650864 kB
Active(file):     834848 kB
Inactive(file):   508236 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             44388 kB
Writeback:             4 kB
AnonPages:       5612020 kB
Mapped:           116692 kB
Shmem:             37720 kB
KReclaimable:      74596 kB
Slab:             180340 kB
SReclaimable:      74596 kB
SUnreclaim:       105744 kB
KernelStack:        4112 kB
PageTables:        20260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    6523392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            64256 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3514368 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:      189140 kB
DirectMap2M:    15312896 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889992 MiB
End job on nodeC020 at 2024-07-17 22:55:56