Trace number 4442370

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-DisjCom-SP 2024-07-10? (TO) 3600.02 3608.11

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
MD5SUMc4e002803cd12e4b1777ff61c40f9ab0
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.019971
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3150
Total number of constraints160
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.88/0.91	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.88/0.91	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.01/3608.10	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 (60305 MiB free)
  memory of node 1: 64510 MiB (60236 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442370-1721293991/watcher-4442370-1721293991 -o /tmp/evaluation-result-4442370-1721293991/solver-4442370-1721293991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721293776-967234 --watchdog 3760 CASHWMaxSAT-DisjCom-SP HOME/instance-4442370-1721293991.opb -total-t=3600 -no-par -v0 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100085 s]*
/proc/loadavg: 4.07 3.21 2.87 5/258 968624
/proc/meminfo: memFree=123426180/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=26372 memory=12076 CPUtime=0.09 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 2485 0 0 0 9 0 0 0 20 0 1 0 181568794 27004928 3019 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 6593 3019 986 2550 0 3548 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 26372 KiB
Current children cumulated memory: 12076 KiB

[startup+0.205403 s]*
/proc/loadavg: 4.06 3.23 2.88 5/258 968624
/proc/meminfo: memFree=123423996/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=30768 memory=14188 CPUtime=0.2 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 3015 0 0 0 20 0 0 0 20 0 1 0 181568794 31506432 3547 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 7692 3547 986 2550 0 4647 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 30768 KiB
Current children cumulated memory: 14188 KiB

[startup+0.305431 s]*
/proc/loadavg: 4.06 3.23 2.88 5/258 968624
/proc/meminfo: memFree=123419792/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=30908 memory=16036 CPUtime=0.3 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 3473 0 0 0 30 0 0 0 20 0 1 0 181568794 31649792 4009 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 7727 4009 986 2550 0 4682 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 30908 KiB
Current children cumulated memory: 16036 KiB

[startup+0.700185 s]
/proc/loadavg: 4.06 3.23 2.88 5/258 968624
/proc/meminfo: memFree=123415532/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=35888 memory=21512 CPUtime=0.69 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 4340 0 0 0 69 0 0 0 20 0 1 0 181568794 36749312 5378 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 8972 5378 986 2550 0 5927 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35888 KiB
Current children cumulated memory: 21512 KiB

[startup+1.50018 s]
/proc/loadavg: 4.06 3.23 2.88 5/258 968624
/proc/meminfo: memFree=123462656/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=45668 memory=30112 CPUtime=1.48 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 6913 0 0 0 147 1 0 0 20 0 1 0 181568794 46764032 7528 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 11417 7528 986 2550 0 8372 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45668 KiB
Current children cumulated memory: 30112 KiB

[startup+3.10541 s]
/proc/loadavg: 4.06 3.23 2.88 5/258 968625
/proc/meminfo: memFree=123422832/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=79840 memory=58800 CPUtime=3.08 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 9145 0 0 0 306 2 0 0 20 0 1 0 181568794 81756160 14700 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 19960 14700 986 2550 0 16915 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 79840 KiB
Current children cumulated memory: 58800 KiB

[startup+6.30019 s]
/proc/loadavg: 4.06 3.24 2.88 5/258 968625
/proc/meminfo: memFree=123366048/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=98516 memory=83572 CPUtime=6.28 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 9754 0 0 0 625 3 0 0 20 0 1 0 181568794 100880384 20893 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 24629 20893 986 2550 0 21584 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 98516 KiB
Current children cumulated memory: 83572 KiB

[startup+12.7002 s]
/proc/loadavg: 4.13 3.27 2.90 5/258 968625
/proc/meminfo: memFree=123323864/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=98516 memory=84580 CPUtime=12.66 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 10383 0 0 0 1262 4 0 0 20 0 1 0 181568794 100880384 21145 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 24629 21145 986 2550 0 21584 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 98516 KiB
Current children cumulated memory: 84580 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 3.29 2.91 5/258 968628
/proc/meminfo: memFree=123268356/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=98516 memory=84584 CPUtime=25.43 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 11303 0 0 0 2534 9 0 0 20 0 1 0 181568794 100880384 21146 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 24629 21146 986 2550 0 21584 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 98516 KiB
Current children cumulated memory: 84584 KiB

