Trace number 4271813

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-09)SAT (TO)196 2003.14 252.09599

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n45/
TravellingSalesman-45-30-09.xml
MD5SUM8b7c2ee38e8603aaa2c4683b1141c0f0
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark159
Best CPU time to get the best result obtained on this benchmark251.87801
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of constraints46
Number of domains2
Minimum domain size38
Maximum domain size45
Distribution of domain sizes[{"size":38,"count":45},{"size":45,"count":45}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":45},{"degree":3,"count":45}]
Minimum constraint arity3
Maximum constraint arity45
Distribution of constraint arities[{"arity":3,"count":45},{"arity":45,"count":1}]
Number of extensional constraints45
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":45},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4271813-1502644691.xml"  -tl '2016s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4271813-1502644691.xml, -tl, 2016s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
2.69/1.12	c solve instance...
3.17/1.28	o 491 
3.17/1.28	o 486 
3.92/1.32	o 234 
3.92/1.33	o 212 
3.92/1.34	o 203 
3.92/1.35	o 201 
3.92/1.36	o 200 
3.92/1.37	o 199 
3.92/1.38	o 198 
3.92/1.39	o 197 
4.49/1.41	o 196 
2002.50/252.08	s SATISFIABLE
2002.50/252.08	v <instantiation>
2002.50/252.08	v 	<list>c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] c[41] c[42] c[43] c[44] d[0] d[1] d[2] d[3] d[4] d[5] d[6] d[7] d[8] d[9] d[10] d[11] d[12] d[13] d[14] d[15] d[16] d[17] d[18] d[19] d[20] d[21] d[22] d[23] d[24] d[25] d[26] d[27] d[28] d[29] d[30] d[31] d[32] d[33] d[34] d[35] d[36] d[37] d[38] d[39] d[40] d[41] d[42] d[43] d[44] </list>
2002.50/252.08	v 	<values>26 24 25 21 18 16 11 7 6 15 17 14 9 3 4 2 0 1 22 23 27 33 35 36 39 41 42 43 44 40 37 38 34 29 19 12 5 8 10 13 20 32 31 30 28 5 2 3 4 2 3 11 2 4 1 5 2 5 3 2 1 4 14 2 5 4 3 4 2 5 7 6 5 6 6 11 5 5 13 4 5 2 1 1 4 9 1 1 3 3 </values>
2002.50/252.08	v </instantiation>
2002.50/252.08	c Unexpected resolution interruption!

Verifier Data

OK	196

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 (15263 MiB free)
  memory of node 1: 16384 MiB (15578 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271813-1502644691/watcher-4271813-1502644691 -o /tmp/evaluation-result-4271813-1502644691/solver-4271813-1502644691 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1016272395 HOME/instance-4271813-1502644691.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
solver pid=29387, runsolver pid=29384
Current StackSize limit: 8192 KiB


[startup+0.100175 s]*
/proc/loadavg: 8.36 7.98 6.47 2/200 29408
/proc/meminfo: memFree=31565740/32770624 swapFree=67108860/67108860
[pid=29387] ppid=29384 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29387/stat : 29387 (xcsp3-exec) S 29384 29387 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97556727 9740288 346 33554432000 4194304 5098028 140731746444384 140731746442488 140369021256316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32342016 140731746448490 140731746448700 140731746448700 140731746451435 0
/proc/29387/statm: 2378 346 289 221 0 87 0
[pid=29389] ppid=29387 vsize=25999808 memory=26344 CPUtime=0.12 cores=0-7
/proc/29389/stat : 29389 (java) S 29387 29387 8644 0 -1 1077944320 5517 0 0 0 11 1 0 0 20 0 20 0 97556727 26623803392 6586 33554432000 4194304 4196468 140734570504080 140734570486624 139674687090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
/proc/29389/statm: 6499952 6586 2850 1 0 6488269 0
[pid=29389/tid=29390] ppid=29387 vsize=25999808 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29389/task/29390/stat : 29390 (java) R 29387 29387 8644 0 -1 4202560 3530 0 0 0 8 1 0 0 20 0 20 0 97556728 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674691322752 139674687112349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29391] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29391/stat : 29391 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674639710736 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29392] ppid=29387 vsize=25999808 memory=140149570299520 CPUtime=0 cores=0-7
/proc/29389/task/29392/stat : 29392 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674638658192 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29393] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29393/stat : 29393 (java) S 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97556729 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674637605136 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29394] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29394/stat : 29394 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674636552592 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29395] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29395/stat : 29395 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674635500560 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29396] ppid=29387 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29389/task/29396/stat : 29396 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674634448016 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29397] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29397/stat : 29397 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674633394960 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29398] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29398/stat : 29398 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674632342416 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29399] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29399/stat : 29399 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556730 26623803392 6586 33554432000 4194304 4196468 140734570504080 139674082937072 139674687101570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29400] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29400/stat : 29400 (java) S 29387 29387 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97556730 26623803392 6586 33554432000 4194304 4196468 140734570504080 139673879962784 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29401] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29401/stat : 29401 (java) S 29387 29387 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97556731 26623803392 6586 33554432000 4194304 4196468 140734570504080 139673878909680 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29402] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29402/stat : 29402 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556733 26623803392 6586 33554432000 4194304 4196468 140734570504080 139673877858256 139674687109019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29403] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29403/stat : 29403 (java) S 29387 29387 8644 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 97556733 26623803392 6586 33554432000 4194304 4196468 140734570504080 139673876806384 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29404] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29404/stat : 29404 (java) R 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97556733 26623803392 6586 33554432000 4194304 4196468 140734570504080 139673875753840 139674687101570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29405] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29405/stat : 29405 (java) S 29387 29387 8644 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 97556733 26623803392 6586 33554432000 4194304 4196468 140734570504080 139673874700784 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29406] ppid=29387 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/29389/task/29406/stat : 29406 (java) R 29387 29387 8644 0 -1 4202560 249 0 0 0 1 0 0 0 20 0 20 0 97556733 26623803392 6586 33554432000 4194304 4196468 140734570504080 139673873648240 139674687111770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29407] ppid=29387 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29407/stat : 29407 (java) S 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97556733 26623803392 6586 33554432000 4194304 4196468 140734570504080 139673872595424 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29408] ppid=29387 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/29389/task/29408/stat : 29408 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556734 26623803392 6586 33554432000 4194304 4196468 140734570504080 139673871542960 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27728 KiB

