Trace number 4442550

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.41

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
MD5SUM285604dce97f116174ae8740e4ecdce8
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.152795
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10500
Total number of constraints205
Number of constraints which are clauses105
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint105
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 106
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1.09/1.11	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
1.09/1.11	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.01/3608.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100087 s]*
/proc/loadavg: 4.24 4.16 4.10 6/257 970726
/proc/meminfo: memFree=123143516/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=41472 memory=23304 CPUtime=0.1 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 5860 0 0 0 10 0 0 0 20 0 1 0 181927098 42467328 5826 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 10368 5826 970 2550 0 7323 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41472 KiB
Current children cumulated memory: 23304 KiB

[startup+0.205294 s]*
/proc/loadavg: 4.24 4.16 4.10 5/257 970726
/proc/meminfo: memFree=123139928/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=41472 memory=25012 CPUtime=0.2 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 6579 0 0 0 20 0 0 0 20 0 1 0 181927098 42467328 6253 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 10368 6253 986 2550 0 7323 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41472 KiB
Current children cumulated memory: 25012 KiB

[startup+0.305576 s]*
/proc/loadavg: 4.24 4.16 4.10 5/257 970726
/proc/meminfo: memFree=123135760/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=44192 memory=27124 CPUtime=0.3 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 7114 0 0 0 30 0 0 0 20 0 1 0 181927098 45252608 6781 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 11048 6781 986 2550 0 8003 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44192 KiB
Current children cumulated memory: 27124 KiB

[startup+0.70017 s]
/proc/loadavg: 4.24 4.16 4.10 5/257 970726
/proc/meminfo: memFree=123126312/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=55792 memory=35968 CPUtime=0.69 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 8339 0 0 0 69 0 0 0 20 0 1 0 181927098 57131008 8992 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 13948 8992 986 2550 0 10903 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 55792 KiB
Current children cumulated memory: 35968 KiB

[startup+1.5002 s]
/proc/loadavg: 4.24 4.16 4.10 5/257 970726
/proc/meminfo: memFree=123127268/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=69860 memory=52980 CPUtime=1.49 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 9472 0 0 0 148 1 0 0 20 0 1 0 181927098 71536640 13245 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 17465 13245 986 2550 0 14420 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 69860 KiB
Current children cumulated memory: 52980 KiB

[startup+3.10552 s]
/proc/loadavg: 4.22 4.15 4.10 5/257 970726
/proc/meminfo: memFree=123129580/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=92508 memory=73708 CPUtime=3.08 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 12054 0 0 0 306 2 0 0 20 0 1 0 181927098 94728192 18427 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 23127 18427 986 2550 0 20082 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 92508 KiB
Current children cumulated memory: 73708 KiB

[startup+6.3002 s]
/proc/loadavg: 4.22 4.15 4.10 5/257 970726
/proc/meminfo: memFree=123058084/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=129948 memory=111324 CPUtime=6.27 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 14962 0 0 0 622 5 0 0 20 0 1 0 181927098 133066752 27831 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 32487 27831 986 2550 0 29442 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 129948 KiB
Current children cumulated memory: 111324 KiB

[startup+12.7002 s]
/proc/loadavg: 4.20 4.15 4.10 5/257 970728
/proc/meminfo: memFree=123072456/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=137648 memory=100728 CPUtime=12.66 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 20842 0 0 0 1255 11 0 0 20 0 1 0 181927098 140951552 25182 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 34412 25182 986 2550 0 31367 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 137648 KiB
Current children cumulated memory: 100728 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.14 4.09 5/257 970729
/proc/meminfo: memFree=123104356/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=147492 memory=129100 CPUtime=25.43 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 28591 0 0 0 2522 21 0 0 20 0 1 0 181927098 151031808 32275 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 36873 32275 986 2550 0 33828 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 147492 KiB
Current children cumulated memory: 129100 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.15 4.10 5/257 970780
/proc/meminfo: memFree=123213768/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=211636 memory=156516 CPUtime=50.97 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 43277 0 0 0 5057 40 0 0 20 0 1 0 181927098 216715264 39129 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 52909 39129 986 2550 0 49864 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 211636 KiB
Current children cumulated memory: 156516 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/255 970789
/proc/meminfo: memFree=123134996/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=234076 memory=184628 CPUtime=102.05 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 65999 0 0 0 10131 74 0 0 20 0 1 0 181927098 239693824 46157 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 58519 46157 986 2550 0 55474 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 234076 KiB
Current children cumulated memory: 184628 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/255 970799
/proc/meminfo: memFree=122950628/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=333460 memory=253628 CPUtime=161.89 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 86717 0 0 0 16079 110 0 0 20 0 1 0 181927098 341463040 63407 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 83365 63407 986 2550 0 80320 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 333460 KiB
Current children cumulated memory: 253628 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/254 970809
/proc/meminfo: memFree=123061880/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=213760 memory=179296 CPUtime=221.74 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 104690 0 0 0 22029 145 0 0 20 0 1 0 181927098 218890240 44824 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 53440 44824 986 2550 0 50395 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 213760 KiB
Current children cumulated memory: 179296 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/254 970820
/proc/meminfo: memFree=123068776/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=224312 memory=185056 CPUtime=281.61 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 121532 0 0 0 27980 181 0 0 20 0 1 0 181927098 229695488 46264 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 56078 46264 986 2550 0 53033 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 224312 KiB
Current children cumulated memory: 185056 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/254 970830
/proc/meminfo: memFree=122970832/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=234260 memory=194380 CPUtime=341.47 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 140039 0 0 0 33926 221 0 0 20 0 1 0 181927098 239882240 48595 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 58565 48595 986 2550 0 55520 0
Current children cumulated CPU time: 341.47 s
Current children cumulated vsize: 234260 KiB
Current children cumulated memory: 194380 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 970840
/proc/meminfo: memFree=122817340/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=375412 memory=340044 CPUtime=401.34 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 156154 0 0 0 39875 259 0 0 20 0 1 0 181927098 384421888 85011 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 93853 85011 986 2550 0 90808 0
Current children cumulated CPU time: 401.34 s
Current children cumulated vsize: 375412 KiB
Current children cumulated memory: 340044 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 970850
/proc/meminfo: memFree=122874492/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=251732 memory=216836 CPUtime=461.2 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 175232 0 0 0 45827 293 0 0 20 0 1 0 181927098 257773568 54209 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 62933 54209 986 2550 0 59888 0

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