[startup+51.1053 s]
/proc/loadavg: 4.07 3.36 2.94 5/257 968631
/proc/meminfo: memFree=123322188/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=98516 memory=84660 CPUtime=50.99 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 13268 0 0 0 5078 21 0 0 20 0 1 0 181568794 100880384 21165 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 24629 21165 986 2550 0 21584 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 98516 KiB
Current children cumulated memory: 84660 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 3.49 3.01 5/257 968641
/proc/meminfo: memFree=123175088/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=166592 memory=142512 CPUtime=102.07 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 16406 0 0 0 10170 37 0 0 20 0 1 0 181568794 170590208 35628 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 41648 35628 986 2550 0 38603 0
Current children cumulated CPU time: 102.07 s
Current children cumulated vsize: 166592 KiB
Current children cumulated memory: 142512 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 3.60 3.08 5/255 968652
/proc/meminfo: memFree=123180428/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=148800 memory=116260 CPUtime=161.9 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 20336 0 0 0 16141 49 0 0 20 0 1 0 181568794 152371200 29065 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 37200 29065 986 2550 0 34155 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 148800 KiB
Current children cumulated memory: 116260 KiB

[startup+222.3 s]
/proc/loadavg: 4.30 3.74 3.16 5/255 968662
/proc/meminfo: memFree=123067004/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=198120 memory=178160 CPUtime=221.76 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 25133 0 0 0 22107 69 0 0 20 0 1 0 181568794 202874880 44540 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 49530 44540 986 2550 0 46485 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 198120 KiB
Current children cumulated memory: 178160 KiB

[startup+282.3 s]
/proc/loadavg: 4.28 3.85 3.24 5/255 968672
/proc/meminfo: memFree=123056600/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=148800 memory=134892 CPUtime=281.6 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 28116 0 0 0 28080 80 0 0 20 0 1 0 181568794 152371200 33723 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 37200 33723 986 2550 0 34155 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 148800 KiB
Current children cumulated memory: 134892 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 3.89 3.29 5/255 968682
/proc/meminfo: memFree=122993812/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=198120 memory=168112 CPUtime=341.43 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 33459 0 0 0 34049 94 0 0 20 0 1 0 181568794 202874880 42028 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 49530 42028 986 2550 0 46485 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 198120 KiB
Current children cumulated memory: 168112 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 3.95 3.35 5/256 968697
/proc/meminfo: memFree=123025308/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=150324 memory=136368 CPUtime=401.29 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 39290 0 0 0 40022 107 0 0 20 0 1 0 181568794 153931776 34092 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 37581 34092 986 2550 0 34536 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 150324 KiB
Current children cumulated memory: 136368 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 3.97 3.40 5/257 968710
/proc/meminfo: memFree=122978244/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=165096 memory=151380 CPUtime=461.16 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 45461 0 0 0 45993 123 0 0 20 0 1 0 181568794 169058304 37845 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 41274 37845 986 2550 0 38229 0

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

Current children cumulated memory: 355524 KiB

[startup+2922.3 s]
/proc/loadavg: 4.33 4.17 4.07 5/257 970326
/proc/meminfo: memFree=122289672/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=381436 memory=355524 CPUtime=2915.75 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 248343 0 0 0 290837 738 0 0 20 0 1 0 181568794 390590464 88881 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 95359 88881 986 2550 0 92314 0
Current children cumulated CPU time: 2915.75 s
Current children cumulated vsize: 381436 KiB
Current children cumulated memory: 355524 KiB

