Trace number 4442519

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.01 3612.11

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-61-60.opb
MD5SUM5c8918c3cb918142421b1796e9d625e3
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.043503
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3660
Total number of constraints121
Number of constraints which are clauses61
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint61
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 62
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 

3600.00/3612.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: 63968 MiB (62668 MiB free)
  memory of node 1: 64473 MiB (63002 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442519-1721304633/watcher-4442519-1721304633 -o /tmp/evaluation-result-4442519-1721304633/solver-4442519-1721304633 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721304573-958495 --watchdog 3760 CASHWMaxSAT-DisjCad-S HOME/instance-4442519-1721304633.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=960091, runsolver pid=960088
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 4.04 4.11 4.09 5/257 960092
/proc/meminfo: memFree=128678464/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=25224 memory=11248 CPUtime=0.1 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 2332 0 0 0 10 0 0 0 20 0 1 0 182634099 25829376 2812 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 6306 2812 990 2594 0 3199 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 25224 KiB
Current children cumulated memory: 11248 KiB

[startup+0.205355 s]*
/proc/loadavg: 4.04 4.11 4.09 5/257 960092
/proc/meminfo: memFree=128676252/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=25972 memory=11952 CPUtime=0.2 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 2977 0 0 0 20 0 0 0 20 0 1 0 182634099 26595328 2988 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 6493 2988 1006 2594 0 3386 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 25972 KiB
Current children cumulated memory: 11952 KiB

[startup+0.305107 s]*
/proc/loadavg: 4.04 4.11 4.09 5/257 960092
/proc/meminfo: memFree=128674768/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=26092 memory=12072 CPUtime=0.3 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 3223 0 0 0 30 0 0 0 20 0 1 0 182634099 26718208 3018 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 6523 3018 1006 2594 0 3416 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26092 KiB
Current children cumulated memory: 12072 KiB

[startup+0.700192 s]
/proc/loadavg: 4.04 4.11 4.09 5/257 960092
/proc/meminfo: memFree=128674080/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=26468 memory=12456 CPUtime=0.69 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 4431 0 0 0 69 0 0 0 20 0 1 0 182634099 27103232 3114 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 6617 3114 1006 2594 0 3510 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 26468 KiB
Current children cumulated memory: 12456 KiB

[startup+1.50019 s]
/proc/loadavg: 4.04 4.11 4.09 5/257 960092
/proc/meminfo: memFree=128667648/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=28300 memory=14120 CPUtime=1.48 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 6510 0 0 0 148 0 0 0 20 0 1 0 182634099 28979200 3530 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 7075 3530 1006 2594 0 3968 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28300 KiB
Current children cumulated memory: 14120 KiB

[startup+3.10528 s]
/proc/loadavg: 4.04 4.11 4.09 5/257 960092
/proc/meminfo: memFree=128669996/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=28740 memory=14924 CPUtime=3.09 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 9983 0 0 0 308 1 0 0 20 0 1 0 182634099 29429760 3731 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 7185 3731 1006 2594 0 4078 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 28740 KiB
Current children cumulated memory: 14924 KiB

[startup+6.30021 s]
/proc/loadavg: 4.20 4.14 4.10 5/257 960092
/proc/meminfo: memFree=128654748/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=36468 memory=22556 CPUtime=6.27 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 15852 0 0 0 625 2 0 0 20 0 1 0 182634099 37343232 5639 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 9117 5639 1006 2594 0 6010 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 36468 KiB
Current children cumulated memory: 22556 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.14 4.10 5/257 960093
/proc/meminfo: memFree=128642684/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=44636 memory=30624 CPUtime=12.65 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 19908 0 0 0 1262 3 0 0 20 0 1 0 182634099 45707264 7656 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 11159 7656 1006 2594 0 8052 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 44636 KiB
Current children cumulated memory: 30624 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.13 4.10 5/257 960095
/proc/meminfo: memFree=128633136/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=56372 memory=42280 CPUtime=25.41 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 25111 0 0 0 2536 5 0 0 20 0 1 0 182634099 57724928 10570 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 14093 10570 1006 2594 0 10986 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 56372 KiB
Current children cumulated memory: 42280 KiB

[startup+51.1053 s]
/proc/loadavg: 4.16 4.13 4.10 5/257 960099
/proc/meminfo: memFree=128626076/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=45472 memory=31560 CPUtime=50.94 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 32762 0 0 0 5085 9 0 0 20 0 1 0 182634099 46563328 7890 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 11368 7890 1006 2594 0 8261 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 45472 KiB
Current children cumulated memory: 31560 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.13 4.10 5/257 960109
/proc/meminfo: memFree=128532152/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=88604 memory=74628 CPUtime=101.95 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 42204 0 0 0 10183 12 0 0 20 0 1 0 182634099 90730496 18657 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 22151 18657 1006 2594 0 19044 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 88604 KiB
Current children cumulated memory: 74628 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/257 960120
/proc/meminfo: memFree=128495460/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=102176 memory=88376 CPUtime=161.76 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 43624 0 0 0 16164 12 0 0 20 0 1 0 182634099 104628224 22094 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 25544 22094 1006 2594 0 22437 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 102176 KiB
Current children cumulated memory: 88376 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 960131
/proc/meminfo: memFree=128502884/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=103392 memory=89456 CPUtime=221.58 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 43976 0 0 0 22146 12 0 0 20 0 1 0 182634099 105873408 22364 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 25848 22364 1006 2594 0 22741 0
Current children cumulated CPU time: 221.58 s
Current children cumulated vsize: 103392 KiB
Current children cumulated memory: 89456 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 960141
/proc/meminfo: memFree=128474992/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=82412 memory=67480 CPUtime=281.39 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 48206 0 0 0 28124 15 0 0 20 0 1 0 182634099 84389888 16870 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 20603 16870 1006 2594 0 17496 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 82412 KiB
Current children cumulated memory: 67480 KiB

[startup+342.3 s]
/proc/loadavg: 4.36 4.17 4.11 5/254 960152
/proc/meminfo: memFree=128409460/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=101152 memory=87248 CPUtime=341.21 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 53298 0 0 0 34102 19 0 0 20 0 1 0 182634099 103579648 21812 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 25288 21812 1006 2594 0 22181 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 101152 KiB
Current children cumulated memory: 87248 KiB

[startup+402.3 s]
/proc/loadavg: 4.30 4.20 4.12 5/254 960162
/proc/meminfo: memFree=128379632/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=104396 memory=90360 CPUtime=401.03 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 55388 0 0 0 40083 20 0 0 20 0 1 0 182634099 106901504 22590 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 26099 22590 1006 2594 0 22992 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 104396 KiB
Current children cumulated memory: 90360 KiB

[startup+462.3 s]
/proc/loadavg: 4.16 4.17 4.12 5/254 960172
/proc/meminfo: memFree=128359232/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=103556 memory=89768 CPUtime=460.83 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 58934 0 0 0 46060 23 0 0 20 0 1 0 182634099 106041344 22442 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 25889 22442 1006 2594 0 22782 0

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

Current children cumulated memory: 185932 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 961790
/proc/meminfo: memFree=127937524/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=203212 memory=188884 CPUtime=2912.62 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 185541 0 0 0 291058 204 0 0 20 0 1 0 182634099 208089088 47221 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 50803 47221 1006 2594 0 47696 0
Current children cumulated CPU time: 2912.62 s
Current children cumulated vsize: 203212 KiB
Current children cumulated memory: 188884 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/258 961804
/proc/meminfo: memFree=127929816/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=203008 memory=188680 CPUtime=2972.42 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 189061 0 0 0 297030 212 0 0 20 0 1 0 182634099 207880192 47170 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 50752 47170 1006 2594 0 47645 0
Current children cumulated CPU time: 2972.42 s
Current children cumulated vsize: 203008 KiB
Current children cumulated memory: 188680 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/258 961826
/proc/meminfo: memFree=127913496/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=206900 memory=193100 CPUtime=3032.21 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 192051 0 0 0 303003 218 0 0 20 0 1 0 182634099 211865600 48275 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 51725 48275 1006 2594 0 48618 0
Current children cumulated CPU time: 3032.21 s
Current children cumulated vsize: 206900 KiB
Current children cumulated memory: 193100 KiB

[startup+3102.3 s]
/proc/loadavg: 4.23 4.14 4.10 5/260 961842
/proc/meminfo: memFree=127940744/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=205216 memory=191416 CPUtime=3091.99 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 195207 0 0 0 308973 226 0 0 20 0 1 0 182634099 210141184 47854 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 51304 47854 1006 2594 0 48197 0
Current children cumulated CPU time: 3091.99 s
Current children cumulated vsize: 205216 KiB
Current children cumulated memory: 191416 KiB

[startup+3162.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/260 961852
/proc/meminfo: memFree=127973452/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=205044 memory=191244 CPUtime=3151.78 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 198329 0 0 0 314946 232 0 0 20 0 1 0 182634099 209965056 47811 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 51261 47811 1006 2594 0 48154 0
Current children cumulated CPU time: 3151.78 s
Current children cumulated vsize: 205044 KiB
Current children cumulated memory: 191244 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/258 961863
/proc/meminfo: memFree=128027948/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=203948 memory=190148 CPUtime=3211.57 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 201639 0 0 0 320919 238 0 0 20 0 1 0 182634099 208842752 47537 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 50987 47537 1006 2594 0 47880 0
Current children cumulated CPU time: 3211.57 s
Current children cumulated vsize: 203948 KiB
Current children cumulated memory: 190148 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/256 961873
/proc/meminfo: memFree=127998224/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=206200 memory=192400 CPUtime=3271.35 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 204076 0 0 0 326893 242 0 0 20 0 1 0 182634099 211148800 48100 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 51550 48100 1006 2594 0 48443 0
Current children cumulated CPU time: 3271.35 s
Current children cumulated vsize: 206200 KiB
Current children cumulated memory: 192400 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/256 961883
/proc/meminfo: memFree=127949408/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=205408 memory=191608 CPUtime=3331.15 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 206934 0 0 0 332868 247 0 0 20 0 1 0 182634099 210337792 47902 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 51352 47902 1006 2594 0 48245 0
Current children cumulated CPU time: 3331.15 s
Current children cumulated vsize: 205408 KiB
Current children cumulated memory: 191608 KiB

[startup+3402.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/255 961894
/proc/meminfo: memFree=127969192/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=209064 memory=195264 CPUtime=3390.93 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 209823 0 0 0 338841 252 0 0 20 0 1 0 182634099 214081536 48816 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 52266 48816 1006 2594 0 49159 0
Current children cumulated CPU time: 3390.93 s
Current children cumulated vsize: 209064 KiB
Current children cumulated memory: 195264 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 961905
/proc/meminfo: memFree=127995160/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=208012 memory=194212 CPUtime=3450.72 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 212203 0 0 0 344815 257 0 0 20 0 1 0 182634099 213004288 48553 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 52003 48553 1006 2594 0 48896 0
Current children cumulated CPU time: 3450.72 s
Current children cumulated vsize: 208012 KiB
Current children cumulated memory: 194212 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 961916
/proc/meminfo: memFree=127931452/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=238772 memory=224972 CPUtime=3510.52 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 214715 0 0 0 350789 263 0 0 20 0 1 0 182634099 244502528 56243 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 59693 56243 1006 2594 0 56586 0
Current children cumulated CPU time: 3510.52 s
Current children cumulated vsize: 238772 KiB
Current children cumulated memory: 224972 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/255 961971
/proc/meminfo: memFree=128114384/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=271312 memory=257060 CPUtime=3570.3 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 221377 0 0 0 356762 268 0 0 20 0 1 0 182634099 277823488 64265 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 67828 64265 1006 2594 0 64721 0
Current children cumulated CPU time: 3570.3 s
Current children cumulated vsize: 271312 KiB
Current children cumulated memory: 257060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.11 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 962075
/proc/meminfo: memFree=128261028/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=267844 memory=253748 CPUtime=3600 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 221921 0 0 0 359730 270 0 0 20 0 1 0 182634099 274272256 63437 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 66961 63437 1006 2594 0 63854 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 267844 KiB
Current children cumulated memory: 253748 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.31 s, system=2.70318 s

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

[startup+3612.11 s]
/proc/loadavg: 4.08 4.11 4.09 5/258 962075
/proc/meminfo: memFree=128261028/131524600 swapFree=131071996/131071996
[pid=960091] ppid=960088 vsize=267844 memory=253748 CPUtime=3600 cores=0,2
/proc/960091/stat : 960091 (CASHWMaxSAT-Dis) R 960088 960091 958485 0 -1 4194304 221921 0 0 0 359730 270 0 0 20 0 1 0 182634099 274272256 63437 134679101440 4194304 14817773 140731917135456 0 0 0 0 0 19490 0 0 0 17 0 0 0 0 0 0 16829744 16914832 38944768 140731917136868 140731917136983 140731917136983 140731917143999 0
/proc/960091/statm: 66961 63437 1006 2594 0 63854 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 267844 KiB
Current children cumulated memory: 253748 KiB

Child status: 0

Real time (s): 3612.11
CPU time (s): 3600.01
CPU user time (s): 3597.31
CPU system time (s): 2.70318
CPU usage (%): 99.6651
Max. virtual memory (cumulated for all children) (KiB): 365092
Max. memory (cumulated for all children) (KiB): 348924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.31
system time used= 2.70318
maximum resident set size= 350664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 221921
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= 21
involuntary context switches= 24671


# summary of solver processes directly reported to runsolver:
#   pid: 960091
#   total CPU time (s): 3600.01
#   total CPU user time (s): 3597.31
#   total CPU system time (s): 2.70318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72814 second user time and 16.4662 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-18 14:10:45
IDJOB=4442519
IDBENCH=147819
IDSOLVER=3075
FILE ID=nodeC035/4442519-1721304633
RUNJOBID= nodeC035-1721304573-958495
SLURM_JOB_ID= 7542620
Free space on /tmp= 890028 MiB

SOLVER NAME= CASHWMaxSAT-DisjCad-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.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-4442519-1721304633/watcher-4442519-1721304633 -o /tmp/evaluation-result-4442519-1721304633/solver-4442519-1721304633 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721304573-958495 --watchdog 3760  CASHWMaxSAT-DisjCad-S HOME/instance-4442519-1721304633.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 5c8918c3cb918142421b1796e9d625e3
RANDOM SEED=892785342

nodeC035.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		: 3660.811
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.65
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		: 3679.878
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	: 7005.79
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		: 3666.127
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.65
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.354
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	: 7005.79
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		: 3665.035
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.65
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		: 3679.878
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	: 7005.79
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		: 3601.027
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.65
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		: 3599.970
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	: 7005.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128687992 kB
MemAvailable:   129623116 kB
Buffers:          464064 kB
Cached:          1304976 kB
SwapCached:            0 kB
Active:           903200 kB
Inactive:        1322292 kB
Active(anon):       1544 kB
Inactive(anon):   492608 kB
Active(file):     901656 kB
Inactive(file):   829684 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             56384 kB
Writeback:            20 kB
AnonPages:        455192 kB
Mapped:           118072 kB
Shmem:             37724 kB
KReclaimable:      87216 kB
Slab:             197080 kB
SReclaimable:      87216 kB
SUnreclaim:       109864 kB
KernelStack:        4080 kB
PageTables:        10192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     865496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            69248 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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:      199380 kB
DirectMap2M:    18448384 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890008 MiB
End job on nodeC035 at 2024-07-18 15:10:57