Current children cumulated memory: 391140 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/256 972450
/proc/meminfo: memFree=122294612/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=443716 memory=409816 CPUtime=2855.62 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 694432 0 0 0 283932 1630 0 0 20 0 1 0 181927098 454365184 102454 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 110929 102454 986 2550 0 107884 0
Current children cumulated CPU time: 2855.62 s
Current children cumulated vsize: 443716 KiB
Current children cumulated memory: 409816 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/257 972475
/proc/meminfo: memFree=122207008/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=364088 memory=329924 CPUtime=2915.49 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 710584 0 0 0 289883 1666 0 0 20 0 1 0 181927098 372826112 82481 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 91022 82481 986 2550 0 87977 0
Current children cumulated CPU time: 2915.49 s
Current children cumulated vsize: 364088 KiB
Current children cumulated memory: 329924 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 972486
/proc/meminfo: memFree=122214224/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=394908 memory=368924 CPUtime=2975.35 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 728100 0 0 0 295835 1700 0 0 20 0 1 0 181927098 404385792 92231 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 98727 92231 986 2550 0 95682 0
Current children cumulated CPU time: 2975.35 s
Current children cumulated vsize: 394908 KiB
Current children cumulated memory: 368924 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/257 972496
/proc/meminfo: memFree=122131204/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=530452 memory=481864 CPUtime=3035.22 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 737069 0 0 0 301775 1747 0 0 20 0 1 0 181927098 543182848 120466 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 132613 120466 986 2550 0 129568 0
Current children cumulated CPU time: 3035.22 s
Current children cumulated vsize: 530452 KiB
Current children cumulated memory: 481864 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/255 972507
/proc/meminfo: memFree=121883464/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=534028 memory=449816 CPUtime=3095.07 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 745780 0 0 0 307716 1791 0 0 20 0 1 0 181927098 546844672 112454 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 133507 112454 986 2550 0 130462 0
Current children cumulated CPU time: 3095.07 s
Current children cumulated vsize: 534028 KiB
Current children cumulated memory: 449816 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.11 4.10 5/256 972518
/proc/meminfo: memFree=122094616/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=534912 memory=519644 CPUtime=3154.93 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 755032 0 0 0 313659 1834 0 0 20 0 1 0 181927098 547749888 129911 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 133728 129911 986 2550 0 130683 0
Current children cumulated CPU time: 3154.93 s
Current children cumulated vsize: 534912 KiB
Current children cumulated memory: 519644 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/255 972528
/proc/meminfo: memFree=122247828/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=373192 memory=350264 CPUtime=3214.8 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 773043 0 0 0 319610 1870 0 0 20 0 1 0 181927098 382148608 87566 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 93298 87566 986 2550 0 90253 0
Current children cumulated CPU time: 3214.8 s
Current children cumulated vsize: 373192 KiB
Current children cumulated memory: 350264 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/255 972539
/proc/meminfo: memFree=122139244/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=455440 memory=425676 CPUtime=3274.65 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 790530 0 0 0 325561 1904 0 0 20 0 1 0 181927098 466370560 106419 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 113860 106419 986 2550 0 110815 0
Current children cumulated CPU time: 3274.65 s
Current children cumulated vsize: 455440 KiB
Current children cumulated memory: 425676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.31 4.19 4.12 5/255 972549
/proc/meminfo: memFree=122162844/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=460888 memory=437196 CPUtime=3334.52 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 801072 0 0 0 331518 1934 0 0 20 0 1 0 181927098 471949312 109299 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 115222 109299 986 2550 0 112177 0
Current children cumulated CPU time: 3334.52 s
Current children cumulated vsize: 460888 KiB
Current children cumulated memory: 437196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.23 4.19 4.12 5/255 972559
/proc/meminfo: memFree=122130968/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=545968 memory=457980 CPUtime=3394.38 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 816214 0 0 0 337468 1970 0 0 20 0 1 0 181927098 559071232 114495 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 136492 114495 986 2550 0 133447 0
Current children cumulated CPU time: 3394.38 s
Current children cumulated vsize: 545968 KiB
Current children cumulated memory: 457980 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/258 972574
/proc/meminfo: memFree=122250400/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=385560 memory=355268 CPUtime=3454.24 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 831324 0 0 0 343419 2005 0 0 20 0 1 0 181927098 394813440 88817 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 96390 88817 986 2550 0 93345 0
Current children cumulated CPU time: 3454.24 s
Current children cumulated vsize: 385560 KiB
Current children cumulated memory: 355268 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/257 972585
/proc/meminfo: memFree=122251252/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=416380 memory=377872 CPUtime=3514.1 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 848826 0 0 0 349372 2038 0 0 20 0 1 0 181927098 426373120 94468 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 104095 94468 986 2550 0 101050 0
Current children cumulated CPU time: 3514.1 s
Current children cumulated vsize: 416380 KiB
Current children cumulated memory: 377872 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/257 972687
/proc/meminfo: memFree=122515904/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=681516 memory=542104 CPUtime=3573.97 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 866233 0 0 0 355323 2074 0 0 20 0 1 0 181927098 697872384 135526 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 170379 135526 986 2550 0 167334 0
Current children cumulated CPU time: 3573.97 s
Current children cumulated vsize: 681516 KiB
Current children cumulated memory: 542104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 4.10 4.15 4.11 5/257 972690
/proc/meminfo: memFree=122488480/131524600 swapFree=131071996/131071996
[pid=970725] ppid=970722 vsize=683816 memory=608784 CPUtime=3600.01 cores=4,6
/proc/970725/stat : 970725 (CASHWMaxSAT-Dis) R 970722 970725 967222 0 -1 4194304 869016 0 0 0 357910 2091 0 0 20 0 1 0 181927098 700227584 152196 134679101440 4194304 14636349 140734353610592 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 16575728 16655184 28622848 140734353617890 140734353618006 140734353618006 140734353625022 0
/proc/970725/statm: 170954 152196 986 2550 0 167909 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 683816 KiB
Current children cumulated memory: 608784 KiB

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

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