[startup+2982.3 s]
/proc/loadavg: 4.23 4.17 4.07 5/257 970337
/proc/meminfo: memFree=122364432/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=332116 memory=318400 CPUtime=2975.61 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 252936 0 0 0 296816 745 0 0 20 0 1 0 181568794 340086784 79600 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 83029 79600 986 2550 0 79984 0
Current children cumulated CPU time: 2975.61 s
Current children cumulated vsize: 332116 KiB
Current children cumulated memory: 318400 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.15 4.07 5/256 970347
/proc/meminfo: memFree=122301064/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=332116 memory=318400 CPUtime=3035.48 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 253334 0 0 0 302802 746 0 0 20 0 1 0 181568794 340086784 79600 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 83029 79600 986 2550 0 79984 0
Current children cumulated CPU time: 3035.48 s
Current children cumulated vsize: 332116 KiB
Current children cumulated memory: 318400 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.14 4.07 5/256 970358
/proc/meminfo: memFree=122264564/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=394120 memory=366160 CPUtime=3095.35 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 256214 0 0 0 308779 756 0 0 20 0 1 0 181568794 403578880 91540 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 98530 91540 986 2550 0 95485 0
Current children cumulated CPU time: 3095.35 s
Current children cumulated vsize: 394120 KiB
Current children cumulated memory: 366160 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/256 970368
/proc/meminfo: memFree=122312408/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=344800 memory=331084 CPUtime=3155.21 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 260367 0 0 0 314741 780 0 0 20 0 1 0 181568794 353075200 82771 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 86200 82771 986 2550 0 83155 0
Current children cumulated CPU time: 3155.21 s
Current children cumulated vsize: 344800 KiB
Current children cumulated memory: 331084 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/255 970379
/proc/meminfo: memFree=122313272/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=344800 memory=331084 CPUtime=3215.08 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 263295 0 0 0 320711 797 0 0 20 0 1 0 181568794 353075200 82771 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 86200 82771 986 2550 0 83155 0
Current children cumulated CPU time: 3215.08 s
Current children cumulated vsize: 344800 KiB
Current children cumulated memory: 331084 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.08 5/255 970390
/proc/meminfo: memFree=122305240/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=394120 memory=372304 CPUtime=3274.95 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 265334 0 0 0 326686 809 0 0 20 0 1 0 181568794 403578880 93076 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 98530 93076 986 2550 0 95485 0
Current children cumulated CPU time: 3274.95 s
Current children cumulated vsize: 394120 KiB
Current children cumulated memory: 372304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.13 4.08 5/257 970404
/proc/meminfo: memFree=122272744/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=363476 memory=349760 CPUtime=3334.82 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 267724 0 0 0 332662 820 0 0 20 0 1 0 181568794 372199424 87440 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 90869 87440 986 2550 0 87824 0
Current children cumulated CPU time: 3334.82 s
Current children cumulated vsize: 363476 KiB
Current children cumulated memory: 349760 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.15 4.09 5/257 970414
/proc/meminfo: memFree=122229232/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=363476 memory=349760 CPUtime=3394.69 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 268251 0 0 0 338646 823 0 0 20 0 1 0 181568794 372199424 87440 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 90869 87440 986 2550 0 87824 0
Current children cumulated CPU time: 3394.69 s
Current children cumulated vsize: 363476 KiB
Current children cumulated memory: 349760 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.09 5/258 970429
/proc/meminfo: memFree=122275924/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=412796 memory=382788 CPUtime=3454.56 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 271586 0 0 0 344611 845 0 0 20 0 1 0 181568794 422703104 95697 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 103199 95697 986 2550 0 100154 0
Current children cumulated CPU time: 3454.56 s
Current children cumulated vsize: 412796 KiB
Current children cumulated memory: 382788 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 970485
/proc/meminfo: memFree=122586792/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=363476 memory=349760 CPUtime=3514.41 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 274787 0 0 0 350575 866 0 0 20 0 1 0 181568794 372199424 87440 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 90869 87440 986 2550 0 87824 0
Current children cumulated CPU time: 3514.41 s
Current children cumulated vsize: 363476 KiB
Current children cumulated memory: 349760 KiB

