Trace number 4503129

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
Picat 2025-06-16? (TO) 3600.06 3610.01

General information on the benchmark

NamePB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
MD5SUM9baf2ba48863e92d1cef7cf6d2cd6be7
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 benchmark207.372
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints1015
Number of constraints which are clauses835
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c solving HOME/instance-4503129-1751155622.opb (Picat 3.9b6)

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 (62503 MiB free)
  memory of node 1: 64507 MiB (63949 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4503129-1751155622/watcher-4503129-1751155622 -o /tmp/evaluation-result-4503129-1751155622/solver-4503129-1751155622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15231 --watchdog 3760 pb_picat HOME/instance-4503129-1751155622.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100061 s]*
/proc/loadavg: 4.13 4.10 4.09 5/264 20250
/proc/meminfo: memFree=129484316/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2029528 memory=24844 CPUtime=0.09 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 1640 0 0 0 9 0 0 0 20 0 1 0 31242467 2078236672 6211 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 507382 6211 1728 343 0 504446 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2029528 KiB
Current children cumulated memory: 24844 KiB

[startup+0.2056 s]*
/proc/loadavg: 4.13 4.10 4.09 5/264 20250
/proc/meminfo: memFree=129484076/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2030040 memory=25228 CPUtime=0.19 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 1738 0 0 0 19 0 0 0 20 0 1 0 31242467 2078760960 6307 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 507510 6307 1728 343 0 504574 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2030040 KiB
Current children cumulated memory: 25228 KiB

[startup+0.305373 s]*
/proc/loadavg: 4.13 4.10 4.09 5/264 20250
/proc/meminfo: memFree=129484076/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2029580 memory=25292 CPUtime=0.29 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 1858 0 0 0 29 0 0 0 20 0 1 0 31242467 2078289920 6323 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 507395 6323 1728 343 0 504459 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2029580 KiB
Current children cumulated memory: 25292 KiB

