Trace number 4449824

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 3605.51

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/
normalized-clique-coloring-max-clique-n=13-t=11.opb
MD5SUM9b5c30834c5e817deb28aeb7d8484ce1
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 benchmark2
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 variables403
Total number of constraints13065
Number of constraints which are clauses13052
Number of constraints which are cardinality constraints (but not clauses)13
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint14
Number of terms in the objective function 13
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 13
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 15
Number of bits of the biggest sum of numbers4
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.06	c initialize IPBHS solver
0.00/0.06	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.06	c optimizer = "gurobi"
0.00/0.06	c pbsolver = "roundingsat"
0.00/0.06	c load symmetries from file ""
0.00/0.06	c set time limit for symmetry computation to 100 seconds.
0.00/0.06	c set interchangeable summation variable limit to 3
0.00/0.06	c find symmetric cores by applying each permutation and add them to optimizer
0.00/0.06	c set abs symmetric core budget per WCE-iteration to 100
0.00/0.06	c set rel symmetric core budget per WCE-iteration to 0
0.00/0.06	c set lit symmetric core budget per WCE-iteration to 0
0.00/0.06	c set sym generation to 's'
0.00/0.06	c set abstraction set creation to 10 iterations without LB change
0.00/0.06	c set abstraction set inputs to 0
0.00/0.06	c set abstraction set cluster min size to 2
0.00/0.06	c set abstraction set cluster max size to 100000000
0.00/0.06	c set abstraction set cluster activation limit to 2
0.00/0.06	c enable abstraction set require equal cost
0.00/0.06	c set abstraction set assumptions to 0
0.00/0.06	c set abstraction set constraint type to 0
0.00/0.06	c set abstract core extraction strategy to b
0.00/0.06	c set core extraction strategy to 2
0.00/0.06	c set core extraction shuffles 10
0.00/0.06	c set cores per iteration to 5
0.00/0.06	c set optimizer bound usage strategy to 2
0.00/0.06	c set optimizer max non-optimal iterations to 1000
0.00/0.06	c set small core cardinality limit to 2
0.00/0.06	c set max coef in cores to 1000000000
0.00/0.06	c set SIS iterations to 5
0.00/0.06	c set SIS budget abs to 1000
0.00/0.06	c set SIS budget rel to 0.05
0.00/0.06	c limit for coefficient in constraints and objective to 9223372036854775807
0.00/0.06	c will solve HOME/instance-4449824-1721403110.opb
3600.08/3605.50	HOME/run-glibc-2.34.sh: line 2: 1021797 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 (61146 MiB free)
  memory of node 1: 64510 MiB (61423 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

Starting watchdog thread

[startup+0.100057 s]*
/proc/loadavg: 4.10 4.15 4.07 4/257 1021798
/proc/meminfo: memFree=125491232/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=146372 memory=30356 CPUtime=0.09 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 4388 0 0 0 7 2 0 0 20 0 2 0 192470181 149884928 7589 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 36593 7589 2719 46 0 9188 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=146372 memory=4026531971 CPUtime=0 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192470185 149884928 7589 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 156300 KiB
Current children cumulated memory: 33108 KiB

[startup+0.20549 s]*
/proc/loadavg: 4.10 4.15 4.07 4/257 1021798
/proc/meminfo: memFree=125490704/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=145860 memory=32920 CPUtime=0.2 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 4945 0 0 0 18 2 0 0 20 0 2 0 192470181 149360640 8230 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 36465 8230 3334 46 0 9060 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=145860 memory=8093824160770949251 CPUtime=0 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192470185 149360640 8230 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 155788 KiB
Current children cumulated memory: 35672 KiB

[startup+0.305605 s]*
/proc/loadavg: 4.10 4.15 4.07 4/257 1021798
/proc/meminfo: memFree=125490564/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=145860 memory=33184 CPUtime=0.29 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 5021 0 0 0 26 3 0 0 20 0 2 0 192470181 149360640 8296 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 36465 8296 3334 46 0 9060 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=145860 memory=4208686907386462337 CPUtime=0 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192470185 149360640 8296 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 155788 KiB
Current children cumulated memory: 35936 KiB

[startup+0.700247 s]
/proc/loadavg: 4.10 4.15 4.07 4/257 1021798
/proc/meminfo: memFree=125487728/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=145860 memory=35496 CPUtime=0.68 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 5108 0 0 0 63 5 0 0 20 0 2 0 192470181 149360640 8874 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 36465 8874 3334 46 0 9060 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=145860 memory=2240 CPUtime=0 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192470185 149360640 8874 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 155788 KiB
Current children cumulated memory: 38248 KiB

[startup+1.50024 s]
/proc/loadavg: 4.10 4.15 4.07 4/257 1021798
/proc/meminfo: memFree=125487604/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=145860 memory=35496 CPUtime=1.48 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 5108 0 0 0 137 11 0 0 20 0 2 0 192470181 149360640 8874 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 36465 8874 3334 46 0 9060 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=145860 memory=2240 CPUtime=0 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 0 0 0 0 0 0 0 0 20 0 2 0 192470185 149360640 8874 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 155788 KiB
Current children cumulated memory: 38248 KiB

[startup+3.10532 s]
/proc/loadavg: 4.10 4.15 4.07 4/257 1021799
/proc/meminfo: memFree=125487472/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=145860 memory=35716 CPUtime=3.09 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 6307 0 0 0 287 22 0 0 20 0 2 0 192470181 149360640 8929 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 36465 8929 3334 46 0 9060 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=145860 memory=2240 CPUtime=0 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 4 0 0 0 0 0 0 0 20 0 2 0 192470185 149360640 8929 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 155788 KiB
Current children cumulated memory: 38468 KiB

[startup+6.30019 s]
/proc/loadavg: 4.01 4.13 4.06 4/257 1021847
/proc/meminfo: memFree=125514452/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=145860 memory=36032 CPUtime=6.28 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 7768 0 0 0 594 34 0 0 20 0 2 0 192470181 149360640 9008 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 36465 9008 3334 46 0 9060 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=145860 memory=2884 CPUtime=0 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 8 0 0 0 0 0 0 0 20 0 2 0 192470185 149360640 9008 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 155788 KiB
Current children cumulated memory: 38784 KiB

[startup+12.7002 s]
/proc/loadavg: 3.93 4.11 4.05 4/257 1021849
/proc/meminfo: memFree=125507768/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=148580 memory=37020 CPUtime=12.66 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 11856 0 0 0 1209 57 0 0 20 0 2 0 192470181 152145920 9255 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 37145 9255 3334 46 0 9740 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=148580 memory=2752 CPUtime=0 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 2 0 192470185 152145920 9255 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 158508 KiB
Current children cumulated memory: 39772 KiB

[startup+25.5002 s]
/proc/loadavg: 3.79 4.08 4.04 4/257 1021850
/proc/meminfo: memFree=125502456/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=148580 memory=38648 CPUtime=25.43 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 17968 0 0 0 2449 94 0 0 20 0 2 0 192470181 152145920 9662 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 37145 9662 3334 46 0 9740 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=148580 memory=2752 CPUtime=0 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 2 0 192470185 152145920 9662 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 158508 KiB
Current children cumulated memory: 41400 KiB

[startup+51.1055 s]
/proc/loadavg: 3.52 3.99 4.01 4/257 1021853
/proc/meminfo: memFree=125490156/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=153000 memory=41988 CPUtime=50.98 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 27971 0 0 0 4926 172 0 0 20 0 2 0 192470181 156672000 10497 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 38250 10497 3334 46 0 10845 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=153000 memory=41988 CPUtime=0.01 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 41 0 0 0 0 1 0 0 20 0 2 0 192470185 156672000 10497 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 162928 KiB
Current children cumulated memory: 44740 KiB

[startup+102.3 s]
/proc/loadavg: 3.30 3.85 3.96 4/256 1021865
/proc/meminfo: memFree=125464920/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=155600 memory=46020 CPUtime=102.05 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 38166 0 0 0 9892 313 0 0 20 0 2 0 192470181 159334400 11505 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 38900 11505 3334 46 0 11495 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=155600 memory=7804 CPUtime=0.04 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 51 0 0 0 1 3 0 0 20 0 2 0 192470185 159334400 11505 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 165528 KiB
Current children cumulated memory: 48772 KiB

[startup+162.3 s]

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

/proc/1021797/statm: 63797 31233 3334 46 0 36392 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=255188 memory=2752 CPUtime=2.27 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 210 0 0 0 90 137 0 0 20 0 2 0 192470185 261312512 31233 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3157.48 s
Current children cumulated vsize: 265116 KiB
Current children cumulated memory: 127684 KiB

[startup+3222.3 s]
/proc/loadavg: 2.10 2.11 2.16 3/250 1023446
/proc/meminfo: memFree=125115480/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=255188 memory=124932 CPUtime=3217.4 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 231676 0 0 0 316846 4894 0 0 20 0 2 0 192470181 261312512 31233 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 63797 31233 3334 46 0 36392 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=255188 memory=2752 CPUtime=2.31 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 213 0 0 0 91 140 0 0 20 0 2 0 192470185 261312512 31233 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3217.4 s
Current children cumulated vsize: 265116 KiB
Current children cumulated memory: 127684 KiB

[startup+3282.3 s]
/proc/loadavg: 2.08 2.10 2.16 3/248 1023456
/proc/meminfo: memFree=125094908/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=255188 memory=126980 CPUtime=3277.32 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 233511 0 0 0 322781 4951 0 0 20 0 2 0 192470181 261312512 31745 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 63797 31745 3334 46 0 36392 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=255188 memory=7804 CPUtime=2.36 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 216 0 0 0 93 143 0 0 20 0 2 0 192470185 261312512 31745 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3277.32 s
Current children cumulated vsize: 265116 KiB
Current children cumulated memory: 129732 KiB

[startup+3342.3 s]
/proc/loadavg: 2.12 2.11 2.16 3/247 1023468
/proc/meminfo: memFree=125075464/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=256212 memory=127508 CPUtime=3337.23 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 236660 0 0 0 328704 5019 0 0 20 0 2 0 192470181 262361088 31877 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 64053 31877 3334 46 0 36648 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=256212 memory=2752 CPUtime=2.41 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 219 0 0 0 95 146 0 0 20 0 2 0 192470185 262361088 31877 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3337.23 s
Current children cumulated vsize: 266140 KiB
Current children cumulated memory: 130260 KiB

[startup+3402.3 s]
/proc/loadavg: 2.09 2.11 2.15 3/248 1023649
/proc/meminfo: memFree=125070796/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=256724 memory=129832 CPUtime=3397.15 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 238630 0 0 0 334639 5076 0 0 20 0 2 0 192470181 262885376 32458 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 64181 32458 3334 46 0 36776 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=256724 memory=129832 CPUtime=2.47 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 222 0 0 0 98 149 0 0 20 0 2 0 192470185 262885376 32458 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3397.15 s
Current children cumulated vsize: 266652 KiB
Current children cumulated memory: 132584 KiB

[startup+3462.3 s]
/proc/loadavg: 2.21 2.13 2.16 3/247 1023659
/proc/meminfo: memFree=125064520/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=257236 memory=130096 CPUtime=3457.07 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 241761 0 0 0 340567 5140 0 0 20 0 2 0 192470181 263409664 32524 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 64309 32524 3334 46 0 36904 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=257236 memory=2752 CPUtime=2.51 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 225 0 0 0 100 151 0 0 20 0 2 0 192470185 263409664 32524 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3457.07 s
Current children cumulated vsize: 267164 KiB
Current children cumulated memory: 132848 KiB

[startup+3522.3 s]
/proc/loadavg: 2.13 2.12 2.15 3/249 1023727
/proc/meminfo: memFree=125047584/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=261308 memory=138552 CPUtime=3516.98 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 243955 0 0 0 346488 5210 0 0 20 0 2 0 192470181 267579392 34638 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 65327 34638 3557 46 0 37922 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=261308 memory=2752 CPUtime=2.56 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 228 0 0 0 102 154 0 0 20 0 2 0 192470185 267579392 34638 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3516.98 s
Current children cumulated vsize: 271236 KiB
Current children cumulated memory: 141304 KiB

[startup+3582.3 s]
/proc/loadavg: 2.13 2.11 2.15 3/248 1023739
/proc/meminfo: memFree=125007516/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=278004 memory=156804 CPUtime=3576.91 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 251443 0 0 0 352397 5294 0 0 20 0 2 0 192470181 284676096 39201 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 69501 39201 3557 46 0 42096 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=278004 memory=4892 CPUtime=2.6 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 231 0 0 0 103 157 0 0 20 0 2 0 192470185 284676096 39201 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3576.91 s
Current children cumulated vsize: 287932 KiB
Current children cumulated memory: 159556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3605.5 s]
/proc/loadavg: 2.08 2.10 2.14 3/248 1023742
/proc/meminfo: memFree=125005720/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=279536 memory=158404 CPUtime=3600.08 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 252071 0 0 0 354683 5325 0 0 20 0 2 0 192470181 286244864 39601 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 69884 39601 3557 46 0 42479 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=279536 memory=359788 CPUtime=2.62 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 231 0 0 0 104 158 0 0 20 0 2 0 192470185 286244864 39601 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 289464 KiB
Current children cumulated memory: 161156 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3546.84 s, system=53.2547 s

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

