Trace number 4281372

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
choco-solver 4.0.5 par (2017-08-18)? (TO) 1838.16 252.201

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-28-a4.xml
MD5SUM67703e3ced133509b42bcbc9f355bd8f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark965
Best CPU time to get the best result obtained on this benchmark1921.34
Satisfiable
(Un)Satisfiability was proved
Number of variables28
Number of constraints67979
Number of domains1
Minimum domain size1001
Maximum domain size1001
Distribution of domain sizes[{"size":1001,"count":28}]
Minimum variable degree9478
Maximum variable degree9479
Distribution of variable degrees[{"degree":9478,"count":26},{"degree":9479,"count":2}]
Minimum constraint arity1
Maximum constraint arity28
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":6552},{"arity":4,"count":61425},{"arity":28,"count":1}]
Number of extensional constraints0
Number of intensional constraints67978
Distribution of constraint types[{"type":"intension","count":67978},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281372-1503186052.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281372-1503186052.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
172.94/32.13	c solve instance...
1837.27/252.10	s UNKNOWN
1837.27/252.10	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) 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: 16374 MiB (13278 MiB free)
  memory of node 1: 16384 MiB (13274 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281372-1503186052/watcher-4281372-1503186052 -o /tmp/evaluation-result-4281372-1503186052/solver-4281372-1503186052 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1019512727 HOME/instance-4281372-1503186052.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=4046, runsolver pid=4043

[startup+0.100135 s]*
/proc/loadavg: 8.24 8.15 7.77 2/199 4067
/proc/meminfo: memFree=27174488/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151692623 9740288 346 33554432000 4194304 5098028 140730603069888 140730603067992 140007623914108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23617536 140730603074666 140730603074876 140730603074876 140730603077611 0
/proc/4046/statm: 2378 346 289 221 0 87 0
[pid=4048] ppid=4046 vsize=25999808 memory=26148 CPUtime=0.11 cores=0-7
/proc/4048/stat : 4048 (java) S 4046 4046 1674 0 -1 1077944320 5474 0 0 0 9 2 0 0 20 0 20 0 151692623 26623803392 6537 33554432000 4194304 4196468 140726386458896 140726386441440 140467195236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
/proc/4048/statm: 6499952 6537 2846 1 0 6488269 0
[pid=4048/tid=4049] ppid=4046 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/4048/task/4049/stat : 4049 (java) R 4046 4046 1674 0 -1 4202560 3494 0 0 0 8 1 0 0 20 0 20 0 151692623 26623803392 6537 33554432000 4194304 4196468 140726386458896 140467199468000 140467195258013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4050] ppid=4046 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26623803392 6537 33554432000 4194304 4196468 140726386458896 140467117816976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4051] ppid=4046 vsize=25999808 memory=139954921744000 CPUtime=0 cores=0-7
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26623803392 6537 33554432000 4194304 4196468 140726386458896 140467116764176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4052] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26623803392 6537 33554432000 4194304 4196468 140726386458896 140467115711376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4053] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26623803392 6537 33554432000 4194304 4196468 140726386458896 140467114658576 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4054] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26623803392 6537 33554432000 4194304 4196468 140726386458896 140467113605776 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4055] ppid=4046 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26623803392 6537 33554432000 4194304 4196468 140726386458896 140467112552976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4056] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26623803392 6537 33554432000 4194304 4196468 140726386458896 140467111500176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4057] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151692624 26623803392 6537 33554432000 4194304 4196468 140726386458896 140467110447376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4058] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692625 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465512373104 140467195247234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4059] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151692626 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465511319072 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4060] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151692626 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465510266224 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4061] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692628 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465509214544 140467195254683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4062] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 1674 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 151692628 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465508161904 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4063] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4063/stat : 4063 (java) S 4046 4046 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151692628 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465507109104 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4064] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4064/stat : 4064 (java) S 4046 4046 1674 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 151692628 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465506056304 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4065] ppid=4046 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/4048/task/4065/stat : 4065 (java) R 4046 4046 1674 0 -1 4202560 258 0 0 0 1 0 0 0 20 0 20 0 151692628 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465505003504 140467195248022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4066] ppid=4046 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4066/stat : 4066 (java) S 4046 4046 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151692629 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465503951968 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4067] ppid=4046 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/4048/task/4067/stat : 4067 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692629 26623803392 6537 33554432000 4194304 4196468 140726386458896 140465502899248 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27532 KiB

