Trace number 4449789

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.08 3606.31

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=14-t=9.opb
MD5SUM5bbd9c37a994af6c8eea19ef18cfb445
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 benchmark5
Best CPU time to get the best result obtained on this benchmark3558.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables427
Total number of constraints17423
Number of constraints which are clauses17409
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint15
Number of terms in the objective function 14
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 14
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
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.07	c initialize IPBHS solver
0.00/0.07	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.07	c optimizer = "gurobi"
0.00/0.07	c pbsolver = "roundingsat"
0.00/0.07	c load symmetries from file ""
0.00/0.07	c set time limit for symmetry computation to 100 seconds.
0.00/0.07	c set interchangeable summation variable limit to 3
0.00/0.07	c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.07	c set abs symmetric core budget per WCE-iteration to 100
0.00/0.07	c set rel symmetric core budget per WCE-iteration to 0
0.00/0.07	c set lit symmetric core budget per WCE-iteration to 0
0.00/0.07	c set sym generation to 's'
0.00/0.07	c set abstraction set creation to 10 iterations without LB change
0.00/0.07	c set abstraction set inputs to 0
0.00/0.07	c set abstraction set cluster min size to 2
0.00/0.07	c set abstraction set cluster max size to 100000000
0.00/0.07	c set abstraction set cluster activation limit to 2
0.00/0.07	c enable abstraction set require equal cost
0.00/0.07	c set abstraction set assumptions to 0
0.00/0.07	c set abstraction set constraint type to 0
0.00/0.07	c set abstract core extraction strategy to b
0.00/0.07	c set core extraction strategy to 2
0.00/0.07	c set core extraction shuffles 10
0.00/0.07	c set cores per iteration to 5
0.00/0.07	c set optimizer bound usage strategy to 2
0.00/0.07	c set optimizer max non-optimal iterations to 1000
0.00/0.07	c set small core cardinality limit to 2
0.00/0.07	c set max coef in cores to 1000000000
0.00/0.07	c set SIS iterations to 5
0.00/0.07	c set SIS budget abs to 1000
0.00/0.07	c set SIS budget rel to 0.05
0.00/0.07	c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.07	c will solve HOME/instance-4449789-1721399709.opb
3600.06/3606.30	HOME/run-glibc-2.34.sh: line 2: 1019932 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: 63931 MiB (61097 MiB free)
  memory of node 1: 64510 MiB (61435 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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
Current StackSize limit: 8192 KiB

solver pid=1019930, runsolver pid=1019927

[startup+0.100014 s]*
/proc/loadavg: 3.98 2.15 0.92 5/267 1019933
/proc/meminfo: memFree=125449404/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=150852 memory=34000 CPUtime=0.09 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 5370 0 0 0 8 1 0 0 20 0 2 0 192130080 154472448 8500 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 37713 8500 2719 46 0 10308 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=150852 memory=4026561614 CPUtime=0 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192130085 154472448 8500 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 160780 KiB
Current children cumulated memory: 36764 KiB

[startup+0.206045 s]*
/proc/loadavg: 3.98 2.15 0.92 5/267 1019933
/proc/meminfo: memFree=125448896/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=150852 memory=34000 CPUtime=0.2 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 5386 0 0 0 18 2 0 0 20 0 2 0 192130080 154472448 8500 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 37713 8500 2719 46 0 10308 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=150852 memory=3472328283071214670 CPUtime=0 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192130085 154472448 8500 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 160780 KiB
Current children cumulated memory: 36764 KiB

[startup+0.305912 s]*
/proc/loadavg: 3.98 2.15 0.92 5/267 1019933
/proc/meminfo: memFree=125447356/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=151784 memory=37996 CPUtime=0.3 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 5990 0 0 0 28 2 0 0 20 0 2 0 192130080 155426816 9499 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 37946 9499 3334 46 0 10541 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=151784 memory=4207272944157229185 CPUtime=0 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192130085 155426816 9499 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 161712 KiB
Current children cumulated memory: 40760 KiB

[startup+0.700278 s]
/proc/loadavg: 3.98 2.15 0.92 5/267 1019933
/proc/meminfo: memFree=125446912/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=151784 memory=38524 CPUtime=0.69 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 6163 0 0 0 64 5 0 0 20 0 2 0 192130080 155426816 9631 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 37946 9631 3334 46 0 10541 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=151784 memory=2240 CPUtime=0 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192130085 155426816 9631 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 161712 KiB
Current children cumulated memory: 41288 KiB

[startup+1.50023 s]
/proc/loadavg: 3.98 2.15 0.92 5/267 1019933
/proc/meminfo: memFree=125446296/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=151784 memory=40836 CPUtime=1.49 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 6203 0 0 0 139 10 0 0 20 0 2 0 192130080 155426816 10209 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 37946 10209 3334 46 0 10541 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=151784 memory=7804 CPUtime=0 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192130085 155426816 10209 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 161712 KiB
Current children cumulated memory: 43600 KiB

[startup+3.10625 s]
/proc/loadavg: 3.98 2.15 0.92 5/267 1019934
/proc/meminfo: memFree=125443768/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=151784 memory=40924 CPUtime=3.09 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 7703 0 0 0 290 19 0 0 20 0 2 0 192130080 155426816 10231 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 37946 10231 3334 46 0 10541 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=151784 memory=2764 CPUtime=0 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 192130085 155426816 10231 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 161712 KiB
Current children cumulated memory: 43688 KiB

[startup+6.30023 s]
/proc/loadavg: 3.98 2.18 0.94 5/267 1019934
/proc/meminfo: memFree=125443676/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=151784 memory=40924 CPUtime=6.28 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 8762 0 0 0 594 34 0 0 20 0 2 0 192130080 155426816 10231 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 37946 10231 3334 46 0 10541 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=151784 memory=2764 CPUtime=0 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 192130085 155426816 10231 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 161712 KiB
Current children cumulated memory: 43688 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 2.23 0.96 5/267 1019934
/proc/meminfo: memFree=125443304/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=151784 memory=41368 CPUtime=12.66 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 13536 0 0 0 1209 57 0 0 20 0 2 0 192130080 155426816 10342 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 37946 10342 3334 46 0 10541 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=151784 memory=2764 CPUtime=0 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 16 0 0 0 0 0 0 0 20 0 2 0 192130085 155426816 10342 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 161712 KiB
Current children cumulated memory: 44132 KiB

[startup+25.5002 s]
/proc/loadavg: 4.05 2.32 1.01 5/264 1019937
/proc/meminfo: memFree=125434416/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=154504 memory=43736 CPUtime=25.44 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 20318 0 0 0 2443 101 0 0 20 0 2 0 192130080 158212096 10934 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 38626 10934 3334 46 0 11221 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=154504 memory=42432 CPUtime=0 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 2 0 192130085 158212096 10934 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 164432 KiB
Current children cumulated memory: 46500 KiB

[startup+51.1059 s]
/proc/loadavg: 4.03 2.45 1.09 5/264 1019940
/proc/meminfo: memFree=125385904/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=159448 memory=49460 CPUtime=50.99 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 30323 0 0 0 4919 180 0 0 20 0 2 0 192130080 163274752 12365 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 39862 12365 3558 46 0 12457 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=159448 memory=2764 CPUtime=0.01 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 34 0 0 0 0 1 0 0 20 0 2 0 192130085 163274752 12365 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 169376 KiB
Current children cumulated memory: 52224 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 2.73 1.25 5/264 1019949
/proc/meminfo: memFree=125337736/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=169580 memory=56800 CPUtime=102.08 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 48373 0 0 0 9859 349 0 0 20 0 2 0 192130080 173649920 14200 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 42395 14200 3558 46 0 14990 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=169580 memory=2764 CPUtime=0.04 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 49 0 0 0 1 3 0 0 20 0 2 0 192130085 173649920 14200 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 102.08 s
Current children cumulated vsize: 179508 KiB
Current children cumulated memory: 59564 KiB

[startup+162.3 s]

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

/proc/1019932/statm: 88030 49946 3558 46 0 60625 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=352120 memory=2764 CPUtime=1.96 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 173 0 0 0 76 120 0 0 20 0 2 0 192130085 360570880 49946 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3156.83 s
Current children cumulated vsize: 362048 KiB
Current children cumulated memory: 202548 KiB

[startup+3222.3 s]
/proc/loadavg: 4.25 4.20 4.06 5/266 1021645
/proc/meminfo: memFree=124185348/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=352632 memory=204588 CPUtime=3216.73 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 360286 0 0 0 317137 4536 0 0 20 0 2 0 192130080 361095168 51147 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 88158 51147 3558 46 0 60753 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=352632 memory=2764 CPUtime=2.01 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 175 0 0 0 77 124 0 0 20 0 2 0 192130085 361095168 51147 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3216.73 s
Current children cumulated vsize: 362560 KiB
Current children cumulated memory: 207352 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.19 4.07 5/266 1021655
/proc/meminfo: memFree=124181292/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=352632 memory=204588 CPUtime=3276.63 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 375664 0 0 0 323067 4596 0 0 20 0 2 0 192130080 361095168 51147 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 88158 51147 3558 46 0 60753 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=352632 memory=2764 CPUtime=2.05 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 177 0 0 0 79 126 0 0 20 0 2 0 192130085 361095168 51147 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3276.63 s
Current children cumulated vsize: 362560 KiB
Current children cumulated memory: 207352 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.17 4.07 5/265 1021725
/proc/meminfo: memFree=124167536/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=353528 memory=205164 CPUtime=3336.53 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 395766 0 0 0 329008 4645 0 0 20 0 2 0 192130080 362012672 51291 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 88382 51291 3558 46 0 60977 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=353528 memory=2764 CPUtime=2.08 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 179 0 0 0 80 128 0 0 20 0 2 0 192130085 362012672 51291 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3336.53 s
Current children cumulated vsize: 363456 KiB
Current children cumulated memory: 207928 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.15 4.07 4/257 1021798
/proc/meminfo: memFree=125487604/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=353784 memory=205392 CPUtime=3396.43 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 409261 0 0 0 334950 4693 0 0 20 0 2 0 192130080 362274816 51348 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 88446 51348 3558 46 0 61041 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=353784 memory=205392 CPUtime=2.11 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 181 0 0 0 81 130 0 0 20 0 2 0 192130085 362274816 51348 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3396.43 s
Current children cumulated vsize: 363712 KiB
Current children cumulated memory: 208156 KiB

[startup+3462.3 s]
/proc/loadavg: 3.44 3.95 4.00 4/257 1021855
/proc/meminfo: memFree=125487460/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=354552 memory=208328 CPUtime=3456.32 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 430554 0 0 0 340888 4744 0 0 20 0 2 0 192130080 363061248 52082 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 88638 52082 3558 46 0 61233 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=354552 memory=29536 CPUtime=2.15 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 183 0 0 0 83 132 0 0 20 0 2 0 192130085 363061248 52082 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3456.32 s
Current children cumulated vsize: 364480 KiB
Current children cumulated memory: 211092 KiB

[startup+3522.3 s]
/proc/loadavg: 3.21 3.79 3.94 4/256 1021866
/proc/meminfo: memFree=125456028/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=355556 memory=211540 CPUtime=3516.22 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 438826 0 0 0 346842 4780 0 0 20 0 2 0 192130080 364089344 52885 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 88889 52885 3558 46 0 61484 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=355556 memory=7804 CPUtime=2.18 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 185 0 0 0 84 134 0 0 20 0 2 0 192130085 364089344 52885 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3516.22 s
Current children cumulated vsize: 365484 KiB
Current children cumulated memory: 214304 KiB

[startup+3582.3 s]
/proc/loadavg: 3.12 3.66 3.88 4/257 1021879
/proc/meminfo: memFree=125436996/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=356068 memory=212148 CPUtime=3576.11 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 441912 0 0 0 352750 4861 0 0 20 0 2 0 192130080 364613632 53037 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 89017 53037 3558 46 0 61612 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=356068 memory=7804 CPUtime=2.21 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 187 0 0 0 85 136 0 0 20 0 2 0 192130085 364613632 53037 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3576.11 s
Current children cumulated vsize: 365996 KiB
Current children cumulated memory: 214912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3606.3 s]
/proc/loadavg: 3.13 3.62 3.87 4/257 1021885
/proc/meminfo: memFree=125428804/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=356068 memory=212148 CPUtime=3600.06 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 441946 0 0 0 355135 4871 0 0 20 0 2 0 192130080 364613632 53037 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 89017 53037 3558 46 0 61612 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=356068 memory=2764 CPUtime=2.22 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 187 0 0 0 85 137 0 0 20 0 2 0 192130085 364613632 53037 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 365996 KiB
Current children cumulated memory: 214912 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3551.36 s, system=48.718 s

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