[startup+0.210609 s]*
/proc/loadavg: 8.36 7.98 6.47 2/200 29408
/proc/meminfo: memFree=31554452/32770624 swapFree=67108860/67108860
[pid=29387] ppid=29384 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29387/stat : 29387 (xcsp3-exec) S 29384 29387 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97556727 9740288 346 33554432000 4194304 5098028 140731746444384 140731746442488 140369021256316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32342016 140731746448490 140731746448700 140731746448700 140731746451435 0
/proc/29387/statm: 2378 346 289 221 0 87 0
[pid=29389] ppid=29387 vsize=26004064 memory=38940 CPUtime=0.33 cores=0-7
/proc/29389/stat : 29389 (java) S 29387 29387 8644 0 -1 1077944320 8320 0 0 0 31 2 0 0 20 0 20 0 97556727 26628161536 9735 33554432000 4194304 4196468 140734570504080 140734570486624 139674687090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
/proc/29389/statm: 6501016 9735 3042 1 0 6488269 0
[pid=29389/tid=29390] ppid=29387 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/29389/task/29390/stat : 29390 (java) R 29387 29387 8644 0 -1 4202560 5419 0 0 0 18 1 0 0 20 0 20 0 97556728 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674691313696 139674671170910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29391] ppid=29387 vsize=26004064 memory=328 CPUtime=0 cores=0-7
/proc/29389/task/29391/stat : 29391 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674639710736 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29392] ppid=29387 vsize=26004064 memory=3833322677391484576 CPUtime=0 cores=0-7
/proc/29389/task/29392/stat : 29392 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674638658192 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29393] ppid=29387 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29389/task/29393/stat : 29393 (java) S 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674637605136 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29394] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29394/stat : 29394 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674636552592 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29395] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29395/stat : 29395 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674635500560 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29396] ppid=29387 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29389/task/29396/stat : 29396 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674634448016 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29397] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29397/stat : 29397 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674633394960 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29398] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29398/stat : 29398 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674632342416 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29399] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29399/stat : 29399 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556730 26628161536 9735 33554432000 4194304 4196468 140734570504080 139674082937072 139674687101570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29400] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29400/stat : 29400 (java) S 29387 29387 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97556730 26628161536 9735 33554432000 4194304 4196468 140734570504080 139673879962784 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29401] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29401/stat : 29401 (java) S 29387 29387 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97556731 26628161536 9735 33554432000 4194304 4196468 140734570504080 139673878909680 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29402] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29402/stat : 29402 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556733 26628161536 9735 33554432000 4194304 4196468 140734570504080 139673877858256 139674687109019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29403] ppid=29387 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/29389/task/29403/stat : 29403 (java) S 29387 29387 8644 0 -1 1077944384 452 0 0 0 1 0 0 0 20 0 20 0 97556733 26628161536 9735 33554432000 4194304 4196468 140734570504080 139673876806384 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29404] ppid=29387 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/29389/task/29404/stat : 29404 (java) S 29387 29387 8644 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 97556733 26628161536 9735 33554432000 4194304 4196468 140734570504080 139673875753840 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29405] ppid=29387 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/29389/task/29405/stat : 29405 (java) S 29387 29387 8644 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 97556733 26628161536 9735 33554432000 4194304 4196468 140734570504080 139673874700784 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29406] ppid=29387 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/29389/task/29406/stat : 29406 (java) R 29387 29387 8644 0 -1 4202560 747 0 0 0 7 0 0 0 20 0 20 0 97556733 26628161536 9735 33554432000 4194304 4196468 140734570504080 139673873648240 139674665895691 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29407] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29407/stat : 29407 (java) S 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97556733 26628161536 9735 33554432000 4194304 4196468 140734570504080 139673872595424 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29408] ppid=29387 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29389/task/29408/stat : 29408 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556734 26628161536 9735 33554432000 4194304 4196468 140734570504080 139673871542960 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40324 KiB

