Trace number 4431021

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
IPBHS-GUROBI-SYM 2024-07-09? (TO) 3600.1 3606.21

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
MD5SUMb5aa25dccc2460ad32c358f07bd5c94a
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark180
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables473
Total number of constraints472
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 constraints472
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 473
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.09	c initialize IPBHS solver
0.00/0.09	c IPBHS 0.0.0 beta (471c63a-dirty, Jul  9 2024 15:19:29), with Glucose 3.0, with Gurobi 10.0.1, with RoundingSat 2, with SSPB2SAT 0.2.0, with BreakID 0.0.0
0.00/0.09	c optimizer = "gurobi"
0.00/0.09	c pbsolver = "roundingsat"
0.00/0.09	c load symmetries from file ""
0.00/0.09	c set time limit for symmetry computation to 100 seconds.
0.00/0.09	c set interchangeable summation variable limit to 3
0.00/0.09	c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.09	c set abs symmetric core budget per WCE-iteration to 100
0.00/0.09	c set rel symmetric core budget per WCE-iteration to 0
0.00/0.09	c set lit symmetric core budget per WCE-iteration to 0
0.00/0.09	c set sym generation to 's'
0.00/0.09	c set abstraction set creation to 10 iterations without LB change
0.00/0.09	c set abstraction set inputs to 0
0.00/0.09	c set abstraction set cluster min size to 2
0.00/0.09	c set abstraction set cluster max size to 100000000
0.00/0.09	c set abstraction set cluster activation limit to 2
0.00/0.09	c enable abstraction set require equal cost
0.00/0.09	c set abstraction set assumptions to 0
0.00/0.09	c set abstraction set constraint type to 0
0.00/0.09	c set abstract core extraction strategy to b
0.00/0.09	c set core extraction strategy to 2
0.00/0.09	c set core extraction shuffles 10
0.00/0.09	c set cores per iteration to 5
0.00/0.09	c set optimizer bound usage strategy to 2
0.00/0.09	c set optimizer max non-optimal iterations to 1000
0.00/0.09	c set small core cardinality limit to 2
0.00/0.09	c set max coef in cores to 1000000000
0.00/0.09	c set SIS iterations to 5
0.00/0.09	c set SIS budget abs to 1000
0.00/0.09	c set SIS budget rel to 0.05
0.00/0.09	c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.09	c will solve HOME/instance-4431021-1721082925.opb
3600.08/3606.20	HOME/run-glibc-2.34.sh: line 2: 814183 Terminated              LD_LIBRARY_PATH=/home/evaluation/evaluation/priv/lib:/home/evaluation/evaluation/tools/lib64:/home/evaluation/evaluation/tools/lib:/usr/local/lib:/home/evaluation/evaluation/tools/glibc-2.34/lib/:/lib64 /home/evaluation/evaluation/tools/glibc-2.34/lib/ld-linux-x86-64.so.2 $*

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: 64059 MiB (61838 MiB free)
  memory of node 1: 64510 MiB (63496 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431021-1721082925/watcher-4431021-1721082925 -o /tmp/evaluation-result-4431021-1721082925/solver-4431021-1721082925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721082937-814115 --watchdog 3760 run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431021-1721082925.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=814171, runsolver pid=814162
Current StackSize limit: 8192 KiB


[startup+0.104547 s]*
/proc/loadavg: 2.91 3.83 4.06 10/258 814191
/proc/meminfo: memFree=128290144/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=136548 memory=20676 CPUtime=0.06 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 1709 0 47 0 4 2 0 0 20 0 2 0 160452169 139825152 5169 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 3 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 34137 5169 2730 46 0 6732 0
[pid=814183/tid=814191] ppid=814171 vsize=136548 memory=4026561614 CPUtime=0 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) R 814171 814171 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 139825152 5169 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 146476 KiB
Current children cumulated memory: 23408 KiB

[startup+0.214415 s]*
/proc/loadavg: 2.91 3.83 4.06 5/258 814191
/proc/meminfo: memFree=128284976/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=139064 memory=23048 CPUtime=0.17 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 1878 0 59 0 14 3 0 0 20 0 2 0 160452169 142401536 5762 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 4 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 34766 5762 3192 46 0 7361 0
[pid=814183/tid=814191] ppid=814171 vsize=139064 memory=3472328300251083854 CPUtime=0 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 142401536 5762 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 148992 KiB
Current children cumulated memory: 25780 KiB

[startup+0.314581 s]*
/proc/loadavg: 2.91 3.83 4.06 5/258 814191
/proc/meminfo: memFree=128282044/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=139944 memory=24460 CPUtime=0.26 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) D 814171 814171 814103 0 -1 4194304 2060 0 59 0 23 3 0 0 20 0 2 0 160452169 143302656 6115 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 4 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 34986 6115 3403 46 0 7581 0
[pid=814183/tid=814191] ppid=814171 vsize=139944 memory=7872691926792165700 CPUtime=0 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 143302656 6115 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 1 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 149872 KiB
Current children cumulated memory: 27192 KiB

