Trace number 4439308

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-DisjCad-S 2024-07-10? (TO) 3600.17 3609.3

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
MD5SUMc394902a34a3ecc31aded0750ee67503
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-43018
Best CPU time to get the best result obtained on this benchmark72001.1
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 170372
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 105742757
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 105742757
Number of bits of the biggest sum of numbers27
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

23.74/23.86	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
23.74/23.86	c Do: 140727633830664 140727633830672
3600.07/3609.20	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: 64059 MiB (62348 MiB free)
  memory of node 1: 64510 MiB (55231 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439308-1721251580/watcher-4439308-1721251580 -o /tmp/evaluation-result-4439308-1721251580/solver-4439308-1721251580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721244358-920493 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4439308-1721251580.opb -total-t=3600 -no-par -v0 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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=924675, runsolver pid=924672

[startup+0.100237 s]*
/proc/loadavg: 4.69 4.40 4.25 6/245 924676
/proc/meminfo: memFree=120368352/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=39504 memory=24676 CPUtime=0.09 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 5902 0 0 0 8 1 0 0 20 0 1 0 177316060 40452096 6169 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 9876 6169 878 2594 0 6769 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39504 KiB
Current children cumulated memory: 24676 KiB

[startup+0.213235 s]*
/proc/loadavg: 4.69 4.40 4.25 5/245 924676
/proc/meminfo: memFree=120333260/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=81536 memory=65304 CPUtime=0.21 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 14505 0 0 0 17 4 0 0 20 0 1 0 177316060 83492864 16326 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 20384 16326 878 2594 0 17277 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 81536 KiB
Current children cumulated memory: 65304 KiB

[startup+0.313343 s]*
/proc/loadavg: 4.69 4.40 4.25 5/245 924676
/proc/meminfo: memFree=120282768/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=107604 memory=90708 CPUtime=0.32 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 19316 0 0 0 27 5 0 0 20 0 1 0 177316060 110186496 22677 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 26901 22677 878 2594 0 23794 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 107604 KiB
Current children cumulated memory: 90708 KiB

[startup+0.700322 s]
/proc/loadavg: 4.69 4.40 4.25 5/245 924676
/proc/meminfo: memFree=120236640/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=125280 memory=109452 CPUtime=0.69 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 24017 0 0 0 63 6 0 0 20 0 1 0 177316060 128286720 27363 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 31320 27363 878 2594 0 28213 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 125280 KiB
Current children cumulated memory: 109452 KiB

[startup+1.50032 s]
/proc/loadavg: 4.69 4.40 4.25 5/245 924676
/proc/meminfo: memFree=120153640/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=236616 memory=217320 CPUtime=1.48 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 43813 0 0 0 138 10 0 0 20 0 1 0 177316060 242294784 54330 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 59154 54330 878 2594 0 56047 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 236616 KiB
Current children cumulated memory: 217320 KiB

[startup+3.11314 s]
/proc/loadavg: 4.69 4.40 4.25 5/245 924678
/proc/meminfo: memFree=119679096/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=446452 memory=428864 CPUtime=3.09 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 93679 0 0 0 290 19 0 0 20 0 1 0 177316060 457166848 107216 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 111613 107216 878 2594 0 108506 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 446452 KiB
Current children cumulated memory: 428864 KiB

[startup+6.3003 s]
/proc/loadavg: 4.63 4.40 4.25 5/245 924678
/proc/meminfo: memFree=119099180/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=819800 memory=802620 CPUtime=6.27 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 175800 0 0 0 595 32 0 0 20 0 1 0 177316060 839475200 200655 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 204950 200655 926 2594 0 201843 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 819800 KiB
Current children cumulated memory: 802620 KiB

[startup+12.7003 s]
/proc/loadavg: 4.58 4.39 4.25 5/245 924678
/proc/meminfo: memFree=118645984/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=1395412 memory=1323296 CPUtime=12.66 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 213580 0 0 0 1220 46 0 0 20 0 1 0 177316060 1428901888 330824 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 348853 330824 926 2594 0 345746 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1395412 KiB
Current children cumulated memory: 1323296 KiB

[startup+25.5004 s]
/proc/loadavg: 4.45 4.37 4.24 5/245 924681
/proc/meminfo: memFree=116242020/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=3697868 memory=3513716 CPUtime=25.43 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 444463 0 0 0 2417 126 0 0 20 0 1 0 177316060 3786616832 878429 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 924467 878429 974 2594 0 921360 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 3697868 KiB
Current children cumulated memory: 3513716 KiB

[startup+51.1131 s]
/proc/loadavg: 4.30 4.34 4.23 5/245 924684
/proc/meminfo: memFree=116096528/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=3922236 memory=3666768 CPUtime=50.98 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 468491 0 0 0 4964 134 0 0 20 0 1 0 177316060 4016369664 916692 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 980559 916692 990 2594 0 977452 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 3922236 KiB
Current children cumulated memory: 3666768 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.32 4.23 5/245 924693
/proc/meminfo: memFree=115398548/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=4521560 memory=4266064 CPUtime=102.05 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 481729 0 0 0 9999 206 0 0 20 0 1 0 177316060 4630077440 1066516 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1130390 1066516 990 2594 0 1127283 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 4521560 KiB
Current children cumulated memory: 4266064 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.27 4.22 5/245 924918
/proc/meminfo: memFree=120820976/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=3636812 memory=3230568 CPUtime=161.9 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 494230 0 0 0 15913 277 0 0 20 0 1 0 177316060 3724095488 807642 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 909203 807642 1006 2594 0 906096 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 3636812 KiB
Current children cumulated memory: 3230568 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.25 4.21 5/245 924973
/proc/meminfo: memFree=119789320/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=3636812 memory=3230580 CPUtime=221.78 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 494589 0 0 0 21737 441 0 0 20 0 1 0 177316060 3724095488 807645 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 909203 807645 1006 2594 0 906096 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 3636812 KiB
Current children cumulated memory: 3230580 KiB

[startup+282.3 s]
/proc/loadavg: 4.56 4.33 4.24 5/243 925086
/proc/meminfo: memFree=120158704/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=3636812 memory=3230580 CPUtime=281.67 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 494750 0 0 0 27428 739 0 0 20 0 1 0 177316060 3724095488 807645 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 909203 807645 1006 2594 0 906096 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 3636812 KiB
Current children cumulated memory: 3230580 KiB

[startup+342.3 s]
/proc/loadavg: 4.55 4.39 4.27 5/242 925096
/proc/meminfo: memFree=120038788/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=3636812 memory=3230580 CPUtime=341.56 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 494830 0 0 0 33086 1070 0 0 20 0 1 0 177316060 3724095488 807645 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 909203 807645 1006 2594 0 906096 0
Current children cumulated CPU time: 341.56 s
Current children cumulated vsize: 3636812 KiB
Current children cumulated memory: 3230580 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.33 4.26 5/242 925108
/proc/meminfo: memFree=119963256/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=3636812 memory=3230580 CPUtime=401.46 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 494897 0 0 0 38695 1451 0 0 20 0 1 0 177316060 3724095488 807645 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 909203 807645 1006 2594 0 906096 0
Current children cumulated CPU time: 401.46 s
Current children cumulated vsize: 3636812 KiB
Current children cumulated memory: 3230580 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.30 4.25 5/242 925118
/proc/meminfo: memFree=119870268/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=3636812 memory=3230580 CPUtime=461.33 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 499856 0 0 0 44308 1825 0 0 20 0 1 0 177316060 3724095488 807645 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 909203 807645 1006 2594 0 906096 0

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

Current children cumulated memory: 4707492 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.14 4.16 5/243 926669
/proc/meminfo: memFree=115386916/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=5203716 memory=4709644 CPUtime=2855.27 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1056188 0 0 0 282971 2556 0 0 20 0 1 0 177316060 5328605184 1177411 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1300929 1177411 1006 2594 0 1297822 0
Current children cumulated CPU time: 2855.27 s
Current children cumulated vsize: 5203716 KiB
Current children cumulated memory: 4709644 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.13 4.15 5/243 926680
/proc/meminfo: memFree=115300384/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=5281520 memory=4724648 CPUtime=2915.12 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1067229 0 0 0 288911 2601 0 0 20 0 1 0 177316060 5408276480 1181162 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1320380 1181162 1006 2594 0 1317273 0
Current children cumulated CPU time: 2915.12 s
Current children cumulated vsize: 5281520 KiB
Current children cumulated memory: 4724648 KiB

[startup+2982.3 s]
/proc/loadavg: 3.95 4.09 4.13 4/234 926722
/proc/meminfo: memFree=119651212/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=4838108 memory=4471576 CPUtime=2974.97 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1073023 0 0 0 294856 2641 0 0 20 0 1 0 177316060 4954222592 1117894 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1209527 1117894 1006 2594 0 1206420 0
Current children cumulated CPU time: 2974.97 s
Current children cumulated vsize: 4838108 KiB
Current children cumulated memory: 4471576 KiB

[startup+3042.3 s]
/proc/loadavg: 3.40 3.90 4.06 4/234 926733
/proc/meminfo: memFree=119360016/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=4826516 memory=4459856 CPUtime=3034.82 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1075538 0 0 0 300833 2649 0 0 20 0 1 0 177316060 4942352384 1114964 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1206629 1114964 1006 2594 0 1203522 0
Current children cumulated CPU time: 3034.82 s
Current children cumulated vsize: 4826516 KiB
Current children cumulated memory: 4459856 KiB

[startup+3102.3 s]
/proc/loadavg: 3.26 3.77 4.00 4/234 926743
/proc/meminfo: memFree=119593716/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=4826516 memory=4459984 CPUtime=3094.67 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1076021 0 0 0 306817 2650 0 0 20 0 1 0 177316060 4942352384 1114996 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1206629 1114996 1006 2594 0 1203522 0
Current children cumulated CPU time: 3094.67 s
Current children cumulated vsize: 4826516 KiB
Current children cumulated memory: 4459984 KiB

[startup+3162.3 s]
/proc/loadavg: 3.15 3.64 3.95 4/234 926754
/proc/meminfo: memFree=119399892/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=5103744 memory=4626396 CPUtime=3154.51 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1086898 0 0 0 312748 2703 0 0 20 0 1 0 177316060 5226233856 1156599 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1275936 1156599 1006 2594 0 1272829 0
Current children cumulated CPU time: 3154.51 s
Current children cumulated vsize: 5103744 KiB
Current children cumulated memory: 4626396 KiB

[startup+3222.3 s]
/proc/loadavg: 3.09 3.54 3.89 4/234 926765
/proc/meminfo: memFree=118889148/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=5459836 memory=4990468 CPUtime=3214.37 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1095350 0 0 0 318688 2749 0 0 20 0 1 0 177316060 5590872064 1247617 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1364959 1247617 1006 2594 0 1361852 0
Current children cumulated CPU time: 3214.37 s
Current children cumulated vsize: 5459836 KiB
Current children cumulated memory: 4990468 KiB

[startup+3282.3 s]
/proc/loadavg: 3.23 3.50 3.85 4/237 926780
/proc/meminfo: memFree=119426748/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=4932116 memory=4574140 CPUtime=3274.21 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1097573 0 0 0 324668 2753 0 0 20 0 1 0 177316060 5050486784 1143535 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1233029 1143535 1006 2594 0 1229922 0
Current children cumulated CPU time: 3274.21 s
Current children cumulated vsize: 4932116 KiB
Current children cumulated memory: 4574140 KiB

[startup+3342.3 s]
/proc/loadavg: 3.08 3.40 3.80 4/237 926790
/proc/meminfo: memFree=119423272/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=4932116 memory=4574140 CPUtime=3334.04 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1098181 0 0 0 330650 2754 0 0 20 0 1 0 177316060 5050486784 1143535 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1233029 1143535 1006 2594 0 1229922 0
Current children cumulated CPU time: 3334.04 s
Current children cumulated vsize: 4932116 KiB
Current children cumulated memory: 4574140 KiB

[startup+3402.3 s]
/proc/loadavg: 3.14 3.36 3.76 4/237 926802
/proc/meminfo: memFree=119227468/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=4834732 memory=4521188 CPUtime=3393.85 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1099174 0 0 0 336625 2760 0 0 20 0 1 0 177316060 4950765568 1130297 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1208683 1130297 1006 2594 0 1205576 0
Current children cumulated CPU time: 3393.85 s
Current children cumulated vsize: 4834732 KiB
Current children cumulated memory: 4521188 KiB

[startup+3462.3 s]
/proc/loadavg: 3.11 3.31 3.71 4/237 926812
/proc/meminfo: memFree=119316572/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=4834732 memory=4522692 CPUtime=3453.66 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1100083 0 0 0 342605 2761 0 0 20 0 1 0 177316060 4950765568 1130673 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1208683 1130673 1006 2594 0 1205576 0
Current children cumulated CPU time: 3453.66 s
Current children cumulated vsize: 4834732 KiB
Current children cumulated memory: 4522692 KiB

[startup+3522.3 s]
/proc/loadavg: 3.08 3.26 3.67 4/237 926824
/proc/meminfo: memFree=119125276/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=4834732 memory=4524740 CPUtime=3513.46 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1107013 0 0 0 348567 2779 0 0 20 0 1 0 177316060 4950765568 1131185 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1208683 1131185 1006 2594 0 1205576 0
Current children cumulated CPU time: 3513.46 s
Current children cumulated vsize: 4834732 KiB
Current children cumulated memory: 4524740 KiB

[startup+3582.3 s]
/proc/loadavg: 3.14 3.25 3.64 4/237 927219
/proc/meminfo: memFree=118720332/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=5418540 memory=4928236 CPUtime=3573.26 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1169644 0 0 0 354515 2811 0 0 20 0 1 0 177316060 5548584960 1232059 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1354635 1232059 1006 2594 0 1351528 0
Current children cumulated CPU time: 3573.26 s
Current children cumulated vsize: 5418540 KiB
Current children cumulated memory: 4928236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 3.16 3.24 3.62 3/229 927255
/proc/meminfo: memFree=121070448/131655788 swapFree=131071996/131071996
[pid=924675] ppid=924672 vsize=5424128 memory=4931688 CPUtime=3600.07 cores=4,6
/proc/924675/stat : 924675 (CASHWMaxSAT-Dis) R 924672 924675 920482 0 -1 4194304 1170932 0 0 0 357196 2811 0 0 20 0 1 0 177316060 5554307072 1232922 134679101440 4194304 14817773 140727633833072 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 50802688 140727633834980 140727633835095 140727633835095 140727633842111 0
/proc/924675/statm: 1356032 1232922 1006 2594 0 1352925 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 5424128 KiB
Current children cumulated memory: 4931688 KiB

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

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

# cumulated CPU time of all completed processes:  user=3571.96 s, system=28.2086 s

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

Child status: 0

Real time (s): 3609.3
CPU time (s): 3600.17
CPU user time (s): 3571.96
CPU system time (s): 28.2086
CPU usage (%): 99.7472
Max. virtual memory (cumulated for all children) (KiB): 6023420
Max. memory (cumulated for all children) (KiB): 5355988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3571.96
system time used= 28.2086
maximum resident set size= 5357632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1170932
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= 184
involuntary context switches= 2114


# summary of solver processes directly reported to runsolver:
#   pid: 924675
#   total CPU time (s): 3600.17
#   total CPU user time (s): 3571.96
#   total CPU system time (s): 28.2086

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7409 second user time and 34.305 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-17 23:26:32
IDJOB=4439308
IDBENCH=158125
IDSOLVER=3075
FILE ID=nodeC002/4439308-1721251580
RUNJOBID= nodeC002-1721244358-920493
SLURM_JOB_ID= 7509018
Free space on /tmp= 723652 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_50null10mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439308-1721251580/watcher-4439308-1721251580 -o /tmp/evaluation-result-4439308-1721251580/solver-4439308-1721251580 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721244358-920493 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4439308-1721251580.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= c394902a34a3ecc31aded0750ee67503
RANDOM SEED=1121047847

nodeC002.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		: 3635.694
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.38
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		: 3670.104
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.31
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.337
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.38
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.204
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.31
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		: 1373.468
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.38
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		: 3582.276
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.31
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		: 1381.081
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.38
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        120413308 kB
MemAvailable:   121805724 kB
Buffers:          489468 kB
Cached:          1731736 kB
SwapCached:            0 kB
Active:           907380 kB
Inactive:        9756680 kB
Active(anon):       2692 kB
Inactive(anon):  8477864 kB
Active(file):     904688 kB
Inactive(file):  1278816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             85236 kB
Writeback:             0 kB
AnonPages:       8440624 kB
Mapped:           116876 kB
Shmem:             37704 kB
KReclaimable:      97884 kB
Slab:             198284 kB
SReclaimable:      97884 kB
SUnreclaim:       100400 kB
KernelStack:        3936 kB
PageTables:        25520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    8897276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57728 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2029568 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:      205640 kB
DirectMap2M:    21719040 kB
DirectMap1G:    114294784 kB

Free space on /tmp at the end= 723712 MiB
End job on nodeC002 at 2024-07-18 00:26:42