[startup+0.215027 s]*
/proc/loadavg: 8.24 8.15 7.77 2/199 4067
/proc/meminfo: memFree=27162208/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151692623 9740288 346 33554432000 4194304 5098028 140730603069888 140730603067992 140007623914108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23617536 140730603074666 140730603074876 140730603074876 140730603077611 0
/proc/4046/statm: 2378 346 289 221 0 87 0
[pid=4048] ppid=4046 vsize=26004064 memory=39188 CPUtime=0.33 cores=0-7
/proc/4048/stat : 4048 (java) S 4046 4046 1674 0 -1 1077944320 8473 0 0 0 30 3 0 0 20 0 20 0 151692623 26628161536 9797 33554432000 4194304 4196468 140726386458896 140726386441440 140467195236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
/proc/4048/statm: 6501016 9797 3017 1 0 6488269 0
[pid=4048/tid=4049] ppid=4046 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/4048/task/4049/stat : 4049 (java) R 4046 4046 1674 0 -1 4202560 5535 0 0 0 18 2 0 0 20 0 20 0 151692623 26628161536 9797 33554432000 4194304 4196468 140726386458896 140467199447008 140466788264628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4050] ppid=4046 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 9797 33554432000 4194304 4196468 140726386458896 140467117816976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4051] ppid=4046 vsize=26004064 memory=139954921749581 CPUtime=0 cores=0-7
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 9797 33554432000 4194304 4196468 140726386458896 140467116764176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4052] ppid=4046 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 9797 33554432000 4194304 4196468 140726386458896 140467115711376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4053] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 9797 33554432000 4194304 4196468 140726386458896 140467114658576 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4054] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 9797 33554432000 4194304 4196468 140726386458896 140467113605776 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4055] ppid=4046 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 9797 33554432000 4194304 4196468 140726386458896 140467112552976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4056] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 9797 33554432000 4194304 4196468 140726386458896 140467111500176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4057] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 9797 33554432000 4194304 4196468 140726386458896 140467110447376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4058] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692625 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465512373104 140467195247234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4059] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151692626 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465511319072 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4060] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151692626 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465510266224 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4061] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692628 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465509214544 140467195254683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4062] ppid=4046 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 1674 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 20 0 151692628 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465508161904 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4063] ppid=4046 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/4048/task/4063/stat : 4063 (java) S 4046 4046 1674 0 -1 1077944384 337 0 0 0 2 0 0 0 20 0 20 0 151692628 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465507109104 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4064] ppid=4046 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4048/task/4064/stat : 4064 (java) S 4046 4046 1674 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 151692628 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465506056304 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4065] ppid=4046 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/4048/task/4065/stat : 4065 (java) R 4046 4046 1674 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 20 0 151692628 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465505003504 140467174371864 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4066] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4066/stat : 4066 (java) S 4046 4046 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151692629 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465503951968 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4067] ppid=4046 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4048/task/4067/stat : 4067 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692629 26628161536 9797 33554432000 4194304 4196468 140726386458896 140465502899248 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40572 KiB