[startup+3582.3 s]
/proc/loadavg: 4.24 4.16 4.10 5/257 970679
/proc/meminfo: memFree=122771300/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=363856 memory=350268 CPUtime=3574.28 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 276965 0 0 0 356550 878 0 0 20 0 1 0 181568794 372588544 87567 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 90964 87567 986 2550 0 87919 0
Current children cumulated CPU time: 3574.28 s
Current children cumulated vsize: 363856 KiB
Current children cumulated memory: 350268 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.11 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 970729
/proc/meminfo: memFree=123104356/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=375740 memory=362024 CPUtime=3600.01 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 278876 0 0 0 359118 883 0 0 20 0 1 0 181568794 384757760 90506 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 93935 90506 986 2550 0 90890 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 375740 KiB
Current children cumulated memory: 362024 KiB

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

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

# cumulated CPU time of all completed processes:  user=3591.19 s, system=8.83823 s

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

[startup+3608.11 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 970729
/proc/meminfo: memFree=123104356/131524600 swapFree=131071996/131071996
[pid=968623] ppid=968620 vsize=375740 memory=362024 CPUtime=3600.01 cores=1,3
/proc/968623/stat : 968623 (CASHWMaxSAT-Dis) R 968620 968623 967222 0 -1 4194304 278876 0 0 0 359118 883 0 0 20 0 1 0 181568794 384757760 90506 134679101440 4194304 14636349 140729398189360 0 0 0 0 0 16386 0 0 0 17 1 0 0 0 0 0 16575728 16655184 23703552 140729398191074 140729398191190 140729398191190 140729398198206 0
/proc/968623/statm: 93935 90506 986 2550 0 90890 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 375740 KiB
Current children cumulated memory: 362024 KiB

Child status: 0

Real time (s): 3608.11
CPU time (s): 3600.02
CPU user time (s): 3591.19
CPU system time (s): 8.83823
CPU usage (%): 99.776
Max. virtual memory (cumulated for all children) (KiB): 425060
Max. memory (cumulated for all children) (KiB): 397296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.19
system time used= 8.83823
maximum resident set size= 397296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278876
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= 19
involuntary context switches= 3463


# summary of solver processes directly reported to runsolver:
#   pid: 968623
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3591.19
#   total CPU system time (s): 8.83823

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42181 second user time and 15.1048 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-18 11:13:23
IDJOB=4442370
IDBENCH=147798
IDSOLVER=3076
FILE ID=nodeC033/4442370-1721293991
RUNJOBID= nodeC033-1721293776-967234
SLURM_JOB_ID= 7542605
Free space on /tmp= 890040 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.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-4442370-1721293991/watcher-4442370-1721293991 -o /tmp/evaluation-result-4442370-1721293991/solver-4442370-1721293991 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721293776-967234 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4442370-1721293991.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= c4e002803cd12e4b1777ff61c40f9ab0
RANDOM SEED=2068172997

nodeC033.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		: 3669.469
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.50
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		: 3659.718
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	: 7006.25
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		: 3600.241
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.50
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		: 3668.262
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	: 7006.25
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		: 3669.453
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.50
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		: 3666.265
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	: 7006.25
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		: 3600.118
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.50
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		: 3600.408
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	: 7006.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        123434984 kB
MemAvailable:   129248924 kB
Buffers:          509812 kB
Cached:          6067068 kB
SwapCached:            0 kB
Active:           928896 kB
Inactive:        6391952 kB
Active(anon):       1572 kB
Inactive(anon):   779780 kB
Active(file):     927324 kB
Inactive(file):  5612172 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             27196 kB
Writeback:             0 kB
AnonPages:        737628 kB
Mapped:           118164 kB
Shmem:             37716 kB
KReclaimable:     228184 kB
Slab:             355300 kB
SReclaimable:     228184 kB
SUnreclaim:       127116 kB
KernelStack:        4192 kB
PageTables:        10740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1016072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67424 kB
HardwareCorrupted:     0 kB
AnonHugePages:    475136 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:      273108 kB
DirectMap2M:    28860416 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC033 at 2024-07-18 12:13:31