[startup+3605.5 s]
/proc/loadavg: 2.08 2.10 2.14 3/248 1023742
/proc/meminfo: memFree=125005720/131524600 swapFree=130799640/131071996
[pid=1021795] ppid=1021792 vsize=9928 memory=2752 CPUtime=0 cores=4,6
/proc/1021795/stat : 1021795 (run-glibc-2.34.) S 1021792 1021795 1019718 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 192470181 10166272 688 134679101440 94852910596096 94852911675416 140736326040736 0 0 0 65536 4 65538 0 0 0 17 4 0 0 0 0 0 94852913773872 94852913821060 94852919132160 140736326042557 140736326042714 140736326042714 140736326049731 0
/proc/1021795/statm: 2482 688 608 264 0 133 0
[pid=1021797] ppid=1021795 vsize=279536 memory=158404 CPUtime=3600.08 cores=4,6
/proc/1021797/stat : 1021797 (ld-linux-x86-64) R 1021795 1021795 1019718 0 -1 4194304 252071 0 0 0 354683 5325 0 0 20 0 2 0 192470181 286244864 39601 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
/proc/1021797/statm: 69884 39601 3557 46 0 42479 0
[pid=1021797/tid=1021798] ppid=1021795 vsize=279536 memory=359788 CPUtime=2.62 cores=4,6
/proc/1021797/task/1021798/stat : 1021798 (ld-linux-x86-64) S 1021795 1021795 1019718 0 -1 1077936192 231 0 0 0 104 158 0 0 20 0 2 0 192470185 286244864 39601 134679101440 139828627603456 139828627791068 140722884518384 0 0 0 0 4096 0 1 0 0 -1 6 0 0 0 0 0 139828629891968 139828629901416 93825003200512 140722884526933 140722884527097 140722884527097 140722884534194 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 289464 KiB
Current children cumulated memory: 161156 KiB

