Trace number 4511822

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) 3601.29 3611.56

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb
MD5SUM59fcb85c6ef97ea95ede85b6c75e382f
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 benchmark3.33101
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables685824
Total number of constraints5870
Number of constraints which are clauses2678
Number of constraints which are cardinality constraints (but not clauses)2678
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2679
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 962884
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2177919
Number of bits of the biggest sum of numbers22
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/3610.32	c Program interrupted by user.
3600.01/3610.32	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: 63665 MiB (62696 MiB free)
  memory of node 1: 64507 MiB (61864 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511822-1751205209/watcher-4511822-1751205209 -o /tmp/evaluation-result-4511822-1751205209/solver-4511822-1751205209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751201446-24592 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1653333894 --ls=0 --inp-dombreaklim=0 HOME/instance-4511822-1751205209.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100062 s]*
/proc/loadavg: 4.31 4.18 4.11 5/264 26240
/proc/meminfo: memFree=127330284/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=337492 memory=262788 CPUtime=0.09 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 8616 0 0 0 4 5 0 0 20 0 1 0 36199807 345591808 65697 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 84373 65697 992 1200 0 82853 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 337492 KiB
Current children cumulated memory: 262788 KiB

[startup+0.205682 s]*
/proc/loadavg: 4.31 4.18 4.11 5/264 26240
/proc/meminfo: memFree=127096064/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=494684 memory=469616 CPUtime=0.2 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 16431 0 0 0 10 10 0 0 20 0 1 0 36199807 506556416 117404 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 123671 117404 1024 1200 0 122151 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 494684 KiB
Current children cumulated memory: 469616 KiB

[startup+0.305495 s]*
/proc/loadavg: 4.31 4.18 4.11 5/264 26240
/proc/meminfo: memFree=127044464/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=544760 memory=515928 CPUtime=0.3 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 27647 0 0 0 18 12 0 0 20 0 1 0 36199807 557834240 128982 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 136190 128982 1024 1200 0 134670 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 544760 KiB
Current children cumulated memory: 515928 KiB

[startup+0.700167 s]
/proc/loadavg: 4.31 4.18 4.11 5/264 26240
/proc/meminfo: memFree=126940004/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=742064 memory=696828 CPUtime=0.68 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 60743 0 0 0 50 18 0 0 20 0 1 0 36199807 759873536 174207 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 185516 174207 1024 1200 0 183996 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 742064 KiB
Current children cumulated memory: 696828 KiB

[startup+1.50016 s]
/proc/loadavg: 4.31 4.18 4.11 5/264 26240
/proc/meminfo: memFree=126697560/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=1058540 memory=997788 CPUtime=1.48 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 112325 0 0 0 118 30 0 0 20 0 1 0 36199807 1083944960 249447 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 264635 249447 1024 1200 0 263115 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 1058540 KiB
Current children cumulated memory: 997788 KiB

[startup+3.10564 s]
/proc/loadavg: 4.31 4.18 4.11 5/264 26240
/proc/meminfo: memFree=126180988/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=1334556 memory=1287272 CPUtime=3.09 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 181796 0 0 0 267 42 0 0 20 0 1 0 36199807 1366585344 321818 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 333639 321818 1024 1200 0 332119 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1334556 KiB
Current children cumulated memory: 1287272 KiB

[startup+6.30015 s]
/proc/loadavg: 4.29 4.18 4.11 5/264 26240
/proc/meminfo: memFree=125632872/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=1885108 memory=1813324 CPUtime=6.27 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 240296 0 0 0 564 63 0 0 20 0 1 0 36199807 1930350592 453331 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 471277 453331 1248 1200 0 469757 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1885108 KiB
Current children cumulated memory: 1813324 KiB

