Trace number 4545058

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.72 3610.68

General information on the benchmark

NamePB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
MD5SUM297c2237af667ea8e386e1666cb34677
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 benchmark146.963
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables625728
Total number of constraints628780
Number of constraints which are clauses6288
Number of constraints which are cardinality constraints (but not clauses)56
Number of constraints which are nor clauses,nor cardinality constraints622436
Minimum length of a constraint1
Maximum length of a constraint2712
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 75
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 2977
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.05/3610.02	c Program interrupted by user.
3600.05/3610.02	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 (54185 MiB free)
  memory of node 1: 64465 MiB (56718 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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
solver pid=160932, runsolver pid=160929
Current StackSize limit: 8192 KiB


[startup+0.100106 s]*
/proc/loadavg: 4.12 4.12 4.09 5/251 160933
/proc/meminfo: memFree=113340268/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=232872 memory=209432 CPUtime=0.1 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 7540 0 0 0 5 5 0 0 20 0 1 0 236381904 238460928 52358 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 58218 52358 992 1200 0 56698 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 232872 KiB
Current children cumulated memory: 209432 KiB

[startup+0.213473 s]*
/proc/loadavg: 4.12 4.12 4.09 5/251 160933
/proc/meminfo: memFree=113111148/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=469568 memory=446168 CPUtime=0.21 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 11510 0 0 0 11 10 0 0 20 0 1 0 236381904 480837632 111542 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 117392 111542 1024 1200 0 115872 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 469568 KiB
Current children cumulated memory: 446168 KiB

[startup+0.313226 s]*
/proc/loadavg: 4.12 4.12 4.09 5/251 160933
/proc/meminfo: memFree=113077000/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=491460 memory=469472 CPUtime=0.32 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 18394 0 0 0 20 12 0 0 20 0 1 0 236381904 503255040 117368 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 122865 117368 1024 1200 0 121345 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 491460 KiB
Current children cumulated memory: 469472 KiB

[startup+0.70031 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 160933
/proc/meminfo: memFree=113029116/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=583920 memory=562376 CPUtime=0.69 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 37395 0 0 0 53 16 0 0 20 0 1 0 236381904 597934080 140594 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 145980 140594 1024 1200 0 144460 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 583920 KiB
Current children cumulated memory: 562376 KiB

[startup+1.5003 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 160933
/proc/meminfo: memFree=112929004/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=741936 memory=703792 CPUtime=1.48 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 66796 0 0 0 126 22 0 0 20 0 1 0 236381904 759742464 175948 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 185484 175948 1024 1200 0 183964 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 741936 KiB
Current children cumulated memory: 703792 KiB

[startup+3.11276 s]
/proc/loadavg: 4.12 4.12 4.09 5/251 160933
/proc/meminfo: memFree=112533336/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=1085496 memory=1039208 CPUtime=3.09 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 129606 0 0 0 274 35 0 0 20 0 1 0 236381904 1111547904 259802 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 271374 259802 1024 1200 0 269854 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 1085496 KiB
Current children cumulated memory: 1039208 KiB

[startup+6.30031 s]
/proc/loadavg: 4.11 4.12 4.09 5/251 160933
/proc/meminfo: memFree=111634144/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2144704 memory=2024708 CPUtime=6.27 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 235645 0 0 0 556 71 0 0 20 0 1 0 236381904 2196176896 506177 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 536176 506177 1248 1200 0 534656 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2144704 KiB
Current children cumulated memory: 2024708 KiB

[startup+12.7003 s]
/proc/loadavg: 4.18 4.13 4.10 5/251 160933
/proc/meminfo: memFree=111267152/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2387752 memory=2249228 CPUtime=12.65 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 265344 0 0 0 1184 81 0 0 20 0 1 0 236381904 2445058048 562307 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 596938 562307 1248 1200 0 595418 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2387752 KiB
Current children cumulated memory: 2249228 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 160933
/proc/meminfo: memFree=111121468/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2481308 memory=2324472 CPUtime=25.42 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 270800 0 0 0 2456 86 0 0 20 0 1 0 236381904 2540859392 581118 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 620327 581118 1280 1200 0 618807 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2481308 KiB
Current children cumulated memory: 2324472 KiB

[startup+51.1131 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 160934
/proc/meminfo: memFree=110934308/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2645464 memory=2490624 CPUtime=50.97 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 280681 0 0 0 5003 94 0 0 20 0 1 0 236381904 2708955136 622656 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 661366 622656 1280 1200 0 659846 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 2645464 KiB
Current children cumulated memory: 2490624 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 160935
/proc/meminfo: memFree=110829876/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2682560 memory=2544500 CPUtime=102.02 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 290367 0 0 0 10105 97 0 0 20 0 1 0 236381904 2746941440 636125 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 670640 636125 1280 1200 0 669120 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2682560 KiB
Current children cumulated memory: 2544500 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/251 160937
/proc/meminfo: memFree=110625928/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2949008 memory=2653840 CPUtime=161.83 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 300762 0 0 0 16076 107 0 0 20 0 1 0 236381904 3019784192 663460 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 737252 663460 1280 1200 0 735732 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2949008 KiB
Current children cumulated memory: 2653840 KiB

[startup+222.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/250 160939
/proc/meminfo: memFree=110521056/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2974184 memory=2678944 CPUtime=221.62 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 304337 0 0 0 22053 109 0 0 20 0 1 0 236381904 3045564416 669736 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 743546 669736 1280 1200 0 742026 0
Current children cumulated CPU time: 221.62 s
Current children cumulated vsize: 2974184 KiB
Current children cumulated memory: 2678944 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/251 161043
/proc/meminfo: memFree=118230832/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2991224 memory=2696144 CPUtime=281.4 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 308997 0 0 0 28023 117 0 0 20 0 1 0 236381904 3063013376 674036 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 747806 674036 1280 1200 0 746286 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 2991224 KiB
Current children cumulated memory: 2696144 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/250 161045
/proc/meminfo: memFree=118097188/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2991224 memory=2696272 CPUtime=341.21 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 309254 0 0 0 34003 118 0 0 20 0 1 0 236381904 3063013376 674068 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 747806 674068 1280 1200 0 746286 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 2991224 KiB
Current children cumulated memory: 2696272 KiB

[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/250 161091
/proc/meminfo: memFree=118364028/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3016780 memory=2721800 CPUtime=401.03 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 313460 0 0 0 39983 120 0 0 20 0 1 0 236381904 3089182720 680450 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 754195 680450 1280 1200 0 752675 0
Current children cumulated CPU time: 401.03 s
Current children cumulated vsize: 3016780 KiB
Current children cumulated memory: 2721800 KiB

[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/250 161093
/proc/meminfo: memFree=118308508/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3016780 memory=2721800 CPUtime=460.87 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 313858 0 0 0 45966 121 0 0 20 0 1 0 236381904 3089182720 680450 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 754195 680450 1280 1200 0 752675 0

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

Current children cumulated memory: 3064776 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.09 4.12 5/250 161265
/proc/meminfo: memFree=124297104/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3301000 memory=3064776 CPUtime=2974.01 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 390748 0 0 0 297153 248 0 0 20 0 1 0 236381904 3380224000 766194 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 825250 766194 1280 1200 0 823730 0
Current children cumulated CPU time: 2974.01 s
Current children cumulated vsize: 3301000 KiB
Current children cumulated memory: 3064776 KiB

[startup+3042.3 s]
/proc/loadavg: 3.71 3.99 4.08 4/244 161297
/proc/meminfo: memFree=124603864/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3307656 memory=3083732 CPUtime=3033.81 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 391825 0 0 0 303127 254 0 0 20 0 1 0 236381904 3387039744 770933 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 826914 770933 1280 1200 0 825394 0
Current children cumulated CPU time: 3033.81 s
Current children cumulated vsize: 3307656 KiB
Current children cumulated memory: 3083732 KiB

[startup+3102.3 s]
/proc/loadavg: 3.30 3.82 4.01 4/244 161299
/proc/meminfo: memFree=124603888/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3307656 memory=3083732 CPUtime=3093.65 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 392576 0 0 0 309111 254 0 0 20 0 1 0 236381904 3387039744 770933 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 826914 770933 1280 1200 0 825394 0
Current children cumulated CPU time: 3093.65 s
Current children cumulated vsize: 3307656 KiB
Current children cumulated memory: 3083732 KiB

[startup+3162.3 s]
/proc/loadavg: 3.21 3.70 3.96 4/244 161301
/proc/meminfo: memFree=124591712/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3321616 memory=3097692 CPUtime=3153.49 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 394427 0 0 0 315094 255 0 0 20 0 1 0 236381904 3401334784 774423 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 830404 774423 1280 1200 0 828884 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 3321616 KiB
Current children cumulated memory: 3097692 KiB

[startup+3222.3 s]
/proc/loadavg: 3.12 3.59 3.90 4/244 161303
/proc/meminfo: memFree=124591516/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3321616 memory=3097692 CPUtime=3213.33 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 395095 0 0 0 321077 256 0 0 20 0 1 0 236381904 3401334784 774423 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 830404 774423 1280 1200 0 828884 0
Current children cumulated CPU time: 3213.33 s
Current children cumulated vsize: 3321616 KiB
Current children cumulated memory: 3097692 KiB

[startup+3282.3 s]
/proc/loadavg: 3.16 3.51 3.85 4/243 161305
/proc/meminfo: memFree=124570304/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3322516 memory=3094980 CPUtime=3273.18 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 397074 0 0 0 327055 263 0 0 20 0 1 0 236381904 3402256384 773745 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 830629 773745 1280 1200 0 829109 0
Current children cumulated CPU time: 3273.18 s
Current children cumulated vsize: 3322516 KiB
Current children cumulated memory: 3094980 KiB

[startup+3342.3 s]
/proc/loadavg: 3.12 3.43 3.80 4/244 161308
/proc/meminfo: memFree=124546832/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3328252 memory=3141192 CPUtime=3333.03 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 398864 0 0 0 333038 265 0 0 20 0 1 0 236381904 3408130048 785298 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 832063 785298 1280 1200 0 830543 0
Current children cumulated CPU time: 3333.03 s
Current children cumulated vsize: 3328252 KiB
Current children cumulated memory: 3141192 KiB

[startup+3402.3 s]
/proc/loadavg: 3.08 3.36 3.76 4/244 161310
/proc/meminfo: memFree=124522420/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3327292 memory=3136600 CPUtime=3392.87 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 401644 0 0 0 339005 282 0 0 20 0 1 0 236381904 3407147008 784150 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 831823 784150 1280 1200 0 830303 0
Current children cumulated CPU time: 3392.87 s
Current children cumulated vsize: 3327292 KiB
Current children cumulated memory: 3136600 KiB

[startup+3462.3 s]
/proc/loadavg: 3.13 3.33 3.72 4/244 161312
/proc/meminfo: memFree=124522460/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3327292 memory=3136600 CPUtime=3452.72 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 402521 0 0 0 344989 283 0 0 20 0 1 0 236381904 3407147008 784150 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 831823 784150 1280 1200 0 830303 0
Current children cumulated CPU time: 3452.72 s
Current children cumulated vsize: 3327292 KiB
Current children cumulated memory: 3136600 KiB

[startup+3522.3 s]
/proc/loadavg: 3.10 3.28 3.68 4/244 161314
/proc/meminfo: memFree=124518728/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3332820 memory=3145780 CPUtime=3512.56 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 404662 0 0 0 350972 284 0 0 20 0 1 0 236381904 3412807680 786445 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 833205 786445 1280 1200 0 831685 0
Current children cumulated CPU time: 3512.56 s
Current children cumulated vsize: 3332820 KiB
Current children cumulated memory: 3145780 KiB

[startup+3582.3 s]
/proc/loadavg: 3.15 3.26 3.64 4/244 161316
/proc/meminfo: memFree=124518768/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3332820 memory=3145780 CPUtime=3572.41 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 405365 0 0 0 356956 285 0 0 20 0 1 0 236381904 3412807680 786445 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 833205 786445 1280 1200 0 831685 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 3332820 KiB
Current children cumulated memory: 3145780 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 3.09 3.23 3.62 4/244 161316
/proc/meminfo: memFree=124518768/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=3332820 memory=3145780 CPUtime=3600.05 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 405828 0 0 0 359719 286 0 0 20 0 1 0 236381904 3412807680 786445 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 833205 786445 1280 1200 0 831685 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 3332820 KiB
Current children cumulated memory: 3145780 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.85 s, system=2.87499 s

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

[startup+3610.4 s]
/proc/loadavg: 3.09 3.23 3.62 4/244 161316
/proc/meminfo: memFree=124518768/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2584804 memory=2560912 CPUtime=3600.44 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 405989 0 0 0 359758 286 0 0 20 0 1 0 236381904 2646839296 640228 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 646201 640228 1280 1200 0 644681 0
Current children cumulated CPU time: 3600.44 s
Current children cumulated vsize: 2584804 KiB
Current children cumulated memory: 2560912 KiB

[startup+3610.6 s]
/proc/loadavg: 3.09 3.23 3.62 4/244 161316
/proc/meminfo: memFree=124518768/131382120 swapFree=33010416/33010684
[pid=160932] ppid=160929 vsize=2156128 memory=2132236 CPUtime=3600.64 cores=1,3
/proc/160932/stat : 160932 (Exact) R 160929 160932 158752 0 -1 4194304 406108 0 0 0 359778 286 0 0 20 0 1 0 236381904 2207875072 533059 18446744073709551615 4198400 9112445 140724281415824 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 15343616 140724281424167 140724281424363 140724281424363 140724281429967 0
/proc/160932/statm: 539032 533059 1280 1200 0 537512 0
Current children cumulated CPU time: 3600.64 s
Current children cumulated vsize: 2156128 KiB
Current children cumulated memory: 2132236 KiB

Child status: 0

Real time (s): 3610.68
CPU time (s): 3600.72
CPU user time (s): 3597.85
CPU system time (s): 2.87499
CPU usage (%): 99.7243
Max. virtual memory (cumulated for all children) (KiB): 3390152
Max. memory (cumulated for all children) (KiB): 3145780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.85
system time used= 2.87499
maximum resident set size= 3164892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 406164
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= 77
involuntary context switches= 1478


# summary of solver processes directly reported to runsolver:
#   pid: 160932
#   total CPU time (s): 3600.72
#   total CPU user time (s): 3597.85
#   total CPU system time (s): 2.87499

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5591 second user time and 34.3401 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2025-07-22 19:57:11
IDJOB=4545058
IDBENCH=180703
IDSOLVER=3318
FILE ID=nodeC002/4545058-1753207031
RUNJOBID= nodeC002-1753198970-158773
SLURM_JOB_ID= 9687735
Free space on /tmp= 432144 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SolitairePattern-table-3-3-9.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-4545058-1753207031/watcher-4545058-1753207031 -o /tmp/evaluation-result-4545058-1753207031/solver-4545058-1753207031 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1753198970-158773 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=293850898 --ls=0 --inp-dombreaklim=0 HOME/instance-4545058-1753207031.opb

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

MD5SUM BENCH= 297c2237af667ea8e386e1666cb34677
RANDOM SEED=293850898

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		: 3662.747
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		: 2095.146
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.240
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.124
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		: 3662.741
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.907
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		: 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	: 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.482
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:        113565748 kB
MemAvailable:   115007572 kB
Buffers:            2128 kB
Cached:          2194036 kB
SwapCached:           28 kB
Active:         16001140 kB
Inactive:        1085488 kB
Active(anon):   14910020 kB
Inactive(anon):     6300 kB
Active(file):    1091120 kB
Inactive(file):  1079188 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             39924 kB
Writeback:             0 kB
AnonPages:      14888520 kB
Mapped:           124412 kB
Shmem:             26124 kB
KReclaimable:     222284 kB
Slab:             313528 kB
SReclaimable:     222284 kB
SUnreclaim:        91244 kB
KernelStack:        4064 kB
PageTables:        32372 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:   15814364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:   9416704 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= 432256 MiB
End job on nodeC002 at 2025-07-22 20:57:22