[startup+0.700389 s]
/proc/loadavg: 2.91 3.83 4.06 5/258 814191
/proc/meminfo: memFree=128271428/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=144168 memory=29096 CPUtime=0.63 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 2812 0 63 0 60 3 0 0 20 0 2 0 160452169 147628032 7274 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 36042 7274 3888 46 0 8637 0
[pid=814183/tid=814191] ppid=814171 vsize=144168 memory=32144 CPUtime=0 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 147628032 7274 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 154096 KiB
Current children cumulated memory: 31828 KiB

[startup+1.50037 s]
/proc/loadavg: 2.91 3.83 4.06 5/258 814191
/proc/meminfo: memFree=128257084/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=147504 memory=32596 CPUtime=1.42 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 3552 0 63 0 139 3 0 0 20 0 2 0 160452169 151044096 8149 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 36876 8149 3981 46 0 9471 0
[pid=814183/tid=814191] ppid=814171 vsize=147504 memory=11464 CPUtime=0 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 160452176 151044096 8149 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 157432 KiB
Current children cumulated memory: 35328 KiB

[startup+3.1134 s]
/proc/loadavg: 2.91 3.83 4.06 5/255 814191
/proc/meminfo: memFree=128253820/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=149668 memory=33356 CPUtime=3.03 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 4960 0 63 0 300 3 0 0 20 0 2 0 160452169 153260032 8339 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 37417 8339 3981 46 0 10012 0
[pid=814183/tid=814191] ppid=814171 vsize=149668 memory=2732 CPUtime=0 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 2 0 0 0 0 0 0 0 20 0 2 0 160452176 153260032 8339 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 159596 KiB
Current children cumulated memory: 36088 KiB

[startup+6.30035 s]
/proc/loadavg: 3.08 3.85 4.07 5/255 814191
/proc/meminfo: memFree=128243276/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=152420 memory=36264 CPUtime=6.21 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 7300 0 63 0 618 3 0 0 20 0 2 0 160452169 156078080 9066 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 38105 9066 3997 46 0 10700 0
[pid=814183/tid=814191] ppid=814171 vsize=152420 memory=36264 CPUtime=0 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 160452176 156078080 9066 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 162348 KiB
Current children cumulated memory: 38996 KiB

[startup+12.7003 s]
/proc/loadavg: 3.15 3.85 4.07 5/255 814193
/proc/meminfo: memFree=128239976/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=152420 memory=36840 CPUtime=12.6 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 11104 0 63 0 1256 4 0 0 20 0 2 0 160452169 156078080 9210 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 38105 9210 3997 46 0 10700 0
[pid=814183/tid=814191] ppid=814171 vsize=152420 memory=2732 CPUtime=0 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 160452176 156078080 9210 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 162348 KiB
Current children cumulated memory: 39572 KiB

[startup+25.5004 s]
/proc/loadavg: 3.42 3.88 4.07 5/255 814194
/proc/meminfo: memFree=128233556/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=153248 memory=38020 CPUtime=25.38 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 16945 0 63 0 2532 6 0 0 20 0 2 0 160452169 156925952 9505 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 38312 9505 4012 46 0 10907 0
[pid=814183/tid=814191] ppid=814171 vsize=153248 memory=41124 CPUtime=0.01 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 12 0 0 0 0 1 0 0 20 0 2 0 160452176 156925952 9505 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 163176 KiB
Current children cumulated memory: 40752 KiB

[startup+51.1144 s]
/proc/loadavg: 3.62 3.89 4.07 5/255 814199
/proc/meminfo: memFree=128178016/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=164884 memory=52928 CPUtime=50.95 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 47493 0 63 0 5082 13 0 0 20 0 2 0 160452169 168841216 13232 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 41221 13232 4013 46 0 13816 0
[pid=814183/tid=814191] ppid=814171 vsize=164884 memory=2732 CPUtime=0.04 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 17 0 0 0 1 3 0 0 20 0 2 0 160452176 168841216 13232 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 174812 KiB
Current children cumulated memory: 55660 KiB

[startup+102.3 s]
/proc/loadavg: 3.89 3.92 4.07 5/255 814207
/proc/meminfo: memFree=128169488/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=165840 memory=54244 CPUtime=102.05 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 52526 0 63 0 10188 17 0 0 20 0 2 0 160452169 169820160 13561 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 41460 13561 4013 46 0 14055 0
[pid=814183/tid=814191] ppid=814171 vsize=165840 memory=2732 CPUtime=0.09 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 21 0 0 0 3 6 0 0 20 0 2 0 160452176 169820160 13561 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 175768 KiB
Current children cumulated memory: 56976 KiB

