Trace number 4528818

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 NameAnswerobjective functionCPU timeWall clock time
pb_picat 2025-07-11? (TO) 3600.04 3610.5

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/
opb/normalized-sporttournament28.opb
MD5SUM390ec8fc201467376172e52d21e0ee7b
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-192
Best CPU time to get the best result obtained on this benchmark116.495
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
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 constraint-1
Maximum length of a constraint0
Number of terms in the objective function 972
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 1048
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1048
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)728
Sum of products size (including duplicates)1456
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c solving HOME/instance-4528818-1752245709.opb (Picat 3.9b11, 7/10/2025)

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 (61989 MiB free)
  memory of node 1: 64465 MiB (55810 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528818-1752245709/watcher-4528818-1752245709 -o /tmp/evaluation-result-4528818-1752245709/solver-4528818-1752245709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752245708-170432 --watchdog 3760 pb_picat HOME/instance-4528818-1752245709.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=170483, runsolver pid=170469

[startup+0.10006 s]*
/proc/loadavg: 2.20 3.63 3.93 6/266 170489
/proc/meminfo: memFree=120550516/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2039388 memory=23316 CPUtime=0.08 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 2493 0 0 0 8 0 0 0 20 0 1 0 140249631 2088333312 5829 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 509847 5829 1696 343 0 506911 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2039388 KiB
Current children cumulated memory: 23316 KiB

[startup+0.204961 s]*
/proc/loadavg: 2.20 3.63 3.93 6/266 170489
/proc/meminfo: memFree=120489076/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2039240 memory=23752 CPUtime=0.19 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 3144 0 0 0 19 0 0 0 20 0 1 0 140249631 2088181760 5938 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 509810 5938 1696 343 0 506874 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2039240 KiB
Current children cumulated memory: 23752 KiB

[startup+0.305113 s]*
/proc/loadavg: 2.20 3.63 3.93 6/266 170489
/proc/meminfo: memFree=120472692/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2039240 memory=23920 CPUtime=0.29 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 3503 0 0 0 29 0 0 0 20 0 1 0 140249631 2088181760 5980 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 509810 5980 1696 343 0 506874 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2039240 KiB
Current children cumulated memory: 23920 KiB

[startup+0.700116 s]
/proc/loadavg: 2.20 3.63 3.93 6/266 170489
/proc/meminfo: memFree=120439912/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2039240 memory=24100 CPUtime=0.67 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 4281 0 0 0 67 0 0 0 20 0 1 0 140249631 2088181760 6025 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 509810 6025 1696 343 0 506874 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 2039240 KiB
Current children cumulated memory: 24100 KiB

[startup+1.50014 s]
/proc/loadavg: 2.20 3.63 3.93 6/266 170489
/proc/meminfo: memFree=120322076/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2040264 memory=24396 CPUtime=1.48 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 5566 0 0 0 147 1 0 0 20 0 1 0 140249631 2089230336 6099 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 510066 6099 1696 343 0 507130 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2040264 KiB
Current children cumulated memory: 24396 KiB

[startup+3.1051 s]
/proc/loadavg: 2.20 3.63 3.93 6/266 170489
/proc/meminfo: memFree=119901476/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2040416 memory=24904 CPUtime=3.07 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 9252 0 0 0 306 1 0 0 20 0 1 0 140249631 2089385984 6226 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 510104 6226 1696 343 0 507168 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 2040416 KiB
Current children cumulated memory: 24904 KiB

[startup+6.30012 s]
/proc/loadavg: 2.35 3.64 3.93 6/267 170491
/proc/meminfo: memFree=119785856/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2042140 memory=27232 CPUtime=6.26 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 15379 0 0 0 624 2 0 0 20 0 1 0 140249631 2091151360 6808 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 510535 6808 1696 343 0 507599 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 2042140 KiB
Current children cumulated memory: 27232 KiB

[startup+12.7001 s]
/proc/loadavg: 2.48 3.65 3.93 6/267 170491
/proc/meminfo: memFree=119780400/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2049308 memory=33108 CPUtime=12.65 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 28684 0 0 0 1260 5 0 0 20 0 1 0 140249631 2098491392 8277 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 512327 8277 1696 343 0 509391 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2049308 KiB
Current children cumulated memory: 33108 KiB

[startup+25.5001 s]
/proc/loadavg: 2.89 3.68 3.93 6/267 170491
/proc/meminfo: memFree=119770004/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2045512 memory=29744 CPUtime=25.42 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 54243 0 0 0 2530 12 0 0 20 0 1 0 140249631 2094604288 7436 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 511378 7436 1696 343 0 508442 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 2045512 KiB
Current children cumulated memory: 29744 KiB

[startup+51.1052 s]
/proc/loadavg: 3.27 3.71 3.94 6/267 170491
/proc/meminfo: memFree=119695716/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2045868 memory=30384 CPUtime=50.95 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 103639 0 0 0 5070 25 0 0 20 0 1 0 140249631 2094968832 7596 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 511467 7596 1696 343 0 508531 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 2045868 KiB
Current children cumulated memory: 30384 KiB

[startup+102.3 s]
/proc/loadavg: 3.72 3.77 3.95 6/268 170494
/proc/meminfo: memFree=119679612/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2050168 memory=35104 CPUtime=102 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 191221 0 0 0 10151 49 0 0 20 0 1 0 140249631 2099372032 8776 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 512542 8776 1696 343 0 509606 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2050168 KiB
Current children cumulated memory: 35104 KiB

[startup+162.3 s]
/proc/loadavg: 4.00 3.84 3.96 6/267 170496
/proc/meminfo: memFree=119665876/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2050688 memory=30584 CPUtime=161.83 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 276506 0 0 0 16111 72 0 0 20 0 1 0 140249631 2099904512 7646 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 512672 7646 1696 343 0 509736 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2050688 KiB
Current children cumulated memory: 30584 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 3.89 3.98 6/266 170498
/proc/meminfo: memFree=119685652/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2063288 memory=46348 CPUtime=221.66 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 353167 0 0 0 22071 95 0 0 20 0 1 0 140249631 2112806912 11587 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 515822 11587 1696 343 0 512886 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 2063288 KiB
Current children cumulated memory: 46348 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.93 3.99 6/264 170500
/proc/meminfo: memFree=119634600/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2063288 memory=39504 CPUtime=281.48 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 428506 0 0 0 28028 120 0 0 20 0 1 0 140249631 2112806912 9876 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 515822 9876 1696 343 0 512886 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 2063288 KiB
Current children cumulated memory: 39504 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.97 4.00 6/264 170503
/proc/meminfo: memFree=119645260/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2059192 memory=40244 CPUtime=341.31 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 491764 0 0 0 33991 140 0 0 20 0 1 0 140249631 2108612608 10061 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 514798 10061 1696 343 0 511862 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 2059192 KiB
Current children cumulated memory: 40244 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.00 4.00 6/264 170516
/proc/meminfo: memFree=119697960/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2064736 memory=39128 CPUtime=401.14 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 550465 0 0 0 39953 161 0 0 20 0 1 0 140249631 2114289664 9782 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 516184 9782 1696 343 0 513248 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 2064736 KiB
Current children cumulated memory: 39128 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.01 4.00 6/264 170518
/proc/meminfo: memFree=119642216/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2072928 memory=47544 CPUtime=460.97 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 611546 0 0 0 45915 182 0 0 20 0 1 0 140249631 2122678272 11886 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 518232 11886 1696 343 0 515296 0
Current children cumulated CPU time: 460.97 s

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

Current children cumulated memory: 79184 KiB

[startup+2922.3 s]
/proc/loadavg: 4.11 4.11 4.08 6/264 170633
/proc/meminfo: memFree=119443108/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2112976 memory=93520 CPUtime=2913.77 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1750943 0 0 0 290683 694 0 0 20 0 1 0 140249631 2163687424 23380 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 528244 23380 1696 343 0 525308 0
Current children cumulated CPU time: 2913.77 s
Current children cumulated vsize: 2112976 KiB
Current children cumulated memory: 93520 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.12 4.08 6/263 170637
/proc/meminfo: memFree=119452688/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2112976 memory=91472 CPUtime=2973.6 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1776199 0 0 0 296654 706 0 0 20 0 1 0 140249631 2163687424 22868 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 528244 22868 1696 343 0 525308 0
Current children cumulated CPU time: 2973.6 s
Current children cumulated vsize: 2112976 KiB
Current children cumulated memory: 91472 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.13 4.09 6/264 170644
/proc/meminfo: memFree=119443388/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2096592 memory=85328 CPUtime=3033.43 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1785790 0 0 0 302632 711 0 0 20 0 1 0 140249631 2146910208 21332 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 524148 21332 1696 343 0 521212 0
Current children cumulated CPU time: 3033.43 s
Current children cumulated vsize: 2096592 KiB
Current children cumulated memory: 85328 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.12 4.09 6/265 170647
/proc/meminfo: memFree=119433356/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2145744 memory=97404 CPUtime=3093.26 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1804995 0 0 0 308605 721 0 0 20 0 1 0 140249631 2197241856 24351 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 536436 24351 1696 343 0 533500 0
Current children cumulated CPU time: 3093.26 s
Current children cumulated vsize: 2145744 KiB
Current children cumulated memory: 97404 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/265 170649
/proc/meminfo: memFree=119430500/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2145744 memory=99664 CPUtime=3153.1 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1820375 0 0 0 314579 731 0 0 20 0 1 0 140249631 2197241856 24916 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 536436 24916 1696 343 0 533500 0
Current children cumulated CPU time: 3153.1 s
Current children cumulated vsize: 2145744 KiB
Current children cumulated memory: 99664 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/265 170651
/proc/meminfo: memFree=119467456/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2096592 memory=73040 CPUtime=3212.93 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1836221 0 0 0 320552 741 0 0 20 0 1 0 140249631 2146910208 18260 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 524148 18260 1696 343 0 521212 0
Current children cumulated CPU time: 3212.93 s
Current children cumulated vsize: 2096592 KiB
Current children cumulated memory: 73040 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 6/264 170653
/proc/meminfo: memFree=119435440/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2096592 memory=77136 CPUtime=3272.76 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1851077 0 0 0 326527 749 0 0 20 0 1 0 140249631 2146910208 19284 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 524148 19284 1696 343 0 521212 0
Current children cumulated CPU time: 3272.76 s
Current children cumulated vsize: 2096592 KiB
Current children cumulated memory: 77136 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.12 4.09 6/263 170655
/proc/meminfo: memFree=119401256/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2145744 memory=99664 CPUtime=3332.59 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1866938 0 0 0 332501 758 0 0 20 0 1 0 140249631 2197241856 24916 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 536436 24916 1696 343 0 533500 0
Current children cumulated CPU time: 3332.59 s
Current children cumulated vsize: 2145744 KiB
Current children cumulated memory: 99664 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/262 170657
/proc/meminfo: memFree=119462288/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2112976 memory=86864 CPUtime=3392.42 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1896654 0 0 0 338470 772 0 0 20 0 1 0 140249631 2163687424 21716 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 528244 21716 1696 343 0 525308 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 2112976 KiB
Current children cumulated memory: 86864 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/262 170659
/proc/meminfo: memFree=119406964/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2129360 memory=91472 CPUtime=3452.24 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1920028 0 0 0 344441 783 0 0 20 0 1 0 140249631 2180464640 22868 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 532340 22868 1696 343 0 529404 0
Current children cumulated CPU time: 3452.24 s
Current children cumulated vsize: 2129360 KiB
Current children cumulated memory: 91472 KiB

[startup+3522.3 s]
/proc/loadavg: 4.15 4.13 4.09 6/262 170661
/proc/meminfo: memFree=119401556/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2145744 memory=95568 CPUtime=3512.07 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1938225 0 0 0 350416 791 0 0 20 0 1 0 140249631 2197241856 23892 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 536436 23892 1696 343 0 533500 0
Current children cumulated CPU time: 3512.07 s
Current children cumulated vsize: 2145744 KiB
Current children cumulated memory: 95568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 6/264 170667
/proc/meminfo: memFree=119431036/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2096592 memory=83280 CPUtime=3571.9 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1947406 0 0 0 356392 798 0 0 20 0 1 0 140249631 2146910208 20820 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 524148 20820 1696 343 0 521212 0
Current children cumulated CPU time: 3571.9 s
Current children cumulated vsize: 2096592 KiB
Current children cumulated memory: 83280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.5 s]
/proc/loadavg: 4.12 4.12 4.09 6/265 170673
/proc/meminfo: memFree=119414912/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2129360 memory=99664 CPUtime=3600.02 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1956071 0 0 0 359199 803 0 0 20 0 1 0 140249631 2180464640 24916 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 532340 24916 1696 343 0 529404 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2129360 KiB
Current children cumulated memory: 99664 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592 s, system=8.03983 s

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