[startup+0.310306 s]*
/proc/loadavg: 8.24 8.15 7.77 4/199 4067
/proc/meminfo: memFree=27157992/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151692623 9740288 346 33554432000 4194304 5098028 140730603069888 140730603067992 140007623914108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23617536 140730603074666 140730603074876 140730603074876 140730603077611 0
/proc/4046/statm: 2378 346 289 221 0 87 0
[pid=4048] ppid=4046 vsize=26004064 memory=45796 CPUtime=0.5 cores=0-7
/proc/4048/stat : 4048 (java) S 4046 4046 1674 0 -1 1077944320 9171 0 0 0 46 4 0 0 20 0 20 0 151692623 26628161536 11449 33554432000 4194304 4196468 140726386458896 140726386441440 140467195236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
/proc/4048/statm: 6501016 11449 3073 1 0 6488269 0
[pid=4048/tid=4049] ppid=4046 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/4048/task/4049/stat : 4049 (java) R 4046 4046 1674 0 -1 4202560 6074 0 0 0 27 2 0 0 20 0 20 0 151692623 26628161536 11449 33554432000 4194304 4196468 140726386458896 140467199475288 140466788074702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4050] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 11449 33554432000 4194304 4196468 140726386458896 140467117816976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4051] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 11449 33554432000 4194304 4196468 140726386458896 140467116764176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4052] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 11449 33554432000 4194304 4196468 140726386458896 140467115711376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4053] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 11449 33554432000 4194304 4196468 140726386458896 140467114658576 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4054] ppid=4046 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 11449 33554432000 4194304 4196468 140726386458896 140467113605776 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4055] ppid=4046 vsize=26004064 memory=139954797769647 CPUtime=0 cores=0-7
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 11449 33554432000 4194304 4196468 140726386458896 140467112552976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4056] ppid=4046 vsize=26004064 memory=139954797771952 CPUtime=0 cores=0-7
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 11449 33554432000 4194304 4196468 140726386458896 140467111500176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4057] ppid=4046 vsize=26004064 memory=139954797774256 CPUtime=0 cores=0-7
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151692624 26628161536 11449 33554432000 4194304 4196468 140726386458896 140467110447376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4058] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692625 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465512373104 140467195247234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4059] ppid=4046 vsize=26004064 memory=279909595555472 CPUtime=0 cores=0-7
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151692626 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465511319072 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4060] ppid=4046 vsize=26004064 memory=279909595562384 CPUtime=0 cores=0-7
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151692626 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465510266224 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4061] ppid=4046 vsize=26004064 memory=279909595503664 CPUtime=0 cores=0-7
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692628 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465509214544 140467195254683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4062] ppid=4046 vsize=26004064 memory=279909595576208 CPUtime=0.02 cores=0-7
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 1674 0 -1 1077944384 409 0 0 0 2 0 0 0 20 0 20 0 151692628 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465508161904 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4063] ppid=4046 vsize=26004064 memory=279909595583120 CPUtime=0.02 cores=0-7
/proc/4048/task/4063/stat : 4063 (java) R 4046 4046 1674 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 20 0 151692628 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465507109104 140467195257434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4064] ppid=4046 vsize=26004064 memory=279909595580816 CPUtime=0.01 cores=0-7
/proc/4048/task/4064/stat : 4064 (java) R 4046 4046 1674 0 -1 1077944384 190 0 0 0 1 0 0 0 20 0 20 0 151692628 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465506056304 140467195247234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4065] ppid=4046 vsize=26004064 memory=279909595596976 CPUtime=0.12 cores=0-7
/proc/4048/task/4065/stat : 4065 (java) R 4046 4046 1674 0 -1 4202560 855 0 0 0 12 0 0 0 20 0 20 0 151692628 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465504999872 140467195248022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4066] ppid=4046 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4066/stat : 4066 (java) S 4046 4046 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151692629 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465503951968 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4067] ppid=4046 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/4048/task/4067/stat : 4067 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692629 26628161536 11449 33554432000 4194304 4196468 140726386458896 140465502899248 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47180 KiB

