Trace number 4439110

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.06 3609.02

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_14.opb
MD5SUM850b351e493109d76788c3bb5eecff4d
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 benchmark141
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 variables3297
Total number of constraints6383
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 constraints6383
Minimum length of a constraint16
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1411
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.78/1.81	c Using cadical-2.0.0-2df7b7f SAT solver by Armin Biere (2022)
1.78/1.81	c Do: 140730504524488 140730504524496
3600.05/3609.01	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 (62742 MiB free)
  memory of node 1: 64510 MiB (62459 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=906543, runsolver pid=906540

[startup+0.107526 s]*
/proc/loadavg: 4.15 4.15 4.10 7/241 906544
/proc/meminfo: memFree=128186948/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=23060 memory=8696 CPUtime=0.11 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 1446 0 0 0 11 0 0 0 20 0 1 0 174386463 23613440 2174 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 5765 2174 878 2594 0 2658 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 23060 KiB
Current children cumulated memory: 8696 KiB

[startup+0.212926 s]*
/proc/loadavg: 4.15 4.15 4.10 6/241 906544
/proc/meminfo: memFree=128156820/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=33532 memory=19256 CPUtime=0.21 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 4065 0 0 0 21 0 0 0 20 0 1 0 174386463 34336768 4814 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 8383 4814 878 2594 0 5276 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33532 KiB
Current children cumulated memory: 19256 KiB

[startup+0.312729 s]*
/proc/loadavg: 4.15 4.15 4.10 5/241 906544
/proc/meminfo: memFree=128124704/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=43604 memory=29064 CPUtime=0.32 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 6537 0 0 0 31 1 0 0 20 0 1 0 174386463 44650496 7266 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 10901 7266 878 2594 0 7794 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 43604 KiB
Current children cumulated memory: 29064 KiB

[startup+0.700338 s]
/proc/loadavg: 4.15 4.15 4.10 6/235 906558
/proc/meminfo: memFree=128116028/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=83324 memory=67336 CPUtime=0.68 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 15800 0 0 0 66 2 0 0 20 0 1 0 174386463 85323776 16834 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 20831 16834 910 2594 0 17724 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 83324 KiB
Current children cumulated memory: 67336 KiB

[startup+1.50033 s]
/proc/loadavg: 4.15 4.15 4.10 5/238 906604
/proc/meminfo: memFree=128019644/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=257040 memory=225008 CPUtime=1.49 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 33369 0 0 0 142 7 0 0 20 0 1 0 174386463 263208960 56252 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 64260 56252 926 2594 0 61153 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 257040 KiB
Current children cumulated memory: 225008 KiB

[startup+3.11247 s]
/proc/loadavg: 4.15 4.15 4.10 5/241 906682
/proc/meminfo: memFree=127794248/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=368772 memory=323004 CPUtime=3.09 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 48782 0 0 0 299 10 0 0 20 0 1 0 174386463 377622528 80751 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 92193 80751 990 2594 0 89086 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 368772 KiB
Current children cumulated memory: 323004 KiB

[startup+6.3003 s]
/proc/loadavg: 4.30 4.18 4.11 5/239 906742
/proc/meminfo: memFree=127475508/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=370140 memory=323932 CPUtime=6.27 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 49089 0 0 0 617 10 0 0 20 0 1 0 174386463 379023360 80983 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 92535 80983 990 2594 0 89428 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 370140 KiB
Current children cumulated memory: 323932 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=906543] ppid=906540 vsize=420248 memory=374588 CPUtime=12.65 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 50752 0 0 0 1253 12 0 0 20 0 1 0 174386463 430333952 93647 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 105062 93647 990 2594 0 101955 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 420248 KiB
Current children cumulated memory: 374588 KiB

[startup+25.5003 s]
/proc/loadavg: 4.21 4.17 4.10 5/241 906961
/proc/meminfo: memFree=126982812/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=478436 memory=434348 CPUtime=25.42 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 58532 0 0 0 2525 17 0 0 20 0 1 0 174386463 489918464 108587 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 119609 108587 1006 2594 0 116502 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 478436 KiB
Current children cumulated memory: 434348 KiB

[startup+51.1123 s]
/proc/loadavg: 4.26 4.18 4.11 5/241 906966
/proc/meminfo: memFree=126789380/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=478788 memory=434760 CPUtime=50.97 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 60021 0 0 0 5076 21 0 0 20 0 1 0 174386463 490278912 108690 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 119697 108690 1006 2594 0 116590 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 478788 KiB
Current children cumulated memory: 434760 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=906543] ppid=906540 vsize=478400 memory=434440 CPUtime=102.02 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 60768 0 0 0 10179 23 0 0 20 0 1 0 174386463 489881600 108610 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 119600 108610 1006 2594 0 116493 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 478400 KiB
Current children cumulated memory: 434440 KiB