[startup+0.310398 s]*
/proc/loadavg: 8.36 7.98 6.47 2/200 29408
/proc/meminfo: memFree=31547256/32770624 swapFree=67108860/67108860
[pid=29387] ppid=29384 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29387/stat : 29387 (xcsp3-exec) S 29384 29387 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97556727 9740288 346 33554432000 4194304 5098028 140731746444384 140731746442488 140369021256316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32342016 140731746448490 140731746448700 140731746448700 140731746451435 0
/proc/29387/statm: 2378 346 289 221 0 87 0
[pid=29389] ppid=29387 vsize=26004064 memory=46156 CPUtime=0.5 cores=0-7
/proc/29389/stat : 29389 (java) S 29387 29387 8644 0 -1 1077944320 9214 0 0 0 47 3 0 0 20 0 20 0 97556727 26628161536 11539 33554432000 4194304 4196468 140734570504080 140734570486624 139674687090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
/proc/29389/statm: 6501016 11539 3116 1 0 6488269 0
[pid=29389/tid=29390] ppid=29387 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/29389/task/29390/stat : 29390 (java) R 29387 29387 8644 0 -1 4202560 6164 0 0 0 27 2 0 0 20 0 20 0 97556728 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674691316656 139674687112349 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29391] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29391/stat : 29391 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674639710736 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29392] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29392/stat : 29392 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674638658192 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29393] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29393/stat : 29393 (java) S 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674637605136 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29394] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29394/stat : 29394 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674636552592 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29395] ppid=29387 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/29389/task/29395/stat : 29395 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674635500560 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29396] ppid=29387 vsize=26004064 memory=140149413475247 CPUtime=0 cores=0-7
/proc/29389/task/29396/stat : 29396 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674634448016 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29397] ppid=29387 vsize=26004064 memory=140149413477552 CPUtime=0 cores=0-7
/proc/29389/task/29397/stat : 29397 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674633394960 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29398] ppid=29387 vsize=26004064 memory=140149413479856 CPUtime=0 cores=0-7
/proc/29389/task/29398/stat : 29398 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674632342416 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29399] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29399/stat : 29399 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556730 26628161536 11539 33554432000 4194304 4196468 140734570504080 139674082937072 139674687101570 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29400] ppid=29387 vsize=26004064 memory=280298826966672 CPUtime=0 cores=0-7
/proc/29389/task/29400/stat : 29400 (java) S 29387 29387 8644 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 97556730 26628161536 11559 33554432000 4194304 4196468 140734570504080 139673879962784 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29401] ppid=29387 vsize=26004064 memory=280298826973584 CPUtime=0 cores=0-7
/proc/29389/task/29401/stat : 29401 (java) S 29387 29387 8644 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 97556731 26628161536 11559 33554432000 4194304 4196468 140734570504080 139673878909680 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29402] ppid=29387 vsize=26004064 memory=280298826914864 CPUtime=0 cores=0-7
/proc/29389/task/29402/stat : 29402 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556733 26628161536 11559 33554432000 4194304 4196468 140734570504080 139673877858256 139674687109019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29403] ppid=29387 vsize=26004064 memory=280298826987408 CPUtime=0.02 cores=0-7
/proc/29389/task/29403/stat : 29403 (java) S 29387 29387 8644 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 20 0 97556733 26628161536 11559 33554432000 4194304 4196468 140734570504080 139673876806384 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29404] ppid=29387 vsize=26004064 memory=280298826994320 CPUtime=0.02 cores=0-7
/proc/29389/task/29404/stat : 29404 (java) S 29387 29387 8644 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 20 0 97556733 26628161536 11559 33554432000 4194304 4196468 140734570504080 139673875753840 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29405] ppid=29387 vsize=26004064 memory=280298826992016 CPUtime=0.02 cores=0-7
/proc/29389/task/29405/stat : 29405 (java) S 29387 29387 8644 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 20 0 97556733 26628161536 11559 33554432000 4194304 4196468 140734570504080 139673874700784 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29406] ppid=29387 vsize=26004064 memory=280298827008176 CPUtime=0.11 cores=0-7
/proc/29389/task/29406/stat : 29406 (java) S 29387 29387 8644 0 -1 1077944384 856 0 0 0 11 0 0 0 20 0 20 0 97556733 26628161536 11559 33554432000 4194304 4196468 140734570504080 139673873648240 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29407] ppid=29387 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29407/stat : 29407 (java) S 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97556733 26628161536 11559 33554432000 4194304 4196468 140734570504080 139673872595424 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29408] ppid=29387 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/29389/task/29408/stat : 29408 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556734 26628161536 11559 33554432000 4194304 4196468 140734570504080 139673871542960 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47540 KiB

