Trace number 4512199

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

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/normalized-faclay60.opb
MD5SUMd5681d78197016a16986328251aa9bd6
Bench CategoryOPT-NLC (optimization problem, non-linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1477834
Best CPU time to get the best result obtained on this benchmark72002.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1771
Total number of constraints68441
Number of constraints which are clauses68440
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint3
Number of terms in the objective function 90684
Biggest coefficient in the objective function 2306839
Number of bits for the biggest coefficient in the objective function 22
Sum of the numbers in the objective function 21217725
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 2306839
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 21217725
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)88914
Sum of products size (including duplicates)177828
Number of different products0
Sum of products size0

Solver Data 

0.00/0.05	c solving HOME/instance-4512199-1751520533.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 (62352 MiB free)
  memory of node 1: 64465 MiB (63902 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4512199-1751520533/watcher-4512199-1751520533 -o /tmp/evaluation-result-4512199-1751520533/solver-4512199-1751520533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86833 --watchdog 3760 pb_picat HOME/instance-4512199-1751520533.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=87353, runsolver pid=87350

[startup+0.100062 s]*
/proc/loadavg: 4.10 4.09 4.04 5/264 87354
/proc/meminfo: memFree=129267324/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2027148 memory=32376 CPUtime=0.08 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 1109 0 0 0 8 0 0 0 20 0 1 0 67730808 2075799552 8094 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 506787 8094 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 32376 KiB

[startup+0.205715 s]*
/proc/loadavg: 4.10 4.09 4.04 5/264 87354
/proc/meminfo: memFree=129246844/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2027148 memory=69244 CPUtime=0.19 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 1129 0 0 0 18 1 0 0 20 0 1 0 67730808 2075799552 17311 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 506787 17311 1536 343 0 503851 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 69244 KiB

[startup+0.305582 s]*
/proc/loadavg: 4.10 4.09 4.04 5/264 87354
/proc/meminfo: memFree=129229452/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2027148 memory=85628 CPUtime=0.3 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 1137 0 0 0 28 2 0 0 20 0 1 0 67730808 2075799552 21407 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 506787 21407 1536 343 0 503851 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 85628 KiB

[startup+0.70017 s]
/proc/loadavg: 4.10 4.09 4.04 5/264 87354
/proc/meminfo: memFree=129202576/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2027148 memory=167548 CPUtime=0.68 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 1177 0 0 0 65 3 0 0 20 0 1 0 67730808 2075799552 41887 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 506787 41887 1536 343 0 503851 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 167548 KiB

[startup+1.50017 s]
/proc/loadavg: 4.10 4.09 4.04 5/264 87354
/proc/meminfo: memFree=129112464/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2117096 memory=338348 CPUtime=1.48 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 2848 0 0 0 141 7 0 0 20 0 1 0 67730808 2167906304 84587 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 529274 84587 1632 343 0 526338 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2117096 KiB
Current children cumulated memory: 338348 KiB

[startup+3.10543 s]
/proc/loadavg: 4.09 4.09 4.04 5/264 87354
/proc/meminfo: memFree=128705032/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2368112 memory=617460 CPUtime=3.09 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 12520 0 0 0 292 17 0 0 20 0 1 0 67730808 2424946688 154365 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 592028 154365 1728 343 0 589092 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2368112 KiB
Current children cumulated memory: 617460 KiB

[startup+6.30011 s]
/proc/loadavg: 4.09 4.09 4.04 5/264 87354
/proc/meminfo: memFree=128603128/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2499184 memory=700772 CPUtime=6.27 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 15729 0 0 0 606 21 0 0 20 0 1 0 67730808 2559164416 175193 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 624796 175193 1728 343 0 621860 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2499184 KiB
Current children cumulated memory: 700772 KiB

[startup+12.7001 s]
/proc/loadavg: 4.08 4.09 4.04 5/264 87355
/proc/meminfo: memFree=128594464/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2499184 memory=700772 CPUtime=12.66 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 15751 0 0 0 1245 21 0 0 20 0 1 0 67730808 2559164416 175193 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 624796 175193 1728 343 0 621860 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 2499184 KiB
Current children cumulated memory: 700772 KiB

[startup+25.5001 s]
/proc/loadavg: 4.13 4.10 4.04 5/264 87355
/proc/meminfo: memFree=128616600/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2499184 memory=702820 CPUtime=25.44 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 15819 0 0 0 2522 22 0 0 20 0 1 0 67730808 2559164416 175705 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 624796 175705 1728 343 0 621860 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 2499184 KiB
Current children cumulated memory: 702820 KiB

[startup+51.1055 s]
/proc/loadavg: 4.09 4.09 4.04 5/264 87355
/proc/meminfo: memFree=128536652/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2519144 memory=735172 CPUtime=50.98 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 23182 0 0 0 5071 27 0 0 20 0 1 0 67730808 2579603456 183793 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 629786 183793 1728 343 0 626850 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 2519144 KiB
Current children cumulated memory: 735172 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.04 5/265 87358
/proc/meminfo: memFree=128613972/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2455144 memory=685508 CPUtime=102.04 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 34181 0 0 0 10166 38 0 0 20 0 1 0 67730808 2514067456 171377 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 613786 171377 1728 343 0 610850 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 2455144 KiB
Current children cumulated memory: 685508 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.05 5/266 87362
/proc/meminfo: memFree=128512988/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2520680 memory=757188 CPUtime=161.87 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 40908 0 0 0 16140 47 0 0 20 0 1 0 67730808 2581176320 189297 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 630170 189297 1728 343 0 627234 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2520680 KiB
Current children cumulated memory: 757188 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.11 4.05 5/266 87364
/proc/meminfo: memFree=128531568/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2520680 memory=746948 CPUtime=221.7 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 47096 0 0 0 22116 54 0 0 20 0 1 0 67730808 2581176320 186737 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 630170 186737 1728 343 0 627234 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 2520680 KiB
Current children cumulated memory: 746948 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/265 87366
/proc/meminfo: memFree=128505224/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=802244 CPUtime=281.53 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 49757 0 0 0 28096 57 0 0 20 0 1 0 67730808 2715394048 200561 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 200561 1728 343 0 660002 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 802244 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/266 87369
/proc/meminfo: memFree=128497608/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=787908 CPUtime=341.37 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 54967 0 0 0 34073 64 0 0 20 0 1 0 67730808 2715394048 196977 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 196977 1728 343 0 660002 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 787908 KiB

[startup+402.3 s]
/proc/loadavg: 4.16 4.12 4.07 5/264 87375
/proc/meminfo: memFree=128486536/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=787908 CPUtime=401.2 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 57542 0 0 0 40054 66 0 0 20 0 1 0 67730808 2715394048 196977 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 196977 1728 343 0 660002 0
Current children cumulated CPU time: 401.2 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 787908 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.11 4.07 5/264 87377
/proc/meminfo: memFree=128508288/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=798148 CPUtime=461.03 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 62711 0 0 0 46030 73 0 0 20 0 1 0 67730808 2715394048 199537 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 199537 1728 343 0 660002 0
Current children cumulated CPU time: 461.03 s

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

Current children cumulated memory: 837060 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 87515
/proc/meminfo: memFree=128218440/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=832964 CPUtime=2854.38 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 127969 0 0 0 285267 171 0 0 20 0 1 0 67730808 2715394048 208241 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 208241 1728 343 0 660002 0
Current children cumulated CPU time: 2854.38 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 832964 KiB

[startup+2922.3 s]
/proc/loadavg: 4.31 4.18 4.12 5/265 87518
/proc/meminfo: memFree=128145148/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=839108 CPUtime=2914.22 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 127972 0 0 0 291251 171 0 0 20 0 1 0 67730808 2715394048 209777 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 209777 1728 343 0 660002 0
Current children cumulated CPU time: 2914.22 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 839108 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.16 4.11 5/265 87520
/proc/meminfo: memFree=127959504/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=843204 CPUtime=2974.06 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 128000 0 0 0 297235 171 0 0 20 0 1 0 67730808 2715394048 210801 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 210801 1728 343 0 660002 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 843204 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/265 87524
/proc/meminfo: memFree=128023956/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=845252 CPUtime=3033.9 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 128006 0 0 0 303219 171 0 0 20 0 1 0 67730808 2715394048 211313 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 211313 1728 343 0 660002 0
Current children cumulated CPU time: 3033.9 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 845252 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 87527
/proc/meminfo: memFree=128171300/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=839108 CPUtime=3093.74 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 130069 0 0 0 309200 174 0 0 20 0 1 0 67730808 2715394048 209777 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 209777 1728 343 0 660002 0
Current children cumulated CPU time: 3093.74 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 839108 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 87529
/proc/meminfo: memFree=128197520/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=843204 CPUtime=3153.58 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 130073 0 0 0 315184 174 0 0 20 0 1 0 67730808 2715394048 210801 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 210801 1728 343 0 660002 0
Current children cumulated CPU time: 3153.58 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 843204 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/265 87532
/proc/meminfo: memFree=128193276/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=841156 CPUtime=3213.41 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 132176 0 0 0 321164 177 0 0 20 0 1 0 67730808 2715394048 210289 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 210289 1728 343 0 660002 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 841156 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/265 87534
/proc/meminfo: memFree=128227972/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2520680 memory=802244 CPUtime=3273.25 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 132668 0 0 0 327146 179 0 0 20 0 1 0 67730808 2581176320 200561 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 630170 200561 1728 343 0 627234 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 2520680 KiB
Current children cumulated memory: 802244 KiB

[startup+3342.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/265 87536
/proc/meminfo: memFree=128216980/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2651752 memory=845252 CPUtime=3333.09 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 134728 0 0 0 333127 182 0 0 20 0 1 0 67730808 2715394048 211313 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 662938 211313 1728 343 0 660002 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 2651752 KiB
Current children cumulated memory: 845252 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.09 5/264 87542
/proc/meminfo: memFree=128186864/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2657868 memory=849320 CPUtime=3392.93 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 138849 0 0 0 339107 186 0 0 20 0 1 0 67730808 2721656832 212330 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 664467 212330 1728 343 0 661531 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 2657868 KiB
Current children cumulated memory: 849320 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.14 4.10 5/264 87545
/proc/meminfo: memFree=128178160/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2428492 memory=699816 CPUtime=3452.77 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 139314 0 0 0 345090 187 0 0 20 0 1 0 67730808 2486775808 174954 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 607123 174954 1728 343 0 604187 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 2428492 KiB
Current children cumulated memory: 699816 KiB

[startup+3522.3 s]
/proc/loadavg: 4.59 4.27 4.14 5/263 87547
/proc/meminfo: memFree=128075792/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2657868 memory=847272 CPUtime=3512.61 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 140921 0 0 0 351071 190 0 0 20 0 1 0 67730808 2721656832 211818 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 664467 211818 1728 343 0 661531 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 2657868 KiB
Current children cumulated memory: 847272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.29 4.25 4.14 5/263 87729
/proc/meminfo: memFree=128731916/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2657868 memory=851368 CPUtime=3572.44 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 140923 0 0 0 357054 190 0 0 20 0 1 0 67730808 2721656832 212842 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 664467 212842 1728 343 0 661531 0
Current children cumulated CPU time: 3572.44 s
Current children cumulated vsize: 2657868 KiB
Current children cumulated memory: 851368 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.23 4.24 4.14 5/263 87729
/proc/meminfo: memFree=128711476/131250000 swapFree=33010160/33010684
[pid=87353] ppid=87350 vsize=2657868 memory=852904 CPUtime=3600.06 cores=5,7
/proc/87353/stat : 87353 (pb_picat) R 87350 87353 86820 0 -1 4194304 140925 0 0 0 359816 190 0 0 20 0 1 0 67730808 2721656832 213226 18446744073709551615 93990650511360 93990651912941 140731703617328 0 0 0 0 0 8389634 0 0 0 17 5 0 0 0 0 0 93990652184368 93990654058672 93990689042432 140731703626142 140731703626218 140731703626218 140731703631820 0
/proc/87353/statm: 664467 213226 1728 343 0 661531 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 2657868 KiB
Current children cumulated memory: 852904 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.16 s, system=1.91301 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.08
CPU user time (s): 3598.16
CPU system time (s): 1.91301
CPU usage (%): 99.7248
Max. virtual memory (cumulated for all children) (KiB): 2657868
Max. memory (cumulated for all children) (KiB): 853416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.16
system time used= 1.91301
maximum resident set size= 853416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140925
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= 69
involuntary context switches= 1984


# summary of solver processes directly reported to runsolver:
#   pid: 87353
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3598.16
#   total CPU system time (s): 1.91301

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.95635 second user time and 15.7524 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-03 07:28:53
IDJOB=4512199
IDBENCH=160508
IDSOLVER=3346
FILE ID=nodeC016/4512199-1751520533
RUNJOBID= nodeC016-1751516881-86833
SLURM_JOB_ID= 9598631
Free space on /tmp= 432880 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB15eval/OPT-NLC/minlplib2-pb-0.1.0/opb/normalized-faclay60.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4512199-1751520533/watcher-4512199-1751520533 -o /tmp/evaluation-result-4512199-1751520533/solver-4512199-1751520533 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751516881-86833 --watchdog 3760  pb_picat HOME/instance-4512199-1751520533.opb

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

MD5SUM BENCH= d5681d78197016a16986328251aa9bd6
RANDOM SEED=676878484

nodeC016 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.790
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.48
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.734
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.48
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		: 3572.105
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.48
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		: 3556.018
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.48
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.733
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.48
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.765
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.48
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.801
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.48
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.725
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.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129285656 kB
MemAvailable:   129363716 kB
Buffers:            2144 kB
Cached:           846744 kB
SwapCached:           28 kB
Active:          1070728 kB
Inactive:         226964 kB
Active(anon):     461560 kB
Inactive(anon):     5288 kB
Active(file):     609168 kB
Inactive(file):   221676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7100 kB
Writeback:             0 kB
AnonPages:        451496 kB
Mapped:           114812 kB
Shmem:             18044 kB
KReclaimable:     172908 kB
Slab:             265252 kB
SReclaimable:     172908 kB
SUnreclaim:        92344 kB
KernelStack:        4288 kB
PageTables:         4040 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    6720488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150504 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    290816 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432876 MiB
End job on nodeC016 at 2025-07-03 08:29:03