Trace number 4443118

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-SP 2024-07-10? (TO) 3600.05 3612.5

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
MD5SUMc646e12ccfd746fe0694a48782eaf83d
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark80.654
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14400
Total number of constraints1088
Number of constraints which are clauses480
Number of constraints which are cardinality constraints (but not clauses)608
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint120
Maximum length of a constraint225
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 227
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.04/3612.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (61436 MiB free)
  memory of node 1: 64510 MiB (60273 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443118-1721309873/watcher-4443118-1721309873 -o /tmp/evaluation-result-4443118-1721309873/solver-4443118-1721309873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721306271-975387 --watchdog 3760 CASHWMaxSAT-DisjCad-SP HOME/instance-4443118-1721309873.opb -total-t=3600 -no-par -v0 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=977601, runsolver pid=977598
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 4.08 4.09 4.08 5/254 977602
/proc/meminfo: memFree=124602724/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=47636 memory=30556 CPUtime=0.1 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 7332 0 0 0 9 1 0 0 20 0 1 0 183154733 48779264 7639 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 11909 7639 954 2726 0 8657 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 47636 KiB
Current children cumulated memory: 30556 KiB

[startup+0.205718 s]*
/proc/loadavg: 4.08 4.09 4.08 5/254 977602
/proc/meminfo: memFree=124601056/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=50464 memory=32968 CPUtime=0.2 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 7839 0 0 0 19 1 0 0 20 0 1 0 183154733 51675136 8242 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 12616 8242 1034 2726 0 9364 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 50464 KiB
Current children cumulated memory: 32968 KiB

[startup+0.305431 s]*
/proc/loadavg: 4.08 4.09 4.08 5/254 977602
/proc/meminfo: memFree=124593664/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=60936 memory=40096 CPUtime=0.3 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 9627 0 0 0 29 1 0 0 20 0 1 0 183154733 62398464 10024 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 15234 10024 1034 2726 0 11982 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 60936 KiB
Current children cumulated memory: 40096 KiB

[startup+0.700225 s]
/proc/loadavg: 4.08 4.09 4.08 5/254 977602
/proc/meminfo: memFree=124577852/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=84108 memory=63668 CPUtime=0.69 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 13190 0 0 0 67 2 0 0 20 0 1 0 183154733 86126592 15917 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 21027 15917 1338 2726 0 17775 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 84108 KiB
Current children cumulated memory: 63668 KiB

[startup+1.50023 s]
/proc/loadavg: 4.08 4.09 4.08 6/254 977602
/proc/meminfo: memFree=124489596/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=200624 memory=179996 CPUtime=1.49 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 31755 0 0 0 143 6 0 0 20 0 1 0 183154733 205438976 44999 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 50156 44999 1418 2726 0 46904 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 200624 KiB
Current children cumulated memory: 179996 KiB

[startup+3.10557 s]
/proc/loadavg: 4.08 4.09 4.08 6/254 977602
/proc/meminfo: memFree=124438720/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=221572 memory=200952 CPUtime=3.08 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 34670 0 0 0 301 7 0 0 20 0 1 0 183154733 226889728 50238 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 55393 50238 1418 2726 0 52141 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 221572 KiB
Current children cumulated memory: 200952 KiB

[startup+6.30021 s]
/proc/loadavg: 4.08 4.09 4.08 6/254 977602
/proc/meminfo: memFree=124387048/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=255892 memory=238052 CPUtime=6.27 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 37573 0 0 0 618 9 0 0 20 0 1 0 183154733 262033408 59513 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 63973 59513 1418 2726 0 60721 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 255892 KiB
Current children cumulated memory: 238052 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.09 4.08 6/254 977604
/proc/meminfo: memFree=124471376/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=236460 memory=218828 CPUtime=12.65 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 37740 0 0 0 1256 9 0 0 20 0 1 0 183154733 242135040 54707 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 59115 54707 1418 2726 0 55863 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 236460 KiB
Current children cumulated memory: 218828 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.10 4.08 6/254 977605
/proc/meminfo: memFree=124542128/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=199932 memory=182304 CPUtime=25.4 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 38991 0 0 0 2530 10 0 0 20 0 1 0 183154733 204730368 45576 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 49983 45576 1418 2726 0 46731 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 199932 KiB
Current children cumulated memory: 182304 KiB

[startup+51.1057 s]
/proc/loadavg: 4.09 4.09 4.08 6/255 977611
/proc/meminfo: memFree=124365952/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=213504 memory=190488 CPUtime=50.91 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 39881 0 0 0 5081 10 0 0 20 0 1 0 183154733 218628096 47622 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 53376 47622 1418 2726 0 50124 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 213504 KiB
Current children cumulated memory: 190488 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.08 6/255 977619
/proc/meminfo: memFree=124431844/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=236736 memory=213724 CPUtime=101.93 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 40637 0 0 0 10182 11 0 0 20 0 1 0 183154733 242417664 53431 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 59184 53431 1418 2726 0 55932 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 236736 KiB
Current children cumulated memory: 213724 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/258 977909
/proc/meminfo: memFree=125172380/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=236912 memory=213944 CPUtime=161.69 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 40759 0 0 0 16158 11 0 0 20 0 1 0 183154733 242597888 53486 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 59228 53486 1418 2726 0 55976 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 236912 KiB
Current children cumulated memory: 213944 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/258 978150
/proc/meminfo: memFree=125277076/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=236912 memory=218188 CPUtime=221.45 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 40827 0 0 0 22133 12 0 0 20 0 1 0 183154733 242597888 54547 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 59228 54547 1418 2726 0 55976 0
Current children cumulated CPU time: 221.45 s
Current children cumulated vsize: 236912 KiB
Current children cumulated memory: 218188 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/256 978403
/proc/meminfo: memFree=125007848/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=266556 memory=247960 CPUtime=281.2 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 41236 0 0 0 28106 14 0 0 20 0 1 0 183154733 272953344 61990 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 66639 61990 1418 2726 0 63387 0
Current children cumulated CPU time: 281.2 s
Current children cumulated vsize: 266556 KiB
Current children cumulated memory: 247960 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/258 978583
/proc/meminfo: memFree=123000608/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=241228 memory=222840 CPUtime=340.95 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 41925 0 0 0 34080 15 0 0 20 0 1 0 183154733 247017472 55710 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 60307 55710 1418 2726 0 57055 0
Current children cumulated CPU time: 340.95 s
Current children cumulated vsize: 241228 KiB
Current children cumulated memory: 222840 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/254 978771
/proc/meminfo: memFree=124581396/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=241228 memory=225540 CPUtime=400.71 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 42600 0 0 0 40055 16 0 0 20 0 1 0 183154733 247017472 56385 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 60307 56385 1418 2726 0 57055 0
Current children cumulated CPU time: 400.71 s
Current children cumulated vsize: 241228 KiB
Current children cumulated memory: 225540 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/255 979017
/proc/meminfo: memFree=124395212/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=242208 memory=227196 CPUtime=460.5 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 43071 0 0 0 46033 17 0 0 20 0 1 0 183154733 248020992 56799 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 60552 56799 1418 2726 0 57300 0

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

Current children cumulated memory: 262204 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/256 982426
/proc/meminfo: memFree=124939924/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=294924 memory=267680 CPUtime=2912.1 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 77821 0 0 0 291126 84 0 0 20 0 1 0 183154733 302002176 66920 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 73731 66920 1418 2726 0 70479 0
Current children cumulated CPU time: 2912.1 s
Current children cumulated vsize: 294924 KiB
Current children cumulated memory: 267680 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.13 4.11 5/256 982437
/proc/meminfo: memFree=124928184/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=294924 memory=267680 CPUtime=2971.91 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 77920 0 0 0 297107 84 0 0 20 0 1 0 183154733 302002176 66920 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 73731 66920 1418 2726 0 70479 0
Current children cumulated CPU time: 2971.91 s
Current children cumulated vsize: 294924 KiB
Current children cumulated memory: 267680 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/258 982617
/proc/meminfo: memFree=124968416/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=298928 memory=271684 CPUtime=3031.71 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 78578 0 0 0 303087 84 0 0 20 0 1 0 183154733 306102272 67921 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 74732 67921 1418 2726 0 71480 0
Current children cumulated CPU time: 3031.71 s
Current children cumulated vsize: 298928 KiB
Current children cumulated memory: 271684 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/258 982627
/proc/meminfo: memFree=124916204/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=298928 memory=271684 CPUtime=3091.52 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 78774 0 0 0 309068 84 0 0 20 0 1 0 183154733 306102272 67921 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 74732 67921 1418 2726 0 71480 0
Current children cumulated CPU time: 3091.52 s
Current children cumulated vsize: 298928 KiB
Current children cumulated memory: 271684 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.11 4.10 5/260 982696
/proc/meminfo: memFree=124890996/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=298928 memory=271684 CPUtime=3151.33 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 78885 0 0 0 315049 84 0 0 20 0 1 0 183154733 306102272 67921 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 74732 67921 1418 2726 0 71480 0
Current children cumulated CPU time: 3151.33 s
Current children cumulated vsize: 298928 KiB
Current children cumulated memory: 271684 KiB

[startup+3222.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/258 982707
/proc/meminfo: memFree=124952360/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=298928 memory=271684 CPUtime=3211.13 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 79058 0 0 0 321029 84 0 0 20 0 1 0 183154733 306102272 67921 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 74732 67921 1418 2726 0 71480 0
Current children cumulated CPU time: 3211.13 s
Current children cumulated vsize: 298928 KiB
Current children cumulated memory: 271684 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/258 982717
/proc/meminfo: memFree=124943256/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=300700 memory=273400 CPUtime=3270.93 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 79602 0 0 0 327009 84 0 0 20 0 1 0 183154733 307916800 68350 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 75175 68350 1418 2726 0 71923 0
Current children cumulated CPU time: 3270.93 s
Current children cumulated vsize: 300700 KiB
Current children cumulated memory: 273400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/256 982728
/proc/meminfo: memFree=124934748/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=300700 memory=273456 CPUtime=3330.75 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 79778 0 0 0 332990 85 0 0 20 0 1 0 183154733 307916800 68364 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 75175 68364 1418 2726 0 71923 0
Current children cumulated CPU time: 3330.75 s
Current children cumulated vsize: 300700 KiB
Current children cumulated memory: 273456 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/256 982739
/proc/meminfo: memFree=124979304/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=245480 memory=218176 CPUtime=3390.54 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 80312 0 0 0 338969 85 0 0 20 0 1 0 183154733 251371520 54544 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 61370 54544 1418 2726 0 58118 0
Current children cumulated CPU time: 3390.54 s
Current children cumulated vsize: 245480 KiB
Current children cumulated memory: 218176 KiB

[startup+3462.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/254 982749
/proc/meminfo: memFree=124929048/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=268096 memory=240852 CPUtime=3450.35 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 81021 0 0 0 344948 87 0 0 20 0 1 0 183154733 274530304 60213 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 67024 60213 1418 2726 0 63772 0
Current children cumulated CPU time: 3450.35 s
Current children cumulated vsize: 268096 KiB
Current children cumulated memory: 240852 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/254 982759
/proc/meminfo: memFree=124918672/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=276460 memory=249216 CPUtime=3510.14 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 81668 0 0 0 350927 87 0 0 20 0 1 0 183154733 283095040 62304 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 69115 62304 1418 2726 0 65863 0
Current children cumulated CPU time: 3510.14 s
Current children cumulated vsize: 276460 KiB
Current children cumulated memory: 249216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/254 982771
/proc/meminfo: memFree=124869484/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=280156 memory=252780 CPUtime=3569.95 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 82177 0 0 0 356907 88 0 0 20 0 1 0 183154733 286879744 63195 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 70039 63195 1418 2726 0 66787 0
Current children cumulated CPU time: 3569.95 s
Current children cumulated vsize: 280156 KiB
Current children cumulated memory: 252780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 982822
/proc/meminfo: memFree=125221944/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=280156 memory=252780 CPUtime=3600.04 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 82188 0 0 0 359916 88 0 0 20 0 1 0 183154733 286879744 63195 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 70039 63195 1418 2726 0 66787 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 280156 KiB
Current children cumulated memory: 252780 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.17 s, system=0.882324 s

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

[startup+3612.5 s]
/proc/loadavg: 4.12 4.10 4.09 5/254 982822
/proc/meminfo: memFree=125221944/131524600 swapFree=131071996/131071996
[pid=977601] ppid=977598 vsize=280156 memory=252780 CPUtime=3600.04 cores=0,2
/proc/977601/stat : 977601 (CASHWMaxSAT-Dis) R 977598 977601 975377 0 -1 4194304 82188 0 0 0 359916 88 0 0 20 0 1 0 183154733 286879744 63195 134679101440 4194304 15356333 140725300415824 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 17424944 17514448 47071232 140725300421602 140725300421718 140725300421718 140725300428734 0
/proc/977601/statm: 70039 63195 1418 2726 0 66787 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 280156 KiB
Current children cumulated memory: 252780 KiB

Child status: 0

Real time (s): 3612.5
CPU time (s): 3600.05
CPU user time (s): 3599.17
CPU system time (s): 0.882324
CPU usage (%): 99.6554
Max. virtual memory (cumulated for all children) (KiB): 393196
Max. memory (cumulated for all children) (KiB): 364856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.17
system time used= 0.882324
maximum resident set size= 366968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82188
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= 52
involuntary context switches= 25188


# summary of solver processes directly reported to runsolver:
#   pid: 977601
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.17
#   total CPU system time (s): 0.882324

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.71958 second user time and 16.6844 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-18 15:38:06
IDJOB=4443118
IDBENCH=147863
IDSOLVER=3074
FILE ID=nodeC029/4443118-1721309873
RUNJOBID= nodeC029-1721306271-975387
SLURM_JOB_ID= 7542641
Free space on /tmp= 890012 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin16.opb
COMMAND LINE= CASHWMaxSAT-DisjCad-SP BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4443118-1721309873/watcher-4443118-1721309873 -o /tmp/evaluation-result-4443118-1721309873/solver-4443118-1721309873 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721306271-975387 --watchdog 3760  CASHWMaxSAT-DisjCad-SP HOME/instance-4443118-1721309873.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= c646e12ccfd746fe0694a48782eaf83d
RANDOM SEED=130136936

nodeC029.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		: 3661.637
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	: 7000.09
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		: 3685.639
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.98
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		: 3662.778
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	: 7000.09
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		: 3600.363
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.98
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		: 3662.318
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	: 7000.09
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		: 3685.736
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.98
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.169
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	: 7000.09
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.039
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.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124632280 kB
MemAvailable:   128524216 kB
Buffers:          481544 kB
Cached:          4202580 kB
SwapCached:            0 kB
Active:           951120 kB
Inactive:        5229196 kB
Active(anon):       1480 kB
Inactive(anon):  1532440 kB
Active(file):     949640 kB
Inactive(file):  3696756 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             48096 kB
Writeback:             0 kB
AnonPages:       1495984 kB
Mapped:           121876 kB
Shmem:             37720 kB
KReclaimable:     170376 kB
Slab:             290912 kB
SReclaimable:     170376 kB
SUnreclaim:       120536 kB
KernelStack:        4080 kB
PageTables:        12276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1877948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67584 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1075200 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:      281300 kB
DirectMap2M:    36192256 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890008 MiB
End job on nodeC029 at 2024-07-18 16:38:19