[startup+0.701045 s]
/proc/loadavg: 8.36 7.98 6.47 2/200 29408
/proc/meminfo: memFree=31532092/32770624 swapFree=67108860/67108860
[pid=29387] ppid=29384 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29387/stat : 29387 (xcsp3-exec) S 29384 29387 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97556727 9740288 346 33554432000 4194304 5098028 140731746444384 140731746442488 140369021256316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32342016 140731746448490 140731746448700 140731746448700 140731746451435 0
/proc/29387/statm: 2378 346 289 221 0 87 0
[pid=29389] ppid=29387 vsize=26006188 memory=79004 CPUtime=1.55 cores=0-7
/proc/29389/stat : 29389 (java) S 29387 29387 8644 0 -1 1077944320 12417 0 0 0 150 5 0 0 20 0 20 0 97556727 26630336512 19751 33554432000 4194304 4196468 140734570504080 140734570486624 139674687090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
/proc/29389/statm: 6501547 19751 3204 1 0 6488781 0
[pid=29389/tid=29390] ppid=29387 vsize=26006188 memory=280298827366064 CPUtime=0.66 cores=0-7
/proc/29389/task/29390/stat : 29390 (java) R 29387 29387 8644 0 -1 4202560 6733 0 0 0 64 2 0 0 20 0 20 0 97556728 26630336512 19751 33554432000 4194304 4196468 140734570504080 139674691325088 139674302564686 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29391] ppid=29387 vsize=26006188 memory=140149413684080 CPUtime=0 cores=0-7
/proc/29389/task/29391/stat : 29391 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 97556729 26630336512 19751 33554432000 4194304 4196468 140734570504080 139674639710736 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29392] ppid=29387 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/29389/task/29392/stat : 29392 (java) S 29387 29387 8644 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 97556729 26630336512 19751 33554432000 4194304 4196468 140734570504080 139674638658192 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29393] ppid=29387 vsize=26006188 memory=4612 CPUtime=0 cores=0-7
/proc/29389/task/29393/stat : 29393 (java) S 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 97556729 26630336512 19751 33554432000 4194304 4196468 140734570504080 139674637605136 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0

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

[pid=29389/tid=29504] ppid=29387 vsize=26538700 memory=1384 CPUtime=159.74 cores=0-7
/proc/29389/task/29504/stat : 29504 (java) R 29387 29387 8644 0 -1 4202560 5775 0 0 0 15971 3 0 0 20 0 28 0 97556871 27175628800 57914 33554432000 4194304 4196468 140734570504080 139673864028648 139674305399018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
Current children cumulated CPU time: 1287.44 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 233040 KiB

