Trace number 4492778

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 3609.81

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb
MD5SUM34508937f6127f0a8669d934526c1066
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1.25863
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3660
Total number of constraints109861
Number of constraints which are clauses109861
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint60
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 61
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

3600.03/3609.80	c Program interrupted by user.
3600.03/3609.80	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 (62190 MiB free)
  memory of node 1: 64507 MiB (63811 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=13175, runsolver pid=13172

[startup+0.100065 s]*
/proc/loadavg: 3.69 1.68 0.70 5/266 13176
/proc/meminfo: memFree=129008956/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=49324 memory=28156 CPUtime=0.09 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 5921 0 0 0 9 0 0 0 20 0 1 0 29058984 50507776 7039 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 12331 7039 1024 1200 0 10811 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49324 KiB
Current children cumulated memory: 28156 KiB

[startup+0.205638 s]*
/proc/loadavg: 3.69 1.68 0.70 5/266 13176
/proc/meminfo: memFree=129000764/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=65996 memory=43824 CPUtime=0.19 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 8571 0 0 0 18 1 0 0 20 0 1 0 29058984 67579904 10956 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 16499 10956 1024 1200 0 14979 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65996 KiB
Current children cumulated memory: 43824 KiB

[startup+0.305593 s]*
/proc/loadavg: 3.69 1.68 0.70 5/266 13176
/proc/meminfo: memFree=128943928/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=126880 memory=107080 CPUtime=0.29 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 13711 0 0 0 26 3 0 0 20 0 1 0 29058984 129925120 26770 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 31720 26770 1184 1200 0 30200 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 126880 KiB
Current children cumulated memory: 107080 KiB

[startup+0.700163 s]
/proc/loadavg: 3.69 1.68 0.70 5/266 13176
/proc/meminfo: memFree=128915892/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=152416 memory=139172 CPUtime=0.68 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 19605 0 0 0 63 5 0 0 20 0 1 0 29058984 156073984 34793 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 38104 34793 1248 1200 0 36584 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 152416 KiB
Current children cumulated memory: 139172 KiB

[startup+1.50016 s]
/proc/loadavg: 3.69 1.68 0.70 5/266 13176
/proc/meminfo: memFree=128907700/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=152416 memory=145316 CPUtime=1.48 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 19617 0 0 0 143 5 0 0 20 0 1 0 29058984 156073984 36329 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 38104 36329 1248 1200 0 36584 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 152416 KiB
Current children cumulated memory: 145316 KiB

[startup+3.10541 s]
/proc/loadavg: 3.69 1.68 0.70 5/266 13176
/proc/meminfo: memFree=128842292/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=188004 memory=162048 CPUtime=3.08 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 20343 0 0 0 302 6 0 0 20 0 1 0 29058984 192516096 40512 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 47001 40512 1248 1200 0 45481 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 188004 KiB
Current children cumulated memory: 162048 KiB

[startup+6.30013 s]
/proc/loadavg: 3.72 1.72 0.72 5/266 13176
/proc/meminfo: memFree=128845588/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=188004 memory=168192 CPUtime=6.27 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 20370 0 0 0 620 7 0 0 20 0 1 0 29058984 192516096 42048 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 47001 42048 1248 1200 0 45481 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 188004 KiB
Current children cumulated memory: 168192 KiB

[startup+12.7001 s]
/proc/loadavg: 3.74 1.76 0.74 5/266 13176
/proc/meminfo: memFree=128850864/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=188004 memory=168192 CPUtime=12.64 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 20396 0 0 0 1257 7 0 0 20 0 1 0 29058984 192516096 42048 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 47001 42048 1248 1200 0 45481 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 188004 KiB
Current children cumulated memory: 168192 KiB

[startup+25.5002 s]
/proc/loadavg: 3.87 1.88 0.79 5/266 13176
/proc/meminfo: memFree=128837688/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=191268 memory=181632 CPUtime=25.41 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 21238 0 0 0 2533 8 0 0 20 0 1 0 29058984 195858432 45408 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 47817 45408 1248 1200 0 46297 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 191268 KiB
Current children cumulated memory: 181632 KiB

[startup+51.1057 s]
/proc/loadavg: 3.91 2.05 0.88 5/266 13177
/proc/meminfo: memFree=128803800/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=233924 memory=193204 CPUtime=50.94 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 22540 0 0 0 5083 11 0 0 20 0 1 0 29058984 239538176 48301 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 58481 48301 1248 1200 0 56961 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 233924 KiB
Current children cumulated memory: 193204 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 2.37 1.05 5/266 13268
/proc/meminfo: memFree=129664892/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=239080 memory=200340 CPUtime=102.01 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 23866 0 0 0 10187 14 0 0 20 0 1 0 29058984 244817920 50085 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 59770 50085 1248 1200 0 58250 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 239080 KiB
Current children cumulated memory: 200340 KiB

[startup+162.3 s]
/proc/loadavg: 4.03 2.69 1.24 5/266 13270
/proc/meminfo: memFree=129646392/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=247444 memory=212772 CPUtime=161.85 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 25988 0 0 0 16168 17 0 0 20 0 1 0 29058984 253382656 53193 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 61861 53193 1248 1200 0 60341 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 247444 KiB
Current children cumulated memory: 212772 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 2.94 1.42 5/265 13273
/proc/meminfo: memFree=129636380/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=250868 memory=222364 CPUtime=221.69 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 26876 0 0 0 22149 20 0 0 20 0 1 0 29058984 256888832 55591 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 62717 55591 1248 1200 0 61197 0
Current children cumulated CPU time: 221.69 s
Current children cumulated vsize: 250868 KiB
Current children cumulated memory: 222364 KiB

[startup+282.3 s]
/proc/loadavg: 4.13 3.17 1.60 5/264 13275
/proc/meminfo: memFree=129569484/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=257892 memory=231520 CPUtime=281.53 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 28671 0 0 0 28130 23 0 0 20 0 1 0 29058984 264081408 57880 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 64473 57880 1248 1200 0 62953 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 257892 KiB
Current children cumulated memory: 231520 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.34 1.76 5/263 13277
/proc/meminfo: memFree=129527312/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=330120 memory=256956 CPUtime=341.36 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 30079 0 0 0 34109 27 0 0 20 0 1 0 29058984 338042880 64239 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 82530 64239 1248 1200 0 81010 0
Current children cumulated CPU time: 341.36 s
Current children cumulated vsize: 330120 KiB
Current children cumulated memory: 256956 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 3.48 1.91 5/263 13279
/proc/meminfo: memFree=129548388/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=332912 memory=259772 CPUtime=401.2 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 30826 0 0 0 40091 29 0 0 20 0 1 0 29058984 340901888 64943 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 83228 64943 1248 1200 0 81708 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 332912 KiB
Current children cumulated memory: 259772 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 3.59 2.04 5/263 13281
/proc/meminfo: memFree=129542300/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=336160 memory=262972 CPUtime=461.04 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 31648 0 0 0 46072 32 0 0 20 0 1 0 29058984 344227840 65743 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0

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

Current children cumulated memory: 367360 KiB

[startup+2862.3 s]
/proc/loadavg: 4.12 4.12 4.01 5/262 13396
/proc/meminfo: memFree=129302540/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=408228 memory=367744 CPUtime=2854.61 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 50262 0 0 0 285332 129 0 0 20 0 1 0 29058984 418025472 91936 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 102057 91936 1248 1200 0 100537 0
Current children cumulated CPU time: 2854.61 s
Current children cumulated vsize: 408228 KiB
Current children cumulated memory: 367744 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.12 4.01 5/263 13403
/proc/meminfo: memFree=129285472/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=408756 memory=368256 CPUtime=2914.46 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 50434 0 0 0 291315 131 0 0 20 0 1 0 29058984 418566144 92064 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 102189 92064 1248 1200 0 100669 0
Current children cumulated CPU time: 2914.46 s
Current children cumulated vsize: 408756 KiB
Current children cumulated memory: 368256 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.11 4.01 5/263 13407
/proc/meminfo: memFree=129278820/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=408900 memory=368512 CPUtime=2974.3 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 50470 0 0 0 297298 132 0 0 20 0 1 0 29058984 418713600 92128 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 102225 92128 1248 1200 0 100705 0
Current children cumulated CPU time: 2974.3 s
Current children cumulated vsize: 408900 KiB
Current children cumulated memory: 368512 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.10 4.01 5/263 13409
/proc/meminfo: memFree=129285272/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=409668 memory=369280 CPUtime=3034.15 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 50662 0 0 0 303280 135 0 0 20 0 1 0 29058984 419500032 92320 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 102417 92320 1248 1200 0 100897 0
Current children cumulated CPU time: 3034.15 s
Current children cumulated vsize: 409668 KiB
Current children cumulated memory: 369280 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.09 4.01 5/263 13411
/proc/meminfo: memFree=129285416/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=411780 memory=371328 CPUtime=3094.01 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 51195 0 0 0 309264 137 0 0 20 0 1 0 29058984 421662720 92832 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 102945 92832 1248 1200 0 101425 0
Current children cumulated CPU time: 3094.01 s
Current children cumulated vsize: 411780 KiB
Current children cumulated memory: 371328 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.11 4.01 5/263 13413
/proc/meminfo: memFree=129248244/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=413844 memory=373376 CPUtime=3153.83 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 51761 0 0 0 315244 139 0 0 20 0 1 0 29058984 423776256 93344 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 103461 93344 1248 1200 0 101941 0
Current children cumulated CPU time: 3153.83 s
Current children cumulated vsize: 413844 KiB
Current children cumulated memory: 373376 KiB

[startup+3222.3 s]
/proc/loadavg: 4.05 4.08 4.01 5/262 13415
/proc/meminfo: memFree=129249640/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=416628 memory=376192 CPUtime=3213.64 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 52457 0 0 0 321222 142 0 0 20 0 1 0 29058984 426627072 94048 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 104157 94048 1248 1200 0 102637 0
Current children cumulated CPU time: 3213.64 s
Current children cumulated vsize: 416628 KiB
Current children cumulated memory: 376192 KiB

[startup+3282.3 s]
/proc/loadavg: 4.06 4.08 4.01 5/262 13417
/proc/meminfo: memFree=129243700/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=418288 memory=377856 CPUtime=3273.45 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 52878 0 0 0 327201 144 0 0 20 0 1 0 29058984 428326912 94464 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 104572 94464 1248 1200 0 103052 0
Current children cumulated CPU time: 3273.45 s
Current children cumulated vsize: 418288 KiB
Current children cumulated memory: 377856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.09 4.01 5/262 13419
/proc/meminfo: memFree=129227636/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=420852 memory=380416 CPUtime=3333.28 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 53548 0 0 0 333182 146 0 0 20 0 1 0 29058984 430952448 95104 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 105213 95104 1248 1200 0 103693 0
Current children cumulated CPU time: 3333.28 s
Current children cumulated vsize: 420852 KiB
Current children cumulated memory: 380416 KiB

[startup+3402.3 s]
/proc/loadavg: 4.36 4.17 4.04 5/262 13421
/proc/meminfo: memFree=129265236/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=423400 memory=383104 CPUtime=3393.13 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 54224 0 0 0 339165 148 0 0 20 0 1 0 29058984 433561600 95776 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 105850 95776 1248 1200 0 104330 0
Current children cumulated CPU time: 3393.13 s
Current children cumulated vsize: 423400 KiB
Current children cumulated memory: 383104 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.15 4.04 5/262 13423
/proc/meminfo: memFree=129264800/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=424456 memory=384128 CPUtime=3452.98 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 54497 0 0 0 345148 150 0 0 20 0 1 0 29058984 434642944 96032 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 106114 96032 1248 1200 0 104594 0
Current children cumulated CPU time: 3452.98 s
Current children cumulated vsize: 424456 KiB
Current children cumulated memory: 384128 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.04 5/263 13531
/proc/meminfo: memFree=129378484/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=425512 memory=385152 CPUtime=3512.83 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 54768 0 0 0 351130 153 0 0 20 0 1 0 29058984 435724288 96288 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 106378 96288 1248 1200 0 104858 0
Current children cumulated CPU time: 3512.83 s
Current children cumulated vsize: 425512 KiB
Current children cumulated memory: 385152 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.04 5/263 13577
/proc/meminfo: memFree=129633352/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=425704 memory=385280 CPUtime=3572.62 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 54830 0 0 0 357106 156 0 0 20 0 1 0 29058984 435920896 96320 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 106426 96320 1248 1200 0 104906 0
Current children cumulated CPU time: 3572.62 s
Current children cumulated vsize: 425704 KiB
Current children cumulated memory: 385280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 4.12 4.13 4.04 5/263 13580
/proc/meminfo: memFree=129621232/131250000 swapFree=33010684/33010684
[pid=13175] ppid=13172 vsize=425704 memory=385280 CPUtime=3600.03 cores=4,6
/proc/13175/stat : 13175 (Exact) R 13172 13175 11508 0 -1 4194304 54830 0 0 0 359846 157 0 0 20 0 1 0 29058984 435920896 96320 18446744073709551615 4198400 9112445 140737466636256 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 10316848 10407236 30502912 140737466640681 140737466640877 140737466640877 140737466646479 0
/proc/13175/statm: 106426 96320 1248 1200 0 104906 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 425704 KiB
Current children cumulated memory: 385280 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.48 s, system=1.58015 s

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

Child status: 0

Real time (s): 3609.81
CPU time (s): 3600.06
CPU user time (s): 3598.48
CPU system time (s): 1.58015
CPU usage (%): 99.7299
Max. virtual memory (cumulated for all children) (KiB): 425704
Max. memory (cumulated for all children) (KiB): 385280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.48
system time used= 1.58015
maximum resident set size= 385408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54838
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= 39
involuntary context switches= 2679


# summary of solver processes directly reported to runsolver:
#   pid: 13175
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3598.48
#   total CPU system time (s): 1.58015

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.61389 second user time and 14.5088 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-28 20:03:07
IDJOB=4492778
IDBENCH=147823
IDSOLVER=3318
FILE ID=nodeC013/4492778-1751133787
RUNJOBID= nodeC013-1751133631-11524
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/submitted-PB06/roussel/normalized-pigeon-clauses-61-60.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-4492778-1751133787/watcher-4492778-1751133787 -o /tmp/evaluation-result-4492778-1751133787/solver-4492778-1751133787 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751133631-11524 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=364150342 --ls=0 --inp-dombreaklim=0 HOME/instance-4492778-1751133787.opb

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

MD5SUM BENCH= 34508937f6127f0a8669d934526c1066
RANDOM SEED=364150342

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.928
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.832
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		: 3672.009
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		: 3602.948
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		: 3588.858
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		: 3599.840
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.810
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		: 3569.043
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:        129025212 kB
MemAvailable:   128624216 kB
Buffers:            3280 kB
Cached:           358760 kB
SwapCached:            0 kB
Active:          1454584 kB
Inactive:         165084 kB
Active(anon):    1270912 kB
Inactive(anon):        0 kB
Active(file):     183672 kB
Inactive(file):   165084 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             10032 kB
Writeback:            12 kB
AnonPages:       1260788 kB
Mapped:           113664 kB
Shmem:             13284 kB
KReclaimable:      84204 kB
Slab:             166192 kB
SReclaimable:      84204 kB
SUnreclaim:        81988 kB
KernelStack:        4304 kB
PageTables:         5508 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    1657696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    593920 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:03:17