[startup+162.3 s]
/proc/loadavg: 4.22 4.18 4.11 6/243 906990
/proc/meminfo: memFree=126730576/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=496244 memory=452184 CPUtime=161.86 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 65251 0 0 0 16158 28 0 0 20 0 1 0 174386463 508153856 113046 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 124061 113046 1006 2594 0 120954 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 496244 KiB
Current children cumulated memory: 452184 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=906543] ppid=906540 vsize=495740 memory=451832 CPUtime=221.71 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 66724 0 0 0 22141 30 0 0 20 0 1 0 174386463 507637760 112958 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 123935 112958 1006 2594 0 120828 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 495740 KiB
Current children cumulated memory: 451832 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=906543] ppid=906540 vsize=496072 memory=452164 CPUtime=281.56 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 68135 0 0 0 28124 32 0 0 20 0 1 0 174386463 507977728 113041 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 124018 113041 1006 2594 0 120911 0
Current children cumulated CPU time: 281.56 s
Current children cumulated vsize: 496072 KiB
Current children cumulated memory: 452164 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=906543] ppid=906540 vsize=508768 memory=463412 CPUtime=341.41 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 71095 0 0 0 34106 35 0 0 20 0 1 0 174386463 520978432 115853 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 127192 115853 1006 2594 0 124085 0
Current children cumulated CPU time: 341.41 s
Current children cumulated vsize: 508768 KiB
Current children cumulated memory: 463412 KiB

[startup+402.3 s]
/proc/loadavg: 4.22 4.31 4.18 5/243 907032
/proc/meminfo: memFree=126477268/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=740004 memory=674620 CPUtime=401.26 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 85643 0 0 0 40083 43 0 0 20 0 1 0 174386463 757764096 168655 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 185001 168655 1006 2594 0 181894 0
Current children cumulated CPU time: 401.26 s
Current children cumulated vsize: 740004 KiB
Current children cumulated memory: 674620 KiB

[startup+462.3 s]
/proc/loadavg: 4.29 4.32 4.19 5/243 907428
/proc/meminfo: memFree=126470480/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=621812 memory=578060 CPUtime=461.1 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 89171 0 0 0 46062 48 0 0 20 0 1 0 174386463 636735488 144515 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 155453 144515 1006 2594 0 152346 0

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

