Trace number 4439111

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.12 3610.41

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_17.opb
MD5SUMb48e8711e48bf421c56e401ff58b5422
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 benchmark248
Best CPU time to get the best result obtained on this benchmark3600.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7089
Total number of constraints13888
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints13888
Minimum length of a constraint18
Maximum length of a constraint37
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2621
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

4.28/4.38	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
4.28/4.38	c Do: 140730643665688 140730643665696
3600.09/3610.40	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 (62737 MiB free)
  memory of node 1: 64510 MiB (62491 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=906455, runsolver pid=906452

[startup+0.100562 s]*
/proc/loadavg: 4.15 4.15 4.10 4/236 906474
/proc/meminfo: memFree=128238300/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=22792 memory=8312 CPUtime=0.1 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 1350 0 0 0 10 0 0 0 20 0 1 0 174386423 23339008 2078 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 5698 2078 878 2594 0 2591 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 22792 KiB
Current children cumulated memory: 8312 KiB

[startup+0.212304 s]*
/proc/loadavg: 4.15 4.15 4.10 5/235 906480
/proc/meminfo: memFree=128227288/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=33692 memory=19400 CPUtime=0.2 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 4081 0 0 0 20 0 0 0 20 0 1 0 174386423 34500608 4850 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 8423 4850 878 2594 0 5316 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 33692 KiB
Current children cumulated memory: 19400 KiB

[startup+0.311667 s]*
/proc/loadavg: 4.15 4.15 4.10 4/230 906519
/proc/meminfo: memFree=128244648/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=43476 memory=28904 CPUtime=0.31 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 6514 0 0 0 30 1 0 0 20 0 1 0 174386423 44519424 7226 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 10869 7226 878 2594 0 7762 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 43476 KiB
Current children cumulated memory: 28904 KiB

[startup+0.700319 s]
/proc/loadavg: 4.15 4.15 4.10 7/241 906544
/proc/meminfo: memFree=128187620/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=77840 memory=63220 CPUtime=0.69 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 15108 0 0 0 66 3 0 0 20 0 1 0 174386423 79708160 15805 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 19460 15805 878 2594 0 16353 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 77840 KiB
Current children cumulated memory: 63220 KiB

[startup+1.50029 s]
/proc/loadavg: 4.15 4.15 4.10 4/235 906577
/proc/meminfo: memFree=128116360/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=175280 memory=151952 CPUtime=1.49 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 30108 0 0 0 142 7 0 0 20 0 1 0 174386423 179486720 37988 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 43820 37988 910 2594 0 40713 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 175280 KiB
Current children cumulated memory: 151952 KiB

[startup+3.11249 s]
/proc/loadavg: 4.15 4.15 4.10 4/238 906650
/proc/meminfo: memFree=127943968/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=373192 memory=331784 CPUtime=3.09 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 48865 0 0 0 296 13 0 0 20 0 1 0 174386423 382148608 82946 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 19490 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 93298 82946 926 2594 0 90191 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 373192 KiB
Current children cumulated memory: 331784 KiB

[startup+6.30027 s]
/proc/loadavg: 4.30 4.18 4.11 5/241 906728
/proc/meminfo: memFree=127247212/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=785104 memory=700564 CPUtime=6.27 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 91340 0 0 0 601 26 0 0 20 0 1 0 174386423 803946496 175141 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 196276 175141 990 2594 0 193169 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 785104 KiB
Current children cumulated memory: 700564 KiB

[startup+12.7003 s]
/proc/loadavg: 4.27 4.17 4.10 5/241 906822
/proc/meminfo: memFree=127208684/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=813196 memory=728684 CPUtime=12.64 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 94744 0 0 0 1236 28 0 0 20 0 1 0 174386423 832712704 182171 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 203299 182171 990 2594 0 200192 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 813196 KiB
Current children cumulated memory: 728684 KiB

[startup+25.5004 s]
/proc/loadavg: 4.21 4.17 4.10 5/241 906961
/proc/meminfo: memFree=127087864/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1029784 memory=947096 CPUtime=25.39 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 100183 0 0 0 2504 35 0 0 20 0 1 0 174386423 1054498816 236774 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 257446 236774 990 2594 0 254339 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 1029784 KiB
Current children cumulated memory: 947096 KiB

[startup+51.1129 s]
/proc/loadavg: 4.26 4.18 4.11 5/241 906966
/proc/meminfo: memFree=126789380/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=927752 memory=845964 CPUtime=50.91 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 108033 0 0 0 5041 50 0 0 20 0 1 0 174386423 950018048 211491 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 231938 211491 1006 2594 0 228831 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 927752 KiB
Current children cumulated memory: 845964 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.17 4.10 5/241 906976
/proc/meminfo: memFree=126741308/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=949724 memory=869980 CPUtime=101.95 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 110892 0 0 0 10137 58 0 0 20 0 1 0 174386423 972517376 217495 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 237431 217495 1006 2594 0 234324 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 949724 KiB
Current children cumulated memory: 869980 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.18 4.11 5/243 906990
/proc/meminfo: memFree=126730804/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=949528 memory=869864 CPUtime=161.78 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 111733 0 0 0 16118 60 0 0 20 0 1 0 174386423 972316672 217466 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 237382 217466 1006 2594 0 234275 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 949528 KiB
Current children cumulated memory: 869864 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.16 4.10 5/243 907000
/proc/meminfo: memFree=126707932/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=982388 memory=877060 CPUtime=221.6 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 114253 0 0 0 22096 64 0 0 20 0 1 0 174386423 1005965312 219265 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 245597 219265 1006 2594 0 242490 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 982388 KiB
Current children cumulated memory: 877060 KiB

[startup+282.3 s]
/proc/loadavg: 4.83 4.35 4.17 5/243 907011
/proc/meminfo: memFree=126701104/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=984880 memory=889812 CPUtime=281.42 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 114790 0 0 0 28076 66 0 0 20 0 1 0 174386423 1008517120 222453 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 246220 222453 1006 2594 0 243113 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 984880 KiB
Current children cumulated memory: 889812 KiB

[startup+342.3 s]
/proc/loadavg: 4.59 4.39 4.20 5/243 907021
/proc/meminfo: memFree=126530480/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=946520 memory=858512 CPUtime=341.23 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 117245 0 0 0 34051 72 0 0 20 0 1 0 174386423 969236480 214628 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 236630 214628 1006 2594 0 233523 0
Current children cumulated CPU time: 341.23 s
Current children cumulated vsize: 946520 KiB
Current children cumulated memory: 858512 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.31 4.18 5/243 907032
/proc/meminfo: memFree=126537504/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=970732 memory=882620 CPUtime=401.07 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 119444 0 0 0 40032 75 0 0 20 0 1 0 174386423 994029568 220655 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 242683 220655 1006 2594 0 239576 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 970732 KiB
Current children cumulated memory: 882620 KiB

[startup+462.3 s]
/proc/loadavg: 4.29 4.32 4.19 5/243 907428
/proc/meminfo: memFree=126426356/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=969644 memory=881636 CPUtime=460.92 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 120011 0 0 0 46015 77 0 0 20 0 1 0 174386423 992915456 220409 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 242411 220409 1006 2594 0 239304 0

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

Current children cumulated memory: 1209228 KiB

[startup+2862.3 s]
/proc/loadavg: 4.14 4.24 4.17 5/241 908670
/proc/meminfo: memFree=125581208/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1290964 memory=1209228 CPUtime=2853.96 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 226483 0 0 0 285233 163 0 0 20 0 1 0 174386423 1321947136 302307 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 322741 302307 1006 2594 0 319634 0
Current children cumulated CPU time: 2853.96 s
Current children cumulated vsize: 1290964 KiB
Current children cumulated memory: 1209228 KiB

[startup+2922.3 s]
/proc/loadavg: 4.16 4.22 4.17 5/241 908681
/proc/meminfo: memFree=125327536/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1657432 memory=1512688 CPUtime=2913.8 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 268263 0 0 0 291204 176 0 0 20 0 1 0 174386423 1697210368 378172 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 414358 378172 1006 2594 0 411251 0
Current children cumulated CPU time: 2913.8 s
Current children cumulated vsize: 1657432 KiB
Current children cumulated memory: 1512688 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/241 908691
/proc/meminfo: memFree=125225620/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1622720 memory=1535076 CPUtime=2973.64 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 269992 0 0 0 297186 178 0 0 20 0 1 0 174386423 1661665280 383769 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 405680 383769 1006 2594 0 402573 0
Current children cumulated CPU time: 2973.64 s
Current children cumulated vsize: 1622720 KiB
Current children cumulated memory: 1535076 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.19 4.17 5/241 908701
/proc/meminfo: memFree=125374044/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1547400 memory=1443108 CPUtime=3033.5 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 273407 0 0 0 303169 181 0 0 20 0 1 0 174386423 1584537600 360777 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 386850 360777 1006 2594 0 383743 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 1547400 KiB
Current children cumulated memory: 1443108 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.17 4.16 5/241 908714
/proc/meminfo: memFree=125329976/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1546932 memory=1442704 CPUtime=3093.33 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 274797 0 0 0 309150 183 0 0 20 0 1 0 174386423 1584058368 360676 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 386733 360676 1006 2594 0 383626 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 1546932 KiB
Current children cumulated memory: 1442704 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/244 908729
/proc/meminfo: memFree=125394788/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1510904 memory=1426028 CPUtime=3153.17 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 276911 0 0 0 315131 186 0 0 20 0 1 0 174386423 1547165696 356507 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 377726 356507 1006 2594 0 374619 0
Current children cumulated CPU time: 3153.17 s
Current children cumulated vsize: 1510904 KiB
Current children cumulated memory: 1426028 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.16 5/244 908739
/proc/meminfo: memFree=125373996/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1532032 memory=1447788 CPUtime=3213.03 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 278782 0 0 0 321114 189 0 0 20 0 1 0 174386423 1568800768 361947 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 383008 361947 1006 2594 0 379901 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 1532032 KiB
Current children cumulated memory: 1447788 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.15 5/244 908750
/proc/meminfo: memFree=125375780/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1504900 memory=1403532 CPUtime=3272.87 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 279856 0 0 0 327096 191 0 0 20 0 1 0 174386423 1541017600 350883 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 376225 350883 1006 2594 0 373118 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 1504900 KiB
Current children cumulated memory: 1403532 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.14 5/244 908760
/proc/meminfo: memFree=125332408/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1523000 memory=1438416 CPUtime=3332.72 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 280797 0 0 0 333080 192 0 0 20 0 1 0 174386423 1559552000 359604 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 380750 359604 1006 2594 0 377643 0
Current children cumulated CPU time: 3332.72 s
Current children cumulated vsize: 1523000 KiB
Current children cumulated memory: 1438416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/244 908771
/proc/meminfo: memFree=125327244/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1522156 memory=1437572 CPUtime=3392.55 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 281741 0 0 0 339062 193 0 0 20 0 1 0 174386423 1558687744 359393 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 380539 359393 1006 2594 0 377432 0
Current children cumulated CPU time: 3392.55 s
Current children cumulated vsize: 1522156 KiB
Current children cumulated memory: 1437572 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/241 908783
/proc/meminfo: memFree=125359960/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1522156 memory=1437572 CPUtime=3452.39 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 282181 0 0 0 345046 193 0 0 20 0 1 0 174386423 1558687744 359393 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 380539 359393 1006 2594 0 377432 0
Current children cumulated CPU time: 3452.39 s
Current children cumulated vsize: 1522156 KiB
Current children cumulated memory: 1437572 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/241 908793
/proc/meminfo: memFree=125358620/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1523044 memory=1438460 CPUtime=3512.23 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 282788 0 0 0 351027 196 0 0 20 0 1 0 174386423 1559597056 359615 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 380761 359615 1006 2594 0 377654 0
Current children cumulated CPU time: 3512.23 s
Current children cumulated vsize: 1523044 KiB
Current children cumulated memory: 1438460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.12 4.13 5/241 908804
/proc/meminfo: memFree=125323756/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1559424 memory=1443088 CPUtime=3572.07 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 284741 0 0 0 357008 199 0 0 20 0 1 0 174386423 1596850176 360772 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 389856 360772 1006 2594 0 386749 0
Current children cumulated CPU time: 3572.07 s
Current children cumulated vsize: 1559424 KiB
Current children cumulated memory: 1443088 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.15 4.12 4.13 5/241 908855
/proc/meminfo: memFree=126104052/131655788 swapFree=131071996/131071996
[pid=906455] ppid=906452 vsize=1559424 memory=1443088 CPUtime=3600.09 cores=5,7
/proc/906455/stat : 906455 (CASHWMaxSAT-Dis) R 906452 906455 904489 0 -1 4194304 284873 0 0 0 359810 199 0 0 20 0 1 0 174386423 1596850176 360772 134679101440 4194304 14817773 140730643668096 0 0 0 0 0 8408098 0 0 0 17 5 0 0 0 0 0 16829744 16914832 30048256 140730643669988 140730643670103 140730643670103 140730643677119 0
/proc/906455/statm: 389856 360772 1006 2594 0 386749 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1559424 KiB
Current children cumulated memory: 1443088 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.11 s, system=2.00602 s

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

Child status: 0

Real time (s): 3610.41
CPU time (s): 3600.12
CPU user time (s): 3598.11
CPU system time (s): 2.00602
CPU usage (%): 99.7148
Max. virtual memory (cumulated for all children) (KiB): 1753652
Max. memory (cumulated for all children) (KiB): 1610960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.11
system time used= 2.00602
maximum resident set size= 1610960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284873
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= 179
involuntary context switches= 1538


# summary of solver processes directly reported to runsolver:
#   pid: 906455
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3598.11
#   total CPU system time (s): 2.00602

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1658 second user time and 36.4851 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-17 15:18:16
IDJOB=4439111
IDBENCH=147626
IDSOLVER=3075
FILE ID=nodeC002/4439111-1721222284
RUNJOBID= nodeC002-1721218686-904502
SLURM_JOB_ID= 7508947
Free space on /tmp= 723736 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.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-4439111-1721222284/watcher-4439111-1721222284 -o /tmp/evaluation-result-4439111-1721222284/solver-4439111-1721222284 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721218686-904502 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4439111-1721222284.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= b48e8711e48bf421c56e401ff58b5422
RANDOM SEED=814928315

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		: 3667.439
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		: 3653.505
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.317
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.279
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		: 3577.914
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		: 3491.707
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.157
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.154
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:        128241840 kB
MemAvailable:   129513532 kB
Buffers:          471720 kB
Cached:          1630156 kB
SwapCached:            0 kB
Active:           814452 kB
Inactive:        2040844 kB
Active(anon):       2692 kB
Inactive(anon):   788424 kB
Active(file):     811760 kB
Inactive(file):  1252420 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             18000 kB
Writeback:             0 kB
AnonPages:        751616 kB
Mapped:           116284 kB
Shmem:             37704 kB
KReclaimable:      95084 kB
Slab:             194640 kB
SReclaimable:      95084 kB
SUnreclaim:        99556 kB
KernelStack:        3872 kB
PageTables:        11084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1187764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            56864 kB
HardwareCorrupted:     0 kB
AnonHugePages:    686080 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= 723720 MiB
End job on nodeC002 at 2024-07-17 16:18:27