[startup+0.700123 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 20250
/proc/meminfo: memFree=129484076/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2030236 memory=24988 CPUtime=0.69 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 2804 0 0 0 68 1 0 0 20 0 1 0 31242467 2078961664 6247 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 507559 6247 1728 343 0 504623 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2030236 KiB
Current children cumulated memory: 24988 KiB

[startup+1.50016 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 20250
/proc/meminfo: memFree=129484076/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2029644 memory=25248 CPUtime=1.48 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 5001 0 0 0 147 1 0 0 20 0 1 0 31242467 2078355456 6312 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 507411 6312 1728 343 0 504475 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2029644 KiB
Current children cumulated memory: 25248 KiB

[startup+3.10539 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 20250
/proc/meminfo: memFree=129482280/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2031580 memory=26304 CPUtime=3.08 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 11726 0 0 0 306 2 0 0 20 0 1 0 31242467 2080337920 6576 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 507895 6576 1728 343 0 504959 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2031580 KiB
Current children cumulated memory: 26304 KiB

[startup+6.30015 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 20250
/proc/meminfo: memFree=129477120/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2030556 memory=25828 CPUtime=6.27 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 26154 0 0 0 623 4 0 0 20 0 1 0 31242467 2079289344 6457 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 507639 6457 1728 343 0 504703 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2030556 KiB
Current children cumulated memory: 25828 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 20250
/proc/meminfo: memFree=129479636/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2032976 memory=26832 CPUtime=12.66 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 45866 0 0 0 1259 7 0 0 20 0 1 0 31242467 2081767424 6708 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 508244 6708 1728 343 0 505308 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2032976 KiB
Current children cumulated memory: 26832 KiB

[startup+25.5001 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 20251
/proc/meminfo: memFree=129474056/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2037072 memory=30852 CPUtime=25.42 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 107659 0 0 0 2526 16 0 0 20 0 1 0 31242467 2085961728 7713 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 509268 7713 1728 343 0 506332 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2037072 KiB
Current children cumulated memory: 30852 KiB

[startup+51.1054 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 20251
/proc/meminfo: memFree=129482520/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2037212 memory=29308 CPUtime=50.96 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 184638 0 0 0 5067 29 0 0 20 0 1 0 31242467 2086105088 7327 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 509303 7327 1728 343 0 506367 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2037212 KiB
Current children cumulated memory: 29308 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 20253
/proc/meminfo: memFree=129468416/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2033248 memory=28140 CPUtime=102.02 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 316948 0 0 0 10149 53 0 0 20 0 1 0 31242467 2082045952 7035 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 508312 7035 1728 343 0 505376 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2033248 KiB
Current children cumulated memory: 28140 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 20255
/proc/meminfo: memFree=129476628/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2034448 memory=29144 CPUtime=161.87 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 537099 0 0 0 16094 93 0 0 20 0 1 0 31242467 2083274752 7286 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 508612 7286 1728 343 0 505676 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2034448 KiB
Current children cumulated memory: 29144 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 20257
/proc/meminfo: memFree=129474516/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2040080 memory=35508 CPUtime=221.71 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 710673 0 0 0 22043 128 0 0 20 0 1 0 31242467 2089041920 8877 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 510020 8877 1728 343 0 507084 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 2040080 KiB
Current children cumulated memory: 35508 KiB

[startup+282.3 s]
/proc/loadavg: 4.19 4.11 4.10 5/264 20259
/proc/meminfo: memFree=129468644/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2042260 memory=36428 CPUtime=281.54 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 830086 0 0 0 28001 153 0 0 20 0 1 0 31242467 2091274240 9107 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 510565 9107 1728 343 0 507629 0
Current children cumulated CPU time: 281.54 s
Current children cumulated vsize: 2042260 KiB
Current children cumulated memory: 36428 KiB

[startup+342.3 s]
/proc/loadavg: 4.19 4.12 4.10 5/265 20264
/proc/meminfo: memFree=129466100/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2042396 memory=33124 CPUtime=341.37 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 994511 0 0 0 33952 185 0 0 20 0 1 0 31242467 2091413504 8281 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 510599 8281 1728 343 0 507663 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2042396 KiB
Current children cumulated memory: 33124 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/265 20267
/proc/meminfo: memFree=129470288/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2046492 memory=38572 CPUtime=401.21 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 1135643 0 0 0 39905 216 0 0 20 0 1 0 31242467 2095607808 9643 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 511623 9643 1728 343 0 508687 0
Current children cumulated CPU time: 401.21 s
Current children cumulated vsize: 2046492 KiB
Current children cumulated memory: 38572 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/265 20269
/proc/meminfo: memFree=129452272/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2046492 memory=34356 CPUtime=461.05 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 1234685 0 0 0 45868 237 0 0 20 0 1 0 31242467 2095607808 8589 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 511623 8589 1728 343 0 508687 0

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

Current children cumulated memory: 62644 KiB

[startup+2862.3 s]
/proc/loadavg: 3.12 3.13 3.37 4/259 20413
/proc/meminfo: memFree=129488468/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2057056 memory=44568 CPUtime=2854.61 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3532590 0 0 0 284627 834 0 0 20 0 1 0 31242467 2106425344 11142 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 514264 11142 1728 343 0 511328 0
Current children cumulated CPU time: 2854.61 s
Current children cumulated vsize: 2057056 KiB
Current children cumulated memory: 44568 KiB

[startup+2922.3 s]
/proc/loadavg: 2.80 3.06 3.33 3/253 20446
/proc/meminfo: memFree=129739436/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081632 memory=54940 CPUtime=2914.45 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3544609 0 0 0 290606 839 0 0 20 0 1 0 31242467 2131591168 13735 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520408 13735 1728 343 0 517472 0
Current children cumulated CPU time: 2914.45 s
Current children cumulated vsize: 2081632 KiB
Current children cumulated memory: 54940 KiB

[startup+2982.3 s]
/proc/loadavg: 2.39 2.89 3.25 3/253 20448
/proc/meminfo: memFree=129726816/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081632 memory=62660 CPUtime=2974.26 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3599587 0 0 0 296569 857 0 0 20 0 1 0 31242467 2131591168 15665 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520408 15665 1728 343 0 517472 0
Current children cumulated CPU time: 2974.26 s
Current children cumulated vsize: 2081632 KiB
Current children cumulated memory: 62660 KiB

[startup+3042.3 s]
/proc/loadavg: 2.19 2.74 3.18 3/253 20452
/proc/meminfo: memFree=129742312/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081632 memory=62664 CPUtime=3034.07 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3652547 0 0 0 302535 872 0 0 20 0 1 0 31242467 2131591168 15666 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520408 15666 1728 343 0 517472 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 2081632 KiB
Current children cumulated memory: 62664 KiB

[startup+3102.3 s]
/proc/loadavg: 2.19 2.64 3.11 3/252 20456
/proc/meminfo: memFree=129730116/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081632 memory=66760 CPUtime=3093.88 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3700303 0 0 0 308501 887 0 0 20 0 1 0 31242467 2131591168 16690 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520408 16690 1728 343 0 517472 0
Current children cumulated CPU time: 3093.88 s
Current children cumulated vsize: 2081632 KiB
Current children cumulated memory: 66760 KiB

[startup+3162.3 s]
/proc/loadavg: 2.13 2.53 3.04 3/251 20458
/proc/meminfo: memFree=129743864/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2073656 memory=61324 CPUtime=3153.69 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3734072 0 0 0 314471 898 0 0 20 0 1 0 31242467 2123423744 15331 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 518414 15331 1728 343 0 515478 0
Current children cumulated CPU time: 3153.69 s
Current children cumulated vsize: 2073656 KiB
Current children cumulated memory: 61324 KiB

[startup+3222.3 s]
/proc/loadavg: 2.09 2.45 2.98 3/251 20460
/proc/meminfo: memFree=129732916/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081848 memory=63116 CPUtime=3213.51 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3740866 0 0 0 320452 899 0 0 20 0 1 0 31242467 2131812352 15779 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520462 15779 1728 343 0 517526 0
Current children cumulated CPU time: 3213.51 s
Current children cumulated vsize: 2081848 KiB
Current children cumulated memory: 63116 KiB

[startup+3282.3 s]
/proc/loadavg: 2.21 2.41 2.93 3/252 20477
/proc/meminfo: memFree=129731548/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081848 memory=67468 CPUtime=3273.32 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3750211 0 0 0 326430 902 0 0 20 0 1 0 31242467 2131812352 16867 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520462 16867 1728 343 0 517526 0
Current children cumulated CPU time: 3273.32 s
Current children cumulated vsize: 2081848 KiB
Current children cumulated memory: 67468 KiB

[startup+3342.3 s]
/proc/loadavg: 2.13 2.35 2.88 3/252 20479
/proc/meminfo: memFree=129699668/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081848 memory=67468 CPUtime=3333.14 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3758101 0 0 0 332410 904 0 0 20 0 1 0 31242467 2131812352 16867 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520462 16867 1728 343 0 517526 0
Current children cumulated CPU time: 3333.14 s
Current children cumulated vsize: 2081848 KiB
Current children cumulated memory: 67468 KiB

[startup+3402.3 s]
/proc/loadavg: 2.16 2.32 2.83 3/253 20483
/proc/meminfo: memFree=129716908/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081848 memory=67576 CPUtime=3392.95 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3787871 0 0 0 338382 913 0 0 20 0 1 0 31242467 2131812352 16894 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520462 16894 1728 343 0 517526 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 2081848 KiB
Current children cumulated memory: 67576 KiB

[startup+3462.3 s]
/proc/loadavg: 2.11 2.27 2.78 3/253 20485
/proc/meminfo: memFree=129742384/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081848 memory=67576 CPUtime=3452.75 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3830039 0 0 0 344348 927 0 0 20 0 1 0 31242467 2131812352 16894 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520462 16894 1728 343 0 517526 0
Current children cumulated CPU time: 3452.75 s
Current children cumulated vsize: 2081848 KiB
Current children cumulated memory: 67576 KiB

[startup+3522.3 s]
/proc/loadavg: 2.08 2.24 2.74 3/253 20487
/proc/meminfo: memFree=129735248/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081848 memory=69624 CPUtime=3512.57 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3881071 0 0 0 350311 946 0 0 20 0 1 0 31242467 2131812352 17406 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520462 17406 1728 343 0 517526 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 2081848 KiB
Current children cumulated memory: 69624 KiB

[startup+3582.3 s]
/proc/loadavg: 1.57 2.07 2.65 2/247 20519
/proc/meminfo: memFree=130164252/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081848 memory=71800 CPUtime=3572.41 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3938707 0 0 0 356276 965 0 0 20 0 1 0 31242467 2131812352 17950 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520462 17950 1728 343 0 517526 0
Current children cumulated CPU time: 3572.41 s
Current children cumulated vsize: 2081848 KiB
Current children cumulated memory: 71800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 1.43 1.98 2.60 2/247 20521
/proc/meminfo: memFree=130160284/131250000 swapFree=33010684/33010684
[pid=20249] ppid=20246 vsize=2081848 memory=70392 CPUtime=3600.05 cores=5,7
/proc/20249/stat : 20249 (pb_picat) R 20246 20249 15215 0 -1 4194304 3955332 0 0 0 359036 969 0 0 20 0 1 0 31242467 2131812352 17598 18446744073709551615 94200553013248 94200554414829 140721672481648 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 94200554686256 94200556560560 94200563154944 140721672489374 140721672489450 140721672489450 140721672495052 0
/proc/20249/statm: 520462 17598 1728 343 0 517526 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2081848 KiB
Current children cumulated memory: 70392 KiB

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

[startup+3610.01 s]
# the end of solver process 20249 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=3590.37 s, system=9.69654 s

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

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.01
CPU time (s): 3600.06
CPU user time (s): 3590.37
CPU system time (s): 9.69654
CPU usage (%): 99.7245
Max. virtual memory (cumulated for all children) (KiB): 2098232
Max. memory (cumulated for all children) (KiB): 74488

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.37
system time used= 9.69654
maximum resident set size= 74488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3955332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77
involuntary context switches= 4390


# summary of solver processes directly reported to runsolver:
#   pid: 20249
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3590.37
#   total CPU system time (s): 9.69654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.91208 second user time and 15.7196 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-06-29 02:07:02
IDJOB=4503129
IDBENCH=155406
IDSOLVER=3346
FILE ID=nodeC013/4503129-1751155622
RUNJOBID= nodeC013-1751146126-15231
SLURM_JOB_ID= 9587455
Free space on /tmp= 433040 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB11/DEC-LIN/heinz/normalized-neos-820157.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4503129-1751155622/watcher-4503129-1751155622 -o /tmp/evaluation-result-4503129-1751155622/solver-4503129-1751155622 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751146126-15231 --watchdog 3760  pb_picat HOME/instance-4503129-1751155622.opb

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

MD5SUM BENCH= 9baf2ba48863e92d1cef7cf6d2cd6be7
RANDOM SEED=1055053947

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.837
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.829
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		: 3742.168
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		: 3595.564
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.831
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.826
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		: 3563.909
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.449
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:        129488252 kB
MemAvailable:   129086376 kB
Buffers:            3280 kB
Cached:           355284 kB
SwapCached:            0 kB
Active:          1017212 kB
Inactive:         161592 kB
Active(anon):     833524 kB
Inactive(anon):        0 kB
Active(file):     183688 kB
Inactive(file):   161592 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              3588 kB
Writeback:             0 kB
AnonPages:        816504 kB
Mapped:           108600 kB
Shmem:             13284 kB
KReclaimable:      85924 kB
Slab:             168384 kB
SReclaimable:      85924 kB
SUnreclaim:        82460 kB
KernelStack:        4272 kB
PageTables:         4672 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6673964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    628736 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= 433056 MiB
End job on nodeC013 at 2025-06-29 03:07:12