Trace number 4491986

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.34 3610.93

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUMd2d0eb539d1ad3b17959abe287928b07
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 benchmark1.00188
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4626
Total number of constraints30747
Number of constraints which are clauses29724
Number of constraints which are cardinality constraints (but not clauses)945
Number of constraints which are nor clauses,nor cardinality constraints78
Minimum length of a constraint3
Maximum length of a constraint29
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 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 101
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.30/3610.91	c Program interrupted by user.
3600.30/3610.91	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 (61907 MiB free)
  memory of node 1: 64507 MiB (63944 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491986-1751133701/watcher-4491986-1751133701 -o /tmp/evaluation-result-4491986-1751133701/solver-4491986-1751133701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751133631-11526 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1031105402 --ls=0 --inp-dombreaklim=0 HOME/instance-4491986-1751133701.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=12182, runsolver pid=12179

[startup+0.100065 s]*
/proc/loadavg: 2.78 0.91 0.38 5/265 12183
/proc/meminfo: memFree=128864128/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=48184 memory=27168 CPUtime=0.1 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 6426 0 0 0 9 1 0 0 20 0 1 0 29050366 49340416 6792 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 12046 6792 1024 1200 0 10526 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 48184 KiB
Current children cumulated memory: 27168 KiB

[startup+0.205608 s]*
/proc/loadavg: 2.78 0.91 0.38 5/265 12183
/proc/meminfo: memFree=128844256/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=73028 memory=52392 CPUtime=0.2 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 12017 0 0 0 18 2 0 0 20 0 1 0 29050366 74780672 13098 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 18257 13098 1184 1200 0 16737 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 73028 KiB
Current children cumulated memory: 52392 KiB

[startup+0.305436 s]*
/proc/loadavg: 2.78 0.91 0.38 5/265 12183
/proc/meminfo: memFree=128844256/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=73028 memory=52392 CPUtime=0.3 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 12017 0 0 0 28 2 0 0 20 0 1 0 29050366 74780672 13098 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 18257 13098 1184 1200 0 16737 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 73028 KiB
Current children cumulated memory: 52392 KiB

[startup+0.700173 s]
/proc/loadavg: 2.78 0.91 0.38 5/265 12183
/proc/meminfo: memFree=128844256/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=73028 memory=52648 CPUtime=0.69 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 12021 0 0 0 67 2 0 0 20 0 1 0 29050366 74780672 13162 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 18257 13162 1248 1200 0 16737 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 73028 KiB
Current children cumulated memory: 52648 KiB

[startup+1.50018 s]
/proc/loadavg: 2.78 0.91 0.38 5/265 12183
/proc/meminfo: memFree=128840160/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=80560 memory=66148 CPUtime=1.48 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 13843 0 0 0 146 2 0 0 20 0 1 0 29050366 82493440 16537 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 20140 16537 1248 1200 0 18620 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 80560 KiB
Current children cumulated memory: 66148 KiB

[startup+3.10515 s]
/proc/loadavg: 2.78 0.91 0.38 5/265 12183
/proc/meminfo: memFree=128828064/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=85900 memory=75284 CPUtime=3.08 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 15121 0 0 0 305 3 0 0 20 0 1 0 29050366 87961600 18821 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 21475 18821 1248 1200 0 19955 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 85900 KiB
Current children cumulated memory: 75284 KiB

[startup+6.30016 s]
/proc/loadavg: 2.88 0.96 0.40 5/265 12183
/proc/meminfo: memFree=128815920/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=95440 memory=86212 CPUtime=6.27 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 17329 0 0 0 624 3 0 0 20 0 1 0 29050366 97730560 21553 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 23860 21553 1248 1200 0 22340 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 95440 KiB
Current children cumulated memory: 86212 KiB

[startup+12.7002 s]
/proc/loadavg: 2.97 1.02 0.42 5/265 12184
/proc/meminfo: memFree=128808156/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=99648 memory=90052 CPUtime=12.65 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 18326 0 0 0 1261 4 0 0 20 0 1 0 29050366 102039552 22513 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 24912 22513 1248 1200 0 23392 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 99648 KiB
Current children cumulated memory: 90052 KiB

[startup+25.5002 s]
/proc/loadavg: 3.20 1.16 0.48 5/265 12184
/proc/meminfo: memFree=128788064/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=108084 memory=99140 CPUtime=25.42 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 20571 0 0 0 2537 5 0 0 20 0 1 0 29050366 110678016 24785 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 27021 24785 1248 1200 0 25501 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 108084 KiB
Current children cumulated memory: 99140 KiB

[startup+51.1049 s]
/proc/loadavg: 3.47 1.39 0.57 5/265 12184
/proc/meminfo: memFree=128731440/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=138748 memory=118684 CPUtime=50.95 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 25183 0 0 0 5085 10 0 0 20 0 1 0 29050366 142077952 29671 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 34687 29671 1248 1200 0 33167 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 138748 KiB
Current children cumulated memory: 118684 KiB

[startup+102.3 s]
/proc/loadavg: 3.84 1.81 0.76 5/266 13176
/proc/meminfo: memFree=128840780/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=161708 memory=142084 CPUtime=101.99 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 30556 0 0 0 10183 16 0 0 20 0 1 0 29050366 165588992 35521 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 40427 35521 1248 1200 0 38907 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 161708 KiB
Current children cumulated memory: 142084 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 2.23 0.97 5/266 13268
/proc/meminfo: memFree=129705232/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=182744 memory=161028 CPUtime=161.8 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 35284 0 0 0 16158 22 0 0 20 0 1 0 29050366 187129856 40257 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 45686 40257 1248 1200 0 44166 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 182744 KiB
Current children cumulated memory: 161028 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.57 1.17 5/266 13270
/proc/meminfo: memFree=129648348/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=195360 memory=174904 CPUtime=221.61 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 38257 0 0 0 22133 28 0 0 20 0 1 0 29050366 200048640 43726 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 48840 43726 1248 1200 0 47320 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 195360 KiB
Current children cumulated memory: 174904 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 2.85 1.35 5/266 13273
/proc/meminfo: memFree=129656400/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=207716 memory=186040 CPUtime=281.41 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 41071 0 0 0 28107 34 0 0 20 0 1 0 29050366 212701184 46510 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 51929 46510 1248 1200 0 50409 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 207716 KiB
Current children cumulated memory: 186040 KiB

[startup+342.3 s]
/proc/loadavg: 4.08 3.08 1.53 5/264 13275
/proc/meminfo: memFree=129610864/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=221128 memory=202420 CPUtime=341.25 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 44120 0 0 0 34084 41 0 0 20 0 1 0 29050366 226435072 50605 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 55282 50605 1248 1200 0 53762 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 221128 KiB
Current children cumulated memory: 202420 KiB

[startup+402.3 s]
/proc/loadavg: 4.07 3.26 1.69 5/263 13277
/proc/meminfo: memFree=129591272/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=224108 memory=213812 CPUtime=401.09 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 44949 0 0 0 40063 46 0 0 20 0 1 0 29050366 229486592 53453 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 56027 53453 1248 1200 0 54507 0
Current children cumulated CPU time: 401.09 s
Current children cumulated vsize: 224108 KiB
Current children cumulated memory: 213812 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 3.41 1.84 5/263 13279
/proc/meminfo: memFree=129550056/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=227568 memory=217268 CPUtime=460.94 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 45797 0 0 0 46041 53 0 0 20 0 1 0 29050366 233029632 54317 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 56892 54317 1248 1200 0 55372 0

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

Current children cumulated memory: 341476 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.11 4.00 5/263 13403
/proc/meminfo: memFree=129301476/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=353012 memory=343652 CPUtime=2973.45 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 74883 0 0 0 297057 288 0 0 20 0 1 0 29050366 361484288 85913 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 88253 85913 1248 1200 0 86733 0
Current children cumulated CPU time: 2973.45 s
Current children cumulated vsize: 353012 KiB
Current children cumulated memory: 343652 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.12 4.01 5/263 13407
/proc/meminfo: memFree=129277812/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=353984 memory=344676 CPUtime=3033.26 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 75116 0 0 0 303032 294 0 0 20 0 1 0 29050366 362479616 86169 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 88496 86169 1248 1200 0 86976 0
Current children cumulated CPU time: 3033.26 s
Current children cumulated vsize: 353984 KiB
Current children cumulated memory: 344676 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.09 4.00 5/263 13409
/proc/meminfo: memFree=129285208/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=355040 memory=345700 CPUtime=3093.07 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 75390 0 0 0 309009 298 0 0 20 0 1 0 29050366 363560960 86425 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 88760 86425 1248 1200 0 87240 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 355040 KiB
Current children cumulated memory: 345700 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.10 4.01 5/263 13411
/proc/meminfo: memFree=129285392/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=357900 memory=348132 CPUtime=3152.88 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 76010 0 0 0 314985 303 0 0 20 0 1 0 29050366 366489600 87033 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 89475 87033 1248 1200 0 87955 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 357900 KiB
Current children cumulated memory: 348132 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.01 5/263 13413
/proc/meminfo: memFree=129264864/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=359088 memory=350308 CPUtime=3212.69 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 76310 0 0 0 320960 309 0 0 20 0 1 0 29050366 367706112 87577 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 89772 87577 1248 1200 0 88252 0
Current children cumulated CPU time: 3212.69 s
Current children cumulated vsize: 359088 KiB
Current children cumulated memory: 350308 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/263 13415
/proc/meminfo: memFree=129249308/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=359488 memory=351332 CPUtime=3272.53 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 76401 0 0 0 326938 315 0 0 20 0 1 0 29050366 368115712 87833 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 89872 87833 1248 1200 0 88352 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 359488 KiB
Current children cumulated memory: 351332 KiB

[startup+3342.3 s]
/proc/loadavg: 4.09 4.09 4.01 5/262 13417
/proc/meminfo: memFree=129243684/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=361740 memory=353380 CPUtime=3332.39 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 76931 0 0 0 332918 321 0 0 20 0 1 0 29050366 370421760 88345 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 90435 88345 1248 1200 0 88915 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 361740 KiB
Current children cumulated memory: 353380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/262 13419
/proc/meminfo: memFree=129227368/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=364544 memory=355940 CPUtime=3392.23 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 77569 0 0 0 338896 327 0 0 20 0 1 0 29050366 373293056 88985 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 91136 88985 1248 1200 0 89616 0
Current children cumulated CPU time: 3392.23 s
Current children cumulated vsize: 364544 KiB
Current children cumulated memory: 355940 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.15 4.03 5/262 13421
/proc/meminfo: memFree=129265452/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=365648 memory=357092 CPUtime=3452.08 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 77846 0 0 0 344876 332 0 0 20 0 1 0 29050366 374423552 89273 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 91412 89273 1248 1200 0 89892 0
Current children cumulated CPU time: 3452.08 s
Current children cumulated vsize: 365648 KiB
Current children cumulated memory: 357092 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.15 4.04 5/262 13423
/proc/meminfo: memFree=129264792/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=366264 memory=357860 CPUtime=3511.93 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 78027 0 0 0 350856 337 0 0 20 0 1 0 29050366 375054336 89465 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 91566 89465 1248 1200 0 90046 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 366264 KiB
Current children cumulated memory: 357860 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.04 5/263 13441
/proc/meminfo: memFree=129254204/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=367012 memory=358500 CPUtime=3571.77 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 78334 0 0 0 356833 344 0 0 20 0 1 0 29050366 375820288 89625 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 91753 89625 1248 1200 0 90233 0
Current children cumulated CPU time: 3571.77 s
Current children cumulated vsize: 367012 KiB
Current children cumulated memory: 358500 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.13 4.14 4.04 5/263 13531
/proc/meminfo: memFree=129378484/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=368948 memory=360292 CPUtime=3600 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 78826 0 0 0 359651 349 0 0 20 0 1 0 29050366 377802752 90073 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 92237 90073 1248 1200 0 90717 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 368948 KiB
Current children cumulated memory: 360292 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.84 s, system=3.49841 s

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

[startup+3610.8 s]
/proc/loadavg: 4.13 4.14 4.04 5/263 13531
/proc/meminfo: memFree=129378484/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=368948 memory=360292 CPUtime=3600.2 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 78826 0 0 0 359671 349 0 0 20 0 1 0 29050366 377802752 90073 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 92237 90073 1248 1200 0 90717 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 368948 KiB
Current children cumulated memory: 360292 KiB

[startup+3610.9 s]
/proc/loadavg: 4.13 4.14 4.04 5/263 13531
/proc/meminfo: memFree=129378484/131250000 swapFree=33010684/33010684
[pid=12182] ppid=12179 vsize=368948 memory=360292 CPUtime=3600.3 cores=5,7
/proc/12182/stat : 12182 (Exact) R 12179 12182 11508 0 -1 4194304 78826 0 0 0 359681 349 0 0 20 0 1 0 29050366 377802752 90073 18446744073709551615 4198400 9112445 140734721548512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 10316848 10407236 29220864 140734721550632 140734721550829 140734721550829 140734721556431 0
/proc/12182/statm: 92237 90073 1248 1200 0 90717 0
Current children cumulated CPU time: 3600.3 s
Current children cumulated vsize: 368948 KiB
Current children cumulated memory: 360292 KiB

Child status: 0

Real time (s): 3610.93
CPU time (s): 3600.34
CPU user time (s): 3596.84
CPU system time (s): 3.49841
CPU usage (%): 99.7067
Max. virtual memory (cumulated for all children) (KiB): 368948
Max. memory (cumulated for all children) (KiB): 360292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.84
system time used= 3.49841
maximum resident set size= 360420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78828
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= 79
involuntary context switches= 2523


# summary of solver processes directly reported to runsolver:
#   pid: 12182
#   total CPU time (s): 3600.34
#   total CPU user time (s): 3596.84
#   total CPU system time (s): 3.49841

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0381 second user time and 14.2465 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-28 20:01:41
IDJOB=4491986
IDBENCH=147756
IDSOLVER=3318
FILE ID=nodeC013/4491986-1751133701
RUNJOBID= nodeC013-1751133631-11526
SLURM_JOB_ID= 9587413
Free space on /tmp= 433012 MiB

SOLVER NAME= Exact_no_db_no_ls 2025-06-19
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.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-4491986-1751133701/watcher-4491986-1751133701 -o /tmp/evaluation-result-4491986-1751133701/solver-4491986-1751133701 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751133631-11526 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1031105402 --ls=0 --inp-dombreaklim=0 HOME/instance-4491986-1751133701.opb

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

MD5SUM BENCH= d2d0eb539d1ad3b17959abe287928b07
RANDOM SEED=1031105402

nodeC013 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.736
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.67
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.904
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.67
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		: 3601.158
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.67
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		: 3603.622
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.67
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.713
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.67
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		: 3598.410
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.67
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.730
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.67
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.822
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128871652 kB
MemAvailable:   128471348 kB
Buffers:            3280 kB
Cached:           360408 kB
SwapCached:            0 kB
Active:          1612656 kB
Inactive:         166732 kB
Active(anon):    1428984 kB
Inactive(anon):        0 kB
Active(file):     183672 kB
Inactive(file):   166732 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             17668 kB
Writeback:            52 kB
AnonPages:       1418820 kB
Mapped:           113684 kB
Shmem:             13284 kB
KReclaimable:      83944 kB
Slab:             166000 kB
SReclaimable:      83944 kB
SUnreclaim:        82056 kB
KernelStack:        4288 kB
PageTables:         5836 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1805756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150552 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    649216 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433024 MiB
End job on nodeC013 at 2025-06-28 21:01:52