[startup+0.70099 s]
/proc/loadavg: 8.24 8.15 7.77 2/199 4067
/proc/meminfo: memFree=27115204/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151692623 9740288 346 33554432000 4194304 5098028 140730603069888 140730603067992 140007623914108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23617536 140730603074666 140730603074876 140730603074876 140730603077611 0
/proc/4046/statm: 2378 346 289 221 0 87 0
[pid=4048] ppid=4046 vsize=26004140 memory=132992 CPUtime=1.87 cores=0-7
/proc/4048/stat : 4048 (java) S 4046 4046 1674 0 -1 1077944320 13570 0 0 0 181 6 0 0 20 0 20 0 151692623 26628239360 33248 33554432000 4194304 4196468 140726386458896 140726386441440 140467195236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
/proc/4048/statm: 6501035 33248 3197 1 0 6488269 0
[pid=4048/tid=4049] ppid=4046 vsize=26004140 memory=279909595954864 CPUtime=0.67 cores=0-7
/proc/4048/task/4049/stat : 4049 (java) R 4046 4046 1674 0 -1 4202560 6395 0 0 0 63 4 0 0 20 0 20 0 151692623 26628239360 33248 33554432000 4194304 4196468 140726386458896 140467199472592 140466789538048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4050] ppid=4046 vsize=26004140 memory=139954797978480 CPUtime=0 cores=0-7
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151692624 26628239360 33248 33554432000 4194304 4196468 140726386458896 140467117816976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4051] ppid=4046 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26628239360 33248 33554432000 4194304 4196468 140726386458896 140467116764176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4052] ppid=4046 vsize=26004140 memory=4612 CPUtime=0 cores=0-7
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151692624 26628239360 33248 33554432000 4194304 4196468 140726386458896 140467115711376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0

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

