Trace number 4453699

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 NameAnswerCPU timeWall clock time
CASHWMaxSAT-DisjCad-S 2024-07-10? (TO) 3600.09 3609.4

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-1.opb
MD5SUMbf4b37d507499fefbc3983af658cb5f7
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.212983
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables11001
Total number of constraints11000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1310
Number of constraints which are nor clauses,nor cardinality constraints9690
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.09/3609.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: 63931 MiB (62506 MiB free)
  memory of node 1: 64510 MiB (63208 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4453699-1721489225/watcher-4453699-1721489225 -o /tmp/evaluation-result-4453699-1721489225/solver-4453699-1721489225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721489238-1062506 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4453699-1721489225.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=1062559, runsolver pid=1062551

[startup+0.100061 s]*
/proc/loadavg: 3.93 4.07 4.08 6/256 1062570
/proc/meminfo: memFree=128687672/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=38332 memory=23572 CPUtime=0.1 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 5877 0 0 0 10 0 0 0 20 0 1 0 201087456 39251968 5893 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 6 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 9583 5893 910 2594 0 6476 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38332 KiB
Current children cumulated memory: 23572 KiB

[startup+0.216075 s]*
/proc/loadavg: 3.93 4.07 4.08 5/256 1062570
/proc/meminfo: memFree=128661228/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=49604 memory=34868 CPUtime=0.21 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 9877 0 0 0 20 1 0 0 20 0 1 0 201087456 50794496 8717 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 12401 8717 990 2594 0 9294 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 49604 KiB
Current children cumulated memory: 34868 KiB

[startup+0.304885 s]*
/proc/loadavg: 3.93 4.07 4.08 5/256 1062570
/proc/meminfo: memFree=128658508/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=49888 memory=35380 CPUtime=0.3 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 10335 0 0 0 29 1 0 0 20 0 1 0 201087456 51085312 8845 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 12472 8845 990 2594 0 9365 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49888 KiB
Current children cumulated memory: 35380 KiB

[startup+0.700173 s]
/proc/loadavg: 3.93 4.07 4.08 5/256 1062570
/proc/meminfo: memFree=128656864/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=50404 memory=35700 CPUtime=0.69 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 10464 0 0 0 68 1 0 0 20 0 1 0 201087456 51613696 8925 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 12601 8925 1006 2594 0 9494 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50404 KiB
Current children cumulated memory: 35700 KiB

[startup+1.50021 s]
/proc/loadavg: 3.93 4.07 4.08 5/253 1062584
/proc/meminfo: memFree=128659592/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=51428 memory=36756 CPUtime=1.48 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 10720 0 0 0 147 1 0 0 20 0 1 0 201087456 52662272 9189 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 12857 9189 1006 2594 0 9750 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 51428 KiB
Current children cumulated memory: 36756 KiB

[startup+3.10613 s]
/proc/loadavg: 3.94 4.07 4.08 6/256 1062616
/proc/meminfo: memFree=128640600/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=54820 memory=40376 CPUtime=3.08 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 12098 0 0 0 307 1 0 0 20 0 1 0 201087456 56135680 10094 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 13705 10094 1006 2594 0 10598 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 54820 KiB
Current children cumulated memory: 40376 KiB

[startup+6.30017 s]
/proc/loadavg: 3.94 4.07 4.08 6/256 1062618
/proc/meminfo: memFree=128627988/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=61892 memory=47260 CPUtime=6.27 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 15990 0 0 0 625 2 0 0 20 0 1 0 201087456 63377408 11815 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 15473 11815 1006 2594 0 12366 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 61892 KiB
Current children cumulated memory: 47260 KiB

[startup+12.7002 s]
/proc/loadavg: 3.94 4.06 4.08 6/256 1062618
/proc/meminfo: memFree=128619144/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=65076 memory=50412 CPUtime=12.66 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 19612 0 0 0 1263 3 0 0 20 0 1 0 201087456 66637824 12603 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 16269 12603 1006 2594 0 13162 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 65076 KiB
Current children cumulated memory: 50412 KiB

[startup+25.5002 s]
/proc/loadavg: 4.04 4.08 4.08 6/256 1062711
/proc/meminfo: memFree=128605332/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=58824 memory=43588 CPUtime=25.41 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 27391 0 0 0 2536 5 0 0 20 0 1 0 201087456 60235776 10897 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 14706 10897 1006 2594 0 11599 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 58824 KiB
Current children cumulated memory: 43588 KiB

[startup+51.1061 s]
/proc/loadavg: 4.15 4.10 4.09 6/258 1062932
/proc/meminfo: memFree=128537884/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=87708 memory=73496 CPUtime=50.95 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 44033 0 0 0 5084 11 0 0 20 0 1 0 201087456 89812992 18374 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 21927 18374 1006 2594 0 18820 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 87708 KiB
Current children cumulated memory: 73496 KiB

[startup+102.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/258 1063031
/proc/meminfo: memFree=128490648/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=107404 memory=93312 CPUtime=102.03 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 47492 0 0 0 10191 12 0 0 20 0 1 0 201087456 109981696 23328 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 26851 23328 1006 2594 0 23744 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 107404 KiB
Current children cumulated memory: 93312 KiB

[startup+162.3 s]
/proc/loadavg: 4.14 4.10 4.09 6/258 1063042
/proc/meminfo: memFree=128418732/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=145660 memory=131620 CPUtime=161.85 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 53836 0 0 0 16171 14 0 0 20 0 1 0 201087456 149155840 32905 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 36415 32905 1006 2594 0 33308 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 145660 KiB
Current children cumulated memory: 131620 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.08 4.08 6/262 1063114
/proc/meminfo: memFree=128392876/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=144588 memory=130488 CPUtime=221.7 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 57600 0 0 0 22154 16 0 0 20 0 1 0 201087456 148058112 32622 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 36147 32622 1006 2594 0 33040 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 144588 KiB
Current children cumulated memory: 130488 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/262 1063169
/proc/meminfo: memFree=128386448/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=149928 memory=135776 CPUtime=281.52 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 65951 0 0 0 28130 22 0 0 20 0 1 0 201087456 153526272 33944 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 37482 33944 1006 2594 0 34375 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 149928 KiB
Current children cumulated memory: 135776 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/260 1063179
/proc/meminfo: memFree=128308152/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=163480 memory=149392 CPUtime=341.36 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 67348 0 0 0 34113 23 0 0 20 0 1 0 201087456 167403520 37348 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 40870 37348 1006 2594 0 37763 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 163480 KiB
Current children cumulated memory: 149392 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/258 1063190
/proc/meminfo: memFree=128308772/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=153064 memory=138736 CPUtime=401.19 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 71394 0 0 0 40095 24 0 0 20 0 1 0 201087456 156737536 34684 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 38266 34684 1006 2594 0 35159 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 153064 KiB
Current children cumulated memory: 138736 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/258 1063247
/proc/meminfo: memFree=128274636/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=208520 memory=194200 CPUtime=461.05 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 74098 0 0 0 46080 25 0 0 20 0 1 0 201087456 213524480 48550 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 52130 48550 1006 2594 0 49023 0

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

Current children cumulated memory: 339716 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.14 4.12 5/256 1064299
/proc/meminfo: memFree=127574516/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=365424 memory=351336 CPUtime=2854.77 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 285424 0 0 0 285067 410 0 0 20 0 1 0 201087456 374194176 87834 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 91356 87834 1006 2594 0 88249 0
Current children cumulated CPU time: 2854.77 s
Current children cumulated vsize: 365424 KiB
Current children cumulated memory: 351336 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.12 5/254 1064309
/proc/meminfo: memFree=127493844/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=366136 memory=352048 CPUtime=2914.62 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 288128 0 0 0 291045 417 0 0 20 0 1 0 201087456 374923264 88012 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 91534 88012 1006 2594 0 88427 0
Current children cumulated CPU time: 2914.62 s
Current children cumulated vsize: 366136 KiB
Current children cumulated memory: 352048 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.13 4.12 5/254 1064319
/proc/meminfo: memFree=127550744/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=376636 memory=362548 CPUtime=2974.48 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 291674 0 0 0 297023 425 0 0 20 0 1 0 201087456 385675264 90637 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 94159 90637 1006 2594 0 91052 0
Current children cumulated CPU time: 2974.48 s
Current children cumulated vsize: 376636 KiB
Current children cumulated memory: 362548 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/255 1064331
/proc/meminfo: memFree=127546944/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=377588 memory=363500 CPUtime=3034.33 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 294596 0 0 0 303001 432 0 0 20 0 1 0 201087456 386650112 90875 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 94397 90875 1006 2594 0 91290 0
Current children cumulated CPU time: 3034.33 s
Current children cumulated vsize: 377588 KiB
Current children cumulated memory: 363500 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.13 4.11 6/255 1064341
/proc/meminfo: memFree=127542128/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=378292 memory=364204 CPUtime=3094.19 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 297421 0 0 0 308979 440 0 0 20 0 1 0 201087456 387371008 91051 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 94573 91051 1006 2594 0 91466 0
Current children cumulated CPU time: 3094.19 s
Current children cumulated vsize: 378292 KiB
Current children cumulated memory: 364204 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.11 4.11 5/255 1064351
/proc/meminfo: memFree=127533968/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=379460 memory=365372 CPUtime=3154.04 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 300520 0 0 0 314956 448 0 0 20 0 1 0 201087456 388567040 91343 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 94865 91343 1006 2594 0 91758 0
Current children cumulated CPU time: 3154.04 s
Current children cumulated vsize: 379460 KiB
Current children cumulated memory: 365372 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/258 1064367
/proc/meminfo: memFree=127521944/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=385164 memory=371052 CPUtime=3213.9 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 303577 0 0 0 320935 455 0 0 20 0 1 0 201087456 394407936 92763 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 96291 92763 1006 2594 0 93184 0
Current children cumulated CPU time: 3213.9 s
Current children cumulated vsize: 385164 KiB
Current children cumulated memory: 371052 KiB

[startup+3282.3 s]
/proc/loadavg: 4.05 4.10 4.10 5/258 1064377
/proc/meminfo: memFree=127507036/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=386132 memory=372044 CPUtime=3273.77 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 306557 0 0 0 326914 463 0 0 20 0 1 0 201087456 395399168 93011 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 96533 93011 1006 2594 0 93426 0
Current children cumulated CPU time: 3273.77 s
Current children cumulated vsize: 386132 KiB
Current children cumulated memory: 372044 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.11 4.10 5/257 1064387
/proc/meminfo: memFree=127500092/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=387208 memory=373120 CPUtime=3333.62 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 309337 0 0 0 332891 471 0 0 20 0 1 0 201087456 396500992 93280 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 96802 93280 1006 2594 0 93695 0
Current children cumulated CPU time: 3333.62 s
Current children cumulated vsize: 387208 KiB
Current children cumulated memory: 373120 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/257 1064398
/proc/meminfo: memFree=127485244/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=387948 memory=373860 CPUtime=3393.47 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 311703 0 0 0 338870 477 0 0 20 0 1 0 201087456 397258752 93465 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 96987 93465 1006 2594 0 93880 0
Current children cumulated CPU time: 3393.47 s
Current children cumulated vsize: 387948 KiB
Current children cumulated memory: 373860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/257 1064409
/proc/meminfo: memFree=127477824/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=388896 memory=374808 CPUtime=3453.33 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 314848 0 0 0 344848 485 0 0 20 0 1 0 201087456 398229504 93702 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 97224 93702 1006 2594 0 94117 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 388896 KiB
Current children cumulated memory: 374808 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/254 1064802
/proc/meminfo: memFree=127470952/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=389584 memory=375496 CPUtime=3513.19 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 316703 0 0 0 350828 491 0 0 20 0 1 0 201087456 398934016 93874 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 97396 93874 1006 2594 0 94289 0
Current children cumulated CPU time: 3513.19 s
Current children cumulated vsize: 389584 KiB
Current children cumulated memory: 375496 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 1064812
/proc/meminfo: memFree=127462400/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=390476 memory=376388 CPUtime=3573.05 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 320317 0 0 0 356804 501 0 0 20 0 1 0 201087456 399847424 94097 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 97619 94097 1006 2594 0 94512 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 390476 KiB
Current children cumulated memory: 376388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.12 4.10 4.09 4/252 1064816
/proc/meminfo: memFree=127824992/131524600 swapFree=131071996/131071996
[pid=1062559] ppid=1062551 vsize=402552 memory=388420 CPUtime=3600.09 cores=4,6
/proc/1062559/stat : 1062559 (CASHWMaxSAT-Dis) R 1062551 1062559 1062495 0 -1 4194304 322601 0 0 0 359504 505 0 0 20 0 1 0 201087456 412213248 97105 134679101440 4194304 14817773 140727876155584 0 0 0 0 0 19490 0 0 0 17 4 0 0 0 0 0 16829744 16914832 53268480 140727876158435 140727876158550 140727876158550 140727876165567 0
/proc/1062559/statm: 100638 97105 1006 2594 0 97531 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 402552 KiB
Current children cumulated memory: 388420 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.04 s, system=5.0529 s

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

Child status: 0

Real time (s): 3609.4
CPU time (s): 3600.09
CPU user time (s): 3595.04
CPU system time (s): 5.0529
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 474320
Max. memory (cumulated for all children) (KiB): 460024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.04
system time used= 5.0529
maximum resident set size= 460024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 322601
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= 48
involuntary context switches= 2242


# summary of solver processes directly reported to runsolver:
#   pid: 1062559
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3595.04
#   total CPU system time (s): 5.0529

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.67433 second user time and 17.5097 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-20 17:27:18
IDJOB=4453699
IDBENCH=175780
IDSOLVER=3075
FILE ID=nodeC024/4453699-1721489225
RUNJOBID= nodeC024-1721489238-1062506
SLURM_JOB_ID= 7545783
Free space on /tmp= 890084 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2750.shuf-1.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-4453699-1721489225/watcher-4453699-1721489225 -o /tmp/evaluation-result-4453699-1721489225/solver-4453699-1721489225 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721489238-1062506 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4453699-1721489225.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= bf4b37d507499fefbc3983af658cb5f7
RANDOM SEED=843039455

nodeC024.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	: 0xb00002a
cpu MHz		: 3707.997
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
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	: 0xb00002a
cpu MHz		: 3738.172
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
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	: 0xb00002a
cpu MHz		: 3799.782
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
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	: 0xb00002a
cpu MHz		: 3857.109
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
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	: 0xb00002a
cpu MHz		: 3847.846
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
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	: 0xb00002a
cpu MHz		: 3690.778
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
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	: 0xb00002a
cpu MHz		: 3616.371
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 6999.60
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	: 0xb00002a
cpu MHz		: 3820.462
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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128733680 kB
MemAvailable:   129706568 kB
Buffers:          562416 kB
Cached:          1254232 kB
SwapCached:            0 kB
Active:          1097392 kB
Inactive:        1077712 kB
Active(anon):       1472 kB
Inactive(anon):   402892 kB
Active(file):    1095920 kB
Inactive(file):   674820 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             55404 kB
Writeback:             8 kB
AnonPages:        358360 kB
Mapped:           108000 kB
Shmem:             45912 kB
KReclaimable:      83592 kB
Slab:             195492 kB
SReclaimable:      83592 kB
SUnreclaim:       111900 kB
KernelStack:        3840 kB
PageTables:         9312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     764668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            72800 kB
HardwareCorrupted:     0 kB
AnonHugePages:    350208 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:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890028 MiB
End job on nodeC024 at 2024-07-20 18:27:28