Child status: 143

Real time (s): 3605.51
CPU time (s): 3600.1
CPU user time (s): 3546.84
CPU system time (s): 53.2547
CPU usage (%): 99.8499
Max. virtual memory (cumulated for all children) (KiB): 289464
Max. memory (cumulated for all children) (KiB): 161156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3546.84
system time used= 53.2547
maximum resident set size= 158508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 252288
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= 357074
involuntary context switches= 1956


# summary of solver processes directly reported to runsolver:
#   pid: 1021795
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3546.84
#   total CPU system time (s): 53.2547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06566 second user time and 16.6381 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-19 17:32:03
IDJOB=4449824
IDBENCH=176148
IDSOLVER=3055
FILE ID=nodeC014/4449824-1721403110
RUNJOBID= nodeC014-1721399515-1019729
SLURM_JOB_ID= 7545426
Free space on /tmp= 889956 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=13-t=11.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-4449824-1721403110/watcher-4449824-1721403110 -o /tmp/evaluation-result-4449824-1721403110/solver-4449824-1721403110 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721399515-1019729 --watchdog 3760  run-glibc-2.34.sh ./ipbhs_gurobi --sym-cores HOME/instance-4449824-1721403110.opb

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

MD5SUM BENCH= 9b5c30834c5e817deb28aeb7d8484ce1
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		: 3670.613
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		: 3662.368
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		: 3614.688
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		: 3628.424
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		: 3655.916
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		: 3696.918
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		: 3677.769
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		: 3689.309
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:        125511932 kB
MemAvailable:   129699416 kB
Buffers:          482244 kB
Cached:          4500656 kB
SwapCached:        12884 kB
Active:          1483480 kB
Inactive:        3903824 kB
Active(anon):       9160 kB
Inactive(anon):   424716 kB
Active(file):    1474320 kB
Inactive(file):  3479108 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130799640 kB
Dirty:             42316 kB
Writeback:             0 kB
AnonPages:        393724 kB
Mapped:            64448 kB
Shmem:             29468 kB
KReclaimable:     147408 kB
Slab:             250052 kB
SReclaimable:     147408 kB
SUnreclaim:       102644 kB
KernelStack:        4096 kB
PageTables:        10596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1158540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            35264 kB
HardwareCorrupted:     0 kB
AnonHugePages:    206848 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= 889952 MiB
End job on nodeC014 at 2024-07-19 18:32:08