Trace number 4515343

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.04 3610.6

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-631710.0.u.opb
MD5SUM3de1ff2182bb2a8df9b13aa693b03795
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 benchmark7728.55
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables167056
Total number of constraints169577
Number of constraints which are clauses167055
Number of constraints which are cardinality constraints (but not clauses)1966
Number of constraints which are nor clauses,nor cardinality constraints556
Minimum length of a constraint2
Maximum length of a constraint556
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 202
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 758
Number of bits of the biggest sum of numbers10
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-4515343-1751233800.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: 63708 MiB (62813 MiB free)
  memory of node 1: 64465 MiB (56203 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4515343-1751233800/watcher-4515343-1751233800 -o /tmp/evaluation-result-4515343-1751233800/solver-4515343-1751233800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751230189-30302 --watchdog 3760 pb_picat HOME/instance-4515343-1751233800.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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=30742, runsolver pid=30739

[startup+0.100065 s]*
/proc/loadavg: 4.09 4.11 4.08 5/264 30743
/proc/meminfo: memFree=121832984/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2027148 memory=47544 CPUtime=0.09 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 1275 0 0 0 9 0 0 0 20 0 1 0 39058664 2075799552 11886 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 506787 11886 1600 343 0 503851 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 47544 KiB

[startup+0.205735 s]*
/proc/loadavg: 4.09 4.11 4.08 5/264 30743
/proc/meminfo: memFree=121804504/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2027148 memory=84432 CPUtime=0.19 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 1293 0 0 0 18 1 0 0 20 0 1 0 39058664 2075799552 21108 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 506787 21108 1600 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 84432 KiB

[startup+0.305655 s]*
/proc/loadavg: 4.09 4.11 4.08 5/264 30743
/proc/meminfo: memFree=121771736/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2027148 memory=115152 CPUtime=0.3 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 1308 0 0 0 28 2 0 0 20 0 1 0 39058664 2075799552 28788 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 506787 28788 1600 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 115152 KiB

[startup+0.700178 s]
/proc/loadavg: 4.09 4.11 4.08 5/264 30743
/proc/meminfo: memFree=121726680/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2027148 memory=184784 CPUtime=0.68 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 1342 0 0 0 65 3 0 0 20 0 1 0 39058664 2075799552 46196 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 506787 46196 1600 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 184784 KiB

[startup+1.50016 s]
/proc/loadavg: 4.09 4.11 4.08 4/260 30751
/proc/meminfo: memFree=121933028/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2027148 memory=295376 CPUtime=1.48 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 1396 0 0 0 143 5 0 0 20 0 1 0 39058664 2075799552 73844 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 506787 73844 1600 343 0 503851 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 295376 KiB

[startup+3.10551 s]
/proc/loadavg: 4.00 4.09 4.07 5/264 30788
/proc/meminfo: memFree=121266460/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2027148 memory=635344 CPUtime=3.08 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 1668 0 0 0 299 9 0 0 20 0 1 0 39058664 2075799552 158836 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 506787 158836 1600 343 0 503851 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 635344 KiB

[startup+6.30014 s]
/proc/loadavg: 4.00 4.09 4.07 5/264 30833
/proc/meminfo: memFree=128222064/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2769496 memory=1059956 CPUtime=6.27 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 13523 0 0 0 604 23 0 0 20 0 1 0 39058664 2835963904 264989 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 692374 264989 1696 343 0 689438 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2769496 KiB
Current children cumulated memory: 1059956 KiB

[startup+12.7002 s]
/proc/loadavg: 4.00 4.08 4.07 5/264 30833
/proc/meminfo: memFree=127964008/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2851180 memory=1112944 CPUtime=12.65 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 21773 0 0 0 1230 35 0 0 20 0 1 0 39058664 2919608320 278236 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 712795 278236 1728 343 0 709859 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2851180 KiB
Current children cumulated memory: 1112944 KiB

[startup+25.5002 s]
/proc/loadavg: 4.00 4.08 4.07 5/263 30835
/proc/meminfo: memFree=127963732/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2858192 memory=1122004 CPUtime=25.4 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 29389 0 0 0 2501 39 0 0 20 0 1 0 39058664 2926788608 280501 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 714548 280501 1728 343 0 711612 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 2858192 KiB
Current children cumulated memory: 1122004 KiB

[startup+51.1055 s]
/proc/loadavg: 4.08 4.09 4.07 5/264 30886
/proc/meminfo: memFree=127860784/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2858192 memory=1134300 CPUtime=50.93 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 36018 0 0 0 5046 47 0 0 20 0 1 0 39058664 2926788608 283575 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 714548 283575 1728 343 0 711612 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 2858192 KiB
Current children cumulated memory: 1134300 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.07 5/264 30887
/proc/meminfo: memFree=127843216/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2858192 memory=1122012 CPUtime=101.96 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 46964 0 0 0 10135 61 0 0 20 0 1 0 39058664 2926788608 280503 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 714548 280503 1728 343 0 711612 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 2858192 KiB
Current children cumulated memory: 1122012 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.09 4.07 5/264 31024
/proc/meminfo: memFree=128203868/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2890960 memory=1191700 CPUtime=161.8 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 65272 0 0 0 16086 94 0 0 20 0 1 0 39058664 2960343040 297925 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 722740 297925 1728 343 0 719804 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2890960 KiB
Current children cumulated memory: 1191700 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/265 31161
/proc/meminfo: memFree=127975288/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2825424 memory=1097988 CPUtime=221.64 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 73576 0 0 0 22057 107 0 0 20 0 1 0 39058664 2893234176 274497 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 706356 274497 1728 343 0 703420 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 2825424 KiB
Current children cumulated memory: 1097988 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.07 5/265 31207
/proc/meminfo: memFree=127455884/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3054800 memory=1261280 CPUtime=281.48 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 85791 0 0 0 28020 128 0 0 20 0 1 0 39058664 3128115200 315320 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 763700 315320 1728 343 0 760764 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 3054800 KiB
Current children cumulated memory: 1261280 KiB

[startup+342.3 s]
/proc/loadavg: 4.07 4.08 4.07 5/265 31210
/proc/meminfo: memFree=127505560/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2923728 memory=1146592 CPUtime=341.32 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 99208 0 0 0 33975 157 0 0 20 0 1 0 39058664 2993897472 286648 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 730932 286648 1728 343 0 727996 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 2923728 KiB
Current children cumulated memory: 1146592 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.09 4.08 5/265 31212
/proc/meminfo: memFree=127212392/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3316944 memory=1472224 CPUtime=401.16 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 108960 0 0 0 39932 184 0 0 20 0 1 0 39058664 3396550656 368056 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 829236 368056 1728 343 0 826300 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 3316944 KiB
Current children cumulated memory: 1472224 KiB

[startup+462.3 s]
/proc/loadavg: 4.05 4.08 4.07 5/266 31217
/proc/meminfo: memFree=127610844/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2825424 memory=1108228 CPUtime=461 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 114461 0 0 0 45903 197 0 0 20 0 1 0 39058664 2893234176 277057 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 706356 277057 1728 343 0 703420 0
Current children cumulated CPU time: 461 s

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

Current children cumulated memory: 1683476 KiB

[startup+2862.3 s]
/proc/loadavg: 4.06 4.13 4.11 5/266 31675
/proc/meminfo: memFree=128742440/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2895872 memory=1144852 CPUtime=2854.05 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 435850 0 0 0 284261 1144 0 0 20 0 1 0 39058664 2965372928 286213 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 723968 286213 1728 343 0 721032 0
Current children cumulated CPU time: 2854.05 s
Current children cumulated vsize: 2895872 KiB
Current children cumulated memory: 1144852 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.12 4.10 5/264 31679
/proc/meminfo: memFree=128386944/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3272704 memory=1512000 CPUtime=2913.87 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 445729 0 0 0 290215 1172 0 0 20 0 1 0 39058664 3351248896 378000 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 818176 378000 1728 343 0 815240 0
Current children cumulated CPU time: 2913.87 s
Current children cumulated vsize: 3272704 KiB
Current children cumulated memory: 1512000 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/263 31682
/proc/meminfo: memFree=128503652/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3272704 memory=1382976 CPUtime=2973.68 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 452318 0 0 0 296168 1200 0 0 20 0 1 0 39058664 3351248896 345744 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 818176 345744 1728 343 0 815240 0
Current children cumulated CPU time: 2973.68 s
Current children cumulated vsize: 3272704 KiB
Current children cumulated memory: 1382976 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.12 4.10 5/263 31684
/proc/meminfo: memFree=128710368/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2895872 memory=1167380 CPUtime=3033.49 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 459692 0 0 0 302120 1229 0 0 20 0 1 0 39058664 2965372928 291845 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 723968 291845 1728 343 0 721032 0
Current children cumulated CPU time: 3033.49 s
Current children cumulated vsize: 2895872 KiB
Current children cumulated memory: 1167380 KiB

[startup+3102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 31686
/proc/meminfo: memFree=128634752/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3026944 memory=1261588 CPUtime=3093.31 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 466857 0 0 0 308080 1251 0 0 20 0 1 0 39058664 3099590656 315397 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 756736 315397 1728 343 0 753800 0
Current children cumulated CPU time: 3093.31 s
Current children cumulated vsize: 3026944 KiB
Current children cumulated memory: 1261588 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 31690
/proc/meminfo: memFree=128740552/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2830336 memory=1122324 CPUtime=3153.11 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 467795 0 0 0 314058 1253 0 0 20 0 1 0 39058664 2898264064 280581 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 707584 280581 1728 343 0 704648 0
Current children cumulated CPU time: 3153.11 s
Current children cumulated vsize: 2830336 KiB
Current children cumulated memory: 1122324 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 31697
/proc/meminfo: memFree=128615744/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3026944 memory=1253396 CPUtime=3212.92 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 469823 0 0 0 320036 1256 0 0 20 0 1 0 39058664 3099590656 313349 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 756736 313349 1728 343 0 753800 0
Current children cumulated CPU time: 3212.92 s
Current children cumulated vsize: 3026944 KiB
Current children cumulated memory: 1253396 KiB

[startup+3282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 31699
/proc/meminfo: memFree=128649656/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3026944 memory=1222676 CPUtime=3272.73 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 472715 0 0 0 326012 1261 0 0 20 0 1 0 39058664 3099590656 305669 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 756736 305669 1728 343 0 753800 0
Current children cumulated CPU time: 3272.73 s
Current children cumulated vsize: 3026944 KiB
Current children cumulated memory: 1222676 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 31702
/proc/meminfo: memFree=128537892/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3026944 memory=1329172 CPUtime=3332.55 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 483376 0 0 0 331967 1288 0 0 20 0 1 0 39058664 3099590656 332293 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 756736 332293 1728 343 0 753800 0
Current children cumulated CPU time: 3332.55 s
Current children cumulated vsize: 3026944 KiB
Current children cumulated memory: 1329172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/265 31704
/proc/meminfo: memFree=128432244/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3289088 memory=1443860 CPUtime=3392.37 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 493733 0 0 0 337920 1317 0 0 20 0 1 0 39058664 3368026112 360965 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 822272 360965 1728 343 0 819336 0
Current children cumulated CPU time: 3392.37 s
Current children cumulated vsize: 3289088 KiB
Current children cumulated memory: 1443860 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/264 31706
/proc/meminfo: memFree=128012772/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3813376 memory=1853460 CPUtime=3452.18 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 500334 0 0 0 343871 1347 0 0 20 0 1 0 39058664 3904897024 463365 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 953344 463365 1728 343 0 950408 0
Current children cumulated CPU time: 3452.18 s
Current children cumulated vsize: 3813376 KiB
Current children cumulated memory: 1853460 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 31712
/proc/meminfo: memFree=128573428/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3026944 memory=1296404 CPUtime=3511.99 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 510133 0 0 0 349823 1376 0 0 20 0 1 0 39058664 3099590656 324101 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 756736 324101 1728 343 0 753800 0
Current children cumulated CPU time: 3511.99 s
Current children cumulated vsize: 3026944 KiB
Current children cumulated memory: 1296404 KiB

[startup+3582.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/265 31714
/proc/meminfo: memFree=128573064/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=3026944 memory=1302548 CPUtime=3571.81 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 520165 0 0 0 355776 1405 0 0 20 0 1 0 39058664 3099590656 325637 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 756736 325637 1728 343 0 753800 0
Current children cumulated CPU time: 3571.81 s
Current children cumulated vsize: 3026944 KiB
Current children cumulated memory: 1302548 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 31715
/proc/meminfo: memFree=128749420/131249996 swapFree=33010684/33010684
[pid=30742] ppid=30739 vsize=2871296 memory=1137216 CPUtime=3600.02 cores=1,3
/proc/30742/stat : 30742 (pb_picat) R 30739 30742 30285 0 -1 4194304 525370 0 0 0 358582 1420 0 0 20 0 1 0 39058664 2940207104 284304 18446744073709551615 94475152953344 94475154354925 140733150336720 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94475154626352 94475156500656 94475175555072 140733150345630 140733150345706 140733150345706 140733150351308 0
/proc/30742/statm: 717824 284304 1728 343 0 714888 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2871296 KiB
Current children cumulated memory: 1137216 KiB

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

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

# cumulated CPU time of all completed processes:  user=3585.83 s, system=14.2134 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.6
CPU time (s): 3600.04
CPU user time (s): 3585.83
CPU system time (s): 14.2134
CPU usage (%): 99.7074
Max. virtual memory (cumulated for all children) (KiB): 3846144
Max. memory (cumulated for all children) (KiB): 1989184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.83
system time used= 14.2134
maximum resident set size= 1989184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525370
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= 86
involuntary context switches= 4320


# summary of solver processes directly reported to runsolver:
#   pid: 30742
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3585.83
#   total CPU system time (s): 14.2134

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.90225 second user time and 15.7325 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-29 23:50:00
IDJOB=4515343
IDBENCH=164408
IDSOLVER=3346
FILE ID=nodeC032/4515343-1751233800
RUNJOBID= nodeC032-1751230189-30302
SLURM_JOB_ID= 9587700
Free space on /tmp= 431616 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2010/normalized-neos-631710.0.u.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4515343-1751233800/watcher-4515343-1751233800 -o /tmp/evaluation-result-4515343-1751233800/solver-4515343-1751233800 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751230189-30302 --watchdog 3760  pb_picat HOME/instance-4515343-1751233800.opb

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

MD5SUM BENCH= 3de1ff2182bb2a8df9b13aa693b03795
RANDOM SEED=1330113062

nodeC032 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.846
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.69
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.587
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.69
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		: 3580.687
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.69
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		: 3605.322
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.69
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.745
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.69
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.842
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.69
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		: 3477.382
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.69
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		: 3589.178
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121873308 kB
MemAvailable:   122035580 kB
Buffers:            3280 kB
Cached:           971936 kB
SwapCached:            0 kB
Active:          8081608 kB
Inactive:         718744 kB
Active(anon):    7843204 kB
Inactive(anon):        0 kB
Active(file):     238404 kB
Inactive(file):   718744 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             13324 kB
Writeback:             0 kB
AnonPages:       7825464 kB
Mapped:           112720 kB
Shmem:             18068 kB
KReclaimable:      88728 kB
Slab:             172760 kB
SReclaimable:      88728 kB
SUnreclaim:        84032 kB
KernelStack:        4288 kB
PageTables:        18460 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:   13417568 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7684096 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432048 MiB
End job on nodeC032 at 2025-06-30 00:50:11