Trace number 4439307

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.13 3608.25

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 

24.22/24.38	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
24.22/24.38	c Do: 140724436017944 140724436017952
3600.08/3608.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 (50304 MiB free)
  memory of node 1: 64510 MiB (58529 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=924075, runsolver pid=924072

[startup+0.10099 s]*
/proc/loadavg: 4.15 4.12 4.16 5/244 924076
/proc/meminfo: memFree=111386608/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=39636 memory=24940 CPUtime=0.1 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 6482 0 0 0 8 2 0 0 20 0 1 0 177252154 40587264 6235 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 9909 6235 878 2594 0 6802 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 24940 KiB

[startup+0.213303 s]*
/proc/loadavg: 4.15 4.12 4.16 5/244 924076
/proc/meminfo: memFree=111328776/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=97704 memory=82524 CPUtime=0.21 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 17777 0 0 0 17 4 0 0 20 0 1 0 177252154 100048896 20631 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 24459 20631 878 2594 0 21352 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 97704 KiB
Current children cumulated memory: 82524 KiB

[startup+0.313186 s]*
/proc/loadavg: 4.15 4.12 4.16 5/244 924076
/proc/meminfo: memFree=111268196/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=167228 memory=147092 CPUtime=0.31 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 24767 0 0 0 25 6 0 0 20 0 1 0 177252154 171241472 36773 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 41807 36773 878 2594 0 38700 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 167228 KiB
Current children cumulated memory: 147092 KiB

[startup+0.700356 s]
/proc/loadavg: 4.15 4.12 4.16 5/244 924076
/proc/meminfo: memFree=111224664/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=220064 memory=201132 CPUtime=0.68 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 35669 0 0 0 61 7 0 0 20 0 1 0 177252154 225345536 50283 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 55016 50283 878 2594 0 51909 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 220064 KiB
Current children cumulated memory: 201132 KiB

[startup+1.50033 s]
/proc/loadavg: 4.15 4.12 4.16 5/244 924076
/proc/meminfo: memFree=111130284/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=284844 memory=266340 CPUtime=1.47 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 51979 0 0 0 137 10 0 0 20 0 1 0 177252154 291680256 66585 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 71211 66585 878 2594 0 68104 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 284844 KiB
Current children cumulated memory: 266340 KiB

[startup+3.1127 s]
/proc/loadavg: 4.13 4.12 4.16 5/242 924077
/proc/meminfo: memFree=110884568/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=502044 memory=483320 CPUtime=3.09 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 106248 0 0 0 292 17 0 0 20 0 1 0 177252154 514093056 120830 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 125511 120830 878 2594 0 122404 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 502044 KiB
Current children cumulated memory: 483320 KiB

[startup+6.30032 s]
/proc/loadavg: 4.13 4.12 4.16 5/241 924077
/proc/meminfo: memFree=110538432/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=916116 memory=883400 CPUtime=6.27 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 179163 0 0 0 597 30 0 0 20 0 1 0 177252154 938102784 220850 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 229029 220850 926 2594 0 225922 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 916116 KiB
Current children cumulated memory: 883400 KiB

[startup+12.7003 s]
/proc/loadavg: 4.12 4.12 4.16 5/241 924079
/proc/meminfo: memFree=110207696/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=1423408 memory=1353476 CPUtime=12.65 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 213760 0 0 0 1221 44 0 0 20 0 1 0 177252154 1457569792 338369 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 19490 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 355852 338369 926 2594 0 352745 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1423408 KiB
Current children cumulated memory: 1353476 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.11 4.16 5/241 924080
/proc/meminfo: memFree=108449988/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=2968936 memory=2880712 CPUtime=25.42 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 435836 0 0 0 2443 99 0 0 20 0 1 0 177252154 3040190464 720178 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 742234 720178 974 2594 0 739127 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2968936 KiB
Current children cumulated memory: 2880712 KiB

[startup+51.1129 s]
/proc/loadavg: 4.06 4.10 4.15 5/241 924084
/proc/meminfo: memFree=108511932/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=2968936 memory=2880712 CPUtime=50.97 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 435867 0 0 0 4997 100 0 0 20 0 1 0 177252154 3040190464 720178 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 742234 720178 974 2594 0 739127 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2968936 KiB
Current children cumulated memory: 2880712 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.10 4.15 5/241 924094
/proc/meminfo: memFree=108349444/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=3088332 memory=2959136 CPUtime=102.02 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 449814 0 0 0 10094 108 0 0 20 0 1 0 177252154 3162451968 739784 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 772083 739784 990 2594 0 768976 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 3088332 KiB
Current children cumulated memory: 2959136 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.09 4.14 5/241 924105
/proc/meminfo: memFree=106420060/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=3452676 memory=3323480 CPUtime=161.85 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 451246 0 0 0 16066 119 0 0 20 0 1 0 177252154 3535540224 830870 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 863169 830870 990 2594 0 860062 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 3452676 KiB
Current children cumulated memory: 3323480 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.10 4.14 5/241 924116
/proc/meminfo: memFree=108620812/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=2871120 memory=2818204 CPUtime=221.69 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 474854 0 0 0 21933 236 0 0 20 0 1 0 177252154 2940026880 704551 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 717780 704551 1006 2594 0 714673 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 2871120 KiB
Current children cumulated memory: 2818204 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.14 5/241 924127
/proc/meminfo: memFree=108129424/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=2871120 memory=2818204 CPUtime=281.57 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 474885 0 0 0 27771 386 0 0 20 0 1 0 177252154 2940026880 704551 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 717780 704551 1006 2594 0 714673 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 2871120 KiB
Current children cumulated memory: 2818204 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.13 4.14 5/245 924143
/proc/meminfo: memFree=108465356/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=2871120 memory=2818204 CPUtime=341.44 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 474935 0 0 0 33613 531 0 0 20 0 1 0 177252154 2940026880 704551 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 717780 704551 1006 2594 0 714673 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 2871120 KiB
Current children cumulated memory: 2818204 KiB

[startup+402.3 s]
/proc/loadavg: 4.42 4.18 4.16 5/245 924155
/proc/meminfo: memFree=108362608/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=2871120 memory=2818204 CPUtime=401.33 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 474989 0 0 0 39450 683 0 0 20 0 1 0 177252154 2940026880 704551 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 717780 704551 1006 2594 0 714673 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 2871120 KiB
Current children cumulated memory: 2818204 KiB

[startup+462.3 s]
/proc/loadavg: 4.61 4.30 4.20 5/245 924167
/proc/meminfo: memFree=108197640/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=2871120 memory=2818204 CPUtime=461.2 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 475035 0 0 0 45278 842 0 0 20 0 1 0 177252154 2940026880 704551 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 717780 704551 1006 2594 0 714673 0

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

Current children cumulated memory: 3146188 KiB

[startup+2862.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/244 926022
/proc/meminfo: memFree=117223656/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=3200724 memory=3128980 CPUtime=2856.14 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 602388 0 0 0 278866 6748 0 0 20 0 1 0 177252154 3277541376 782245 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 800181 782245 1006 2594 0 797074 0
Current children cumulated CPU time: 2856.14 s
Current children cumulated vsize: 3200724 KiB
Current children cumulated memory: 3128980 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.13 4.17 5/242 926032
/proc/meminfo: memFree=117412068/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=3156108 memory=3105444 CPUtime=2915.98 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 603990 0 0 0 284848 6750 0 0 20 0 1 0 177252154 3231854592 776361 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 789027 776361 1006 2594 0 785920 0
Current children cumulated CPU time: 2915.98 s
Current children cumulated vsize: 3156108 KiB
Current children cumulated memory: 3105444 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/243 926045
/proc/meminfo: memFree=117301044/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=3157412 memory=3106748 CPUtime=2975.83 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 605829 0 0 0 290830 6753 0 0 20 0 1 0 177252154 3233189888 776687 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 789353 776687 1006 2594 0 786246 0
Current children cumulated CPU time: 2975.83 s
Current children cumulated vsize: 3157412 KiB
Current children cumulated memory: 3106748 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/242 926056
/proc/meminfo: memFree=116589228/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=4107744 memory=3869552 CPUtime=3035.68 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 775166 0 0 0 296781 6787 0 0 20 0 1 0 177252154 4206329856 967388 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 1026936 967388 1006 2594 0 1023829 0
Current children cumulated CPU time: 3035.68 s
Current children cumulated vsize: 4107744 KiB
Current children cumulated memory: 3869552 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.16 5/242 926066
/proc/meminfo: memFree=116710888/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=3821264 memory=3732532 CPUtime=3095.51 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 785400 0 0 0 302759 6792 0 0 20 0 1 0 177252154 3912974336 933133 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 955316 933133 1006 2594 0 952209 0
Current children cumulated CPU time: 3095.51 s
Current children cumulated vsize: 3821264 KiB
Current children cumulated memory: 3732532 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/244 926090
/proc/meminfo: memFree=115879176/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=3769796 memory=3685316 CPUtime=3155.36 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 788018 0 0 0 308742 6794 0 0 20 0 1 0 177252154 3860271104 921329 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 942449 921329 1006 2594 0 939342 0
Current children cumulated CPU time: 3155.36 s
Current children cumulated vsize: 3769796 KiB
Current children cumulated memory: 3685316 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.12 4.15 5/246 926327
/proc/meminfo: memFree=116220148/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=3725996 memory=3663604 CPUtime=3215.2 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 790058 0 0 0 314724 6796 0 0 20 0 1 0 177252154 3815419904 915901 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 931499 915901 1006 2594 0 928392 0
Current children cumulated CPU time: 3215.2 s
Current children cumulated vsize: 3725996 KiB
Current children cumulated memory: 3663604 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.14 4.16 5/246 926338
/proc/meminfo: memFree=116105748/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=3725996 memory=3663604 CPUtime=3275.05 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 791249 0 0 0 320708 6797 0 0 20 0 1 0 177252154 3815419904 915901 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 931499 915901 1006 2594 0 928392 0
Current children cumulated CPU time: 3275.05 s
Current children cumulated vsize: 3725996 KiB
Current children cumulated memory: 3663604 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/247 926643
/proc/meminfo: memFree=115697764/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=4411292 memory=4195944 CPUtime=3334.9 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 929886 0 0 0 326665 6825 0 0 20 0 1 0 177252154 4517163008 1048986 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 1102823 1048986 1006 2594 0 1099716 0
Current children cumulated CPU time: 3334.9 s
Current children cumulated vsize: 4411292 KiB
Current children cumulated memory: 4195944 KiB

[startup+3402.3 s]
/proc/loadavg: 4.24 4.16 4.16 5/247 926654
/proc/meminfo: memFree=114756348/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=4775508 memory=4590088 CPUtime=3394.73 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 959092 0 0 0 332573 6900 0 0 20 0 1 0 177252154 4890120192 1147522 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 1193877 1147522 1006 2594 0 1190770 0
Current children cumulated CPU time: 3394.73 s
Current children cumulated vsize: 4775508 KiB
Current children cumulated memory: 4590088 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/245 926664
/proc/meminfo: memFree=115332220/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=4365352 memory=4177424 CPUtime=3454.58 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 966868 0 0 0 338555 6903 0 0 20 0 1 0 177252154 4470120448 1044356 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 1091338 1044356 1006 2594 0 1088231 0
Current children cumulated CPU time: 3454.58 s
Current children cumulated vsize: 4365352 KiB
Current children cumulated memory: 4177424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/243 926674
/proc/meminfo: memFree=115386988/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=4181380 memory=4109188 CPUtime=3514.4 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 969898 0 0 0 344534 6906 0 0 20 0 1 0 177252154 4281733120 1027297 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 1045345 1027297 1006 2594 0 1042238 0
Current children cumulated CPU time: 3514.4 s
Current children cumulated vsize: 4181380 KiB
Current children cumulated memory: 4109188 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.15 5/242 926685
/proc/meminfo: memFree=115323844/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=4181380 memory=4109188 CPUtime=3574.25 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 971252 0 0 0 350518 6907 0 0 20 0 1 0 177252154 4281733120 1027297 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 1045345 1027297 1006 2594 0 1042238 0
Current children cumulated CPU time: 3574.25 s
Current children cumulated vsize: 4181380 KiB
Current children cumulated memory: 4109188 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.2 s]
/proc/loadavg: 4.14 4.13 4.15 5/241 926689
/proc/meminfo: memFree=115726104/131655788 swapFree=131071996/131071996
[pid=924075] ppid=924072 vsize=4080192 memory=4007640 CPUtime=3600.08 cores=1,3
/proc/924075/stat : 924075 (CASHWMaxSAT-Dis) R 924072 924075 920482 0 -1 4194304 972178 0 0 0 353100 6908 0 0 20 0 1 0 177252154 4178116608 1001910 134679101440 4194304 14817773 140724436020352 0 0 0 0 0 8408098 0 0 0 17 1 0 0 0 0 0 16829744 16914832 47132672 140724436022244 140724436022359 140724436022359 140724436029375 0
/proc/924075/statm: 1020048 1001910 1006 2594 0 1016941 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 4080192 KiB
Current children cumulated memory: 4007640 KiB

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

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

# cumulated CPU time of all completed processes:  user=3531 s, system=69.1268 s

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

Child status: 0

Real time (s): 3608.25
CPU time (s): 3600.13
CPU user time (s): 3531
CPU system time (s): 69.1268
CPU usage (%): 99.7751
Max. virtual memory (cumulated for all children) (KiB): 5285588
Max. memory (cumulated for all children) (KiB): 4979364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531
system time used= 69.1268
maximum resident set size= 4982372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 972178
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= 42
involuntary context switches= 1654


# summary of solver processes directly reported to runsolver:
#   pid: 924075
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3531
#   total CPU system time (s): 69.1268

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6647 second user time and 34.178 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-17 23:15:53
IDJOB=4439307
IDBENCH=157490
IDSOLVER=3075
FILE ID=nodeC002/4439307-1721250941
RUNJOBID= nodeC002-1721244358-920494
SLURM_JOB_ID= 7509018
Free space on /tmp= 723608 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 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-DisjCad-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439307-1721250941/watcher-4439307-1721250941 -o /tmp/evaluation-result-4439307-1721250941/solver-4439307-1721250941 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721244358-920494 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4439307-1721250941.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= a5274e1c72a2d92e948354f429ab410b
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		: 3525.201
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		: 3277.894
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.203
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.169
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		: 3492.114
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		: 3527.492
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		: 1197.188
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.320
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:        111408284 kB
MemAvailable:   112838248 kB
Buffers:          489100 kB
Cached:          1769704 kB
SwapCached:            0 kB
Active:           948984 kB
Inactive:       18703368 kB
Active(anon):       2708 kB
Inactive(anon): 17428236 kB
Active(file):     946276 kB
Inactive(file):  1275132 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             45592 kB
Writeback:            12 kB
AnonPages:      17389672 kB
Mapped:           118600 kB
Shmem:             37704 kB
KReclaimable:      97176 kB
Slab:             197752 kB
SReclaimable:      97176 kB
SUnreclaim:       100576 kB
KernelStack:        3964 kB
PageTables:        43508 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:   18870168 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            57696 kB
HardwareCorrupted:     0 kB
AnonHugePages:  10805248 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= 723624 MiB
End job on nodeC002 at 2024-07-18 00:16:02