Trace number 4498565

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.14 3609.94

General information on the benchmark

NamePB24/normalized-PB09/OPT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__2048.opb
MD5SUM760396d2ac3ca07c4585eda9e150afe7
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark87132
Best CPU time to get the best result obtained on this benchmark324.795
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10240998
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5002
Number of constraints which are nor clauses,nor cardinality constraints998
Minimum length of a constraint2048
Maximum length of a constraint83969
Number of terms in the objective function 10240000
Biggest coefficient in the objective function 122979
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 351702657024
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 122979
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 351702657024
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

76.39/76.69	c solving HOME/instance-4498565-1751395685.opb (Picat 3.9b6)

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (60794 MiB free)
  memory of node 1: 64507 MiB (63496 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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
solver pid=60049, runsolver pid=60046
Current StackSize limit: 8192 KiB


[startup+0.100062 s]*
/proc/loadavg: 4.05 4.10 4.09 5/263 60050
/proc/meminfo: memFree=127273376/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2027148 memory=28240 CPUtime=0.08 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1097 0 0 0 8 0 0 0 20 0 1 0 55249163 2075799552 7060 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 506787 7060 1536 343 0 503851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 28240 KiB

[startup+0.205496 s]*
/proc/loadavg: 4.05 4.10 4.09 5/263 60050
/proc/meminfo: memFree=127260836/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2027148 memory=40528 CPUtime=0.2 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1103 0 0 0 19 1 0 0 20 0 1 0 55249163 2075799552 10132 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 506787 10132 1536 343 0 503851 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2027148 KiB
Current children cumulated memory: 40528 KiB

[startup+0.305424 s]*
/proc/loadavg: 4.05 4.10 4.09 5/263 60050
/proc/meminfo: memFree=127248044/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2042776 memory=50916 CPUtime=0.29 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1145 0 0 0 28 1 0 0 20 0 1 0 55249163 2091802624 12729 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 510694 12729 1536 343 0 507758 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 2042776 KiB
Current children cumulated memory: 50916 KiB

[startup+0.700169 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 60050
/proc/meminfo: memFree=127235756/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2058404 memory=77028 CPUtime=0.68 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1558 0 0 0 66 2 0 0 20 0 1 0 55249163 2107805696 19257 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 514601 19257 1536 343 0 511665 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2058404 KiB
Current children cumulated memory: 77028 KiB

[startup+1.50017 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 60050
/proc/meminfo: memFree=127204060/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2074032 memory=121596 CPUtime=1.48 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 2463 0 0 0 145 3 0 0 20 0 1 0 55249163 2123808768 30399 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 518508 30399 1536 343 0 515572 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2074032 KiB
Current children cumulated memory: 121596 KiB

[startup+3.10534 s]
/proc/loadavg: 4.05 4.10 4.09 5/263 60051
/proc/meminfo: memFree=127118288/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2105288 memory=182036 CPUtime=3.08 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 3806 0 0 0 303 5 0 0 20 0 1 0 55249163 2155814912 45509 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 526322 45509 1536 343 0 523386 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 2105288 KiB
Current children cumulated memory: 182036 KiB

[startup+6.30017 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 60051
/proc/meminfo: memFree=127036372/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2152172 memory=266732 CPUtime=6.27 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 5126 0 0 0 619 8 0 0 20 0 1 0 55249163 2203824128 66683 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 538043 66683 1536 343 0 535107 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 2152172 KiB
Current children cumulated memory: 266732 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 60051
/proc/meminfo: memFree=126915796/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2199056 memory=389980 CPUtime=12.65 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 6852 0 0 0 1253 12 0 0 20 0 1 0 55249163 2251833344 97495 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 549764 97495 1536 343 0 546828 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 2199056 KiB
Current children cumulated memory: 389980 KiB

[startup+25.5002 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 60051
/proc/meminfo: memFree=126733512/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2292824 memory=556964 CPUtime=25.41 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 9762 0 0 0 2525 16 0 0 20 0 1 0 55249163 2347851776 139241 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 573206 139241 1536 343 0 570270 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 2292824 KiB
Current children cumulated memory: 556964 KiB

[startup+51.1053 s]
/proc/loadavg: 4.13 4.11 4.09 5/263 60051
/proc/meminfo: memFree=126479412/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=2402220 memory=794116 CPUtime=50.96 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 13484 0 0 0 5072 24 0 0 20 0 1 0 55249163 2459873280 198529 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 600555 198529 1536 343 0 597619 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2402220 KiB
Current children cumulated memory: 794116 KiB

[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 60053
/proc/meminfo: memFree=125156836/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=3359796 memory=2252596 CPUtime=102.02 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 43252 0 0 0 9995 207 0 0 20 0 1 0 55249163 3440431104 563149 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 839949 563149 1568 343 0 837013 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 3359796 KiB
Current children cumulated memory: 2252596 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 60055
/proc/meminfo: memFree=124752428/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=3900840 memory=2729332 CPUtime=161.86 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 77403 0 0 0 15530 656 0 0 20 0 1 0 55249163 3994460160 682333 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 975210 682333 1568 343 0 972274 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 3900840 KiB
Current children cumulated memory: 2729332 KiB

[startup+222.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/264 60063
/proc/meminfo: memFree=124559768/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=4082812 memory=2751432 CPUtime=221.7 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 117376 0 0 0 20868 1302 0 0 20 0 1 0 55249163 4180799488 687858 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 1020703 687858 1568 343 0 1017767 0
Current children cumulated CPU time: 221.7 s
Current children cumulated vsize: 4082812 KiB
Current children cumulated memory: 2751432 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 60065
/proc/meminfo: memFree=124458152/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=4196904 memory=2907280 CPUtime=281.55 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 153174 0 0 0 26209 1946 0 0 20 0 1 0 55249163 4297629696 726820 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 1049226 726820 1568 343 0 1046290 0
Current children cumulated CPU time: 281.55 s
Current children cumulated vsize: 4196904 KiB
Current children cumulated memory: 2907280 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/264 60067
/proc/meminfo: memFree=123683028/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=4273276 memory=3699324 CPUtime=341.39 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 188409 0 0 0 31550 2589 0 0 20 0 1 0 55249163 4375834624 924831 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 1068319 924831 1568 343 0 1065383 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 4273276 KiB
Current children cumulated memory: 3699324 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/264 60069
/proc/meminfo: memFree=124330600/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=4329844 memory=3099768 CPUtime=401.23 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 225259 0 0 0 36895 3228 0 0 20 0 1 0 55249163 4433760256 774942 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 1082461 774942 1568 343 0 1079525 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 4329844 KiB
Current children cumulated memory: 3099768 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/265 60075
/proc/meminfo: memFree=123102976/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=4370100 memory=2978232 CPUtime=461.07 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 261061 0 0 0 42242 3865 0 0 20 0 1 0 55249163 4474982400 744558 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 1092525 744558 1568 343 0 1089589 0
Current children cumulated CPU time: 461.07 s

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

Current children cumulated memory: 18451256 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 60441
/proc/meminfo: memFree=96404396/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18636520 memory=17227664 CPUtime=2914.26 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 904274 0 0 0 277377 14049 0 0 20 0 1 0 55249163 19083796480 4306916 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4659130 4306916 1600 343 0 4656194 0
Current children cumulated CPU time: 2914.26 s
Current children cumulated vsize: 18636520 KiB
Current children cumulated memory: 17227664 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/265 60443
/proc/meminfo: memFree=87276352/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=26508408 memory=26326376 CPUtime=2974.1 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 922614 0 0 0 282956 14454 0 0 20 0 1 0 55249163 27144609792 6581594 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 6627102 6581594 1600 343 0 6624166 0
Current children cumulated CPU time: 2974.1 s
Current children cumulated vsize: 26508408 KiB
Current children cumulated memory: 26326376 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 60446
/proc/meminfo: memFree=100492692/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18659416 memory=13130528 CPUtime=3033.95 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 936960 0 0 0 288622 14773 0 0 20 0 1 0 55249163 19107241984 3282632 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4664854 3282632 1600 343 0 4661918 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 18659416 KiB
Current children cumulated memory: 13130528 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 60448
/proc/meminfo: memFree=95743504/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18674136 memory=10811800 CPUtime=3093.79 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 960125 0 0 0 294095 15284 0 0 20 0 1 0 55249163 19122315264 2702950 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4668534 2702950 1600 343 0 4665598 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 18674136 KiB
Current children cumulated memory: 10811800 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/264 60450
/proc/meminfo: memFree=87033940/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=26557144 memory=26374096 CPUtime=3153.64 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 973621 0 0 0 299760 15604 0 0 20 0 1 0 55249163 27194515456 6593524 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 6639286 6593524 1600 343 0 6636350 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 26557144 KiB
Current children cumulated memory: 26374096 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.09 7/263 60452
/proc/meminfo: memFree=97343520/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18693084 memory=16264088 CPUtime=3213.5 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 997261 0 0 0 305220 16130 0 0 20 0 1 0 55249163 19141718016 4066022 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4673271 4066022 1600 343 0 4670335 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 18693084 KiB
Current children cumulated memory: 16264088 KiB

[startup+3282.3 s]
/proc/loadavg: 4.04 4.09 4.08 7/264 60459
/proc/meminfo: memFree=98095000/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18705680 memory=15127412 CPUtime=3273.34 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1015139 0 0 0 310864 16470 0 0 20 0 1 0 55249163 19154616320 3781853 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4676420 3781853 1600 343 0 4673484 0
Current children cumulated CPU time: 3273.34 s
Current children cumulated vsize: 18705680 KiB
Current children cumulated memory: 15127412 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 60461
/proc/meminfo: memFree=99955572/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18720020 memory=13671316 CPUtime=3333.18 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1036098 0 0 0 316324 16994 0 0 20 0 1 0 55249163 19169300480 3417829 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4680005 3417829 1600 343 0 4677069 0
Current children cumulated CPU time: 3333.18 s
Current children cumulated vsize: 18720020 KiB
Current children cumulated memory: 13671316 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 60463
/proc/meminfo: memFree=94659680/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18725636 memory=18557956 CPUtime=3393.03 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1056730 0 0 0 321798 17505 0 0 20 0 1 0 55249163 19175051264 4639489 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4681409 4639489 1600 343 0 4678473 0
Current children cumulated CPU time: 3393.03 s
Current children cumulated vsize: 18725636 KiB
Current children cumulated memory: 18557956 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/263 60465
/proc/meminfo: memFree=95257280/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18739652 memory=18561700 CPUtime=3452.88 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1075666 0 0 0 327400 17888 0 0 20 0 1 0 55249163 19189403648 4640425 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4684913 4640425 1600 343 0 4681977 0
Current children cumulated CPU time: 3452.88 s
Current children cumulated vsize: 18739652 KiB
Current children cumulated memory: 18561700 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.09 7/265 60471
/proc/meminfo: memFree=95459012/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18742500 memory=18577348 CPUtime=3512.72 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1089858 0 0 0 333153 18119 0 0 20 0 1 0 55249163 19192320000 4644337 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4685625 4644337 1600 343 0 4682689 0
Current children cumulated CPU time: 3512.72 s
Current children cumulated vsize: 18742500 KiB
Current children cumulated memory: 18577348 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.09 6/265 60473
/proc/meminfo: memFree=98837520/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18758212 memory=14701100 CPUtime=3572.56 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1107593 0 0 0 338659 18597 0 0 20 0 1 0 55249163 19208409088 3675275 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4689553 3675275 1600 343 0 4686617 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 18758212 KiB
Current children cumulated memory: 14701100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.12 4.11 4.09 6/264 60473
/proc/meminfo: memFree=96931648/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18758212 memory=18592812 CPUtime=3600.09 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1113024 0 0 0 341335 18674 0 0 20 0 1 0 55249163 19208409088 4648203 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4689553 4648203 1600 343 0 4686617 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 18758212 KiB
Current children cumulated memory: 18592812 KiB

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

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

# cumulated CPU time of all completed processes:  user=3413.36 s, system=186.786 s

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

[startup+3609.9 s]
/proc/loadavg: 4.12 4.11 4.09 6/264 60473
/proc/meminfo: memFree=96931648/131250000 swapFree=33010684/33010684
[pid=60049] ppid=60046 vsize=18758212 memory=18592812 CPUtime=3600.09 cores=0,2
/proc/60049/stat : 60049 (pb_picat) R 60046 60049 59606 0 -1 4194304 1113024 0 0 0 341335 18674 0 0 20 0 1 0 55249163 19208409088 4648203 18446744073709551615 94145147260928 94145148662509 140734942857744 0 0 0 0 0 8389634 0 0 0 17 0 0 0 0 0 0 94145148933936 94145150808240 94145175289856 140734942865822 140734942865898 140734942865898 140734942871500 0
/proc/60049/statm: 4689553 4648203 1600 343 0 4686617 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 18758212 KiB
Current children cumulated memory: 18592812 KiB

Child ended because it received signal 15 (SIGTERM)

Real time (s): 3609.94
CPU time (s): 3600.14
CPU user time (s): 3413.36
CPU system time (s): 186.786
CPU usage (%): 99.7286
Max. virtual memory (cumulated for all children) (KiB): 26656564
Max. memory (cumulated for all children) (KiB): 26476576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3413.36
system time used= 186.786
maximum resident set size= 26476576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1113024
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= 73
involuntary context switches= 4564


# summary of solver processes directly reported to runsolver:
#   pid: 60049
#   total CPU time (s): 3600.14
#   total CPU user time (s): 3413.36
#   total CPU system time (s): 186.786

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.50273 second user time and 15.9061 second system time

The end

Launcher Data 

Begin job on nodeC013 at 2025-07-01 20:48:09
IDJOB=4498565
IDBENCH=148705
IDSOLVER=3346
FILE ID=nodeC013/4498565-1751395685
RUNJOBID= nodeC013-1751393420-59616
SLURM_JOB_ID= 9598258
Free space on /tmp= 432524 MiB

SOLVER NAME= Picat 2025-06-16
BENCH NAME= PB24/normalized-PB09/OPT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__2048.opb
COMMAND LINE= pb_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4498565-1751395685/watcher-4498565-1751395685 -o /tmp/evaluation-result-4498565-1751395685/solver-4498565-1751395685 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751393420-59616 --watchdog 3760  pb_picat HOME/instance-4498565-1751395685.opb

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

MD5SUM BENCH= 760396d2ac3ca07c4585eda9e150afe7
RANDOM SEED=193517163

nodeC013 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.830
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.838
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.565
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		: 3599.991
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.879
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.836
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.401
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		: 3700.000
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127273376 kB
MemAvailable:   127970044 kB
Buffers:            3280 kB
Cached:          1496920 kB
SwapCached:            0 kB
Active:          2132376 kB
Inactive:        1252624 kB
Active(anon):    1898084 kB
Inactive(anon):        0 kB
Active(file):     234292 kB
Inactive(file):  1252624 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            519280 kB
Writeback:             0 kB
AnonPages:       1883676 kB
Mapped:           109316 kB
Shmem:             13284 kB
KReclaimable:      97584 kB
Slab:             185132 kB
SReclaimable:      97584 kB
SUnreclaim:        87548 kB
KernelStack:        4240 kB
PageTables:         6716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    7180112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150520 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1748992 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432344 MiB
End job on nodeC013 at 2025-07-01 21:48:19