/proc/meminfo: memFree=12834688/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151692623 9740288 346 33554432000 4194304 5098028 140730603069888 140730603067992 140007623914108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23617536 140730603074666 140730603074876 140730603074876 140730603077611 0
/proc/4046/statm: 2378 346 289 221 0 87 0
[pid=4048] ppid=4046 vsize=26538700 memory=14341700 CPUtime=1600.45 cores=0-7
/proc/4048/stat : 4048 (java) S 4046 4046 1674 0 -1 1077944320 726784 0 0 0 157313 2732 0 0 20 0 28 0 151692623 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140726386441440 140467195236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
/proc/4048/statm: 6634675 3585425 3296 1 0 6621909 0
[pid=4048/tid=4049] ppid=4046 vsize=26538700 memory=13751872 CPUtime=11.56 cores=0-7
/proc/4048/task/4049/stat : 4049 (java) S 4046 4046 1674 0 -1 1077944384 20728 0 0 0 1135 21 0 0 20 0 28 0 151692623 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140467199476864 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4050] ppid=4046 vsize=26538700 memory=14341700 CPUtime=77.71 cores=0-7
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 1674 0 -1 1077944384 23765 0 0 0 7468 303 0 0 20 0 28 0 151692624 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140467117816976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4051] ppid=4046 vsize=26538700 memory=14341700 CPUtime=78.09 cores=0-7
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 1674 0 -1 1077944384 34260 0 0 0 7526 283 0 0 20 0 28 0 151692624 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140467116764176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4052] ppid=4046 vsize=26538700 memory=1384 CPUtime=78.48 cores=0-7
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 1674 0 -1 1077944384 60810 0 0 0 7547 301 0 0 20 0 28 0 151692624 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140467115711376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4053] ppid=4046 vsize=26538700 memory=1384 CPUtime=78.05 cores=0-7
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 1674 0 -1 1077944384 48020 0 0 0 7503 302 0 0 20 0 28 0 151692624 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140467114658576 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4054] ppid=4046 vsize=26538700 memory=0 CPUtime=77.71 cores=0-7
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 1674 0 -1 1077944384 33627 0 0 0 7474 297 0 0 20 0 28 0 151692624 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140467113605776 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4055] ppid=4046 vsize=26538700 memory=14341700 CPUtime=77.85 cores=0-7
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 1674 0 -1 1077944384 34549 0 0 0 7494 291 0 0 20 0 28 0 151692624 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140467112552976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4056] ppid=4046 vsize=26538700 memory=288230574492221466 CPUtime=78.45 cores=0-7
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 1674 0 -1 1077944384 51234 0 0 0 7558 287 0 0 20 0 28 0 151692624 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140467111500176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4057] ppid=4046 vsize=26538700 memory=288230621803970871 CPUtime=77.47 cores=0-7
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 1674 0 -1 1077944384 23797 0 0 0 7443 304 0 0 20 0 28 0 151692624 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140467110447376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4058] ppid=4046 vsize=26538700 memory=1172 CPUtime=11.74 cores=0-7
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 1674 0 -1 1077944384 55147 0 0 0 1146 28 0 0 20 0 28 0 151692625 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465512373104 140467195247234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4059] ppid=4046 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 1674 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 151692626 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465511319136 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4060] ppid=4046 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 1674 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 28 0 151692626 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465510266240 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4061] ppid=4046 vsize=26538700 memory=3760703029251507636 CPUtime=0 cores=0-7
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151692628 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465509214544 140467195254683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4062] ppid=4046 vsize=26538700 memory=1384 CPUtime=3.14 cores=0-7
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 1674 0 -1 1077944384 15792 0 0 0 310 4 0 0 20 0 28 0 151692628 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465508161904 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4063] ppid=4046 vsize=26538700 memory=13751872 CPUtime=3.39 cores=0-7
/proc/4048/task/4063/stat : 4063 (java) S 4046 4046 1674 0 -1 1077944384 18508 0 0 0 335 4 0 0 20 0 28 0 151692628 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465507109104 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4064] ppid=4046 vsize=26538700 memory=1292 CPUtime=3.25 cores=0-7
/proc/4048/task/4064/stat : 4064 (java) S 4046 4046 1674 0 -1 1077944384 13233 0 0 0 321 4 0 0 20 0 28 0 151692628 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465506056304 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4065] ppid=4046 vsize=26538700 memory=2448 CPUtime=1 cores=0-7
/proc/4048/task/4065/stat : 4065 (java) S 4046 4046 1674 0 -1 1077944384 13732 0 0 0 97 3 0 0 20 0 28 0 151692628 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465505003504 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4066] ppid=4046 vsize=26538700 memory=-7966001967256141664 CPUtime=0 cores=0-7
/proc/4048/task/4066/stat : 4066 (java) S 4046 4046 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151692629 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465503951968 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4067] ppid=4046 vsize=26538700 memory=-6876588628788210059 CPUtime=0.09 cores=0-7
/proc/4048/task/4067/stat : 4067 (java) S 4046 4046 1674 0 -1 1077944384 835 0 0 0 4 5 0 0 20 0 28 0 151692629 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465502899248 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4068] ppid=4046 vsize=26538700 memory=1292 CPUtime=118.3 cores=0-7
/proc/4048/task/4068/stat : 4068 (java) R 4046 4046 1674 0 -1 4202560 6834 0 0 0 11801 29 0 0 20 0 28 0 151695868 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465426912768 140466790310610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4069] ppid=4046 vsize=26538700 memory=2448 CPUtime=117.77 cores=0-7
/proc/4048/task/4069/stat : 4069 (java) R 4046 4046 1674 0 -1 4202560 188584 0 0 0 11740 37 0 0 20 0 28 0 151695868 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465425858440 140466794176122 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4070] ppid=4046 vsize=26538700 memory=1732 CPUtime=118.34 cores=0-7
/proc/4048/task/4070/stat : 4070 (java) R 4046 4046 1674 0 -1 4202560 9358 0 0 0 11793 41 0 0 20 0 28 0 151695868 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465424805640 140466794176060 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4071] ppid=4046 vsize=26538700 memory=14341700 CPUtime=118.14 cores=0-7
/proc/4048/task/4071/stat : 4071 (java) R 4046 4046 1674 0 -1 4202560 6548 0 0 0 11775 39 0 0 20 0 28 0 151695868 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465423752920 140466793460999 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4072] ppid=4046 vsize=26538700 memory=4100 CPUtime=117.76 cores=0-7
/proc/4048/task/4072/stat : 4072 (java) R 4046 4046 1674 0 -1 4202560 38007 0 0 0 11721 55 0 0 20 0 28 0 151695868 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465422700120 140466794176240 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4073] ppid=4046 vsize=26538700 memory=41916 CPUtime=116.43 cores=0-7
/proc/4048/task/4073/stat : 4073 (java) R 4046 4046 1674 0 -1 4202560 10898 0 0 0 11614 29 0 0 20 0 28 0 151695868 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465421647384 140466793851171 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4074] ppid=4046 vsize=26538700 memory=1384 CPUtime=117.91 cores=0-7
/proc/4048/task/4074/stat : 4074 (java) R 4046 4046 1674 0 -1 4202560 11193 0 0 0 11757 34 0 0 20 0 28 0 151695868 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465420595184 140466790635151 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4075] ppid=4046 vsize=26538700 memory=13751876 CPUtime=117.6 cores=0-7
/proc/4048/task/4075/stat : 4075 (java) R 4046 4046 1674 0 -1 4202560 5815 0 0 0 11734 26 0 0 20 0 28 0 151695868 27175628800 3585425 33554432000 4194304 4196468 140726386458896 140465419542664 140466793460349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
Current children cumulated CPU time: 1600.45 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 14343084 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.27 7.89 7.71 9/208 4084
/proc/meminfo: memFree=12835376/32770624 swapFree=67108860/67108860
[pid=4046] ppid=4043 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/4046/stat : 4046 (xcsp3-exec) S 4043 4046 1674 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 151692623 9740288 346 33554432000 4194304 5098028 140730603069888 140730603067992 140007623914108 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23617536 140730603074666 140730603074876 140730603074876 140730603077611 0
/proc/4046/statm: 2378 346 289 221 0 87 0
[pid=4048] ppid=4046 vsize=26538700 memory=14341880 CPUtime=1837.27 cores=0-7
/proc/4048/stat : 4048 (java) S 4046 4046 1674 0 -1 1077944320 741790 0 0 0 180980 2747 0 0 20 0 28 0 151692623 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140726386441440 140467195236087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
/proc/4048/statm: 6634675 3585470 3297 1 0 6621909 0
[pid=4048/tid=4049] ppid=4046 vsize=26538700 memory=8112282956445269571 CPUtime=11.56 cores=0-7
/proc/4048/task/4049/stat : 4049 (java) S 4046 4046 1674 0 -1 1077944384 20728 0 0 0 1135 21 0 0 20 0 28 0 151692623 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140467199476864 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4050] ppid=4046 vsize=26538700 memory=4126316290023845779 CPUtime=77.71 cores=0-7
/proc/4048/task/4050/stat : 4050 (java) S 4046 4046 1674 0 -1 1077944384 23765 0 0 0 7468 303 0 0 20 0 28 0 151692624 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140467117816976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4051] ppid=4046 vsize=26538700 memory=920 CPUtime=78.09 cores=0-7
/proc/4048/task/4051/stat : 4051 (java) S 4046 4046 1674 0 -1 1077944384 34260 0 0 0 7526 283 0 0 20 0 28 0 151692624 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140467116764176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4052] ppid=4046 vsize=26538700 memory=4516 CPUtime=78.48 cores=0-7
/proc/4048/task/4052/stat : 4052 (java) S 4046 4046 1674 0 -1 1077944384 60810 0 0 0 7547 301 0 0 20 0 28 0 151692624 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140467115711376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4053] ppid=4046 vsize=26538700 memory=0 CPUtime=78.05 cores=0-7
/proc/4048/task/4053/stat : 4053 (java) S 4046 4046 1674 0 -1 1077944384 48020 0 0 0 7503 302 0 0 20 0 28 0 151692624 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140467114658576 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4054] ppid=4046 vsize=26538700 memory=2320115224079350051 CPUtime=77.71 cores=0-7
/proc/4048/task/4054/stat : 4054 (java) S 4046 4046 1674 0 -1 1077944384 33627 0 0 0 7474 297 0 0 20 0 28 0 151692624 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140467113605776 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4055] ppid=4046 vsize=26538700 memory=4100 CPUtime=77.85 cores=0-7
/proc/4048/task/4055/stat : 4055 (java) S 4046 4046 1674 0 -1 1077944384 34549 0 0 0 7494 291 0 0 20 0 28 0 151692624 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140467112552976 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4056] ppid=4046 vsize=26538700 memory=41916 CPUtime=78.45 cores=0-7
/proc/4048/task/4056/stat : 4056 (java) S 4046 4046 1674 0 -1 1077944384 51234 0 0 0 7558 287 0 0 20 0 28 0 151692624 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140467111500176 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4057] ppid=4046 vsize=26538700 memory=1292 CPUtime=77.47 cores=0-7
/proc/4048/task/4057/stat : 4057 (java) S 4046 4046 1674 0 -1 1077944384 23797 0 0 0 7443 304 0 0 20 0 28 0 151692624 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140467110447376 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4058] ppid=4046 vsize=26538700 memory=2448 CPUtime=11.76 cores=0-7
/proc/4048/task/4058/stat : 4058 (java) S 4046 4046 1674 0 -1 1077944384 55200 0 0 0 1147 29 0 0 20 0 28 0 151692625 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465512373104 140467195247234 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4059] ppid=4046 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/4048/task/4059/stat : 4059 (java) S 4046 4046 1674 0 -1 1077944384 107 0 0 0 0 0 0 0 20 0 28 0 151692626 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465511319136 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4060] ppid=4046 vsize=26538700 memory=14341880 CPUtime=0 cores=0-7
/proc/4048/task/4060/stat : 4060 (java) S 4046 4046 1674 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 28 0 151692626 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465510266240 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4061] ppid=4046 vsize=26538700 memory=14341700 CPUtime=0 cores=0-7
/proc/4048/task/4061/stat : 4061 (java) S 4046 4046 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 151692628 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465509214544 140467195254683 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4062] ppid=4046 vsize=26538700 memory=8112282956445269571 CPUtime=3.16 cores=0-7
/proc/4048/task/4062/stat : 4062 (java) S 4046 4046 1674 0 -1 1077944384 17317 0 0 0 312 4 0 0 20 0 28 0 151692628 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465508161904 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4063] ppid=4046 vsize=26538700 memory=1384 CPUtime=3.42 cores=0-7
/proc/4048/task/4063/stat : 4063 (java) S 4046 4046 1674 0 -1 1077944384 19552 0 0 0 338 4 0 0 20 0 28 0 151692628 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465507109104 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4064] ppid=4046 vsize=26538700 memory=14341708 CPUtime=3.26 cores=0-7
/proc/4048/task/4064/stat : 4064 (java) S 4046 4046 1674 0 -1 1077944384 13274 0 0 0 322 4 0 0 20 0 28 0 151692628 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465506056304 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4065] ppid=4046 vsize=26538700 memory=7788 CPUtime=1.01 cores=0-7
/proc/4048/task/4065/stat : 4065 (java) S 4046 4046 1674 0 -1 1077944384 14591 0 0 0 98 3 0 0 20 0 28 0 151692628 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465505003504 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4066] ppid=4046 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/4048/task/4066/stat : 4066 (java) S 4046 4046 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 151692629 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465503951968 140467195246293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4067] ppid=4046 vsize=26538700 memory=4100 CPUtime=0.1 cores=0-7
/proc/4048/task/4067/stat : 4067 (java) S 4046 4046 1674 0 -1 1077944384 903 0 0 0 4 6 0 0 20 0 28 0 151692629 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465502899248 140467195247234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4068] ppid=4046 vsize=26538700 memory=1696 CPUtime=147.98 cores=0-7
/proc/4048/task/4068/stat : 4068 (java) R 4046 4046 1674 0 -1 4202560 7033 0 0 0 14767 31 0 0 20 0 28 0 151695868 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465426912728 140466790056039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4069] ppid=4046 vsize=26538700 memory=920 CPUtime=146.96 cores=0-7
/proc/4048/task/4069/stat : 4069 (java) R 4046 4046 1674 0 -1 4202560 193189 0 0 0 14657 39 0 0 20 0 28 0 151695868 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465425858192 140466790634398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4070] ppid=4046 vsize=26538700 memory=4516 CPUtime=147.98 cores=0-7
/proc/4048/task/4070/stat : 4070 (java) R 4046 4046 1674 0 -1 4202560 9586 0 0 0 14751 47 0 0 20 0 28 0 151695868 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465424805640 140466793851113 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4071] ppid=4046 vsize=26538700 memory=1236 CPUtime=147.8 cores=0-7
/proc/4048/task/4071/stat : 4071 (java) R 4046 4046 1674 0 -1 4202560 7423 0 0 0 14741 39 0 0 20 0 28 0 151695868 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465423755080 140466791794801 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4072] ppid=4046 vsize=26538700 memory=932 CPUtime=147.42 cores=0-7
/proc/4048/task/4072/stat : 4072 (java) R 4046 4046 1674 0 -1 4202560 41348 0 0 0 14686 56 0 0 20 0 28 0 151695868 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465422700616 140466795341879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4073] ppid=4046 vsize=26538700 memory=8716 CPUtime=145.96 cores=0-7
/proc/4048/task/4073/stat : 4073 (java) R 4046 4046 1674 0 -1 4202560 11917 0 0 0 14566 30 0 0 20 0 28 0 151695868 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465421647240 140466793460999 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4074] ppid=4046 vsize=26538700 memory=1712 CPUtime=147.59 cores=0-7
/proc/4048/task/4074/stat : 4074 (java) R 4046 4046 1674 0 -1 4202560 12248 0 0 0 14724 35 0 0 20 0 28 0 151695868 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465420595720 140466790634374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
[pid=4048/tid=4075] ppid=4046 vsize=26538700 memory=4612 CPUtime=147.28 cores=0-7
/proc/4048/task/4075/stat : 4075 (java) R 4046 4046 1674 0 -1 4202560 5910 0 0 0 14702 26 0 0 20 0 28 0 151695868 27175628800 3585470 33554432000 4194304 4196468 140726386458896 140465419542920 140466790056039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37048320 140726386467992 140726386468168 140726386468168 140726386470863 0
Current children cumulated CPU time: 1837.27 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 14343264 KiB

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

