Trace number 4507282

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.06 3610.71

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
MD5SUM0bf652578c2f1d207084d270794d0d34
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 benchmark16.9419
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6256
Total number of constraints6442
Number of constraints which are clauses6350
Number of constraints which are cardinality constraints (but not clauses)92
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint92
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 93
Number of bits of the biggest sum of numbers7
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.70	c Program interrupted by user.
3600.05/3610.70	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: 63708 MiB (62992 MiB free)
  memory of node 1: 64465 MiB (64021 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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=24848, runsolver pid=24839

[startup+0.100063 s]*
/proc/loadavg: 0.56 1.03 1.76 5/264 24857
/proc/meminfo: memFree=129961376/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=50396 memory=27584 CPUtime=0.09 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 6302 0 0 0 8 1 0 0 20 0 1 0 33951061 51605504 6896 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 12599 6896 1248 1200 0 11079 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 50396 KiB
Current children cumulated memory: 27584 KiB

[startup+0.205461 s]*
/proc/loadavg: 0.56 1.03 1.76 5/264 24857
/proc/meminfo: memFree=129960876/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=52504 memory=29248 CPUtime=0.19 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 6704 0 0 0 18 1 0 0 20 0 1 0 33951061 53764096 7312 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 13126 7312 1248 1200 0 11606 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 52504 KiB
Current children cumulated memory: 29248 KiB

[startup+0.304909 s]*
/proc/loadavg: 0.56 1.03 1.76 5/264 24857
/proc/meminfo: memFree=129937812/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=52688 memory=29376 CPUtime=0.29 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 6754 0 0 0 28 1 0 0 20 0 1 0 33951061 53952512 7344 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 13172 7344 1248 1200 0 11652 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 52688 KiB
Current children cumulated memory: 29376 KiB

[startup+0.700135 s]
/proc/loadavg: 0.56 1.03 1.76 5/264 24857
/proc/meminfo: memFree=129929748/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=53216 memory=33472 CPUtime=0.68 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 7261 0 0 0 67 1 0 0 20 0 1 0 33951061 54493184 8368 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 13304 8368 1248 1200 0 11784 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 53216 KiB
Current children cumulated memory: 33472 KiB

[startup+1.50017 s]
/proc/loadavg: 0.56 1.03 1.76 5/264 24857
/proc/meminfo: memFree=129923196/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=56384 memory=40736 CPUtime=1.48 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 8071 0 0 0 146 2 0 0 20 0 1 0 33951061 57737216 10184 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 14096 10184 1248 1200 0 12576 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 56384 KiB
Current children cumulated memory: 40736 KiB

[startup+3.10515 s]
/proc/loadavg: 0.84 1.08 1.77 5/264 24857
/proc/meminfo: memFree=129890488/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=60440 memory=50712 CPUtime=3.08 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 8997 0 0 0 305 3 0 0 20 0 1 0 33951061 61890560 12678 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 15110 12678 1280 1200 0 13590 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60440 KiB
Current children cumulated memory: 50712 KiB

[startup+6.30014 s]
/proc/loadavg: 0.84 1.08 1.77 5/264 24857
/proc/meminfo: memFree=129784704/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=77452 memory=63436 CPUtime=6.26 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 10874 0 0 0 622 4 0 0 20 0 1 0 33951061 79310848 15859 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 19363 15859 1280 1200 0 17843 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 77452 KiB
Current children cumulated memory: 63436 KiB

[startup+12.7001 s]
/proc/loadavg: 1.09 1.13 1.79 5/264 24857
/proc/meminfo: memFree=129752300/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=80400 memory=66380 CPUtime=12.65 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 11606 0 0 0 1259 6 0 0 20 0 1 0 33951061 82329600 16595 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 20100 16595 1280 1200 0 18580 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 80400 KiB
Current children cumulated memory: 66380 KiB

[startup+25.5002 s]
/proc/loadavg: 1.80 1.28 1.83 5/264 24857
/proc/meminfo: memFree=129720900/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=86972 memory=76776 CPUtime=25.41 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 13183 0 0 0 2533 8 0 0 20 0 1 0 33951061 89059328 19194 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 21743 19194 1280 1200 0 20223 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 86972 KiB
Current children cumulated memory: 76776 KiB

[startup+51.1053 s]
/proc/loadavg: 2.55 1.50 1.89 5/265 24859
/proc/meminfo: memFree=129674852/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=92324 memory=82152 CPUtime=50.94 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 14562 0 0 0 5079 15 0 0 20 0 1 0 33951061 94539776 20538 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 23081 20538 1280 1200 0 21561 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 92324 KiB
Current children cumulated memory: 82152 KiB

[startup+102.3 s]
/proc/loadavg: 3.41 1.90 2.01 5/265 24861
/proc/meminfo: memFree=129597228/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=101060 memory=90856 CPUtime=102 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 16748 0 0 0 10176 24 0 0 20 0 1 0 33951061 103485440 22714 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 25265 22714 1280 1200 0 23745 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 101060 KiB
Current children cumulated memory: 90856 KiB

[startup+162.3 s]
/proc/loadavg: 3.89 2.32 2.14 5/265 24863
/proc/meminfo: memFree=129530644/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=106156 memory=96616 CPUtime=161.82 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 18061 0 0 0 16145 37 0 0 20 0 1 0 33951061 108703744 24154 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 26539 24154 1280 1200 0 25019 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 106156 KiB
Current children cumulated memory: 96616 KiB

[startup+222.3 s]
/proc/loadavg: 3.96 2.63 2.26 5/265 24865
/proc/meminfo: memFree=129547020/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=108520 memory=100840 CPUtime=221.66 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 18701 0 0 0 22120 46 0 0 20 0 1 0 33951061 111124480 25210 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 27130 25210 1280 1200 0 25610 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 108520 KiB
Current children cumulated memory: 100840 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 2.91 2.38 5/265 24870
/proc/meminfo: memFree=129457784/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=111184 memory=105552 CPUtime=281.5 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 19355 0 0 0 28091 59 0 0 20 0 1 0 33951061 113852416 26388 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 27796 26388 1280 1200 0 26276 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 111184 KiB
Current children cumulated memory: 105552 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 3.13 2.49 5/264 24873
/proc/meminfo: memFree=129423024/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=139224 memory=112904 CPUtime=341.34 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 21103 0 0 0 34067 67 0 0 20 0 1 0 33951061 142565376 28226 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 34806 28226 1280 1200 0 33286 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 139224 KiB
Current children cumulated memory: 112904 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.30 2.60 5/264 24875
/proc/meminfo: memFree=129413252/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=141168 memory=114824 CPUtime=401.18 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 21590 0 0 0 40041 77 0 0 20 0 1 0 33951061 144556032 28706 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 35292 28706 1280 1200 0 33772 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 141168 KiB
Current children cumulated memory: 114824 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.45 2.69 5/264 24881
/proc/meminfo: memFree=129319276/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=142644 memory=116360 CPUtime=461.02 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 21959 0 0 0 46014 88 0 0 20 0 1 0 33951061 146067456 29090 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 35661 29090 1280 1200 0 34141 0

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

Current children cumulated memory: 171700 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.02 5/265 25008
/proc/meminfo: memFree=129000720/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=185476 memory=171700 CPUtime=2913.64 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 32973 0 0 0 290906 458 0 0 20 0 1 0 33951061 189927424 42925 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 46369 42925 1312 1200 0 44849 0
Current children cumulated CPU time: 2913.64 s
Current children cumulated vsize: 185476 KiB
Current children cumulated memory: 171700 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.02 5/265 25010
/proc/meminfo: memFree=128984560/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=186892 memory=173108 CPUtime=2973.43 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 33318 0 0 0 296879 464 0 0 20 0 1 0 33951061 191377408 43277 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 46723 43277 1312 1200 0 45203 0
Current children cumulated CPU time: 2973.43 s
Current children cumulated vsize: 186892 KiB
Current children cumulated memory: 173108 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.09 4.02 5/265 25012
/proc/meminfo: memFree=128984184/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=187436 memory=173620 CPUtime=3033.24 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 33455 0 0 0 302851 473 0 0 20 0 1 0 33951061 191934464 43405 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 46859 43405 1312 1200 0 45339 0
Current children cumulated CPU time: 3033.24 s
Current children cumulated vsize: 187436 KiB
Current children cumulated memory: 173620 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.02 5/265 25014
/proc/meminfo: memFree=128985892/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=187708 memory=173876 CPUtime=3093.04 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 33523 0 0 0 308822 482 0 0 20 0 1 0 33951061 192212992 43469 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 46927 43469 1312 1200 0 45407 0
Current children cumulated CPU time: 3093.04 s
Current children cumulated vsize: 187708 KiB
Current children cumulated memory: 173876 KiB

[startup+3162.3 s]
/proc/loadavg: 4.39 4.18 4.05 5/262 25016
/proc/meminfo: memFree=128981772/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=187844 memory=174004 CPUtime=3152.83 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 33557 0 0 0 314790 493 0 0 20 0 1 0 33951061 192352256 43501 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 46961 43501 1312 1200 0 45441 0
Current children cumulated CPU time: 3152.83 s
Current children cumulated vsize: 187844 KiB
Current children cumulated memory: 174004 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.16 4.05 5/262 25017
/proc/meminfo: memFree=128977480/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=188596 memory=174900 CPUtime=3212.66 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 33786 0 0 0 320763 503 0 0 20 0 1 0 33951061 193122304 43725 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 47149 43725 1312 1200 0 45629 0
Current children cumulated CPU time: 3212.66 s
Current children cumulated vsize: 188596 KiB
Current children cumulated memory: 174900 KiB

[startup+3282.3 s]
/proc/loadavg: 4.57 4.24 4.09 5/263 25022
/proc/meminfo: memFree=128966304/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=190408 memory=176564 CPUtime=3272.5 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 34222 0 0 0 326739 511 0 0 20 0 1 0 33951061 194977792 44141 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 47602 44141 1312 1200 0 46082 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 190408 KiB
Current children cumulated memory: 176564 KiB

[startup+3342.3 s]
/proc/loadavg: 4.72 4.36 4.14 5/263 25024
/proc/meminfo: memFree=128960772/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=190408 memory=176564 CPUtime=3332.35 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 34223 0 0 0 332717 518 0 0 20 0 1 0 33951061 194977792 44141 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 47602 44141 1312 1200 0 46082 0
Current children cumulated CPU time: 3332.35 s
Current children cumulated vsize: 190408 KiB
Current children cumulated memory: 176564 KiB

[startup+3402.3 s]
/proc/loadavg: 4.32 4.31 4.13 5/263 25026
/proc/meminfo: memFree=128960420/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=190408 memory=176564 CPUtime=3392.19 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 34223 0 0 0 338690 529 0 0 20 0 1 0 33951061 194977792 44141 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 47602 44141 1312 1200 0 46082 0
Current children cumulated CPU time: 3392.19 s
Current children cumulated vsize: 190408 KiB
Current children cumulated memory: 176564 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.27 4.13 5/263 25032
/proc/meminfo: memFree=128952264/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=190888 memory=177076 CPUtime=3452.03 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 34343 0 0 0 344668 535 0 0 20 0 1 0 33951061 195469312 44269 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 47722 44269 1312 1200 0 46202 0
Current children cumulated CPU time: 3452.03 s
Current children cumulated vsize: 190888 KiB
Current children cumulated memory: 177076 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.23 4.12 5/264 25036
/proc/meminfo: memFree=128955904/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=191172 memory=177460 CPUtime=3511.88 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 34435 0 0 0 350642 546 0 0 20 0 1 0 33951061 195760128 44365 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 47793 44365 1312 1200 0 46273 0
Current children cumulated CPU time: 3511.88 s
Current children cumulated vsize: 191172 KiB
Current children cumulated memory: 177460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.08 4.20 4.12 5/265 25039
/proc/meminfo: memFree=128955832/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=191504 memory=177844 CPUtime=3571.72 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 34530 0 0 0 356618 554 0 0 20 0 1 0 33951061 196100096 44461 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 47876 44461 1312 1200 0 46356 0
Current children cumulated CPU time: 3571.72 s
Current children cumulated vsize: 191504 KiB
Current children cumulated memory: 177844 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.11 4.20 4.12 4/261 25049
/proc/meminfo: memFree=129598328/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=191888 memory=178100 CPUtime=3600.05 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 34594 0 0 0 359446 559 0 0 20 0 1 0 33951061 196493312 44525 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 47972 44525 1312 1200 0 46452 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 191888 KiB
Current children cumulated memory: 178100 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.47 s, system=5.59321 s

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

[startup+3610.7 s]
/proc/loadavg: 4.11 4.20 4.12 4/261 25049
/proc/meminfo: memFree=129598328/131249996 swapFree=33010684/33010684
[pid=24848] ppid=24839 vsize=191888 memory=178100 CPUtime=3600.05 cores=5,7
/proc/24848/stat : 24848 (Exact) R 24839 24848 24787 0 -1 4194304 34594 0 0 0 359446 559 0 0 20 0 1 0 33951061 196493312 44525 18446744073709551615 4198400 9112445 140724986561232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 36442112 140724986566952 140724986567149 140724986567149 140724986572751 0
/proc/24848/statm: 47972 44525 1312 1200 0 46452 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 191888 KiB
Current children cumulated memory: 178100 KiB

Child status: 0

Real time (s): 3610.71
CPU time (s): 3600.06
CPU user time (s): 3594.47
CPU system time (s): 5.59321
CPU usage (%): 99.7053
Max. virtual memory (cumulated for all children) (KiB): 191888
Max. memory (cumulated for all children) (KiB): 178100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.47
system time used= 5.59321
maximum resident set size= 178100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34596
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= 55
involuntary context switches= 2402


# summary of solver processes directly reported to runsolver:
#   pid: 24848
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3594.47
#   total CPU system time (s): 5.59321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.56094 second user time and 14.9193 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-06-29 09:38:46
IDJOB=4507282
IDBENCH=158341
IDSOLVER=3318
FILE ID=nodeC029/4507282-1751182726
RUNJOBID= nodeC029-1751182726-24800
SLURM_JOB_ID= 9587561
Free space on /tmp= 433060 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K92.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-4507282-1751182726/watcher-4507282-1751182726 -o /tmp/evaluation-result-4507282-1751182726/solver-4507282-1751182726 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751182726-24800 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1533745503 --ls=0 --inp-dombreaklim=0 HOME/instance-4507282-1751182726.opb

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

MD5SUM BENCH= 0bf652578c2f1d207084d270794d0d34
RANDOM SEED=1533745503

nodeC029 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.690
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.46
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.266
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.46
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		: 3598.453
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.46
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		: 3599.727
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.46
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		: 3600.108
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.46
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		: 3474.854
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.46
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		: 3599.818
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.46
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.734
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.46
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        130075124 kB
MemAvailable:   129775368 kB
Buffers:            3280 kB
Cached:           510500 kB
SwapCached:            0 kB
Active:           323440 kB
Inactive:         254332 kB
Active(anon):      82052 kB
Inactive(anon):        0 kB
Active(file):     241388 kB
Inactive(file):   254332 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             30780 kB
Writeback:             0 kB
AnonPages:         67052 kB
Mapped:           101988 kB
Shmem:             18060 kB
KReclaimable:      87524 kB
Slab:             171096 kB
SReclaimable:      87524 kB
SUnreclaim:        83572 kB
KernelStack:        4008 kB
PageTables:         2356 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     331396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC029 at 2025-06-29 10:38:57