[startup+162.3 s]

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

/proc/814183/statm: 133966 105876 4014 46 0 106561 0
[pid=814183/tid=814191] ppid=814171 vsize=535864 memory=2732 CPUtime=3.03 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 94 0 0 0 78 225 0 0 20 0 2 0 160452176 548724736 105876 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3096.95 s
Current children cumulated vsize: 545792 KiB
Current children cumulated memory: 426236 KiB

[startup+3162.3 s]
/proc/loadavg: 4.14 4.16 4.15 5/252 815721
/proc/meminfo: memFree=126728600/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=544448 memory=430872 CPUtime=3156.86 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 471648 0 63 0 315380 306 0 0 20 0 2 0 160452169 557514752 107718 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 136112 107718 4014 46 0 108707 0
[pid=814183/tid=814191] ppid=814171 vsize=544448 memory=2732 CPUtime=3.09 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 95 0 0 0 80 229 0 0 20 0 2 0 160452176 557514752 107718 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3156.86 s
Current children cumulated vsize: 554376 KiB
Current children cumulated memory: 433604 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.15 4.14 5/255 815904
/proc/meminfo: memFree=126699324/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=551004 memory=438212 CPUtime=3216.76 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 481172 0 63 0 321365 311 0 0 20 0 2 0 160452169 564228096 109553 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 137751 109553 4014 46 0 110346 0
[pid=814183/tid=814191] ppid=814171 vsize=551004 memory=430140 CPUtime=3.14 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 96 0 0 0 81 233 0 0 20 0 2 0 160452176 564228096 109553 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3216.76 s
Current children cumulated vsize: 560932 KiB
Current children cumulated memory: 440944 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/255 815914
/proc/meminfo: memFree=126671676/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=558440 memory=445288 CPUtime=3276.67 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 491951 0 63 0 327351 316 0 0 20 0 2 0 160452169 571842560 111322 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 139610 111322 4014 46 0 112205 0
[pid=814183/tid=814191] ppid=814171 vsize=558440 memory=2732 CPUtime=3.2 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 97 0 0 0 83 237 0 0 20 0 2 0 160452176 571842560 111322 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3276.67 s
Current children cumulated vsize: 568368 KiB
Current children cumulated memory: 448020 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.14 5/252 815980
/proc/meminfo: memFree=126642136/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=565636 memory=453424 CPUtime=3336.58 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 503335 0 63 0 333335 323 0 0 20 0 2 0 160452169 579211264 113356 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 141409 113356 4014 46 0 114004 0
[pid=814183/tid=814191] ppid=814171 vsize=565636 memory=11464 CPUtime=3.26 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 98 0 0 0 84 242 0 0 20 0 2 0 160452176 579211264 113356 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3336.58 s
Current children cumulated vsize: 575564 KiB
Current children cumulated memory: 456156 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.11 4.13 5/252 815990
/proc/meminfo: memFree=126609896/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=573716 memory=461720 CPUtime=3396.5 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 514501 0 63 0 339319 331 0 0 20 0 2 0 160452169 587485184 115430 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 143429 115430 4014 46 0 116024 0
[pid=814183/tid=814191] ppid=814171 vsize=573716 memory=2732 CPUtime=3.32 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 100 0 0 0 85 247 0 0 20 0 2 0 160452176 587485184 115430 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3396.5 s
Current children cumulated vsize: 583644 KiB
Current children cumulated memory: 464452 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.10 4.12 5/252 816002
/proc/meminfo: memFree=126582380/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=580984 memory=467848 CPUtime=3456.4 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 525646 0 63 0 345304 336 0 0 20 0 2 0 160452169 594927616 116962 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 145246 116962 4014 46 0 117841 0
[pid=814183/tid=814191] ppid=814171 vsize=580984 memory=2732 CPUtime=3.39 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 101 0 0 0 87 252 0 0 20 0 2 0 160452176 594927616 116962 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3456.4 s
Current children cumulated vsize: 590912 KiB
Current children cumulated memory: 470580 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.11 4.12 5/250 816014
/proc/meminfo: memFree=126550728/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=591740 memory=478668 CPUtime=3516.31 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 538580 0 63 0 351289 342 0 0 20 0 2 0 160452169 605941760 119667 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 147935 119667 4014 46 0 120530 0
[pid=814183/tid=814191] ppid=814171 vsize=591740 memory=2732 CPUtime=3.44 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 103 0 0 0 89 255 0 0 20 0 2 0 160452176 605941760 119667 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3516.31 s
Current children cumulated vsize: 601668 KiB
Current children cumulated memory: 481400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/250 816024
/proc/meminfo: memFree=126524972/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=595736 memory=483220 CPUtime=3576.21 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 548084 0 63 0 357274 347 0 0 20 0 2 0 160452169 610033664 120805 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 148934 120805 4014 46 0 121529 0
[pid=814183/tid=814191] ppid=814171 vsize=595736 memory=2732 CPUtime=3.5 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 104 0 0 0 90 260 0 0 20 0 2 0 160452176 610033664 120805 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3576.21 s
Current children cumulated vsize: 605664 KiB
Current children cumulated memory: 485952 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.2 s]
/proc/loadavg: 4.06 4.10 4.11 5/250 816029
/proc/meminfo: memFree=126516432/131655788 swapFree=131071996/131071996
[pid=814171] ppid=814162 vsize=9928 memory=2732 CPUtime=0 cores=1,3
/proc/814171/stat : 814171 (run-glibc-2.34.) S 814162 814171 814103 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 160452168 10166272 683 134679101440 93977580703744 93977581783064 140731475353168 0 0 0 65536 4 65538 0 0 0 17 1 0 0 0 0 0 93977583881520 93977583928708 93977587720192 140731475354559 140731475354716 140731475354716 140731475361731 0
/proc/814171/statm: 2482 683 603 264 0 133 0
[pid=814183] ppid=814171 vsize=599796 memory=485948 CPUtime=3600.08 cores=1,3
/proc/814183/stat : 814183 (ld-linux-x86-64) R 814171 814171 814103 0 -1 4194304 550312 0 63 0 359658 350 0 0 20 0 2 0 160452169 614191104 121487 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 0 0 0 17 1 0 0 5 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
/proc/814183/statm: 149949 121487 4014 46 0 122544 0
[pid=814183/tid=814191] ppid=814171 vsize=599796 memory=25083 CPUtime=3.53 cores=1,3
/proc/814183/task/814191/stat : 814191 (ld-linux-x86-64) S 814171 814171 814103 0 -1 1077936192 104 0 0 0 91 262 0 0 20 0 2 0 160452176 614191104 121487 134679101440 140187154632704 140187154820316 140728742674080 0 0 0 0 4096 0 1 0 0 -1 3 0 0 0 0 0 140187156921216 140187156930664 93824995688448 140728742679383 140728742679547 140728742679547 140728742686642 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 609724 KiB
Current children cumulated memory: 488680 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3606.21 s]
# the end of solver process 814171 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3596.59 s, system=3.5094 s

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