[startup+3606.3 s]
/proc/loadavg: 3.13 3.62 3.87 4/257 1021885
/proc/meminfo: memFree=125428804/131524600 swapFree=130799640/131071996
[pid=1019930] ppid=1019927 vsize=9928 memory=2764 CPUtime=0 cores=5,7
/proc/1019930/stat : 1019930 (run-glibc-2.34.) S 1019927 1019930 1019718 0 -1 4194304 202 0 0 0 0 0 0 0 20 0 1 0 192130080 10166272 691 134679101440 94785126277120 94785127356440 140734047836896 0 0 0 65536 4 65538 0 0 0 17 7 0 0 0 0 0 94785129454896 94785129502084 94785135316992 140734047843261 140734047843418 140734047843418 140734047850435 0
/proc/1019930/statm: 2482 691 611 264 0 133 0
[pid=1019932] ppid=1019930 vsize=356068 memory=212148 CPUtime=3600.06 cores=5,7
/proc/1019932/stat : 1019932 (ld-linux-x86-64) R 1019930 1019930 1019718 0 -1 4194304 441946 0 0 0 355135 4871 0 0 20 0 2 0 192130080 364613632 53037 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
/proc/1019932/statm: 89017 53037 3558 46 0 61612 0
[pid=1019932/tid=1019933] ppid=1019930 vsize=356068 memory=2764 CPUtime=2.22 cores=5,7
/proc/1019932/task/1019933/stat : 1019933 (ld-linux-x86-64) S 1019930 1019930 1019718 0 -1 1077936192 187 0 0 0 85 137 0 0 20 0 2 0 192130085 364613632 53037 134679101440 140613358358528 140613358546140 140722514328528 0 0 0 0 4096 0 1 0 0 -1 7 0 0 0 0 0 140613360647040 140613360656488 93824994516992 140722514334549 140722514334713 140722514334713 140722514341810 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 365996 KiB
Current children cumulated memory: 214912 KiB

