Trace number 4442911

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-S 2024-07-10? (TO) 3600.06 3608.2

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
MD5SUM447851c4fd40c5c34c03bb94532f1e8d
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 benchmark3.26785
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2750
Total number of constraints74305
Number of constraints which are clauses74305
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint50
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 51
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.89/0.92	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
0.89/0.92	c Using COMiniSatPS SAT solver by Chanseok Oh (2016)
3600.05/3608.20	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 (61124 MiB free)
  memory of node 1: 64510 MiB (61927 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442911-1721308575/watcher-4442911-1721308575 -o /tmp/evaluation-result-4442911-1721308575/solver-4442911-1721308575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721304979-953386 --watchdog 3760 CASHWMaxSAT-DisjCom-S HOME/instance-4442911-1721308575.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=955463, runsolver pid=955460
Current StackSize limit: 8192 KiB


[startup+0.10009 s]*
/proc/loadavg: 4.05 4.10 4.11 5/255 955464
/proc/meminfo: memFree=125982020/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=41660 memory=23092 CPUtime=0.09 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 5128 0 0 0 9 0 0 0 20 0 1 0 183022431 42659840 5773 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 10415 5773 750 2417 0 7517 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41660 KiB
Current children cumulated memory: 23092 KiB

[startup+0.205394 s]*
/proc/loadavg: 4.05 4.10 4.11 5/255 955464
/proc/meminfo: memFree=125960484/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=60896 memory=42556 CPUtime=0.19 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 9987 0 0 0 18 1 0 0 20 0 1 0 183022431 62357504 10639 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 15224 10639 750 2417 0 12326 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 60896 KiB
Current children cumulated memory: 42556 KiB

[startup+0.30529 s]*
/proc/loadavg: 4.05 4.10 4.11 5/255 955464
/proc/meminfo: memFree=125996912/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=75244 memory=58172 CPUtime=0.3 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 13829 0 0 0 28 2 0 0 20 0 1 0 183022431 77049856 14543 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 18811 14543 782 2417 0 15913 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 75244 KiB
Current children cumulated memory: 58172 KiB

[startup+0.70015 s]
/proc/loadavg: 4.05 4.10 4.11 5/255 955464
/proc/meminfo: memFree=125989996/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=80732 memory=66260 CPUtime=0.69 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 15499 0 0 0 66 3 0 0 20 0 1 0 183022431 82669568 16565 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 20183 16565 782 2417 0 17285 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 80732 KiB
Current children cumulated memory: 66260 KiB

[startup+1.50018 s]
/proc/loadavg: 4.05 4.10 4.11 5/249 955546
/proc/meminfo: memFree=126795220/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=87912 memory=73004 CPUtime=1.49 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 16499 0 0 0 145 4 0 0 20 0 1 0 183022431 90021888 18251 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 21978 18251 814 2417 0 19080 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 87912 KiB
Current children cumulated memory: 73004 KiB

[startup+3.10557 s]
/proc/loadavg: 4.05 4.09 4.11 5/255 955602
/proc/meminfo: memFree=126350192/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=118364 memory=82976 CPUtime=3.09 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 17745 0 0 0 304 5 0 0 20 0 1 0 183022431 121204736 20744 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 29591 20744 814 2417 0 26693 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 118364 KiB
Current children cumulated memory: 82976 KiB

[startup+6.3002 s]
/proc/loadavg: 4.05 4.09 4.11 5/254 955649
/proc/meminfo: memFree=126475032/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=118364 memory=104432 CPUtime=6.27 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 18429 0 0 0 620 7 0 0 20 0 1 0 183022431 121204736 26108 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 29591 26108 814 2417 0 26693 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 118364 KiB
Current children cumulated memory: 104432 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.09 4.11 5/254 955649
/proc/meminfo: memFree=126413584/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=118364 memory=104432 CPUtime=12.66 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 18842 0 0 0 1253 13 0 0 20 0 1 0 183022431 121204736 26108 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 29591 26108 814 2417 0 26693 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 118364 KiB
Current children cumulated memory: 104432 KiB

[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.11 5/254 955651
/proc/meminfo: memFree=126317600/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=130288 memory=116404 CPUtime=25.42 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 19935 0 0 0 2519 23 0 0 20 0 1 0 183022431 133414912 29101 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 32572 29101 814 2417 0 29674 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 130288 KiB
Current children cumulated memory: 116404 KiB

[startup+51.1053 s]
/proc/loadavg: 4.07 4.09 4.11 5/254 955655
/proc/meminfo: memFree=126265680/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=179608 memory=151236 CPUtime=50.97 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 20970 0 0 0 5060 37 0 0 20 0 1 0 183022431 183918592 37809 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 44902 37809 814 2417 0 42004 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 179608 KiB
Current children cumulated memory: 151236 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.10 5/254 955757
/proc/meminfo: memFree=126176932/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=210560 memory=182188 CPUtime=102.06 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 23551 0 0 0 10138 68 0 0 20 0 1 0 183022431 215613440 45547 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 52640 45547 814 2417 0 49742 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 210560 KiB
Current children cumulated memory: 182188 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/254 955812
/proc/meminfo: memFree=126333180/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=161240 memory=147372 CPUtime=161.93 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 25697 0 0 0 16092 101 0 0 20 0 1 0 183022431 165109760 36843 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 40310 36843 814 2417 0 37412 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 161240 KiB
Current children cumulated memory: 147372 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.09 4.10 5/257 955827
/proc/meminfo: memFree=126035756/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=242288 memory=222220 CPUtime=221.8 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 29239 0 0 0 22046 134 0 0 20 0 1 0 183022431 248102912 55555 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 60572 55555 814 2417 0 57674 0
Current children cumulated CPU time: 221.8 s
Current children cumulated vsize: 242288 KiB
Current children cumulated memory: 222220 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.14 4.11 5/258 955839
/proc/meminfo: memFree=125996260/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=192968 memory=179100 CPUtime=281.68 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 31385 0 0 0 28005 163 0 0 20 0 1 0 183022431 197599232 44775 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 48242 44775 814 2417 0 45344 0
Current children cumulated CPU time: 281.68 s
Current children cumulated vsize: 192968 KiB
Current children cumulated memory: 179100 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/258 955849
/proc/meminfo: memFree=126116684/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=223624 memory=202004 CPUtime=341.55 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 33500 0 0 0 33960 195 0 0 20 0 1 0 183022431 228990976 50501 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 55906 50501 814 2417 0 53008 0
Current children cumulated CPU time: 341.55 s
Current children cumulated vsize: 223624 KiB
Current children cumulated memory: 202004 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.11 4.10 5/258 955861
/proc/meminfo: memFree=126081152/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=223624 memory=209732 CPUtime=401.42 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 36412 0 0 0 39913 229 0 0 20 0 1 0 183022431 228990976 52433 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 55906 52433 814 2417 0 53008 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 223624 KiB
Current children cumulated memory: 209732 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 955872
/proc/meminfo: memFree=125935660/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=223624 memory=209732 CPUtime=461.3 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 38543 0 0 0 45869 261 0 0 20 0 1 0 183022431 228990976 52433 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 55906 52433 814 2417 0 53008 0

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

Current children cumulated memory: 397752 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/257 957666
/proc/meminfo: memFree=125911552/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=428220 memory=403896 CPUtime=2855.76 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 132258 0 0 0 284094 1482 0 0 20 0 1 0 183022431 438497280 100974 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 107055 100974 814 2417 0 104157 0
Current children cumulated CPU time: 2855.76 s
Current children cumulated vsize: 428220 KiB
Current children cumulated memory: 403896 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 957678
/proc/meminfo: memFree=125902016/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=378900 memory=364984 CPUtime=2915.63 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 134231 0 0 0 290052 1511 0 0 20 0 1 0 183022431 387993600 91246 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 94725 91246 814 2417 0 91827 0
Current children cumulated CPU time: 2915.63 s
Current children cumulated vsize: 378900 KiB
Current children cumulated memory: 364984 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 957688
/proc/meminfo: memFree=125808912/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=378900 memory=364984 CPUtime=2975.5 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 135944 0 0 0 296013 1537 0 0 20 0 1 0 183022431 387993600 91246 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 94725 91246 814 2417 0 91827 0
Current children cumulated CPU time: 2975.5 s
Current children cumulated vsize: 378900 KiB
Current children cumulated memory: 364984 KiB

[startup+3042.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 957699
/proc/meminfo: memFree=125864032/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=428220 memory=399800 CPUtime=3035.38 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 137794 0 0 0 301974 1564 0 0 20 0 1 0 183022431 438497280 99950 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 107055 99950 814 2417 0 104157 0
Current children cumulated CPU time: 3035.38 s
Current children cumulated vsize: 428220 KiB
Current children cumulated memory: 399800 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/254 957710
/proc/meminfo: memFree=125863632/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=428220 memory=405944 CPUtime=3095.24 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 139678 0 0 0 307931 1593 0 0 20 0 1 0 183022431 438497280 101486 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 107055 101486 814 2417 0 104157 0
Current children cumulated CPU time: 3095.24 s
Current children cumulated vsize: 428220 KiB
Current children cumulated memory: 405944 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/254 957720
/proc/meminfo: memFree=125827416/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=459040 memory=418396 CPUtime=3155.12 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 141454 0 0 0 313893 1619 0 0 20 0 1 0 183022431 470056960 104599 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 114760 104599 814 2417 0 111862 0
Current children cumulated CPU time: 3155.12 s
Current children cumulated vsize: 459040 KiB
Current children cumulated memory: 418396 KiB

[startup+3222.3 s]
/proc/loadavg: 4.32 4.18 4.12 5/256 957734
/proc/meminfo: memFree=125838176/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=410008 memory=396056 CPUtime=3214.98 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 144177 0 0 0 319852 1646 0 0 20 0 1 0 183022431 419848192 99014 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 102502 99014 814 2417 0 99604 0
Current children cumulated CPU time: 3214.98 s
Current children cumulated vsize: 410008 KiB
Current children cumulated memory: 396056 KiB

[startup+3282.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/256 957745
/proc/meminfo: memFree=125833672/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=459328 memory=430956 CPUtime=3274.86 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 146074 0 0 0 325811 1675 0 0 20 0 1 0 183022431 470351872 107739 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 114832 107739 814 2417 0 111934 0
Current children cumulated CPU time: 3274.86 s
Current children cumulated vsize: 459328 KiB
Current children cumulated memory: 430956 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.16 4.11 5/256 957755
/proc/meminfo: memFree=125833576/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=410008 memory=396140 CPUtime=3334.73 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 147717 0 0 0 331772 1701 0 0 20 0 1 0 183022431 419848192 99035 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 102502 99035 814 2417 0 99604 0
Current children cumulated CPU time: 3334.73 s
Current children cumulated vsize: 410008 KiB
Current children cumulated memory: 396140 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/256 957765
/proc/meminfo: memFree=125714424/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=490148 memory=447504 CPUtime=3394.6 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 149529 0 0 0 337732 1728 0 0 20 0 1 0 183022431 501911552 111876 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 122537 111876 814 2417 0 119639 0
Current children cumulated CPU time: 3394.6 s
Current children cumulated vsize: 490148 KiB
Current children cumulated memory: 447504 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/256 957776
/proc/meminfo: memFree=125715356/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=459328 memory=433004 CPUtime=3454.47 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 152207 0 0 0 343685 1762 0 0 20 0 1 0 183022431 470351872 108251 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 114832 108251 814 2417 0 111934 0
Current children cumulated CPU time: 3454.47 s
Current children cumulated vsize: 459328 KiB
Current children cumulated memory: 433004 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 957787
/proc/meminfo: memFree=125755224/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=459328 memory=433004 CPUtime=3514.33 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 155109 0 0 0 349641 1792 0 0 20 0 1 0 183022431 470351872 108251 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 114832 108251 814 2417 0 111934 0
Current children cumulated CPU time: 3514.33 s
Current children cumulated vsize: 459328 KiB
Current children cumulated memory: 433004 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/254 957797
/proc/meminfo: memFree=125784160/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=459328 memory=435052 CPUtime=3574.2 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 157137 0 0 0 355598 1822 0 0 20 0 1 0 183022431 470351872 108763 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 114832 108763 814 2417 0 111934 0
Current children cumulated CPU time: 3574.2 s
Current children cumulated vsize: 459328 KiB
Current children cumulated memory: 435052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.2 s]
/proc/loadavg: 4.19 4.13 4.10 5/254 957802
/proc/meminfo: memFree=125748868/131524600 swapFree=131071996/131071996
[pid=955463] ppid=955460 vsize=459328 memory=437100 CPUtime=3600.05 cores=4,6
/proc/955463/stat : 955463 (CASHWMaxSAT-Dis) R 955460 955463 953375 0 -1 4194304 157901 0 0 0 358172 1833 0 0 20 0 1 0 183022431 470351872 109275 134679101440 4194304 14093885 140731866337344 0 0 0 0 0 16386 0 0 0 17 4 0 0 0 0 0 15976432 16051504 40636416 140731866346468 140731866346583 140731866346583 140731866353599 0
/proc/955463/statm: 114832 109275 814 2417 0 111934 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 459328 KiB
Current children cumulated memory: 437100 KiB

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

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

# cumulated CPU time of all completed processes:  user=3581.73 s, system=18.3325 s

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

Child status: 0

Real time (s): 3608.2
CPU time (s): 3600.06
CPU user time (s): 3581.73
CPU system time (s): 18.3325
CPU usage (%): 99.7743
Max. virtual memory (cumulated for all children) (KiB): 558448
Max. memory (cumulated for all children) (KiB): 474344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.73
system time used= 18.3325
maximum resident set size= 515304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157901
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= 27
involuntary context switches= 4520


# summary of solver processes directly reported to runsolver:
#   pid: 955463
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3581.73
#   total CPU system time (s): 18.3325

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63757 second user time and 15.882 second system time

The end

Launcher Data 

Begin job on nodeC024 at 2024-07-18 15:16:28
IDJOB=4442911
IDBENCH=147856
IDSOLVER=3077
FILE ID=nodeC024/4442911-1721308575
RUNJOBID= nodeC024-1721304979-953386
SLURM_JOB_ID= 7542630
Free space on /tmp= 890044 MiB

SOLVER NAME= CASHWMaxSAT-DisjCom-S 2024-07-10
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
COMMAND LINE= CASHWMaxSAT-DisjCom-S BENCHNAME -total-t=TIMEOUT -no-par -v0
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442911-1721308575/watcher-4442911-1721308575 -o /tmp/evaluation-result-4442911-1721308575/solver-4442911-1721308575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC024-1721304979-953386 --watchdog 3760  CASHWMaxSAT-DisjCom-S HOME/instance-4442911-1721308575.opb -total-t=3600 -no-par -v0

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

MD5SUM BENCH= 447851c4fd40c5c34c03bb94532f1e8d
RANDOM SEED=736848457

nodeC024.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.859
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.459
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.260
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.257
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3659.485
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3683.513
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3652.096
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.60
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.085
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7007.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        126005616 kB
MemAvailable:   128449460 kB
Buffers:          487708 kB
Cached:          2769800 kB
SwapCached:            0 kB
Active:           919736 kB
Inactive:        3940656 kB
Active(anon):       1572 kB
Inactive(anon):  1639076 kB
Active(file):     918164 kB
Inactive(file):  2301580 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             14656 kB
Writeback:            16 kB
AnonPages:       1601524 kB
Mapped:           115856 kB
Shmem:             37720 kB
KReclaimable:     127492 kB
Slab:             243516 kB
SReclaimable:     127492 kB
SUnreclaim:       116024 kB
KernelStack:        4108 kB
PageTables:        12268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    2057032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67104 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1427456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      299732 kB
DirectMap2M:    36173824 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890020 MiB
End job on nodeC024 at 2024-07-18 16:16:37