[startup+12.7002 s]
/proc/loadavg: 4.26 4.18 4.11 5/264 26240
/proc/meminfo: memFree=125551440/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=1937952 memory=1864752 CPUtime=12.65 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 241160 0 0 0 1200 65 0 0 20 0 1 0 36199807 1984462848 466188 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 484488 466188 1248 1200 0 482968 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 1937952 KiB
Current children cumulated memory: 1864752 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.17 4.10 5/264 26240
/proc/meminfo: memFree=125281148/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=2118216 memory=2038048 CPUtime=25.42 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 261893 0 0 0 2469 73 0 0 20 0 1 0 36199807 2169053184 509512 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 529554 509512 1280 1200 0 528034 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2118216 KiB
Current children cumulated memory: 2038048 KiB

[startup+51.1053 s]
/proc/loadavg: 4.20 4.17 4.10 5/265 26242
/proc/meminfo: memFree=124718912/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=2386288 memory=2299936 CPUtime=50.95 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 299775 0 0 0 5010 85 0 0 20 0 1 0 36199807 2443558912 574984 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 596572 574984 1280 1200 0 595052 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2386288 KiB
Current children cumulated memory: 2299936 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.10 5/265 26244
/proc/meminfo: memFree=122395188/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=3560104 memory=3271532 CPUtime=102 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 447158 0 0 0 10070 130 0 0 20 0 1 0 36199807 3645546496 817883 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 890026 817883 1280 1200 0 888506 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 3560104 KiB
Current children cumulated memory: 3271532 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/265 26381
/proc/meminfo: memFree=117515800/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=4940140 memory=4357088 CPUtime=161.84 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 621673 0 0 0 15998 186 0 0 20 0 1 0 36199807 5058703360 1089272 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 1235035 1089272 1280 1200 0 1233515 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 4940140 KiB
Current children cumulated memory: 4357088 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/265 26427
/proc/meminfo: memFree=112716404/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=5592204 memory=5409884 CPUtime=221.68 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 780651 0 0 0 21946 222 0 0 20 0 1 0 36199807 5726416896 1352471 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 1398051 1352471 1280 1200 0 1396531 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 5592204 KiB
Current children cumulated memory: 5409884 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/266 26435
/proc/meminfo: memFree=111200464/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=7191588 memory=6008200 CPUtime=281.5 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 896638 0 0 0 27876 274 0 0 20 0 1 0 36199807 7364186112 1502050 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 1797897 1502050 1280 1200 0 1796377 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 7191588 KiB
Current children cumulated memory: 6008200 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/263 26472
/proc/meminfo: memFree=109133616/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=7772448 memory=6536328 CPUtime=341.34 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 1029778 0 0 0 33837 297 0 0 20 0 1 0 36199807 7958986752 1634082 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 1943112 1634082 1280 1200 0 1941592 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 7772448 KiB
Current children cumulated memory: 6536328 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/266 26484
/proc/meminfo: memFree=99879272/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=8354560 memory=7259480 CPUtime=401.16 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 1169247 0 0 0 39791 325 0 0 20 0 1 0 36199807 8555069440 1814870 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 2088640 1814870 1280 1200 0 2087120 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 8354560 KiB
Current children cumulated memory: 7259480 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/266 26497
/proc/meminfo: memFree=97875296/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=8941616 memory=8058556 CPUtime=460.99 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 1294710 0 0 0 45746 353 0 0 20 0 1 0 36199807 9156214784 2014639 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0

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