# cumulated CPU time of all completed processes:  user=3579.1 s, system=20.9167 s

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

Child status: 0

Real time (s): 3608.41
CPU time (s): 3600.02
CPU user time (s): 3579.1
CPU system time (s): 20.9167
CPU usage (%): 99.7676
Max. virtual memory (cumulated for all children) (KiB): 1075076
Max. memory (cumulated for all children) (KiB): 727432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.1
system time used= 20.9167
maximum resident set size= 853088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 869016
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= 164
involuntary context switches= 4588


# summary of solver processes directly reported to runsolver:
#   pid: 970725
#   total CPU time (s): 3600.02
#   total CPU user time (s): 3579.1
#   total CPU system time (s): 20.9167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63709 second user time and 16.0481 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2024-07-18 12:13:06
IDJOB=4442550
IDBENCH=147822
IDSOLVER=3076
FILE ID=nodeC033/4442550-1721297574
RUNJOBID= nodeC033-1721293776-967233
SLURM_JOB_ID= 7542605
Free space on /tmp= 890044 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-SP 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-cardinality-105-100.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-4442550-1721297574/watcher-4442550-1721297574 -o /tmp/evaluation-result-4442550-1721297574/solver-4442550-1721297574 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721293776-967233 --watchdog 3760  CASHWMaxSAT-DisjCom-SP HOME/instance-4442550-1721297574.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 285604dce97f116174ae8740e4ecdce8
RANDOM SEED=2009947688

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		: 3653.987
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		: 3676.556
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		: 3603.337
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		: 3599.761
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		: 3628.895
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		: 3676.577
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		: 3663.712
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.004
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:        123165968 kB
MemAvailable:   129005436 kB
Buffers:          512300 kB
Cached:          6090080 kB
SwapCached:            0 kB
Active:           929296 kB
Inactive:        6659972 kB
Active(anon):       1564 kB
Inactive(anon):  1022724 kB
Active(file):     927732 kB
Inactive(file):  5637248 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             13720 kB
Writeback:            28 kB
AnonPages:        983892 kB
Mapped:           118172 kB
Shmem:             37716 kB
KReclaimable:     228256 kB
Slab:             355260 kB
SReclaimable:     228256 kB
SUnreclaim:       127004 kB
KernelStack:        4176 kB
PageTables:        11064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1409592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67552 kB
HardwareCorrupted:     0 kB
AnonHugePages:    772096 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= 890028 MiB
End job on nodeC033 at 2024-07-18 13:13:15