[startup+3610.5 s]
/proc/loadavg: 4.12 4.12 4.09 6/265 170673
/proc/meminfo: memFree=119414912/131249992 swapFree=33010160/33010684
[pid=170483] ppid=170469 vsize=2129360 memory=99664 CPUtime=3600.02 cores=1,3
/proc/170483/stat : 170483 (pb_picat) R 170469 170483 170420 0 -1 4194304 1956071 0 0 0 359199 803 0 0 20 0 1 0 140249631 2180464640 24916 18446744073709551615 94111999541248 94112000942829 140725862110288 0 0 0 0 0 8389634 0 0 0 17 1 0 0 0 0 0 94112001214256 94112003088496 94112032792576 140725862115740 140725862115816 140725862115816 140725862121420 0
/proc/170483/statm: 532340 24916 1696 343 0 529404 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 2129360 KiB
Current children cumulated memory: 99664 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3610.5
CPU time (s): 3600.04
CPU user time (s): 3592
CPU system time (s): 8.03983
CPU usage (%): 99.7101
Max. virtual memory (cumulated for all children) (KiB): 2211280
Max. memory (cumulated for all children) (KiB): 148816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592
system time used= 8.03984
maximum resident set size= 148816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1956071
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= 89
involuntary context switches= 7852


# summary of solver processes directly reported to runsolver:
#   pid: 170483
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3592
#   total CPU system time (s): 8.03983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.42286 second user time and 12.7679 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2025-07-11 16:55:09
IDJOB=4528818
IDBENCH=160524
IDSOLVER=3385
FILE ID=nodeC025/4528818-1752245709
RUNJOBID= nodeC025-1752245708-170432
SLURM_JOB_ID= 9682581
Free space on /tmp= 432980 MiB