Current children cumulated memory: 740520 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=906543] ppid=906540 vsize=793516 memory=752476 CPUtime=2855.19 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 182973 0 0 0 285395 124 0 0 20 0 1 0 174386463 812560384 188119 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198379 188119 1006 2594 0 195272 0
Current children cumulated CPU time: 2855.19 s
Current children cumulated vsize: 793516 KiB
Current children cumulated memory: 752476 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=906543] ppid=906540 vsize=793516 memory=752532 CPUtime=2915 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 183299 0 0 0 291376 124 0 0 20 0 1 0 174386463 812560384 188133 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198379 188133 1006 2594 0 195272 0
Current children cumulated CPU time: 2915 s
Current children cumulated vsize: 793516 KiB
Current children cumulated memory: 752532 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.20 4.17 5/241 908691
/proc/meminfo: memFree=125377320/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=793628 memory=753792 CPUtime=2974.84 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 184174 0 0 0 297360 124 0 0 20 0 1 0 174386463 812675072 188448 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198407 188448 1006 2594 0 195300 0
Current children cumulated CPU time: 2974.84 s
Current children cumulated vsize: 793628 KiB
Current children cumulated memory: 753792 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=906543] ppid=906540 vsize=793744 memory=760052 CPUtime=3034.69 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 185456 0 0 0 303343 126 0 0 20 0 1 0 174386463 812793856 190013 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198436 190013 1006 2594 0 195329 0
Current children cumulated CPU time: 3034.69 s
Current children cumulated vsize: 793744 KiB
Current children cumulated memory: 760052 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=906543] ppid=906540 vsize=793744 memory=760052 CPUtime=3094.55 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 185740 0 0 0 309329 126 0 0 20 0 1 0 174386463 812793856 190013 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198436 190013 1006 2594 0 195329 0
Current children cumulated CPU time: 3094.55 s
Current children cumulated vsize: 793744 KiB
Current children cumulated memory: 760052 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=906543] ppid=906540 vsize=793824 memory=760132 CPUtime=3154.4 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 186143 0 0 0 315313 127 0 0 20 0 1 0 174386463 812875776 190033 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198456 190033 1006 2594 0 195349 0
Current children cumulated CPU time: 3154.4 s
Current children cumulated vsize: 793824 KiB
Current children cumulated memory: 760132 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=906543] ppid=906540 vsize=793824 memory=760132 CPUtime=3214.26 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 186428 0 0 0 321299 127 0 0 20 0 1 0 174386463 812875776 190033 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198456 190033 1006 2594 0 195349 0
Current children cumulated CPU time: 3214.26 s
Current children cumulated vsize: 793824 KiB
Current children cumulated memory: 760132 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.15 6/244 908750
/proc/meminfo: memFree=125375800/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=832688 memory=798904 CPUtime=3274.12 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 187844 0 0 0 327283 129 0 0 20 0 1 0 174386463 852672512 199726 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 208172 199726 1006 2594 0 205065 0
Current children cumulated CPU time: 3274.12 s
Current children cumulated vsize: 832688 KiB
Current children cumulated memory: 798904 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=906543] ppid=906540 vsize=794216 memory=760524 CPUtime=3333.97 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 188878 0 0 0 333267 130 0 0 20 0 1 0 174386463 813277184 190131 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198554 190131 1006 2594 0 195447 0
Current children cumulated CPU time: 3333.97 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 760524 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=906543] ppid=906540 vsize=794216 memory=760524 CPUtime=3393.83 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 189257 0 0 0 339253 130 0 0 20 0 1 0 174386463 813277184 190131 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198554 190131 1006 2594 0 195447 0
Current children cumulated CPU time: 3393.83 s
Current children cumulated vsize: 794216 KiB
Current children cumulated memory: 760524 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.14 5/241 908783
/proc/meminfo: memFree=125359968/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=794484 memory=760792 CPUtime=3453.68 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 189813 0 0 0 345237 131 0 0 20 0 1 0 174386463 813551616 190198 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198621 190198 1006 2594 0 195514 0
Current children cumulated CPU time: 3453.68 s
Current children cumulated vsize: 794484 KiB
Current children cumulated memory: 760792 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=906543] ppid=906540 vsize=794164 memory=760472 CPUtime=3513.54 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 190800 0 0 0 351221 133 0 0 20 0 1 0 174386463 813223936 190118 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198541 190118 1006 2594 0 195434 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 794164 KiB
Current children cumulated memory: 760472 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=906543] ppid=906540 vsize=832784 memory=788760 CPUtime=3573.39 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 191512 0 0 0 357206 133 0 0 20 0 1 0 174386463 852770816 197190 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 208196 197190 1006 2594 0 205089 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 832784 KiB
Current children cumulated memory: 788760 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 4.15 4.12 4.13 5/241 908809
/proc/meminfo: memFree=125349708/131655788 swapFree=131071996/131071996
[pid=906543] ppid=906540 vsize=794300 memory=760608 CPUtime=3600.05 cores=4,6
/proc/906543/stat : 906543 (CASHWMaxSAT-Dis) R 906540 906543 904489 0 -1 4194304 192396 0 0 0 359870 135 0 0 20 0 1 0 174386463 813363200 190152 134679101440 4194304 14817773 140730504526896 0 0 0 0 0 8408098 0 0 0 17 4 0 0 0 0 0 16829744 16914832 40038400 140730504528868 140730504528983 140730504528983 140730504535999 0
/proc/906543/statm: 198575 190152 1006 2594 0 195468 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 794300 KiB
Current children cumulated memory: 760608 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.7 s, system=1.35487 s

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

Child status: 0

Real time (s): 3609.02
CPU time (s): 3600.06
CPU user time (s): 3598.7
CPU system time (s): 1.35487
CPU usage (%): 99.7518
Max. virtual memory (cumulated for all children) (KiB): 902588
Max. memory (cumulated for all children) (KiB): 854680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.7
system time used= 1.35487
maximum resident set size= 854680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192396
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= 141
involuntary context switches= 1769


# summary of solver processes directly reported to runsolver:
#   pid: 906543
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.7
#   total CPU system time (s): 1.35487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6648 second user time and 34.4677 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-17 15:18:17
IDJOB=4439110
IDBENCH=147627
IDSOLVER=3075
FILE ID=nodeC002/4439110-1721222284
RUNJOBID= nodeC002-1721218686-904500
SLURM_JOB_ID= 7508947
Free space on /tmp= 723752 MiB

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

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

MD5SUM BENCH= 850b351e493109d76788c3bb5eecff4d
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		: 3618.242
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		: 3491.706
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.349
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.157
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		: 3491.699
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		: 3292.168
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.159
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.173
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:        128211872 kB
MemAvailable:   129484640 kB
Buffers:          471720 kB
Cached:          1631232 kB
SwapCached:            0 kB
Active:           793332 kB
Inactive:        2091956 kB
Active(anon):       2724 kB
Inactive(anon):   817308 kB
Active(file):     790608 kB
Inactive(file):  1274648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             46636 kB
Writeback:             0 kB
AnonPages:        780540 kB
Mapped:           119552 kB
Shmem:             37704 kB
KReclaimable:      95084 kB
Slab:             194504 kB
SReclaimable:      95084 kB
SUnreclaim:        99420 kB
KernelStack:        3808 kB
PageTables:        10724 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:26