[startup+252.042 s]
# the end of solver process 4046 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001858 s

[startup+252.201 s]
# the end of solver process 4048 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1810.61 s, system=27.5592 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+252.132 s]*
/proc/loadavg: 8.27 7.89 7.71 2/181 4086
/proc/meminfo: memFree=13181196/32770624 swapFree=67108860/67108860
Current cumulated CPU time of completed processes: 0.001858 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143
Real time (s): 252.201
CPU time (s): 1838.16
CPU user time (s): 1810.61
CPU system time (s): 27.5592
CPU usage (%): 728.85
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 14343264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1810.61
system time used= 27.5592
maximum resident set size= 14342328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 742680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28225
involuntary context switches= 57504


# summary of solver processes directly reported to runsolver:
#   pid: 4046,4048
#   total CPU time (s): 1838.16
#   total CPU user time (s): 1810.61
#   total CPU system time (s): 27.5592

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.15229 second user time and 3.03531 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-20 01:26:31
IDJOB=4281372
IDBENCH=126237
IDSOLVER=2676
FILE ID=node113/4281372-1503186052
RUNJOBID= node113-1503181653-1704
PBS_JOBID= 20630852
Free space on /tmp= 61688 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-28-a4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281372-1503186052/watcher-4281372-1503186052 -o /tmp/evaluation-result-4281372-1503186052/solver-4281372-1503186052 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1019512727 HOME/instance-4281372-1503186052.xml

TIME LIMIT= 2016 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 67703e3ced133509b42bcbc9f355bd8f
RANDOM SEED=1019512727

node113.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        27190184 kB
MemAvailable:   31969300 kB
Buffers:          255120 kB
Cached:          4813768 kB
SwapCached:            0 kB
Active:          1260304 kB
Inactive:        3863696 kB
Active(anon):       5276 kB
Inactive(anon):    85928 kB
Active(file):    1255028 kB
Inactive(file):  3777768 kB
Unevictable:        7476 kB
Mlocked:            7476 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10776 kB
Writeback:             0 kB
AnonPages:         67988 kB
Mapped:            51460 kB
Shmem:             33416 kB
Slab:             150824 kB
SReclaimable:     124312 kB
SUnreclaim:        26512 kB
KernelStack:        3520 kB
PageTables:         5620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61680 MiB
End job on node113 at 2017-08-20 01:30:44