Trace number 4545253

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_no_db_no_ls 2025-06-19? (TO) 3600.05 3609.64

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-20_c24.opb
MD5SUMfea607129b7127550b39e04c37b78aae
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark243.081
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables33526
Total number of constraints12724
Number of constraints which are clauses2302
Number of constraints which are cardinality constraints (but not clauses)1180
Number of constraints which are nor clauses,nor cardinality constraints9242
Minimum length of a constraint1
Maximum length of a constraint44
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 381
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1204
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.01/3609.60	c Program interrupted by user.
3600.01/3609.60	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: 63837 MiB (61966 MiB free)
  memory of node 1: 64465 MiB (53770 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545253-1753207413/watcher-4545253-1753207413 -o /tmp/evaluation-result-4545253-1753207413/solver-4545253-1753207413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753198970-158772 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=871055674 --ls=0 --inp-dombreaklim=0 HOME/instance-4545253-1753207413.opb 

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=161090, runsolver pid=161087

[startup+0.100077 s]*
/proc/loadavg: 4.09 4.11 4.09 5/250 161091
/proc/meminfo: memFree=118495404/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=60704 memory=39296 CPUtime=0.09 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 5434 0 0 0 7 2 0 0 20 0 1 0 236420105 62160896 9824 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 15176 9824 1024 1200 0 13656 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60704 KiB
Current children cumulated memory: 39296 KiB

[startup+0.213129 s]*
/proc/loadavg: 4.09 4.11 4.09 5/250 161091
/proc/meminfo: memFree=118484064/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=71456 memory=48968 CPUtime=0.19 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 8086 0 0 0 17 2 0 0 20 0 1 0 236420105 73170944 12242 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 17864 12242 1024 1200 0 16344 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 71456 KiB
Current children cumulated memory: 48968 KiB

[startup+0.313074 s]*
/proc/loadavg: 4.09 4.11 4.09 5/250 161091
/proc/meminfo: memFree=118480536/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=76412 memory=54392 CPUtime=0.29 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 9768 0 0 0 26 3 0 0 20 0 1 0 236420105 78245888 13598 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 19103 13598 1024 1200 0 17583 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 76412 KiB
Current children cumulated memory: 54392 KiB

[startup+0.700275 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 161091
/proc/meminfo: memFree=118474676/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=108724 memory=88824 CPUtime=0.66 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 18434 0 0 0 61 5 0 0 20 0 1 0 236420105 111333376 22206 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 27181 22206 1024 1200 0 25661 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 108724 KiB
Current children cumulated memory: 88824 KiB

[startup+1.50025 s]
/proc/loadavg: 4.09 4.11 4.09 6/250 161091
/proc/meminfo: memFree=118401264/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=162176 memory=141012 CPUtime=1.45 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 32127 0 0 0 134 11 0 0 20 0 1 0 236420105 166068224 35253 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 40544 35253 1248 1200 0 39024 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 162176 KiB
Current children cumulated memory: 141012 KiB

[startup+3.11262 s]
/proc/loadavg: 4.09 4.11 4.09 6/250 161091
/proc/meminfo: memFree=118399752/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=164160 memory=145712 CPUtime=3.06 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 32800 0 0 0 294 12 0 0 20 0 1 0 236420105 168099840 36428 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 41040 36428 1248 1200 0 39520 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 164160 KiB
Current children cumulated memory: 145712 KiB

[startup+6.30025 s]
/proc/loadavg: 4.09 4.11 4.09 6/250 161091
/proc/meminfo: memFree=118389752/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=169920 memory=157556 CPUtime=6.24 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 34243 0 0 0 611 13 0 0 20 0 1 0 236420105 173998080 39389 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 42480 39389 1248 1200 0 40960 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 169920 KiB
Current children cumulated memory: 157556 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 4.12 4.09 6/250 161091
/proc/meminfo: memFree=118372584/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=173868 memory=161140 CPUtime=12.63 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 35151 0 0 0 1249 14 0 0 20 0 1 0 236420105 178040832 40285 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 43467 40285 1248 1200 0 41947 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 173868 KiB
Current children cumulated memory: 161140 KiB

[startup+25.5003 s]
/proc/loadavg: 4.13 4.11 4.09 6/250 161091
/proc/meminfo: memFree=118356224/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=181576 memory=168308 CPUtime=25.39 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 36960 0 0 0 2525 14 0 0 20 0 1 0 236420105 185933824 42077 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 45394 42077 1248 1200 0 43874 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 181576 KiB
Current children cumulated memory: 168308 KiB

[startup+51.1128 s]
/proc/loadavg: 4.08 4.10 4.09 6/250 161092
/proc/meminfo: memFree=118350884/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=189308 memory=176628 CPUtime=50.94 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 39134 0 0 0 5077 17 0 0 20 0 1 0 236420105 193851392 44157 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 47327 44157 1248 1200 0 45807 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 189308 KiB
Current children cumulated memory: 176628 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/250 161095
/proc/meminfo: memFree=118289348/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=201028 memory=188056 CPUtime=101.98 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 41510 0 0 0 10179 19 0 0 20 0 1 0 236420105 205852672 47014 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 50257 47014 1248 1200 0 48737 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 201028 KiB
Current children cumulated memory: 188056 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 6/251 161104
/proc/meminfo: memFree=118193452/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=205152 memory=192280 CPUtime=161.82 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 42553 0 0 0 16163 19 0 0 20 0 1 0 236420105 210075648 48070 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 51288 48070 1248 1200 0 49768 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 205152 KiB
Current children cumulated memory: 192280 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/250 161106
/proc/meminfo: memFree=118135368/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=213896 memory=205108 CPUtime=221.66 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 44783 0 0 0 22146 20 0 0 20 0 1 0 236420105 219029504 51277 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 53474 51277 1248 1200 0 51954 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 213896 KiB
Current children cumulated memory: 205108 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.11 4.09 6/250 161152
/proc/meminfo: memFree=124754124/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=219472 memory=210740 CPUtime=281.49 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 46185 0 0 0 28127 22 0 0 20 0 1 0 236420105 224739328 52685 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 54868 52685 1248 1200 0 53348 0
Current children cumulated CPU time: 281.49 s
Current children cumulated vsize: 219472 KiB
Current children cumulated memory: 210740 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/250 161153
/proc/meminfo: memFree=124708372/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=225988 memory=217268 CPUtime=341.32 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 47839 0 0 0 34109 23 0 0 20 0 1 0 236420105 231411712 54317 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 56497 54317 1248 1200 0 54977 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 225988 KiB
Current children cumulated memory: 217268 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 6/250 161155
/proc/meminfo: memFree=124705456/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=229480 memory=220724 CPUtime=401.14 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 48703 0 0 0 40090 24 0 0 20 0 1 0 236420105 234987520 55181 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 57370 55181 1248 1200 0 55850 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 229480 KiB
Current children cumulated memory: 220724 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/249 161157
/proc/meminfo: memFree=124693824/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=229480 memory=220724 CPUtime=460.98 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 48727 0 0 0 46073 25 0 0 20 0 1 0 236420105 234987520 55181 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 57370 55181 1248 1200 0 55850 0

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

Current children cumulated memory: 292004 KiB

[startup+2862.3 s]
/proc/loadavg: 3.16 3.57 3.89 5/244 161303
/proc/meminfo: memFree=124570304/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=304936 memory=292900 CPUtime=2854.39 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 64975 0 0 0 285374 65 0 0 20 0 1 0 236420105 312254464 73225 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 76234 73225 1248 1200 0 74714 0
Current children cumulated CPU time: 2854.39 s
Current children cumulated vsize: 304936 KiB
Current children cumulated memory: 292900 KiB

[startup+2922.3 s]
/proc/loadavg: 3.12 3.48 3.83 5/243 161305
/proc/meminfo: memFree=124570312/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=305812 memory=293796 CPUtime=2914.25 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 65194 0 0 0 291358 67 0 0 20 0 1 0 236420105 313151488 73449 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 76453 73449 1248 1200 0 74933 0
Current children cumulated CPU time: 2914.25 s
Current children cumulated vsize: 305812 KiB
Current children cumulated memory: 293796 KiB

[startup+2982.3 s]
/proc/loadavg: 3.17 3.42 3.79 5/244 161308
/proc/meminfo: memFree=124538776/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=306980 memory=294948 CPUtime=2974.11 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 65604 0 0 0 297343 68 0 0 20 0 1 0 236420105 314347520 73737 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 76745 73737 1248 1200 0 75225 0
Current children cumulated CPU time: 2974.11 s
Current children cumulated vsize: 306980 KiB
Current children cumulated memory: 294948 KiB

[startup+3042.3 s]
/proc/loadavg: 3.12 3.36 3.74 5/244 161310
/proc/meminfo: memFree=124522420/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=307216 memory=295204 CPUtime=3033.97 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 65768 0 0 0 303329 68 0 0 20 0 1 0 236420105 314589184 73801 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 76804 73801 1248 1200 0 75284 0
Current children cumulated CPU time: 3033.97 s
Current children cumulated vsize: 307216 KiB
Current children cumulated memory: 295204 KiB

[startup+3102.3 s]
/proc/loadavg: 3.09 3.30 3.70 5/244 161312
/proc/meminfo: memFree=124518680/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=308288 memory=296228 CPUtime=3093.82 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 66041 0 0 0 309312 70 0 0 20 0 1 0 236420105 315686912 74057 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 77072 74057 1248 1200 0 75552 0
Current children cumulated CPU time: 3093.82 s
Current children cumulated vsize: 308288 KiB
Current children cumulated memory: 296228 KiB

[startup+3162.3 s]
/proc/loadavg: 3.15 3.28 3.67 5/244 161314
/proc/meminfo: memFree=124518728/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=308592 memory=296612 CPUtime=3153.68 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 66234 0 0 0 315296 72 0 0 20 0 1 0 236420105 315998208 74153 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 77148 74153 1248 1200 0 75628 0
Current children cumulated CPU time: 3153.68 s
Current children cumulated vsize: 308592 KiB
Current children cumulated memory: 296612 KiB

[startup+3222.3 s]
/proc/loadavg: 3.11 3.24 3.63 5/244 161316
/proc/meminfo: memFree=124518768/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=309356 memory=297380 CPUtime=3213.55 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 66541 0 0 0 321282 73 0 0 20 0 1 0 236420105 316780544 74345 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 77339 74345 1248 1200 0 75819 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 309356 KiB
Current children cumulated memory: 297380 KiB

[startup+3282.3 s]
/proc/loadavg: 2.51 3.05 3.54 3/238 161351
/proc/meminfo: memFree=127673964/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=309948 memory=298148 CPUtime=3273.41 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 66745 0 0 0 327267 74 0 0 20 0 1 0 236420105 317386752 74537 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 77487 74537 1248 1200 0 75967 0
Current children cumulated CPU time: 3273.41 s
Current children cumulated vsize: 309948 KiB
Current children cumulated memory: 298148 KiB

[startup+3342.3 s]
/proc/loadavg: 2.29 2.89 3.45 3/239 161358
/proc/meminfo: memFree=127674336/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=310760 memory=298788 CPUtime=3333.29 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 67037 0 0 0 333253 76 0 0 20 0 1 0 236420105 318218240 74697 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 77690 74697 1248 1200 0 76170 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 310760 KiB
Current children cumulated memory: 298788 KiB

[startup+3402.3 s]
/proc/loadavg: 2.16 2.74 3.36 3/239 161360
/proc/meminfo: memFree=127671608/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=312192 memory=300452 CPUtime=3393.15 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 67459 0 0 0 339239 76 0 0 20 0 1 0 236420105 319684608 75113 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 78048 75113 1248 1200 0 76528 0
Current children cumulated CPU time: 3393.15 s
Current children cumulated vsize: 312192 KiB
Current children cumulated memory: 300452 KiB

[startup+3462.3 s]
/proc/loadavg: 2.16 2.63 3.28 3/239 161373
/proc/meminfo: memFree=127663608/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=315420 memory=303780 CPUtime=3453.02 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 68399 0 0 0 345224 78 0 0 20 0 1 0 236420105 322990080 75945 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 78855 75945 1248 1200 0 77335 0
Current children cumulated CPU time: 3453.02 s
Current children cumulated vsize: 315420 KiB
Current children cumulated memory: 303780 KiB

[startup+3522.3 s]
/proc/loadavg: 2.12 2.53 3.20 3/239 161375
/proc/meminfo: memFree=127664420/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=315856 memory=303780 CPUtime=3512.9 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 68433 0 0 0 351211 79 0 0 20 0 1 0 236420105 323436544 75945 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 78964 75945 1248 1200 0 77444 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 315856 KiB
Current children cumulated memory: 303780 KiB

[startup+3582.3 s]
/proc/loadavg: 2.09 2.45 3.13 3/238 161377
/proc/meminfo: memFree=127664924/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=316724 memory=304676 CPUtime=3572.76 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 68655 0 0 0 357197 79 0 0 20 0 1 0 236420105 324325376 76169 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 79181 76169 1248 1200 0 77661 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 316724 KiB
Current children cumulated memory: 304676 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 2.11 2.42 3.10 3/238 161379
/proc/meminfo: memFree=127664940/131382120 swapFree=33010416/33010684
[pid=161090] ppid=161087 vsize=317456 memory=305444 CPUtime=3600.01 cores=4,6
/proc/161090/stat : 161090 (Exact) R 161087 161090 158752 0 -1 4194304 68961 0 0 0 359921 80 0 0 20 0 1 0 236420105 325074944 76361 18446744073709551615 4198400 9112445 140737420563296 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 22749184 140737420564775 140737420564971 140737420564971 140737420570575 0
/proc/161090/statm: 79364 76361 1248 1200 0 77844 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 317456 KiB
Current children cumulated memory: 305444 KiB

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

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

# cumulated CPU time of all completed processes:  user=3599.25 s, system=0.805675 s

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

Child status: 0

Real time (s): 3609.64
CPU time (s): 3600.05
CPU user time (s): 3599.25
CPU system time (s): 0.805675
CPU usage (%): 99.7345
Max. virtual memory (cumulated for all children) (KiB): 317456
Max. memory (cumulated for all children) (KiB): 305444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.25
system time used= 0.805675
maximum resident set size= 305572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68970
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= 104
involuntary context switches= 1974


# summary of solver processes directly reported to runsolver:
#   pid: 161090
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3599.25
#   total CPU system time (s): 0.805675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9234 second user time and 33.8271 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-22 20:03:33
IDJOB=4545253
IDBENCH=180787
IDSOLVER=3318
FILE ID=nodeC002/4545253-1753207413
RUNJOBID= nodeC002-1753198970-158772
SLURM_JOB_ID= 9687735
Free space on /tmp= 432208 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-AverageAvoiding-20_c24.opb
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=0 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545253-1753207413/watcher-4545253-1753207413 -o /tmp/evaluation-result-4545253-1753207413/solver-4545253-1753207413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753198970-158772 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=871055674 --ls=0 --inp-dombreaklim=0 HOME/instance-4545253-1753207413.opb

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

MD5SUM BENCH= fea607129b7127550b39e04c37b78aae
RANDOM SEED=871055674

nodeC002 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		: 3661.736
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	: 6983.81
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		: 3658.907
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	: 6983.81
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.485
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	: 6983.81
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.544
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	: 6983.81
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		: 1397.539
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	: 6983.81
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		: 3491.913
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	: 6983.81
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		: 1197.226
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	: 6983.81
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.361
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	: 6983.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        118514396 kB
MemAvailable:   119888924 kB
Buffers:            2128 kB
Cached:          2126960 kB
SwapCached:           28 kB
Active:         11069080 kB
Inactive:        1018144 kB
Active(anon):    9977960 kB
Inactive(anon):     6300 kB
Active(file):    1091120 kB
Inactive(file):  1011844 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              9724 kB
Writeback:             0 kB
AnonPages:       9958528 kB
Mapped:           124436 kB
Shmem:             26124 kB
KReclaimable:     222384 kB
Slab:             313832 kB
SReclaimable:     222384 kB
SUnreclaim:        91448 kB
KernelStack:        4064 kB
PageTables:        22660 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   10905848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149400 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   6176768 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:      181064 kB
DirectMap2M:     8110080 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432296 MiB
End job on nodeC002 at 2025-07-22 21:03:43