Trace number 4482645

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
Exact 2025-06-02? (TO) 3600.16 3612.27

General information on the benchmark

NamePB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_3-sat.opb
MD5SUMf7b2b496c30aa17fcbe59599d08153aa
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables49368
Total number of constraints158090
Number of constraints which are clauses157278
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints812
Minimum length of a constraint1
Maximum length of a constraint93
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 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 546
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.08/3612.20	c Program interrupted by user.
3600.08/3612.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: 63794 MiB (62903 MiB free)
  memory of node 1: 64507 MiB (63740 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4482645-1751169419/watcher-4482645-1751169419 -o /tmp/evaluation-result-4482645-1751169419/solver-4482645-1751169419 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751167606-21059 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1357723319 --ls=360 HOME/instance-4482645-1751169419.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=21697, runsolver pid=21694
Current StackSize limit: 8192 KiB


[startup+0.100072 s]*
/proc/loadavg: 4.70 4.27 4.09 5/250 21698
/proc/meminfo: memFree=129659432/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=71468 memory=46896 CPUtime=0.11 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 8117 0 0 0 9 2 0 0 20 0 1 0 32621601 73183232 11724 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 17867 11724 1024 1200 0 16347 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 71468 KiB
Current children cumulated memory: 46896 KiB

[startup+0.213116 s]*
/proc/loadavg: 4.70 4.27 4.09 5/250 21698
/proc/meminfo: memFree=129646076/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=89100 memory=64952 CPUtime=0.21 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 13098 0 0 0 18 3 0 0 20 0 1 0 32621601 91238400 16238 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 22275 16238 1024 1200 0 20755 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 89100 KiB
Current children cumulated memory: 64952 KiB

[startup+0.312816 s]*
/proc/loadavg: 4.70 4.27 4.09 5/250 21698
/proc/meminfo: memFree=129627868/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=99040 memory=74816 CPUtime=0.31 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 15438 0 0 0 27 4 0 0 20 0 1 0 32621601 101416960 18704 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 24760 18704 1024 1200 0 23240 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 99040 KiB
Current children cumulated memory: 74816 KiB

[startup+0.700315 s]
/proc/loadavg: 4.70 4.27 4.09 5/250 21698
/proc/meminfo: memFree=129611864/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=120044 memory=99480 CPUtime=0.69 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 20194 0 0 0 63 6 0 0 20 0 1 0 32621601 122925056 24870 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 30011 24870 1024 1200 0 28491 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 120044 KiB
Current children cumulated memory: 99480 KiB

[startup+1.50033 s]
/proc/loadavg: 4.70 4.27 4.09 5/250 21698
/proc/meminfo: memFree=129551628/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=148988 CPUtime=1.48 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29321 0 0 0 138 10 0 0 20 0 1 0 32621601 186761216 37247 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 37247 1024 1200 0 44076 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 148988 KiB

[startup+3.11371 s]
/proc/loadavg: 4.70 4.27 4.09 5/251 21700
/proc/meminfo: memFree=129536004/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=148988 CPUtime=3.09 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29334 0 0 0 299 10 0 0 20 0 1 0 32621601 186761216 37247 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 37247 1024 1200 0 44076 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 148988 KiB

[startup+6.30031 s]
/proc/loadavg: 4.64 4.26 4.09 5/251 21700
/proc/meminfo: memFree=129536020/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=148988 CPUtime=6.27 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29347 0 0 0 617 10 0 0 20 0 1 0 32621601 186761216 37247 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 37247 1024 1200 0 44076 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 148988 KiB

[startup+12.7003 s]
/proc/loadavg: 4.59 4.26 4.09 5/251 21700
/proc/meminfo: memFree=129528080/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=148988 CPUtime=12.65 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29360 0 0 0 1255 10 0 0 20 0 1 0 32621601 186761216 37247 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 37247 1024 1200 0 44076 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 148988 KiB

[startup+25.5003 s]
/proc/loadavg: 4.46 4.25 4.09 5/251 21700
/proc/meminfo: memFree=129536396/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=148988 CPUtime=25.41 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29365 0 0 0 2531 10 0 0 20 0 1 0 32621601 186761216 37247 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 37247 1024 1200 0 44076 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 148988 KiB

[startup+51.1127 s]
/proc/loadavg: 4.36 4.24 4.09 5/251 21700
/proc/meminfo: memFree=129549168/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=148988 CPUtime=50.95 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29386 0 0 0 5085 10 0 0 20 0 1 0 32621601 186761216 37247 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 37247 1024 1200 0 44076 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 148988 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.22 4.09 5/251 21703
/proc/meminfo: memFree=129541856/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=148988 CPUtime=101.99 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29412 0 0 0 10189 10 0 0 20 0 1 0 32621601 186761216 37247 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 37247 1024 1200 0 44076 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 148988 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.19 4.09 5/252 21706
/proc/meminfo: memFree=129495448/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=148988 CPUtime=161.81 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29425 0 0 0 16171 10 0 0 20 0 1 0 32621601 186761216 37247 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 37247 1024 1200 0 44076 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 148988 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.17 4.09 5/252 21708
/proc/meminfo: memFree=129490180/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=148988 CPUtime=221.59 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29454 0 0 0 22149 10 0 0 20 0 1 0 32621601 186761216 37247 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 37247 1024 1200 0 44076 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 148988 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.15 4.09 5/252 21723
/proc/meminfo: memFree=129473912/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=155772 CPUtime=281.4 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29529 0 0 0 28130 10 0 0 20 0 1 0 32621601 186761216 38943 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 38943 1024 1200 0 44076 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 155772 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.15 4.09 5/251 21729
/proc/meminfo: memFree=129473268/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=182384 memory=155772 CPUtime=341.25 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 29529 0 0 0 34115 10 0 0 20 0 1 0 32621601 186761216 38943 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 45596 38943 1024 1200 0 44076 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 182384 KiB
Current children cumulated memory: 155772 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/250 21731
/proc/meminfo: memFree=129333160/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=290732 memory=268468 CPUtime=401.07 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 48841 0 0 0 40091 16 0 0 20 0 1 0 32621601 297709568 67117 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 72683 67117 1280 1200 0 71163 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 290732 KiB
Current children cumulated memory: 268468 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/250 21733
/proc/meminfo: memFree=129297200/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=308172 memory=285876 CPUtime=460.89 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 53229 0 0 0 46069 20 0 0 20 0 1 0 32621601 315568128 71469 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 77043 71469 1280 1200 0 75523 0
Current children cumulated CPU time: 460.89 s

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

Current children cumulated memory: 458072 KiB

[startup+2862.3 s]
/proc/loadavg: 4.08 4.09 4.11 5/250 22029
/proc/meminfo: memFree=127274648/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=485464 memory=458328 CPUtime=2852.93 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 96877 0 0 0 285133 160 0 0 20 0 1 0 32621601 497115136 114582 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 121366 114582 1280 1200 0 119846 0
Current children cumulated CPU time: 2852.93 s
Current children cumulated vsize: 485464 KiB
Current children cumulated memory: 458328 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.10 4.11 5/251 22032
/proc/meminfo: memFree=126355028/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=485464 memory=458328 CPUtime=2912.71 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 97044 0 0 0 291111 160 0 0 20 0 1 0 32621601 497115136 114582 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 121366 114582 1280 1200 0 119846 0
Current children cumulated CPU time: 2912.71 s
Current children cumulated vsize: 485464 KiB
Current children cumulated memory: 458328 KiB

[startup+2982.3 s]
/proc/loadavg: 4.05 4.08 4.10 5/251 22034
/proc/meminfo: memFree=125364268/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=485464 memory=458328 CPUtime=2972.5 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 97142 0 0 0 297090 160 0 0 20 0 1 0 32621601 497115136 114582 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 121366 114582 1280 1200 0 119846 0
Current children cumulated CPU time: 2972.5 s
Current children cumulated vsize: 485464 KiB
Current children cumulated memory: 458328 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/251 22036
/proc/meminfo: memFree=125354348/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=486752 memory=460888 CPUtime=3032.28 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 97860 0 0 0 303068 160 0 0 20 0 1 0 32621601 498434048 115222 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 121688 115222 1280 1200 0 120168 0
Current children cumulated CPU time: 3032.28 s
Current children cumulated vsize: 486752 KiB
Current children cumulated memory: 460888 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.11 4.10 5/252 22039
/proc/meminfo: memFree=125359068/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=487952 memory=462168 CPUtime=3092.06 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 98326 0 0 0 309046 160 0 0 20 0 1 0 32621601 499662848 115542 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 121988 115542 1280 1200 0 120468 0
Current children cumulated CPU time: 3092.06 s
Current children cumulated vsize: 487952 KiB
Current children cumulated memory: 462168 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 22041
/proc/meminfo: memFree=125315076/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=489800 memory=463960 CPUtime=3151.84 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 98885 0 0 0 315023 161 0 0 20 0 1 0 32621601 501555200 115990 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 122450 115990 1280 1200 0 120930 0
Current children cumulated CPU time: 3151.84 s
Current children cumulated vsize: 489800 KiB
Current children cumulated memory: 463960 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/252 22043
/proc/meminfo: memFree=125298064/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=491872 memory=466008 CPUtime=3211.62 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 99472 0 0 0 321001 161 0 0 20 0 1 0 32621601 503676928 116502 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 122968 116502 1280 1200 0 121448 0
Current children cumulated CPU time: 3211.62 s
Current children cumulated vsize: 491872 KiB
Current children cumulated memory: 466008 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/252 22048
/proc/meminfo: memFree=125293984/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=493724 memory=467928 CPUtime=3271.39 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 100101 0 0 0 326978 161 0 0 20 0 1 0 32621601 505573376 116982 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 123431 116982 1280 1200 0 121911 0
Current children cumulated CPU time: 3271.39 s
Current children cumulated vsize: 493724 KiB
Current children cumulated memory: 467928 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/252 22055
/proc/meminfo: memFree=125298400/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=495700 memory=469848 CPUtime=3331.16 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 100695 0 0 0 332955 161 0 0 20 0 1 0 32621601 507596800 117462 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 123925 117462 1280 1200 0 122405 0
Current children cumulated CPU time: 3331.16 s
Current children cumulated vsize: 495700 KiB
Current children cumulated memory: 469848 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/252 22101
/proc/meminfo: memFree=125771568/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=496932 memory=471128 CPUtime=3390.93 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 101072 0 0 0 338932 161 0 0 20 0 1 0 32621601 508858368 117782 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 124233 117782 1280 1200 0 122713 0
Current children cumulated CPU time: 3390.93 s
Current children cumulated vsize: 496932 KiB
Current children cumulated memory: 471128 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/252 22104
/proc/meminfo: memFree=125759704/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=498748 memory=472920 CPUtime=3450.71 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 101693 0 0 0 344910 161 0 0 20 0 1 0 32621601 510717952 118230 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 124687 118230 1280 1200 0 123167 0
Current children cumulated CPU time: 3450.71 s
Current children cumulated vsize: 498748 KiB
Current children cumulated memory: 472920 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/252 22106
/proc/meminfo: memFree=125758188/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=505692 memory=477656 CPUtime=3510.5 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 102929 0 0 0 350885 165 0 0 20 0 1 0 32621601 517828608 119414 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 126423 119414 1280 1200 0 124903 0
Current children cumulated CPU time: 3510.5 s
Current children cumulated vsize: 505692 KiB
Current children cumulated memory: 477656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.40 4.16 4.11 5/251 22108
/proc/meminfo: memFree=125738364/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=505692 memory=477656 CPUtime=3570.29 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 102931 0 0 0 356859 170 0 0 20 0 1 0 32621601 517828608 119414 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 126423 119414 1280 1200 0 124903 0
Current children cumulated CPU time: 3570.29 s
Current children cumulated vsize: 505692 KiB
Current children cumulated memory: 477656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.64 4.24 4.14 5/251 22109
/proc/meminfo: memFree=125745792/131382116 swapFree=33010684/33010684
[pid=21697] ppid=21694 vsize=505692 memory=478296 CPUtime=3600.08 cores=5,7
/proc/21697/stat : 21697 (Exact) R 21694 21697 21046 0 -1 4194304 103276 0 0 0 359829 179 0 0 20 0 1 0 32621601 517828608 119574 18446744073709551615 4198400 9112445 140724470927904 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 21848064 140724470933818 140724470933997 140724470933997 140724470939599 0
/proc/21697/statm: 126423 119574 1280 1200 0 124903 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 505692 KiB
Current children cumulated memory: 478296 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.36 s, system=1.80084 s

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

Child status: 0

Real time (s): 3612.27
CPU time (s): 3600.16
CPU user time (s): 3598.36
CPU system time (s): 1.80084
CPU usage (%): 99.6648
Max. virtual memory (cumulated for all children) (KiB): 505692
Max. memory (cumulated for all children) (KiB): 478296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.36
system time used= 1.80084
maximum resident set size= 478296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103299
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= 121
involuntary context switches= 21079


# summary of solver processes directly reported to runsolver:
#   pid: 21697
#   total CPU time (s): 3600.16
#   total CPU user time (s): 3598.36
#   total CPU system time (s): 1.80084

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6037 second user time and 35.276 second system time

The end

Launcher Data 

Begin job on nodeC011 at 2025-06-29 05:56:59
IDJOB=4482645
IDBENCH=154773
IDSOLVER=3317
FILE ID=nodeC011/4482645-1751169419
RUNJOBID= nodeC011-1751167606-21059
SLURM_JOB_ID= 9587507
Free space on /tmp= 433020 MiB

SOLVER NAME= Exact 2025-06-02
BENCH NAME= PB24/normalized-PB10/DEC-LIN/oliveras/j120/normalized-j12011_3-sat.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4482645-1751169419/watcher-4482645-1751169419 -o /tmp/evaluation-result-4482645-1751169419/solver-4482645-1751169419 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1751167606-21059 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1357723319 --ls=360 HOME/instance-4482645-1751169419.opb

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

MD5SUM BENCH= f7b2b496c30aa17fcbe59599d08153aa
RANDOM SEED=1357723319

nodeC011 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00001f
cpu MHz		: 3662.385
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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	: 0xb00001f
cpu MHz		: 3662.341
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.701
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.743
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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	: 0xb00001f
cpu MHz		: 3662.381
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.667
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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	: 0xb00001f
cpu MHz		: 3700.000
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
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	: 0xb00001f
cpu MHz		: 1197.291
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6984.20
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        129683624 kB
MemAvailable:   129344096 kB
Buffers:            3280 kB
Cached:           471864 kB
SwapCached:            0 kB
Active:           921704 kB
Inactive:         224056 kB
Active(anon):     688576 kB
Inactive(anon):        0 kB
Active(file):     233128 kB
Inactive(file):   224056 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             12420 kB
Writeback:             0 kB
AnonPages:        673800 kB
Mapped:           117440 kB
Shmem:             17960 kB
KReclaimable:      85448 kB
Slab:             164640 kB
SReclaimable:      85448 kB
SUnreclaim:        79192 kB
KernelStack:        4032 kB
PageTables:         4248 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    1038316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    555008 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432888 MiB
End job on nodeC011 at 2025-06-29 06:57:11