Trace number 4439515

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.08 3610.5

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_18.opb
MD5SUM175cf8fd081870b89b1494469c4bb17a
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 benchmark293
Best CPU time to get the best result obtained on this benchmark3600.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8883
Total number of constraints17459
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 constraints17459
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 2691
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 

77.67/77.96	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
77.67/77.96	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.07/3610.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62251 MiB free)
  memory of node 1: 64510 MiB (62412 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4439515-1721220273/watcher-4439515-1721220273 -o /tmp/evaluation-result-4439515-1721220273/solver-4439515-1721220273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721218474-895018 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4439515-1721220273.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
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=896202, runsolver pid=896199

[startup+0.100104 s]*
/proc/loadavg: 4.08 4.10 4.00 5/244 896203
/proc/meminfo: memFree=127645324/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=32476 memory=13600 CPUtime=0.1 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 2699 0 0 0 10 0 0 0 20 0 1 0 174184265 33255424 3400 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 8119 3400 794 2550 0 5074 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32476 KiB
Current children cumulated memory: 13600 KiB

[startup+0.213218 s]*
/proc/loadavg: 4.08 4.10 4.00 6/244 896203
/proc/meminfo: memFree=127638760/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=40936 memory=21216 CPUtime=0.22 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 3072 0 0 0 21 1 0 0 20 0 1 0 174184265 41918464 5304 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 10234 5304 794 2550 0 7189 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 40936 KiB
Current children cumulated memory: 21216 KiB

[startup+0.313357 s]*
/proc/loadavg: 4.08 4.10 4.00 5/244 896203
/proc/meminfo: memFree=127633972/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=57732 memory=25508 CPUtime=0.31 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 3669 0 0 0 30 1 0 0 20 0 1 0 174184265 59117568 6377 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 14433 6377 794 2550 0 11388 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 57732 KiB
Current children cumulated memory: 25508 KiB

[startup+0.700342 s]
/proc/loadavg: 4.08 4.10 4.00 5/244 896203
/proc/meminfo: memFree=127525444/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=126176 memory=94684 CPUtime=0.69 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 8615 0 0 0 66 3 0 0 20 0 1 0 174184265 129204224 23671 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 31544 23671 922 2550 0 28499 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 126176 KiB
Current children cumulated memory: 94684 KiB

[startup+1.50035 s]
/proc/loadavg: 4.15 4.12 4.01 5/244 896203
/proc/meminfo: memFree=127269388/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=172200 memory=140620 CPUtime=1.48 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 20114 0 0 0 143 5 0 0 20 0 1 0 174184265 176332800 35155 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 43050 35155 922 2550 0 40005 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 172200 KiB
Current children cumulated memory: 140620 KiB

[startup+3.11303 s]
/proc/loadavg: 4.15 4.12 4.01 5/244 896204
/proc/meminfo: memFree=126398224/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=340136 memory=298776 CPUtime=3.09 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 32240 0 0 0 300 9 0 0 20 0 1 0 174184265 348299264 74694 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 85034 74694 970 2550 0 81989 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 340136 KiB
Current children cumulated memory: 298776 KiB

[startup+6.30034 s]
/proc/loadavg: 4.14 4.12 4.01 5/244 896205
/proc/meminfo: memFree=125530504/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1000936 memory=907360 CPUtime=6.27 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 67749 0 0 0 601 26 0 0 20 0 1 0 174184265 1024958464 226840 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 16386 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 250234 226840 970 2550 0 247189 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1000936 KiB
Current children cumulated memory: 907360 KiB

[startup+12.7003 s]
/proc/loadavg: 4.13 4.11 4.01 5/244 896205
/proc/meminfo: memFree=125256020/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1209864 memory=1044688 CPUtime=12.66 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 77362 0 0 0 1232 34 0 0 20 0 1 0 174184265 1238900736 261172 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 302466 261172 970 2550 0 299421 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1209864 KiB
Current children cumulated memory: 1044688 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.11 4.01 5/244 896207
/proc/meminfo: memFree=125235880/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1009744 CPUtime=25.41 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 80510 0 0 0 2503 38 0 0 20 0 1 0 174184265 1163321344 252436 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 252436 986 2550 0 280969 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1009744 KiB

[startup+51.1132 s]
/proc/loadavg: 4.14 4.11 4.01 5/244 896211
/proc/meminfo: memFree=125015000/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1009756 CPUtime=50.95 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 80761 0 0 0 5057 38 0 0 20 0 1 0 174184265 1163321344 252439 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 252439 986 2550 0 280969 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1009756 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.11 4.01 5/242 896220
/proc/meminfo: memFree=124285700/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1011828 CPUtime=102 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 81103 0 0 0 10161 39 0 0 20 0 1 0 174184265 1163321344 252957 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 252957 986 2550 0 280969 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1011828 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 4.09 4.00 5/242 896230
/proc/meminfo: memFree=124209224/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1011836 CPUtime=161.81 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 81302 0 0 0 16142 39 0 0 20 0 1 0 174184265 1163321344 252959 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 252959 986 2550 0 280969 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1011836 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.12 4.02 5/242 896241
/proc/meminfo: memFree=124161252/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1013884 CPUtime=221.63 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 81532 0 0 0 22124 39 0 0 20 0 1 0 174184265 1163321344 253471 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 253471 986 2550 0 280969 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1013884 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.13 4.02 5/241 896251
/proc/meminfo: memFree=124108640/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1013884 CPUtime=281.45 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 81700 0 0 0 28106 39 0 0 20 0 1 0 174184265 1163321344 253471 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 253471 986 2550 0 280969 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1013884 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.02 5/241 896261
/proc/meminfo: memFree=124010820/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1015932 CPUtime=341.27 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 81869 0 0 0 34088 39 0 0 20 0 1 0 174184265 1163321344 253983 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 253983 986 2550 0 280969 0
Current children cumulated CPU time: 341.27 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1015932 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/243 896276
/proc/meminfo: memFree=123972524/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1015932 CPUtime=401.09 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 82721 0 0 0 40070 39 0 0 20 0 1 0 174184265 1163321344 253983 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 253983 986 2550 0 280969 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1015932 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/243 896286
/proc/meminfo: memFree=123939892/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1015932 CPUtime=460.92 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 82892 0 0 0 46053 39 0 0 20 0 1 0 174184265 1163321344 253983 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0

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

Current children cumulated memory: 1034592 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.16 4.18 5/246 897997
/proc/meminfo: memFree=123555936/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1036640 CPUtime=2913.85 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 91490 0 0 0 291337 48 0 0 20 0 1 0 174184265 1163321344 259160 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 259160 986 2550 0 280969 0
Current children cumulated CPU time: 2913.85 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1036640 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.14 4.17 5/245 898008
/proc/meminfo: memFree=123566584/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1038688 CPUtime=2973.68 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 91765 0 0 0 297320 48 0 0 20 0 1 0 174184265 1163321344 259672 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 259672 986 2550 0 280969 0
Current children cumulated CPU time: 2973.68 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1038688 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.13 4.16 5/245 898019
/proc/meminfo: memFree=123564240/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1040736 CPUtime=3033.5 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 92043 0 0 0 303302 48 0 0 20 0 1 0 174184265 1163321344 260184 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 260184 986 2550 0 280969 0
Current children cumulated CPU time: 3033.5 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1040736 KiB

[startup+3102.3 s]
/proc/loadavg: 4.43 4.20 4.19 5/241 898029
/proc/meminfo: memFree=123561412/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1042784 CPUtime=3093.33 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 92320 0 0 0 309285 48 0 0 20 0 1 0 174184265 1163321344 260696 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 260696 986 2550 0 280969 0
Current children cumulated CPU time: 3093.33 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1042784 KiB

[startup+3162.3 s]
/proc/loadavg: 4.57 4.30 4.22 5/241 898039
/proc/meminfo: memFree=123550568/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1042784 CPUtime=3153.16 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 92597 0 0 0 315268 48 0 0 20 0 1 0 174184265 1163321344 260696 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 260696 986 2550 0 280969 0
Current children cumulated CPU time: 3153.16 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1042784 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.26 4.21 5/241 898051
/proc/meminfo: memFree=123546420/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1046880 CPUtime=3212.98 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 92874 0 0 0 321250 48 0 0 20 0 1 0 174184265 1163321344 261720 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 261720 986 2550 0 280969 0
Current children cumulated CPU time: 3212.98 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1046880 KiB

[startup+3282.3 s]
/proc/loadavg: 4.26 4.26 4.21 5/241 898061
/proc/meminfo: memFree=123562296/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1023148 CPUtime=3272.81 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 93251 0 0 0 327230 51 0 0 20 0 1 0 174184265 1163321344 255787 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 255787 986 2550 0 280969 0
Current children cumulated CPU time: 3272.81 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1023148 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.24 4.20 5/241 898071
/proc/meminfo: memFree=123557368/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1025196 CPUtime=3332.64 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 93521 0 0 0 333213 51 0 0 20 0 1 0 174184265 1163321344 256299 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 256299 986 2550 0 280969 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1025196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.22 4.20 5/243 898086
/proc/meminfo: memFree=123557528/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1027244 CPUtime=3392.46 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 93790 0 0 0 339195 51 0 0 20 0 1 0 174184265 1163321344 256811 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 256811 986 2550 0 280969 0
Current children cumulated CPU time: 3392.46 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1027244 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.19 4.19 5/243 898096
/proc/meminfo: memFree=123544856/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1029292 CPUtime=3452.29 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 94060 0 0 0 345178 51 0 0 20 0 1 0 174184265 1163321344 257323 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 257323 986 2550 0 280969 0
Current children cumulated CPU time: 3452.29 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1029292 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/243 898106
/proc/meminfo: memFree=123543316/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1031340 CPUtime=3512.11 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 94335 0 0 0 351160 51 0 0 20 0 1 0 174184265 1163321344 257835 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 257835 986 2550 0 280969 0
Current children cumulated CPU time: 3512.11 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1031340 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/244 898118
/proc/meminfo: memFree=123559128/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1033388 CPUtime=3571.94 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 94608 0 0 0 357143 51 0 0 20 0 1 0 174184265 1163321344 258347 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 258347 986 2550 0 280969 0
Current children cumulated CPU time: 3571.94 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1033388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.10 4.17 4.17 5/244 898171
/proc/meminfo: memFree=125839600/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1033388 CPUtime=3600.07 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 94789 0 0 0 359955 52 0 0 20 0 1 0 174184265 1163321344 258347 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 258347 986 2550 0 280969 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1033388 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.55 s, system=0.523281 s

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

[startup+3610.5 s]
/proc/loadavg: 4.10 4.17 4.17 5/244 898171
/proc/meminfo: memFree=125839600/131655788 swapFree=131071996/131071996
[pid=896202] ppid=896199 vsize=1136056 memory=1033388 CPUtime=3600.07 cores=5,7
/proc/896202/stat : 896202 (CASHWMaxSAT-Dis) R 896199 896202 895005 0 -1 4194304 94789 0 0 0 359955 52 0 0 20 0 1 0 174184265 1163321344 258347 134679101440 4194304 14636349 140735671601056 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 16575728 16655184 44064768 140735671608290 140735671608406 140735671608406 140735671615422 0
/proc/896202/statm: 284014 258347 986 2550 0 280969 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 1136056 KiB
Current children cumulated memory: 1033388 KiB

Child status: 0

Real time (s): 3610.5
CPU time (s): 3600.08
CPU user time (s): 3599.55
CPU system time (s): 0.523281
CPU usage (%): 99.7112
Max. virtual memory (cumulated for all children) (KiB): 1369548
Max. memory (cumulated for all children) (KiB): 1187720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.55
system time used= 0.523281
maximum resident set size= 1187720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94789
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= 85
involuntary context switches= 1115


# summary of solver processes directly reported to runsolver:
#   pid: 896202
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3599.55
#   total CPU system time (s): 0.523281

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.1552 second user time and 32.016 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-17 14:44:46
IDJOB=4439515
IDBENCH=147625
IDSOLVER=3076
FILE ID=nodeC012/4439515-1721220273
RUNJOBID= nodeC012-1721218474-895018
SLURM_JOB_ID= 7508943
Free space on /tmp= 723732 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.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-4439515-1721220273/watcher-4439515-1721220273 -o /tmp/evaluation-result-4439515-1721220273/solver-4439515-1721220273 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1721218474-895018 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4439515-1721220273.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 175cf8fd081870b89b1494469c4bb17a
RANDOM SEED=854689125

nodeC012.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		: 3668.826
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	: 6984.37
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		: 3492.186
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.32
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.343
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	: 6984.37
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.515
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.32
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		: 3654.236
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	: 6984.37
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		: 3492.203
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.32
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.648
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	: 6984.37
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.324
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.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127656012 kB
MemAvailable:   129509372 kB
Buffers:          455588 kB
Cached:          2220688 kB
SwapCached:            0 kB
Active:           901332 kB
Inactive:        2527656 kB
Active(anon):       1464 kB
Inactive(anon):   788624 kB
Active(file):     899868 kB
Inactive(file):  1739032 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             46664 kB
Writeback:             0 kB
AnonPages:        750908 kB
Mapped:           123472 kB
Shmem:             37704 kB
KReclaimable:     108980 kB
Slab:             209496 kB
SReclaimable:     108980 kB
SUnreclaim:       100516 kB
KernelStack:        3984 kB
PageTables:        10404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1109940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            55456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    329728 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:      303944 kB
DirectMap2M:    33155072 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC012 at 2024-07-17 15:44:56