Trace number 4439710

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.09 3609.78

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/NG/
normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_K192_cod1.opb
MD5SUMa5274e1c72a2d92e948354f429ab410b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-12494
Best CPU time to get the best result obtained on this benchmark1514.15
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 340553
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 185655820
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 185655820
Number of bits of the biggest sum of numbers28
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

812.08/814.36	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
812.08/814.36	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.00/3609.70	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 (61778 MiB free)
  memory of node 1: 64510 MiB (59777 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439710-1721245967/watcher-4439710-1721245967 -o /tmp/evaluation-result-4439710-1721245967/solver-4439710-1721245967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721242363-916386 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439710-1721245967.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=918433, runsolver pid=918430

[startup+0.100215 s]*
/proc/loadavg: 4.10 4.10 4.06 5/241 918434
/proc/meminfo: memFree=124480196/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=68844 memory=49796 CPUtime=0.1 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 5261 0 0 0 8 2 0 0 20 0 1 0 176755963 70496256 12449 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 17211 12449 794 2550 0 14166 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 68844 KiB
Current children cumulated memory: 49796 KiB

[startup+0.212806 s]*
/proc/loadavg: 4.10 4.10 4.06 5/241 918434
/proc/meminfo: memFree=124467224/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=77540 memory=58652 CPUtime=0.21 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 7572 0 0 0 19 2 0 0 20 0 1 0 176755963 79400960 14663 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 19385 14663 794 2550 0 16340 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 77540 KiB
Current children cumulated memory: 58652 KiB

[startup+0.312882 s]*
/proc/loadavg: 4.10 4.10 4.06 5/241 918434
/proc/meminfo: memFree=124451308/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=85560 memory=66068 CPUtime=0.31 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 9700 0 0 0 28 3 0 0 20 0 1 0 176755963 87613440 16517 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 21390 16517 794 2550 0 18345 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 85560 KiB
Current children cumulated memory: 66068 KiB

[startup+0.700286 s]
/proc/loadavg: 4.10 4.10 4.06 5/241 918434
/proc/meminfo: memFree=124402484/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=122392 memory=100592 CPUtime=0.68 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 18281 0 0 0 63 5 0 0 20 0 1 0 176755963 125329408 25148 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 30598 25148 794 2550 0 27553 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 122392 KiB
Current children cumulated memory: 100592 KiB

[startup+1.5003 s]
/proc/loadavg: 4.10 4.10 4.06 5/241 918434
/proc/meminfo: memFree=124356044/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=185284 memory=132972 CPUtime=1.49 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 20753 0 0 0 141 8 0 0 20 0 1 0 176755963 189730816 33243 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 46321 33243 794 2550 0 43276 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 185284 KiB
Current children cumulated memory: 132972 KiB

[startup+3.11259 s]
/proc/loadavg: 4.10 4.10 4.06 5/239 918456
/proc/meminfo: memFree=123680556/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=550700 memory=473624 CPUtime=3.09 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 39994 0 0 0 285 24 0 0 20 0 1 0 176755963 563916800 118406 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 137675 118406 842 2550 0 134630 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 550700 KiB
Current children cumulated memory: 473624 KiB

[startup+6.3003 s]
/proc/loadavg: 4.09 4.10 4.06 5/243 918467
/proc/meminfo: memFree=123307280/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=600684 memory=511996 CPUtime=6.27 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 43986 0 0 0 602 25 0 0 20 0 1 0 176755963 615100416 127999 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 150171 127999 890 2550 0 147126 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 600684 KiB
Current children cumulated memory: 511996 KiB

[startup+12.7003 s]
/proc/loadavg: 4.16 4.11 4.07 5/243 918469
/proc/meminfo: memFree=123079412/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=612996 memory=521244 CPUtime=12.65 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 44845 0 0 0 1240 25 0 0 20 0 1 0 176755963 627707904 130311 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 153249 130311 890 2550 0 150204 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 612996 KiB
Current children cumulated memory: 521244 KiB

[startup+25.5004 s]
/proc/loadavg: 4.12 4.11 4.07 5/243 918470
/proc/meminfo: memFree=122320312/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=616884 memory=525696 CPUtime=25.4 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 45051 0 0 0 2515 25 0 0 20 0 1 0 176755963 631689216 131424 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 154221 131424 890 2550 0 151176 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 616884 KiB
Current children cumulated memory: 525696 KiB

[startup+51.1127 s]
/proc/loadavg: 4.08 4.10 4.06 5/243 918473
/proc/meminfo: memFree=121086996/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=597132 memory=512156 CPUtime=50.93 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 48387 0 0 0 5067 26 0 0 20 0 1 0 176755963 611463168 128039 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 149283 128039 890 2550 0 146238 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 597132 KiB
Current children cumulated memory: 512156 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.10 4.07 5/243 918484
/proc/meminfo: memFree=109548968/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=4389724 memory=3988564 CPUtime=101.99 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 518248 0 0 0 10049 150 0 0 20 0 1 0 176755963 4495077376 997141 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1097431 997141 970 2550 0 1094386 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 4389724 KiB
Current children cumulated memory: 3988564 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 4.09 4.07 5/245 918878
/proc/meminfo: memFree=103903740/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=6822884 memory=6336180 CPUtime=161.84 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1105240 0 0 0 15930 254 0 0 20 0 1 0 176755963 6986633216 1584045 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1705721 1584045 970 2550 0 1702676 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 6822884 KiB
Current children cumulated memory: 6336180 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.09 4.07 5/243 918889
/proc/meminfo: memFree=100839748/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7996104 memory=7451768 CPUtime=221.7 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1384996 0 0 0 21862 308 0 0 20 0 1 0 176755963 8188010496 1862942 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1999026 1862942 970 2550 0 1995981 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 7996104 KiB
Current children cumulated memory: 7451768 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.07 5/243 918900
/proc/meminfo: memFree=98526640/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7997420 memory=7453008 CPUtime=281.53 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1385578 0 0 0 27842 311 0 0 20 0 1 0 176755963 8189358080 1863252 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1999355 1863252 970 2550 0 1996310 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 7997420 KiB
Current children cumulated memory: 7453008 KiB

[startup+342.3 s]
/proc/loadavg: 4.04 4.08 4.07 5/243 919078
/proc/meminfo: memFree=95869580/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=8000056 memory=7455480 CPUtime=341.37 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1386413 0 0 0 33823 314 0 0 20 0 1 0 176755963 8192057344 1863870 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 2000014 1863870 970 2550 0 1996969 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 8000056 KiB
Current children cumulated memory: 7455480 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.09 4.07 5/244 919090
/proc/meminfo: memFree=94653024/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=8000056 memory=7457776 CPUtime=401.21 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1386637 0 0 0 39804 317 0 0 20 0 1 0 176755963 8192057344 1864444 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 2000014 1864444 970 2550 0 1996969 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 8000056 KiB
Current children cumulated memory: 7457776 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/246 919104
/proc/meminfo: memFree=91500612/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=8005324 memory=7465096 CPUtime=461.06 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1387176 0 0 0 45786 320 0 0 20 0 1 0 176755963 8197451776 1866274 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 2001331 1866274 970 2550 0 1998286 0

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

Current children cumulated memory: 7371392 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.20 4.17 5/245 920307
/proc/meminfo: memFree=114581872/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7357516 CPUtime=2914.34 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1451523 0 0 0 290993 441 0 0 20 0 1 0 176755963 7978131456 1839379 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1839379 986 2550 0 1944741 0
Current children cumulated CPU time: 2914.34 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7357516 KiB

[startup+2982.3 s]
/proc/loadavg: 4.19 4.21 4.18 5/244 920318
/proc/meminfo: memFree=114525512/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7367240 CPUtime=2974.18 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1453873 0 0 0 296976 442 0 0 20 0 1 0 176755963 7978131456 1841810 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1841810 986 2550 0 1944741 0
Current children cumulated CPU time: 2974.18 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7367240 KiB

[startup+3042.3 s]
/proc/loadavg: 4.13 4.19 4.17 5/244 920328
/proc/meminfo: memFree=114533668/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7375432 CPUtime=3034.03 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1456268 0 0 0 302959 444 0 0 20 0 1 0 176755963 7978131456 1843858 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1843858 986 2550 0 1944741 0
Current children cumulated CPU time: 3034.03 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7375432 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.16 4.17 5/244 920339
/proc/meminfo: memFree=114516884/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7381660 CPUtime=3093.87 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1458349 0 0 0 308942 445 0 0 20 0 1 0 176755963 7978131456 1845415 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1845415 986 2550 0 1944741 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7381660 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.15 4.16 5/244 920349
/proc/meminfo: memFree=114433660/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7365192 CPUtime=3153.72 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1461118 0 0 0 314924 448 0 0 20 0 1 0 176755963 7978131456 1841298 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1841298 986 2550 0 1944741 0
Current children cumulated CPU time: 3153.72 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7365192 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/241 920360
/proc/meminfo: memFree=114541792/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7372792 CPUtime=3213.57 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1463468 0 0 0 320908 449 0 0 20 0 1 0 176755963 7978131456 1843198 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1843198 986 2550 0 1944741 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7372792 KiB

[startup+3282.3 s]
/proc/loadavg: 4.29 4.18 4.17 5/241 920370
/proc/meminfo: memFree=114496504/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7385856 CPUtime=3273.42 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1465549 0 0 0 326892 450 0 0 20 0 1 0 176755963 7978131456 1846464 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1846464 986 2550 0 1944741 0
Current children cumulated CPU time: 3273.42 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7385856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.16 4.17 5/241 920380
/proc/meminfo: memFree=114488060/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7400764 CPUtime=3333.26 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1467895 0 0 0 332875 451 0 0 20 0 1 0 176755963 7978131456 1850191 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1850191 986 2550 0 1944741 0
Current children cumulated CPU time: 3333.26 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7400764 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.13 4.15 5/241 920392
/proc/meminfo: memFree=114456748/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7392436 CPUtime=3393.11 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1470253 0 0 0 338856 455 0 0 20 0 1 0 176755963 7978131456 1848109 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1848109 986 2550 0 1944741 0
Current children cumulated CPU time: 3393.11 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7392436 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/243 920406
/proc/meminfo: memFree=114395168/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7402492 CPUtime=3452.95 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1472565 0 0 0 344840 455 0 0 20 0 1 0 176755963 7978131456 1850623 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1850623 986 2550 0 1944741 0
Current children cumulated CPU time: 3452.95 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7402492 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/243 920416
/proc/meminfo: memFree=114404856/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7410952 CPUtime=3512.81 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1474525 0 0 0 350824 457 0 0 20 0 1 0 176755963 7978131456 1852738 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1852738 986 2550 0 1944741 0
Current children cumulated CPU time: 3512.81 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7410952 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/243 920427
/proc/meminfo: memFree=114400436/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7419320 CPUtime=3572.66 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1476959 0 0 0 356809 457 0 0 20 0 1 0 176755963 7978131456 1854830 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1854830 986 2550 0 1944741 0
Current children cumulated CPU time: 3572.66 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7419320 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.05 4.10 4.14 5/243 920431
/proc/meminfo: memFree=114363148/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7423660 CPUtime=3600 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1477681 0 0 0 359542 458 0 0 20 0 1 0 176755963 7978131456 1855915 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1855915 986 2550 0 1944741 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7423660 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.42 s, system=4.66398 s

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

[startup+3609.7 s]
/proc/loadavg: 4.05 4.10 4.14 5/243 920431
/proc/meminfo: memFree=114363148/131655788 swapFree=131071996/131071996
[pid=918433] ppid=918430 vsize=7791144 memory=7423660 CPUtime=3600 cores=4,6
/proc/918433/stat : 918433 (CASHWMaxSAT-Dis) R 918430 918433 916375 0 -1 4194304 1477681 0 0 0 359542 458 0 0 20 0 1 0 176755963 7978131456 1855915 134679101440 4194304 14636349 140724266510288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 16575728 16655184 27148288 140724266517474 140724266517590 140724266517590 140724266524606 0
/proc/918433/statm: 1947786 1855915 986 2550 0 1944741 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 7791144 KiB
Current children cumulated memory: 7423660 KiB

Child status: 0

Real time (s): 3609.78
CPU time (s): 3600.09
CPU user time (s): 3595.42
CPU system time (s): 4.66398
CPU usage (%): 99.7314
Max. virtual memory (cumulated for all children) (KiB): 8244748
Max. memory (cumulated for all children) (KiB): 7692508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.42
system time used= 4.66398
maximum resident set size= 7692508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1477681
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= 367
involuntary context switches= 1830


# summary of solver processes directly reported to runsolver:
#   pid: 918433
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3595.42
#   total CPU system time (s): 4.66398

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6031 second user time and 34.7821 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-17 21:52:59
IDJOB=4439710
IDBENCH=157490
IDSOLVER=3076
FILE ID=nodeC010/4439710-1721245967
RUNJOBID= nodeC010-1721242363-916386
SLURM_JOB_ID= 7508998
Free space on /tmp= 723612 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/NG/normalized-NG.dot_unif_0null10mast_rapportOE1.0_TMAX15_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-4439710-1721245967/watcher-4439710-1721245967 -o /tmp/evaluation-result-4439710-1721245967/solver-4439710-1721245967 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721242363-916386 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4439710-1721245967.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= a5274e1c72a2d92e948354f429ab410b
RANDOM SEED=398459033

nodeC010.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		: 3640.672
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.51
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		: 1774.086
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.212
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.51
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		: 1222.791
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		: 1527.825
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.51
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		: 3618.344
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		: 1199.670
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.51
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.389
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:        124593312 kB
MemAvailable:   129341596 kB
Buffers:          471756 kB
Cached:          5060880 kB
SwapCached:            0 kB
Active:          1019436 kB
Inactive:        5379596 kB
Active(anon):       1440 kB
Inactive(anon):   902672 kB
Active(file):    1017996 kB
Inactive(file):  4476924 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            135184 kB
Writeback:             0 kB
AnonPages:        866468 kB
Mapped:           112260 kB
Shmem:             37704 kB
KReclaimable:     186788 kB
Slab:             296264 kB
SReclaimable:     186788 kB
SUnreclaim:       109476 kB
KernelStack:        3872 kB
PageTables:        10816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1216368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56096 kB
HardwareCorrupted:     0 kB
AnonHugePages:    487424 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:      234312 kB
DirectMap2M:    29030400 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723664 MiB
End job on nodeC010 at 2024-07-17 22:53:08