[startup+222.301 s]
/proc/loadavg: 8.32 8.30 6.93 9/207 29504
/proc/meminfo: memFree=31409476/32770624 swapFree=67108860/67108860
[pid=29387] ppid=29384 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29387/stat : 29387 (xcsp3-exec) S 29384 29387 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97556727 9740288 346 33554432000 4194304 5098028 140731746444384 140731746442488 140369021256316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32342016 140731746448490 140731746448700 140731746448700 140731746451435 0
/proc/29387/statm: 2378 346 289 221 0 87 0
[pid=29389] ppid=29387 vsize=26538700 memory=182428 CPUtime=1765.79 cores=0-7
/proc/29389/stat : 29389 (java) S 29387 29387 8644 0 -1 1077944320 95918 0 0 0 176515 64 0 0 20 0 28 0 97556727 27175628800 45607 33554432000 4194304 4196468 140734570504080 140734570486624 139674687090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
/proc/29389/statm: 6634675 45607 3279 1 0 6621909 0
[pid=29389/tid=29390] ppid=29387 vsize=26538700 memory=1384 CPUtime=1.11 cores=0-7
/proc/29389/task/29390/stat : 29390 (java) S 29387 29387 8644 0 -1 1077944384 7319 0 0 0 108 3 0 0 20 0 28 0 97556728 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674691331200 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29391] ppid=29387 vsize=26538700 memory=7090471565177286242 CPUtime=0.09 cores=0-7
/proc/29389/task/29391/stat : 29391 (java) S 29387 29387 8644 0 -1 1077944384 3040 0 0 0 7 2 0 0 20 0 28 0 97556729 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674639710736 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29392] ppid=29387 vsize=26538700 memory=7596001813290445394 CPUtime=0.1 cores=0-7
/proc/29389/task/29392/stat : 29392 (java) S 29387 29387 8644 0 -1 1077944384 2483 0 0 0 6 4 0 0 20 0 28 0 97556729 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674638658192 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29393] ppid=29387 vsize=26538700 memory=19228 CPUtime=0.09 cores=0-7
/proc/29389/task/29393/stat : 29393 (java) S 29387 29387 8644 0 -1 1077944384 2189 0 0 0 6 3 0 0 20 0 28 0 97556729 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674637605136 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29394] ppid=29387 vsize=26538700 memory=19258 CPUtime=0.1 cores=0-7
/proc/29389/task/29394/stat : 29394 (java) S 29387 29387 8644 0 -1 1077944384 2087 0 0 0 6 4 0 0 20 0 28 0 97556729 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674636552592 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29395] ppid=29387 vsize=26538700 memory=2196 CPUtime=0.1 cores=0-7
/proc/29389/task/29395/stat : 29395 (java) S 29387 29387 8644 0 -1 1077944384 1314 0 0 0 7 3 0 0 20 0 28 0 97556729 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674635500560 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29396] ppid=29387 vsize=26538700 memory=6764 CPUtime=0.07 cores=0-7
/proc/29389/task/29396/stat : 29396 (java) S 29387 29387 8644 0 -1 1077944384 1891 0 0 0 5 2 0 0 20 0 28 0 97556729 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674634448016 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29397] ppid=29387 vsize=26538700 memory=1384 CPUtime=0.09 cores=0-7
/proc/29389/task/29397/stat : 29397 (java) S 29387 29387 8644 0 -1 1077944384 2139 0 0 0 6 3 0 0 20 0 28 0 97556729 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674633394960 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29398] ppid=29387 vsize=26538700 memory=210636 CPUtime=0.09 cores=0-7
/proc/29389/task/29398/stat : 29398 (java) S 29387 29387 8644 0 -1 1077944384 2222 0 0 0 6 3 0 0 20 0 28 0 97556729 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674632342416 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29399] ppid=29387 vsize=26538700 memory=1440 CPUtime=0.06 cores=0-7
/proc/29389/task/29399/stat : 29399 (java) S 29387 29387 8644 0 -1 1077944384 6350 0 0 0 4 2 0 0 20 0 28 0 97556730 27175628800 45607 33554432000 4194304 4196468 140734570504080 139674082937072 139674687101570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29400] ppid=29387 vsize=26538700 memory=5792 CPUtime=0 cores=0-7
/proc/29389/task/29400/stat : 29400 (java) S 29387 29387 8644 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 97556730 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673879962784 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29401] ppid=29387 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/29389/task/29401/stat : 29401 (java) S 29387 29387 8644 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 97556731 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673878909680 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29402] ppid=29387 vsize=26538700 memory=186016 CPUtime=0 cores=0-7
/proc/29389/task/29402/stat : 29402 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97556733 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673877858256 139674687109019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29403] ppid=29387 vsize=26538700 memory=195252 CPUtime=2.03 cores=0-7
/proc/29389/task/29403/stat : 29403 (java) S 29387 29387 8644 0 -1 1077944384 8140 0 0 0 202 1 0 0 20 0 28 0 97556733 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673876806384 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29404] ppid=29387 vsize=26538700 memory=1384 CPUtime=1.91 cores=0-7
/proc/29389/task/29404/stat : 29404 (java) S 29387 29387 8644 0 -1 1077944384 9706 0 0 0 188 3 0 0 20 0 28 0 97556733 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673875753840 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29405] ppid=29387 vsize=26538700 memory=189096 CPUtime=2.03 cores=0-7
/proc/29389/task/29405/stat : 29405 (java) S 29387 29387 8644 0 -1 1077944384 8293 0 0 0 201 2 0 0 20 0 28 0 97556733 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673874700784 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29406] ppid=29387 vsize=26538700 memory=4100 CPUtime=0.71 cores=0-7
/proc/29389/task/29406/stat : 29406 (java) S 29387 29387 8644 0 -1 1077944384 11035 0 0 0 69 2 0 0 20 0 28 0 97556733 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673873648240 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29407] ppid=29387 vsize=26538700 memory=800 CPUtime=0 cores=0-7
/proc/29389/task/29407/stat : 29407 (java) S 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97556733 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673872595424 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29408] ppid=29387 vsize=26538700 memory=12068 CPUtime=0.04 cores=0-7
/proc/29389/task/29408/stat : 29408 (java) S 29387 29387 8644 0 -1 1077944384 966 0 0 0 0 4 0 0 20 0 28 0 97556734 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673871542960 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29497] ppid=29387 vsize=26538700 memory=1440 CPUtime=219.54 cores=0-7
/proc/29389/task/29497/stat : 29497 (java) R 29387 29387 8644 0 -1 4202560 1303 0 0 0 21954 0 0 0 20 0 28 0 97556869 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673859819120 139674306273840 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29498] ppid=29387 vsize=26538700 memory=1384 CPUtime=219.97 cores=0-7
/proc/29389/task/29498/stat : 29498 (java) R 29387 29387 8644 0 -1 4202560 1300 0 0 0 21997 0 0 0 20 0 28 0 97556869 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673856659192 139674305442794 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29499] ppid=29387 vsize=26538700 memory=193200 CPUtime=219.08 cores=0-7
/proc/29389/task/29499/stat : 29499 (java) R 29387 29387 8644 0 -1 4202560 2145 0 0 0 21908 0 0 0 20 0 28 0 97556869 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673862976120 139674305441454 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29500] ppid=29387 vsize=26538700 memory=1384 CPUtime=219.71 cores=0-7
/proc/29389/task/29500/stat : 29500 (java) R 29387 29387 8644 0 -1 4202560 2227 0 0 0 21970 1 0 0 20 0 28 0 97556869 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673861923176 139674306273854 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29501] ppid=29387 vsize=26538700 memory=1384 CPUtime=219.35 cores=0-7
/proc/29389/task/29501/stat : 29501 (java) R 29387 29387 8644 0 -1 4202560 5010 0 0 0 21930 5 0 0 20 0 28 0 97556869 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673857712504 139674307281277 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29502] ppid=29387 vsize=26538700 memory=183964 CPUtime=219.3 cores=0-7
/proc/29389/task/29502/stat : 29502 (java) R 29387 29387 8644 0 -1 4202560 1178 0 0 0 21929 1 0 0 20 0 28 0 97556869 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673858764480 139674305442617 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29503] ppid=29387 vsize=26538700 memory=3688 CPUtime=219.35 cores=0-7
/proc/29389/task/29503/stat : 29503 (java) R 29387 29387 8644 0 -1 4202560 1111 0 0 0 21934 1 0 0 20 0 28 0 97556869 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673860870128 139674305442407 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29504] ppid=29387 vsize=26538700 memory=1440 CPUtime=219.55 cores=0-7
/proc/29389/task/29504/stat : 29504 (java) R 29387 29387 8644 0 -1 4202560 9358 0 0 0 21952 3 0 0 20 0 28 0 97556871 27175628800 45607 33554432000 4194304 4196468 140734570504080 139673864027944 139674305442402 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
Current children cumulated CPU time: 1765.79 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 183812 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.19 8.27 6.96 9/207 29504
/proc/meminfo: memFree=31418932/32770624 swapFree=67108860/67108860
[pid=29387] ppid=29384 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/29387/stat : 29387 (xcsp3-exec) S 29384 29387 8644 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 97556727 9740288 346 33554432000 4194304 5098028 140731746444384 140731746442488 140369021256316 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32342016 140731746448490 140731746448700 140731746448700 140731746451435 0
/proc/29387/statm: 2378 346 289 221 0 87 0
[pid=29389] ppid=29387 vsize=26538700 memory=171152 CPUtime=2002.5 cores=0-7
/proc/29389/stat : 29389 (java) S 29387 29387 8644 0 -1 1077944320 96284 0 0 0 200184 66 0 0 20 0 28 0 97556727 27175628800 42788 33554432000 4194304 4196468 140734570504080 140734570486624 139674687090423 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
/proc/29389/statm: 6634675 42788 3279 1 0 6621909 0
[pid=29389/tid=29390] ppid=29387 vsize=26538700 memory=916 CPUtime=1.11 cores=0-7
/proc/29389/task/29390/stat : 29390 (java) S 29387 29387 8644 0 -1 1077944384 7319 0 0 0 108 3 0 0 20 0 28 0 97556728 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674691331200 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29391] ppid=29387 vsize=26538700 memory=4676 CPUtime=0.1 cores=0-7
/proc/29389/task/29391/stat : 29391 (java) S 29387 29387 8644 0 -1 1077944384 3042 0 0 0 8 2 0 0 20 0 28 0 97556729 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674639710736 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29392] ppid=29387 vsize=26538700 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/29389/task/29392/stat : 29392 (java) S 29387 29387 8644 0 -1 1077944384 2487 0 0 0 7 4 0 0 20 0 28 0 97556729 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674638658192 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29393] ppid=29387 vsize=26538700 memory=1384 CPUtime=0.1 cores=0-7
/proc/29389/task/29393/stat : 29393 (java) S 29387 29387 8644 0 -1 1077944384 2197 0 0 0 7 3 0 0 20 0 28 0 97556729 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674637605136 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29394] ppid=29387 vsize=26538700 memory=6791534058613427641 CPUtime=0.11 cores=0-7
/proc/29389/task/29394/stat : 29394 (java) S 29387 29387 8644 0 -1 1077944384 2095 0 0 0 7 4 0 0 20 0 28 0 97556729 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674636552592 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29395] ppid=29387 vsize=26538700 memory=171152 CPUtime=0.11 cores=0-7
/proc/29389/task/29395/stat : 29395 (java) S 29387 29387 8644 0 -1 1077944384 1320 0 0 0 7 4 0 0 20 0 28 0 97556729 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674635500560 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29396] ppid=29387 vsize=26538700 memory=644 CPUtime=0.08 cores=0-7
/proc/29389/task/29396/stat : 29396 (java) S 29387 29387 8644 0 -1 1077944384 1898 0 0 0 6 2 0 0 20 0 28 0 97556729 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674634448016 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29397] ppid=29387 vsize=26538700 memory=960 CPUtime=0.1 cores=0-7
/proc/29389/task/29397/stat : 29397 (java) S 29387 29387 8644 0 -1 1077944384 2146 0 0 0 7 3 0 0 20 0 28 0 97556729 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674633394960 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29398] ppid=29387 vsize=26538700 memory=4388 CPUtime=0.1 cores=0-7
/proc/29389/task/29398/stat : 29398 (java) S 29387 29387 8644 0 -1 1077944384 2224 0 0 0 7 3 0 0 20 0 28 0 97556729 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674632342416 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29399] ppid=29387 vsize=26538700 memory=1236 CPUtime=0.08 cores=0-7
/proc/29389/task/29399/stat : 29399 (java) S 29387 29387 8644 0 -1 1077944384 6366 0 0 0 5 3 0 0 20 0 28 0 97556730 27175628800 42788 33554432000 4194304 4196468 140734570504080 139674082937072 139674687101570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29400] ppid=29387 vsize=26538700 memory=932 CPUtime=0 cores=0-7
/proc/29389/task/29400/stat : 29400 (java) S 29387 29387 8644 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 97556730 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673879962784 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29401] ppid=29387 vsize=26538700 memory=1568 CPUtime=0 cores=0-7
/proc/29389/task/29401/stat : 29401 (java) S 29387 29387 8644 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 97556731 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673878909680 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29402] ppid=29387 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/29389/task/29402/stat : 29402 (java) S 29387 29387 8644 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 97556733 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673877858256 139674687109019 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29403] ppid=29387 vsize=26538700 memory=6791534058613427641 CPUtime=2.03 cores=0-7
/proc/29389/task/29403/stat : 29403 (java) S 29387 29387 8644 0 -1 1077944384 8140 0 0 0 202 1 0 0 20 0 28 0 97556733 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673876806384 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29404] ppid=29387 vsize=26538700 memory=1236 CPUtime=1.91 cores=0-7
/proc/29389/task/29404/stat : 29404 (java) S 29387 29387 8644 0 -1 1077944384 9706 0 0 0 188 3 0 0 20 0 28 0 97556733 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673875753840 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29405] ppid=29387 vsize=26538700 memory=932 CPUtime=2.03 cores=0-7
/proc/29389/task/29405/stat : 29405 (java) S 29387 29387 8644 0 -1 1077944384 8293 0 0 0 201 2 0 0 20 0 28 0 97556733 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673874700784 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29406] ppid=29387 vsize=26538700 memory=1568 CPUtime=0.71 cores=0-7
/proc/29389/task/29406/stat : 29406 (java) S 29387 29387 8644 0 -1 1077944384 11294 0 0 0 69 2 0 0 20 0 28 0 97556733 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673873648240 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29407] ppid=29387 vsize=26538700 memory=2240 CPUtime=0 cores=0-7
/proc/29389/task/29407/stat : 29407 (java) S 29387 29387 8644 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 97556733 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673872595424 139674687100629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29408] ppid=29387 vsize=26538700 memory=4124 CPUtime=0.04 cores=0-7
/proc/29389/task/29408/stat : 29408 (java) S 29387 29387 8644 0 -1 1077944384 968 0 0 0 0 4 0 0 20 0 28 0 97556734 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673871542960 139674687101570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29497] ppid=29387 vsize=26538700 memory=2196 CPUtime=248.96 cores=0-7
/proc/29389/task/29497/stat : 29497 (java) R 29387 29387 8644 0 -1 4202560 1307 0 0 0 24896 0 0 0 20 0 28 0 97556869 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673859815952 139674306236208 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29498] ppid=29387 vsize=26538700 memory=6764 CPUtime=249.64 cores=0-7
/proc/29389/task/29498/stat : 29498 (java) R 29387 29387 8644 0 -1 4202560 1300 0 0 0 24964 0 0 0 20 0 28 0 97556869 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673856659192 139674305442895 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29499] ppid=29387 vsize=26538700 memory=840 CPUtime=248.66 cores=0-7
/proc/29389/task/29499/stat : 29499 (java) R 29387 29387 8644 0 -1 4202560 2148 0 0 0 24866 0 0 0 20 0 28 0 97556869 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673862978928 139674305445290 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29500] ppid=29387 vsize=26538700 memory=1692 CPUtime=249.27 cores=0-7
/proc/29389/task/29500/stat : 29500 (java) R 29387 29387 8644 0 -1 4202560 2230 0 0 0 24925 2 0 0 20 0 28 0 97556869 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673861923304 139674306274653 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29501] ppid=29387 vsize=26538700 memory=916 CPUtime=248.78 cores=0-7
/proc/29389/task/29501/stat : 29501 (java) R 29387 29387 8644 0 -1 4202560 5020 0 0 0 24873 5 0 0 20 0 28 0 97556869 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673857712504 139674305442371 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29502] ppid=29387 vsize=26538700 memory=4676 CPUtime=248.91 cores=0-7
/proc/29389/task/29502/stat : 29502 (java) R 29387 29387 8644 0 -1 4202560 1181 0 0 0 24890 1 0 0 20 0 28 0 97556869 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673858765168 139674305444909 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29503] ppid=29387 vsize=26538700 memory=4096 CPUtime=249.02 cores=0-7
/proc/29389/task/29503/stat : 29503 (java) R 29387 29387 8644 0 -1 4202560 1113 0 0 0 24901 1 0 0 20 0 28 0 97556869 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673860869992 139674305442425 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
[pid=29389/tid=29504] ppid=29387 vsize=26538700 memory=1156 CPUtime=249.22 cores=0-7
/proc/29389/task/29504/stat : 29504 (java) R 29387 29387 8644 0 -1 4202560 9378 0 0 0 24919 3 0 0 20 0 28 0 97556871 27175628800 42788 33554432000 4194304 4196468 140734570504080 139673864027424 139674305442668 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 29220864 140734570509464 140734570509640 140734570509640 140734570512335 0
Current children cumulated CPU time: 2002.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 172536 KiB

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