Child status: 143

Real time (s): 3606.21
CPU time (s): 3600.1
CPU user time (s): 3596.59
CPU system time (s): 3.5094
CPU usage (%): 99.8306
Max. virtual memory (cumulated for all children) (KiB): 609724
Max. memory (cumulated for all children) (KiB): 488680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.59
system time used= 3.5094
maximum resident set size= 486100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550530
page faults= 63
swaps= 0
block input operations= 9792
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 354653
involuntary context switches= 4316


# summary of solver processes directly reported to runsolver:
#   pid: 814171
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3596.59
#   total CPU system time (s): 3.5094

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9917 second user time and 37.4545 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-16 00:35:37
IDJOB=4431021
IDBENCH=147539
IDSOLVER=3055
FILE ID=nodeC009/4431021-1721082925
RUNJOBID= nodeC009-1721082937-814115
SLURM_JOB_ID= 7505567
Free space on /tmp= 723768 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
COMMAND LINE= run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4431021-1721082925/watcher-4431021-1721082925 -o /tmp/evaluation-result-4431021-1721082925/solver-4431021-1721082925 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721082937-814115 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4431021-1721082925.opb

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

MD5SUM BENCH= b5aa25dccc2460ad32c358f07bd5c94a
RANDOM SEED=1538917445

nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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	: 0xb00001f
cpu MHz		: 1197.324
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 3491.459
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.317
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.314
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.317
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.316
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
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	: 0xb00001f
cpu MHz		: 1197.318
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.34
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	: 0xb00001f
cpu MHz		: 1197.318
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.27
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128344124 kB
MemAvailable:   129922428 kB
Buffers:          381048 kB
Cached:          2025404 kB
SwapCached:            0 kB
Active:           665868 kB
Inactive:        2090480 kB
Active(anon):       1400 kB
Inactive(anon):   386852 kB
Active(file):     664468 kB
Inactive(file):  1703628 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            166416 kB
Writeback:             8 kB
AnonPages:        350620 kB
Mapped:           103612 kB
Shmem:             37700 kB
KReclaimable:     100480 kB
Slab:             197896 kB
SReclaimable:     100480 kB
SUnreclaim:        97416 kB
KernelStack:        3808 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     721928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723604 MiB
End job on nodeC009 at 2024-07-16 01:35:44