Child status: 143

Real time (s): 3606.31
CPU time (s): 3600.08
CPU user time (s): 3551.36
CPU system time (s): 48.718
CPU usage (%): 99.8273
Max. virtual memory (cumulated for all children) (KiB): 369240
Max. memory (cumulated for all children) (KiB): 217768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3551.36
system time used= 48.718
maximum resident set size= 215160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 442161
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= 357048
involuntary context switches= 2337


# summary of solver processes directly reported to runsolver:
#   pid: 1019930
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3551.36
#   total CPU system time (s): 48.718

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.19015 second user time and 18.2299 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-19 16:35:22
IDJOB=4449789
IDBENCH=176142
IDSOLVER=3055
FILE ID=nodeC014/4449789-1721399709
RUNJOBID= nodeC014-1721399515-1019731
SLURM_JOB_ID= 7545426
Free space on /tmp= 889952 MiB

SOLVER NAME= IPBHS-GUROBI-SYM 2024-07-09
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=14-t=9.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-4449789-1721399709/watcher-4449789-1721399709 -o /tmp/evaluation-result-4449789-1721399709/solver-4449789-1721399709 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721399515-1019731 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4449789-1721399709.opb

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

MD5SUM BENCH= 5bbd9c37a994af6c8eea19ef18cfb445
RANDOM SEED=1166578052

nodeC014.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	: 0xb00002a
cpu MHz		: 3666.361
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.32
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		: 3674.310
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.96
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.810
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.32
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.946
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.96
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		: 3666.378
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.32
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		: 3677.876
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.96
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		: 3600.069
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.32
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		: 3666.706
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125473764 kB
MemAvailable:   129627924 kB
Buffers:          480888 kB
Cached:          4469116 kB
SwapCached:        12868 kB
Active:          1481544 kB
Inactive:        3944656 kB
Active(anon):       9200 kB
Inactive(anon):   496452 kB
Active(file):    1472344 kB
Inactive(file):  3448204 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799640 kB
Dirty:             42292 kB
Writeback:             0 kB
AnonPages:        467412 kB
Mapped:            67704 kB
Shmem:             29452 kB
KReclaimable:     146516 kB
Slab:             249040 kB
SReclaimable:     146516 kB
SUnreclaim:       102524 kB
KernelStack:        4256 kB
PageTables:        11232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1238280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35264 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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:      303828 kB
DirectMap2M:    38266880 kB
DirectMap1G:    97517568 kB

Free space on /tmp at the end= 889912 MiB
End job on nodeC014 at 2024-07-19 17:35:28