[startup+252.041 s]
# the end of solver process 29387 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000933 s, system=0.000933 s

[startup+252.096 s]
# the end of solver process 29389 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2002.47 s, system=0.671358 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

Child status: 143
Real time (s): 252.096
CPU time (s): 2003.14
CPU user time (s): 2002.47
CPU system time (s): 0.671358
CPU usage (%): 794.595
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 263224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2002.47
system time used= 0.671358
maximum resident set size= 282336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13687
involuntary context switches= 21173


# summary of solver processes directly reported to runsolver:
#   pid: 29387,29389
#   total CPU time (s): 2003.14
#   total CPU user time (s): 2002.47
#   total CPU system time (s): 0.671358

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.46442 second user time and 2.51714 second system time

The end

Launcher Data

Begin job on node113 at 2017-08-13 19:03:52
IDJOB=4271813
IDBENCH=135727
IDSOLVER=2663
FILE ID=node113/4271813-1502644691
RUNJOBID= node113-1502637253-8671
PBS_JOBID= 20628327
Free space on /tmp= 61788 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n45/TravellingSalesman-45-30-09.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-4271813-1502644691/watcher-4271813-1502644691 -o /tmp/evaluation-result-4271813-1502644691/solver-4271813-1502644691 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1502637253-8671 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 1016272395 HOME/instance-4271813-1502644691.xml

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

MD5SUM BENCH= 8b7c2ee38e8603aaa2c4683b1141c0f0
RANDOM SEED=1016272395

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:        31581940 kB
MemAvailable:   31988280 kB
Buffers:          123344 kB
Cached:           569652 kB
SwapCached:            0 kB
Active:           571884 kB
Inactive:         175788 kB
Active(anon):       4928 kB
Inactive(anon):    77700 kB
Active(file):     566956 kB
Inactive(file):    98088 kB
Unevictable:        6572 kB
Mlocked:            6572 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7884 kB
Writeback:             0 kB
AnonPages:         85280 kB
Mapped:            43544 kB
Shmem:             25224 kB
Slab:             140080 kB
SReclaimable:     114260 kB
SUnreclaim:        25820 kB
KernelStack:        3536 kB
PageTables:         5204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     324268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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= 61780 MiB
End job on node113 at 2017-08-13 19:08:05