SOLVER NAME= pb_picat 2025-07-11
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-sporttournament28.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528818-1752245709/watcher-4528818-1752245709 -o /tmp/evaluation-result-4528818-1752245709/solver-4528818-1752245709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1752245708-170432 --watchdog 3760  pb_picat HOME/instance-4528818-1752245709.opb

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

MD5SUM BENCH= 390ec8fc201467376172e52d21e0ee7b
RANDOM SEED=548352123

nodeC025 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		: 3600.257
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.858
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		: 3599.905
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		: 3600.325
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.974
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		: 3601.984
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.842
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.954
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:       131249992 kB
MemFree:        120620696 kB
MemAvailable:   129662036 kB
Buffers:            2128 kB
Cached:          9783876 kB
SwapCached:          200 kB
Active:           428556 kB
Inactive:        9426352 kB
Active(anon):      69700 kB
Inactive(anon):    17060 kB
Active(file):     358856 kB
Inactive(file):  9409292 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14256 kB
Writeback:             0 kB
AnonPages:         71752 kB
Mapped:           104248 kB
Shmem:             17856 kB
KReclaimable:     224860 kB
Slab:             319096 kB
SReclaimable:     224860 kB
SUnreclaim:        94236 kB
KernelStack:        4056 kB
PageTables:         2416 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     332012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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:      207572 kB
DirectMap2M:     9000960 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432960 MiB
End job on nodeC025 at 2025-07-11 17:55:19