[startup+3042.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 26709
/proc/meminfo: memFree=95301248/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=17448088 memory=14989176 CPUtime=3033.51 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 2789821 0 0 0 302284 1067 0 0 20 0 1 0 36199807 17866842112 3747294 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 4362022 3747294 1280 1200 0 4360502 0
Current children cumulated CPU time: 3033.51 s
Current children cumulated vsize: 17448088 KiB
Current children cumulated memory: 14989176 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 26714
/proc/meminfo: memFree=95136876/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=17473808 memory=15011716 CPUtime=3093.35 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 2797470 0 0 0 308253 1082 0 0 20 0 1 0 36199807 17893179392 3752929 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 4368452 3752929 1280 1200 0 4366932 0
Current children cumulated CPU time: 3093.35 s
Current children cumulated vsize: 17473808 KiB
Current children cumulated memory: 15011716 KiB

[startup+3162.3 s]
/proc/loadavg: 4.34 4.20 4.12 5/265 26716
/proc/meminfo: memFree=94922100/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=17505200 memory=15042948 CPUtime=3153.18 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 2806903 0 0 0 314222 1096 0 0 20 0 1 0 36199807 17925324800 3760737 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 4376300 3760737 1280 1200 0 4374780 0
Current children cumulated CPU time: 3153.18 s
Current children cumulated vsize: 17505200 KiB
Current children cumulated memory: 15042948 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.19 4.12 5/265 26717
/proc/meminfo: memFree=94629744/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=17724128 memory=15252092 CPUtime=3213.03 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 2860264 0 0 0 320186 1117 0 0 20 0 1 0 36199807 18149507072 3813023 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 4431032 3813023 1280 1200 0 4429512 0
Current children cumulated CPU time: 3213.03 s
Current children cumulated vsize: 17724128 KiB
Current children cumulated memory: 15252092 KiB

[startup+3282.3 s]
/proc/loadavg: 4.14 4.17 4.12 5/265 26719
/proc/meminfo: memFree=94063884/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=18324648 memory=15751292 CPUtime=3272.87 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 2987262 0 0 0 326140 1147 0 0 20 0 1 0 36199807 18764439552 3937823 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 4581162 3937823 1280 1200 0 4579642 0
Current children cumulated CPU time: 3272.87 s
Current children cumulated vsize: 18324648 KiB
Current children cumulated memory: 15751292 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.15 4.11 5/264 26725
/proc/meminfo: memFree=93450004/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=18672372 memory=16174204 CPUtime=3332.71 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 3096448 0 0 0 332093 1178 0 0 20 0 1 0 36199807 19120508928 4043551 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 4668093 4043551 1280 1200 0 4666573 0
Current children cumulated CPU time: 3332.71 s
Current children cumulated vsize: 18672372 KiB
Current children cumulated memory: 16174204 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/262 26727
/proc/meminfo: memFree=92618112/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=19537392 memory=16762492 CPUtime=3392.57 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 3246554 0 0 0 338043 1214 0 0 20 0 1 0 36199807 20006289408 4190623 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 4884348 4190623 1280 1200 0 4882828 0
Current children cumulated CPU time: 3392.57 s
Current children cumulated vsize: 19537392 KiB
Current children cumulated memory: 16762492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/263 26731
/proc/meminfo: memFree=92025016/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=20249416 memory=17320188 CPUtime=3452.42 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 3389440 0 0 0 343996 1246 0 0 20 0 1 0 36199807 20735401984 4330047 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 5062354 4330047 1280 1200 0 5060834 0
Current children cumulated CPU time: 3452.42 s
Current children cumulated vsize: 20249416 KiB
Current children cumulated memory: 17320188 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/263 26733
/proc/meminfo: memFree=91726544/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=20285572 memory=17518204 CPUtime=3512.26 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 3441848 0 0 0 349959 1267 0 0 20 0 1 0 36199807 20772425728 4379551 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 5071393 4379551 1280 1200 0 5069873 0
Current children cumulated CPU time: 3512.26 s
Current children cumulated vsize: 20285572 KiB
Current children cumulated memory: 17518204 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 26736
/proc/meminfo: memFree=91418924/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=20449156 memory=17728508 CPUtime=3572.1 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 3499322 0 0 0 355925 1285 0 0 20 0 1 0 36199807 20939935744 4432127 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 5112289 4432127 1280 1200 0 5110769 0
Current children cumulated CPU time: 3572.1 s
Current children cumulated vsize: 20449156 KiB
Current children cumulated memory: 17728508 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 26782
/proc/meminfo: memFree=111783772/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=20597980 memory=17854972 CPUtime=3600.01 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 3532416 0 0 0 358706 1295 0 0 20 0 1 0 36199807 21092331520 4463743 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 5149495 4463743 1280 1200 0 5147975 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 20597980 KiB
Current children cumulated memory: 17854972 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.79 s, system=13.4987 s

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

[startup+3610.4 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 26782
/proc/meminfo: memFree=111783772/131249988 swapFree=33010684/33010684
[pid=26239] ppid=26236 vsize=20558552 memory=17815640 CPUtime=3600.11 cores=0,2
/proc/26239/stat : 26239 (Exact) R 26236 26239 24582 0 -1 4194304 3532600 0 0 0 358716 1295 0 0 20 0 1 0 36199807 21051957248 4453910 18446744073709551615 4198400 9112445 140726383553280 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 10316848 10407236 29151232 140726383561000 140726383561197 140726383561197 140726383566799 0
/proc/26239/statm: 5139638 4453910 1280 1200 0 5138118 0
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 20558552 KiB
Current children cumulated memory: 17815640 KiB

[startup+3611.2 s]*
/proc/loadavg: 4.15 4.13 4.10 5/264 26782
/proc/meminfo: memFree=120847752/131249988 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3611.4 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 26782
/proc/meminfo: memFree=120847752/131249988 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3611.5 s]
/proc/loadavg: 4.15 4.13 4.10 5/264 26782
/proc/meminfo: memFree=120847752/131249988 swapFree=33010684/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0

Real time (s): 3611.56
CPU time (s): 3601.29
CPU user time (s): 3587.79
CPU system time (s): 13.4987
CPU usage (%): 99.7155
Max. virtual memory (cumulated for all children) (KiB): 20597980
Max. memory (cumulated for all children) (KiB): 17854972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.79
system time used= 13.4987
maximum resident set size= 17854972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3534349
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= 35
involuntary context switches= 8175


# summary of solver processes directly reported to runsolver:
#   pid: 26239
#   total CPU time (s): 3601.29
#   total CPU user time (s): 3587.79
#   total CPU system time (s): 13.4987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97512 second user time and 15.4194 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-06-29 15:53:30
IDJOB=4511822
IDBENCH=160485
IDSOLVER=3318
FILE ID=nodeC034/4511822-1751205209
RUNJOBID= nodeC034-1751201446-24592
SLURM_JOB_ID= 9587611
Free space on /tmp= 432980 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/normalized-hw256-vm99p-dec.opb.negationfix.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-4511822-1751205209/watcher-4511822-1751205209 -o /tmp/evaluation-result-4511822-1751205209/solver-4511822-1751205209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751201446-24592 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1653333894 --ls=0 --inp-dombreaklim=0 HOME/instance-4511822-1751205209.opb

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

MD5SUM BENCH= 59fcb85c6ef97ea95ede85b6c75e382f
RANDOM SEED=1653333894

nodeC034 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	: 0xb00002a
cpu MHz		: 3599.766
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 pti ibrs ibpb stibp 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	: 6999.53
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		: 3599.789
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 pti ibrs ibpb stibp 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	: 6999.53
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		: 3599.717
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 pti ibrs ibpb stibp 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	: 6999.53
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		: 3601.043
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 pti ibrs ibpb stibp 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	: 6999.53
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		: 3599.761
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 pti ibrs ibpb stibp 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	: 6999.53
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		: 3599.649
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 pti ibrs ibpb stibp 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	: 6999.53
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		: 3600.651
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 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.227
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 pti ibrs ibpb stibp 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	: 6999.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        127550960 kB
MemAvailable:   127305492 kB
Buffers:            3280 kB
Cached:           564608 kB
SwapCached:            0 kB
Active:          2716488 kB
Inactive:         343452 kB
Active(anon):    2510200 kB
Inactive(anon):        0 kB
Active(file):     206288 kB
Inactive(file):   343452 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             76912 kB
Writeback:             0 kB
AnonPages:       2495228 kB
Mapped:           118328 kB
Shmem:             18104 kB
KReclaimable:      87660 kB
Slab:             173728 kB
SReclaimable:      87660 kB
SUnreclaim:        86068 kB
KernelStack:        4272 kB
PageTables:         7928 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    3024820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1345536 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433004 MiB
End job on nodeC034 at 2025-06-29 16:53:41