Trace number 4280629

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)SAT (TO)104 20072.4 2520.1101

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n20/
TravellingSalesman-20-30-18.xml
MD5SUM42f1d058d9b6109346b78f68a037a5c1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark104
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints21
Number of domains2
Minimum domain size20
Maximum domain size29
Distribution of domain sizes[{"size":20,"count":20},{"size":29,"count":20}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":20}]
Minimum constraint arity3
Maximum constraint arity20
Distribution of constraint arities[{"arity":3,"count":20},{"arity":20,"count":1}]
Number of extensional constraints20
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":20},{"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-4280629-1503159696.xml"  -tl '20160s' -p 8 -x 0
0.12/0.14	c [HOME/instance-4280629-1503159696.xml, -tl, 20160s, -p, 8, -x, 0]
0.12/0.20	c 8 solvers in parallel
0.33/0.26	c parse instance...
1.04/0.56	c solve instance...
1.60/0.67	o 198 
1.60/0.68	o 123 
1.60/0.70	o 111 
2.11/0.71	o 110 
2.11/0.71	o 108 
2.11/0.73	o 107 
2.89/0.83	o 106 
5391.82/677.28	o 105 
8635.57/1084.46	o 104 
20071.66/2520.09	s SATISFIABLE
20071.66/2520.09	v <instantiation>
20071.66/2520.09	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] 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] </list>
20071.66/2520.09	v 	<values>0 1 2 8 10 16 17 19 18 14 11 9 7 5 3 6 12 15 13 4 7 6 10 5 8 2 1 1 6 4 4 3 3 1 5 9 8 3 11 7 </values>
20071.66/2520.09	v </instantiation>
20071.66/2520.09	c Unexpected resolution interruption!

Verifier Data 

OK	104

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4280629-1503159696/watcher-4280629-1503159696 -o /tmp/evaluation-result-4280629-1503159696/solver-4280629-1503159696 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503158836-32366 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1642270637 HOME/instance-4280629-1503159696.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=32383, runsolver pid=32380
Current StackSize limit: 8192 KiB


[startup+0.100127 s]*
/proc/loadavg: 8.00 8.13 8.21 2/199 32404
/proc/meminfo: memFree=21743428/32770624 swapFree=67108860/67108860
[pid=32383] ppid=32380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32383/stat : 32383 (xcsp3-exec) S 32380 32383 32339 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149057252 9740288 346 33554432000 4194304 5098028 140725011859904 140725011858008 139946369938044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28127232 140725011862628 140725011862839 140725011862839 140725011865579 0
/proc/32383/statm: 2378 346 289 221 0 87 0
[pid=32385] ppid=32383 vsize=25999808 memory=27196 CPUtime=0.12 cores=0-7
/proc/32385/stat : 32385 (java) S 32383 32383 32339 0 -1 1077944320 5226 0 0 0 11 1 0 0 20 0 20 0 149057252 26623803392 6799 33554432000 4194304 4196468 140729214854976 140729214837520 139735570747127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
/proc/32385/statm: 6499952 6799 2846 1 0 6488269 0
[pid=32385/tid=32386] ppid=32383 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/32385/task/32386/stat : 32386 (java) R 32383 32383 32339 0 -1 4202560 3234 0 0 0 8 0 0 0 20 0 20 0 149057252 26623803392 6799 33554432000 4194304 4196468 140729214854976 139735574980400 139735570769053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32387] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32387/stat : 32387 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057253 26623803392 6799 33554432000 4194304 4196468 140729214854976 139735493327888 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32388] ppid=32383 vsize=25999808 memory=140019325687424 CPUtime=0 cores=0-7
/proc/32385/task/32388/stat : 32388 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26623803392 6799 33554432000 4194304 4196468 140729214854976 139735492275344 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32389] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32389/stat : 32389 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057253 26623803392 6799 33554432000 4194304 4196468 140729214854976 139735491222288 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32390] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32390/stat : 32390 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26623803392 6799 33554432000 4194304 4196468 140729214854976 139735490169744 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32391] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32391/stat : 32391 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26623803392 6799 33554432000 4194304 4196468 140729214854976 139735489116688 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32392] ppid=32383 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32385/task/32392/stat : 32392 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26623803392 6799 33554432000 4194304 4196468 140729214854976 139735488064144 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32393] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32393/stat : 32393 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26623803392 6799 33554432000 4194304 4196468 140729214854976 139735487011088 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32394] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32394/stat : 32394 (java) S 32383 32383 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149057253 26623803392 6799 33554432000 4194304 4196468 140729214854976 139735122074000 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32395] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32395/stat : 32395 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057255 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734245718768 139735570758274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32396] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32396/stat : 32396 (java) S 32383 32383 32339 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149057255 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734244664992 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32397] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32397/stat : 32397 (java) S 32383 32383 32339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149057255 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734243611888 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32398] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32398/stat : 32398 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057258 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734242560464 139735570765723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32399] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32399/stat : 32399 (java) S 32383 32383 32339 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 149057258 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734241507568 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32400] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32400/stat : 32400 (java) S 32383 32383 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149057258 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734240455024 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32401] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32401/stat : 32401 (java) S 32383 32383 32339 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 149057258 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734239401968 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32402] ppid=32383 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/32385/task/32402/stat : 32402 (java) S 32383 32383 32339 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 20 0 149057258 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734238349424 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32403] ppid=32383 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32403/stat : 32403 (java) S 32383 32383 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149057258 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734237297632 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32404] ppid=32383 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/32385/task/32404/stat : 32404 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057258 26623803392 6799 33554432000 4194304 4196468 140729214854976 139734236245168 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28580 KiB

[startup+0.210087 s]*
/proc/loadavg: 8.00 8.13 8.21 2/199 32404
/proc/meminfo: memFree=21733228/32770624 swapFree=67108860/67108860
[pid=32383] ppid=32380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32383/stat : 32383 (xcsp3-exec) S 32380 32383 32339 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149057252 9740288 346 33554432000 4194304 5098028 140725011859904 140725011858008 139946369938044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28127232 140725011862628 140725011862839 140725011862839 140725011865579 0
/proc/32383/statm: 2378 346 289 221 0 87 0
[pid=32385] ppid=32383 vsize=26004064 memory=38824 CPUtime=0.33 cores=0-7
/proc/32385/stat : 32385 (java) S 32383 32383 32339 0 -1 1077944320 7810 0 0 0 31 2 0 0 20 0 20 0 149057252 26628161536 9706 33554432000 4194304 4196468 140729214854976 140729214837520 139735570747127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
/proc/32385/statm: 6501016 9706 3015 1 0 6488269 0
[pid=32385/tid=32386] ppid=32383 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/32385/task/32386/stat : 32386 (java) R 32383 32383 32339 0 -1 4202560 4949 0 0 0 18 1 0 0 20 0 20 0 149057252 26628161536 9706 33554432000 4194304 4196468 140729214854976 139735574968120 139735554827614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32387] ppid=32383 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/32385/task/32387/stat : 32387 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057253 26628161536 9706 33554432000 4194304 4196468 140729214854976 139735493327888 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32388] ppid=32383 vsize=26004064 memory=140019326385133 CPUtime=0 cores=0-7
/proc/32385/task/32388/stat : 32388 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628161536 9706 33554432000 4194304 4196468 140729214854976 139735492275344 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32389] ppid=32383 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32385/task/32389/stat : 32389 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057253 26628161536 9706 33554432000 4194304 4196468 140729214854976 139735491222288 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32390] ppid=32383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32390/stat : 32390 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628161536 9706 33554432000 4194304 4196468 140729214854976 139735490169744 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32391] ppid=32383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32391/stat : 32391 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628161536 9706 33554432000 4194304 4196468 140729214854976 139735489116688 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32392] ppid=32383 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32385/task/32392/stat : 32392 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628161536 9706 33554432000 4194304 4196468 140729214854976 139735488064144 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32393] ppid=32383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32393/stat : 32393 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628161536 9706 33554432000 4194304 4196468 140729214854976 139735487011088 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32394] ppid=32383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32394/stat : 32394 (java) S 32383 32383 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149057253 26628161536 9706 33554432000 4194304 4196468 140729214854976 139735122074000 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32395] ppid=32383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32395/stat : 32395 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057255 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734245718768 139735570758274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32396] ppid=32383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32396/stat : 32396 (java) S 32383 32383 32339 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149057255 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734244664992 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32397] ppid=32383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32397/stat : 32397 (java) S 32383 32383 32339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149057255 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734243611888 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32398] ppid=32383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32398/stat : 32398 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057258 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734242560464 139735570765723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32399] ppid=32383 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/32385/task/32399/stat : 32399 (java) S 32383 32383 32339 0 -1 1077944384 444 0 0 0 1 0 0 0 20 0 20 0 149057258 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734241507568 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32400] ppid=32383 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/32385/task/32400/stat : 32400 (java) S 32383 32383 32339 0 -1 1077944384 206 0 0 0 2 0 0 0 20 0 20 0 149057258 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734240455024 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32401] ppid=32383 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32385/task/32401/stat : 32401 (java) S 32383 32383 32339 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 20 0 149057258 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734239401968 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32402] ppid=32383 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/32385/task/32402/stat : 32402 (java) R 32383 32383 32339 0 -1 4202560 724 0 0 0 7 0 0 0 20 0 20 0 149057258 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734238349424 139735549712776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32403] ppid=32383 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32403/stat : 32403 (java) S 32383 32383 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149057258 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734237297632 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32404] ppid=32383 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/32385/task/32404/stat : 32404 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057258 26628161536 9706 33554432000 4194304 4196468 140729214854976 139734236245168 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40208 KiB

[startup+0.309497 s]*
/proc/loadavg: 8.00 8.13 8.21 3/199 32404
/proc/meminfo: memFree=21727276/32770624 swapFree=67108860/67108860
[pid=32383] ppid=32380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32383/stat : 32383 (xcsp3-exec) S 32380 32383 32339 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149057252 9740288 346 33554432000 4194304 5098028 140725011859904 140725011858008 139946369938044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28127232 140725011862628 140725011862839 140725011862839 140725011865579 0
/proc/32383/statm: 2378 346 289 221 0 87 0
[pid=32385] ppid=32383 vsize=26004140 memory=45828 CPUtime=0.49 cores=0-7
/proc/32385/stat : 32385 (java) S 32383 32383 32339 0 -1 1077944320 8718 0 0 0 45 4 0 0 20 0 20 0 149057252 26628239360 11457 33554432000 4194304 4196468 140729214854976 140729214837520 139735570747127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
/proc/32385/statm: 6501035 11457 3068 1 0 6488269 0
[pid=32385/tid=32386] ppid=32383 vsize=26004140 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/32385/task/32386/stat : 32386 (java) R 32383 32383 32339 0 -1 4202560 5719 0 0 0 27 2 0 0 20 0 20 0 149057252 26628239360 11457 33554432000 4194304 4196468 140729214854976 139735574979488 139735563425141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32387] ppid=32383 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32387/stat : 32387 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057253 26628239360 11457 33554432000 4194304 4196468 140729214854976 139735493327888 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32388] ppid=32383 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32388/stat : 32388 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628239360 11457 33554432000 4194304 4196468 140729214854976 139735492275344 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32389] ppid=32383 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32389/stat : 32389 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057253 26628239360 11457 33554432000 4194304 4196468 140729214854976 139735491222288 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32390] ppid=32383 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32390/stat : 32390 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628239360 11457 33554432000 4194304 4196468 140729214854976 139735490169744 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32391] ppid=32383 vsize=26004140 memory=2244 CPUtime=0 cores=0-7
/proc/32385/task/32391/stat : 32391 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628239360 11457 33554432000 4194304 4196468 140729214854976 139735489116688 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32392] ppid=32383 vsize=26004140 memory=140019222279087 CPUtime=0 cores=0-7
/proc/32385/task/32392/stat : 32392 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628239360 11457 33554432000 4194304 4196468 140729214854976 139735488064144 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32393] ppid=32383 vsize=26004140 memory=140019222281392 CPUtime=0 cores=0-7
/proc/32385/task/32393/stat : 32393 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057253 26628239360 11457 33554432000 4194304 4196468 140729214854976 139735487011088 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32394] ppid=32383 vsize=26004140 memory=140019222283696 CPUtime=0 cores=0-7
/proc/32385/task/32394/stat : 32394 (java) S 32383 32383 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149057253 26628239360 11457 33554432000 4194304 4196468 140729214854976 139735122074000 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32395] ppid=32383 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32395/stat : 32395 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 149057255 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734245718768 139735570758274 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32396] ppid=32383 vsize=26004140 memory=280038444574352 CPUtime=0 cores=0-7
/proc/32385/task/32396/stat : 32396 (java) S 32383 32383 32339 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 149057255 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734244664992 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32397] ppid=32383 vsize=26004140 memory=280038444581264 CPUtime=0 cores=0-7
/proc/32385/task/32397/stat : 32397 (java) S 32383 32383 32339 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 149057255 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734243611888 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32398] ppid=32383 vsize=26004140 memory=280038444522544 CPUtime=0 cores=0-7
/proc/32385/task/32398/stat : 32398 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057258 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734242560464 139735570765723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32399] ppid=32383 vsize=26004140 memory=280038444595088 CPUtime=0.02 cores=0-7
/proc/32385/task/32399/stat : 32399 (java) S 32383 32383 32339 0 -1 1077944384 450 0 0 0 2 0 0 0 20 0 20 0 149057258 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734241507568 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32400] ppid=32383 vsize=26004140 memory=280038444602000 CPUtime=0.03 cores=0-7
/proc/32385/task/32400/stat : 32400 (java) S 32383 32383 32339 0 -1 1077944384 245 0 0 0 3 0 0 0 20 0 20 0 149057258 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734240455024 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32401] ppid=32383 vsize=26004140 memory=280038444599696 CPUtime=0.01 cores=0-7
/proc/32385/task/32401/stat : 32401 (java) S 32383 32383 32339 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 20 0 149057258 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734239401968 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32402] ppid=32383 vsize=26004140 memory=280038444615856 CPUtime=0.11 cores=0-7
/proc/32385/task/32402/stat : 32402 (java) R 32383 32383 32339 0 -1 4202560 783 0 0 0 11 0 0 0 20 0 20 0 149057258 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734238349424 139735570768474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32403] ppid=32383 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32403/stat : 32403 (java) S 32383 32383 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 149057258 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734237297632 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32404] ppid=32383 vsize=26004140 memory=-1 CPUtime=0 cores=0-7
/proc/32385/task/32404/stat : 32404 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 149057258 26628239360 11457 33554432000 4194304 4196468 140729214854976 139734236245168 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013652 KiB
Current children cumulated memory: 47212 KiB

[startup+0.701957 s]
/proc/loadavg: 8.00 8.13 8.21 3/199 32404
/proc/meminfo: memFree=21711892/32770624 swapFree=67108860/67108860
[pid=32383] ppid=32380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32383/stat : 32383 (xcsp3-exec) S 32380 32383 32339 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149057252 9740288 346 33554432000 4194304 5098028 140725011859904 140725011858008 139946369938044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28127232 140725011862628 140725011862839 140725011862839 140725011865579 0
/proc/32383/statm: 2378 346 289 221 0 87 0
[pid=32385] ppid=32383 vsize=26538700 memory=127812 CPUtime=2.11 cores=0-7
/proc/32385/stat : 32385 (java) S 32383 32383 32339 0 -1 1077944320 12883 0 0 0 204 7 0 0 20 0 23 0 149057252 27175628800 31953 33554432000 4194304 4196468 140729214854976 140729214837520 139735570747127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
/proc/32385/statm: 6634675 31953 3213 1 0 6621909 0
[pid=32385/tid=32386] ppid=32383 vsize=26538700 memory=280038444973744 CPUtime=0.54 cores=0-7
/proc/32385/task/32386/stat : 32386 (java) S 32383 32383 32339 0 -1 1077944384 6374 0 0 0 51 3 0 0 20 0 23 0 149057252 27175628800 31953 33554432000 4194304 4196468 140729214854976 139735574987904 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32387] ppid=32383 vsize=26538700 memory=140019222487920 CPUtime=0 cores=0-7
/proc/32385/task/32387/stat : 32387 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 149057253 27175628800 31953 33554432000 4194304 4196468 140729214854976 139735493327888 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32388] ppid=32383 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/32385/task/32388/stat : 32388 (java) S 32383 32383 32339 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 23 0 149057253 27175628800 31953 33554432000 4194304 4196468 140729214854976 139735492275344 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32389] ppid=32383 vsize=26538700 memory=1008 CPUtime=0 cores=0-7
/proc/32385/task/32389/stat : 32389 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 149057253 27175628800 31953 33554432000 4194304 4196468 140729214854976 139735491222288 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0

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

[pid=32385/tid=32502] ppid=32383 vsize=26538700 memory=792 CPUtime=1352.88 cores=0-7
/proc/32385/task/32502/stat : 32502 (java) R 32383 32383 32339 0 -1 4202560 15121 0 0 0 135281 7 0 0 20 0 28 0 149165698 27175628800 124268 33554432000 4194304 4196468 140729214854976 139734220865664 139735171283851 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
Current children cumulated CPU time: 19452.6 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 498456 KiB

[startup+2502.3 s]
/proc/loadavg: 9.32 8.68 8.41 9/207 32517
/proc/meminfo: memFree=21457496/32770624 swapFree=67108860/67108860
[pid=32383] ppid=32380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32383/stat : 32383 (xcsp3-exec) S 32380 32383 32339 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149057252 9740288 346 33554432000 4194304 5098028 140725011859904 140725011858008 139946369938044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28127232 140725011862628 140725011862839 140725011862839 140725011865579 0
/proc/32383/statm: 2378 346 289 221 0 87 0
[pid=32385] ppid=32383 vsize=26538700 memory=318152 CPUtime=19930.5 cores=0-7
/proc/32385/stat : 32385 (java) S 32383 32383 32339 0 -1 1077944320 289821 0 0 0 1992846 201 0 0 20 0 28 0 149057252 27175628800 79538 33554432000 4194304 4196468 140729214854976 140729214837520 139735570747127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
/proc/32385/statm: 6634675 79538 3281 1 0 6621909 0
[pid=32385/tid=32386] ppid=32383 vsize=26538700 memory=318152 CPUtime=0.55 cores=0-7
/proc/32385/task/32386/stat : 32386 (java) S 32383 32383 32339 0 -1 1077944384 6547 0 0 0 52 3 0 0 20 0 28 0 149057252 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735574987904 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32387] ppid=32383 vsize=26538700 memory=317812 CPUtime=1.98 cores=0-7
/proc/32385/task/32387/stat : 32387 (java) S 32383 32383 32339 0 -1 1077944384 8208 0 0 0 185 13 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735493327888 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32388] ppid=32383 vsize=26538700 memory=317812 CPUtime=1.99 cores=0-7
/proc/32385/task/32388/stat : 32388 (java) S 32383 32383 32339 0 -1 1077944384 12890 0 0 0 184 15 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735492275344 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32389] ppid=32383 vsize=26538700 memory=318152 CPUtime=1.97 cores=0-7
/proc/32385/task/32389/stat : 32389 (java) S 32383 32383 32339 0 -1 1077944384 10346 0 0 0 184 13 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735491222288 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32390] ppid=32383 vsize=26538700 memory=1384 CPUtime=1.99 cores=0-7
/proc/32385/task/32390/stat : 32390 (java) S 32383 32383 32339 0 -1 1077944384 10472 0 0 0 185 14 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735490169744 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32391] ppid=32383 vsize=26538700 memory=318152 CPUtime=1.97 cores=0-7
/proc/32385/task/32391/stat : 32391 (java) S 32383 32383 32339 0 -1 1077944384 10401 0 0 0 183 14 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735489116688 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32392] ppid=32383 vsize=26538700 memory=318152 CPUtime=1.99 cores=0-7
/proc/32385/task/32392/stat : 32392 (java) S 32383 32383 32339 0 -1 1077944384 9734 0 0 0 185 14 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735488064144 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32393] ppid=32383 vsize=26538700 memory=0 CPUtime=1.99 cores=0-7
/proc/32385/task/32393/stat : 32393 (java) S 32383 32383 32339 0 -1 1077944384 10330 0 0 0 185 14 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735487011088 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32394] ppid=32383 vsize=26538700 memory=56 CPUtime=1.98 cores=0-7
/proc/32385/task/32394/stat : 32394 (java) S 32383 32383 32339 0 -1 1077944384 10959 0 0 0 185 13 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735122074000 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32395] ppid=32383 vsize=26538700 memory=56 CPUtime=2.01 cores=0-7
/proc/32385/task/32395/stat : 32395 (java) S 32383 32383 32339 0 -1 1077944384 29847 0 0 0 172 29 0 0 20 0 28 0 149057255 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734245718768 139735570758274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32396] ppid=32383 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/32385/task/32396/stat : 32396 (java) S 32383 32383 32339 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 149057255 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734244665056 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32397] ppid=32383 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/32385/task/32397/stat : 32397 (java) S 32383 32383 32339 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 149057255 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734243611904 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32398] ppid=32383 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/32385/task/32398/stat : 32398 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734242560464 139735570765723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32399] ppid=32383 vsize=26538700 memory=1384 CPUtime=1.98 cores=0-7
/proc/32385/task/32399/stat : 32399 (java) S 32383 32383 32339 0 -1 1077944384 16421 0 0 0 195 3 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734241507568 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32400] ppid=32383 vsize=26538700 memory=2428 CPUtime=1.67 cores=0-7
/proc/32385/task/32400/stat : 32400 (java) S 32383 32383 32339 0 -1 1077944384 14674 0 0 0 165 2 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734240455024 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32401] ppid=32383 vsize=26538700 memory=1732 CPUtime=1.56 cores=0-7
/proc/32385/task/32401/stat : 32401 (java) S 32383 32383 32339 0 -1 1077944384 10071 0 0 0 155 1 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734239401968 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32402] ppid=32383 vsize=26538700 memory=4052 CPUtime=0.64 cores=0-7
/proc/32385/task/32402/stat : 32402 (java) S 32383 32383 32339 0 -1 1077944384 7405 0 0 0 63 1 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734238349424 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32403] ppid=32383 vsize=26538700 memory=22848 CPUtime=0 cores=0-7
/proc/32385/task/32403/stat : 32403 (java) S 32383 32383 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734237297632 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32404] ppid=32383 vsize=26538700 memory=1732 CPUtime=0.3 cores=0-7
/proc/32385/task/32404/stat : 32404 (java) S 32383 32383 32339 0 -1 1077944384 2570 0 0 0 0 30 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734236245168 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32495] ppid=32383 vsize=26538700 memory=1944 CPUtime=1407.52 cores=0-7
/proc/32385/task/32495/stat : 32495 (java) R 32383 32383 32339 0 -1 4202560 2228 0 0 0 140751 1 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734221917320 139735171283851 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32496] ppid=32383 vsize=26538700 memory=41540 CPUtime=1408.84 cores=0-7
/proc/32385/task/32496/stat : 32496 (java) R 32383 32383 32339 0 -1 4202560 2902 0 0 0 140882 2 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734222971240 139735171283191 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32497] ppid=32383 vsize=26538700 memory=1292 CPUtime=1408.71 cores=0-7
/proc/32385/task/32497/stat : 32497 (java) R 32383 32383 32339 0 -1 4202560 3100 0 0 0 140870 1 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734226128512 139735171283924 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32498] ppid=32383 vsize=26538700 memory=1384 CPUtime=1411.48 cores=0-7
/proc/32385/task/32498/stat : 32498 (java) R 32383 32383 32339 0 -1 4202560 12846 0 0 0 141139 9 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734227181536 139735171283860 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32499] ppid=32383 vsize=26538700 memory=318152 CPUtime=1411.63 cores=0-7
/proc/32385/task/32499/stat : 32499 (java) R 32383 32383 32339 0 -1 4202560 5983 0 0 0 141160 3 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734225075808 139735172570578 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32500] ppid=32383 vsize=26538700 memory=4140 CPUtime=1408.26 cores=0-7
/proc/32385/task/32500/stat : 32500 (java) R 32383 32383 32339 0 -1 4202560 2302 0 0 0 140825 1 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734224023400 139735171283257 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32501] ppid=32383 vsize=26538700 memory=41540 CPUtime=1412.33 cores=0-7
/proc/32385/task/32501/stat : 32501 (java) R 32383 32383 32339 0 -1 4202560 6339 0 0 0 141232 1 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734228234728 139735171283036 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32502] ppid=32383 vsize=26538700 memory=1384 CPUtime=1412.77 cores=0-7
/proc/32385/task/32502/stat : 32502 (java) R 32383 32383 32339 0 -1 4202560 15338 0 0 0 141270 7 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734220868672 139735171283804 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
Current children cumulated CPU time: 19930.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 319536 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 9.31 8.71 8.42 9/207 32517
/proc/meminfo: memFree=21457660/32770624 swapFree=67108860/67108860
[pid=32383] ppid=32380 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/32383/stat : 32383 (xcsp3-exec) S 32380 32383 32339 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 149057252 9740288 346 33554432000 4194304 5098028 140725011859904 140725011858008 139946369938044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28127232 140725011862628 140725011862839 140725011862839 140725011865579 0
/proc/32383/statm: 2378 346 289 221 0 87 0
[pid=32385] ppid=32383 vsize=26538700 memory=318152 CPUtime=20071.7 cores=0-7
/proc/32385/stat : 32385 (java) S 32383 32383 32339 0 -1 1077944320 290001 0 0 0 2006964 202 0 0 20 0 28 0 149057252 27175628800 79538 33554432000 4194304 4196468 140729214854976 140729214837520 139735570747127 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
/proc/32385/statm: 6634675 79538 3281 1 0 6621909 0
[pid=32385/tid=32386] ppid=32383 vsize=26538700 memory=1008 CPUtime=0.55 cores=0-7
/proc/32385/task/32386/stat : 32386 (java) S 32383 32383 32339 0 -1 1077944384 6547 0 0 0 52 3 0 0 20 0 28 0 149057252 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735574987904 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32387] ppid=32383 vsize=26538700 memory=4126316290023845779 CPUtime=1.98 cores=0-7
/proc/32385/task/32387/stat : 32387 (java) S 32383 32383 32339 0 -1 1077944384 8211 0 0 0 185 13 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735493327888 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32388] ppid=32383 vsize=26538700 memory=1792 CPUtime=2 cores=0-7
/proc/32385/task/32388/stat : 32388 (java) S 32383 32383 32339 0 -1 1077944384 12895 0 0 0 185 15 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735492275344 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32389] ppid=32383 vsize=26538700 memory=640 CPUtime=1.97 cores=0-7
/proc/32385/task/32389/stat : 32389 (java) S 32383 32383 32339 0 -1 1077944384 10349 0 0 0 184 13 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735491222288 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32390] ppid=32383 vsize=26538700 memory=956 CPUtime=2 cores=0-7
/proc/32385/task/32390/stat : 32390 (java) S 32383 32383 32339 0 -1 1077944384 10472 0 0 0 186 14 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735490169744 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32391] ppid=32383 vsize=26538700 memory=2468 CPUtime=1.98 cores=0-7
/proc/32385/task/32391/stat : 32391 (java) S 32383 32383 32339 0 -1 1077944384 10405 0 0 0 184 14 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735489116688 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32392] ppid=32383 vsize=26538700 memory=1576 CPUtime=1.99 cores=0-7
/proc/32385/task/32392/stat : 32392 (java) S 32383 32383 32339 0 -1 1077944384 9744 0 0 0 185 14 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735488064144 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32393] ppid=32383 vsize=26538700 memory=932 CPUtime=2 cores=0-7
/proc/32385/task/32393/stat : 32393 (java) S 32383 32383 32339 0 -1 1077944384 10332 0 0 0 185 15 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735487011088 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32394] ppid=32383 vsize=26538700 memory=2236 CPUtime=1.98 cores=0-7
/proc/32385/task/32394/stat : 32394 (java) S 32383 32383 32339 0 -1 1077944384 10965 0 0 0 185 13 0 0 20 0 28 0 149057253 27175628800 79538 33554432000 4194304 4196468 140729214854976 139735122074000 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32395] ppid=32383 vsize=26538700 memory=4124 CPUtime=2.02 cores=0-7
/proc/32385/task/32395/stat : 32395 (java) S 32383 32383 32339 0 -1 1077944384 29967 0 0 0 173 29 0 0 20 0 28 0 149057255 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734245718768 139735570758274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32396] ppid=32383 vsize=26538700 memory=2200 CPUtime=0 cores=0-7
/proc/32385/task/32396/stat : 32396 (java) S 32383 32383 32339 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 149057255 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734244665056 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32397] ppid=32383 vsize=26538700 memory=7528 CPUtime=0 cores=0-7
/proc/32385/task/32397/stat : 32397 (java) S 32383 32383 32339 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 149057255 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734243611904 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32398] ppid=32383 vsize=26538700 memory=840 CPUtime=0 cores=0-7
/proc/32385/task/32398/stat : 32398 (java) S 32383 32383 32339 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734242560464 139735570765723 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32399] ppid=32383 vsize=26538700 memory=1384 CPUtime=1.98 cores=0-7
/proc/32385/task/32399/stat : 32399 (java) S 32383 32383 32339 0 -1 1077944384 16421 0 0 0 195 3 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734241507568 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32400] ppid=32383 vsize=26538700 memory=1384 CPUtime=1.67 cores=0-7
/proc/32385/task/32400/stat : 32400 (java) S 32383 32383 32339 0 -1 1077944384 14674 0 0 0 165 2 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734240455024 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32401] ppid=32383 vsize=26538700 memory=318152 CPUtime=1.56 cores=0-7
/proc/32385/task/32401/stat : 32401 (java) S 32383 32383 32339 0 -1 1077944384 10071 0 0 0 155 1 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734239401968 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32402] ppid=32383 vsize=26538700 memory=1576 CPUtime=0.64 cores=0-7
/proc/32385/task/32402/stat : 32402 (java) S 32383 32383 32339 0 -1 1077944384 7405 0 0 0 63 1 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734238349424 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32403] ppid=32383 vsize=26538700 memory=932 CPUtime=0 cores=0-7
/proc/32385/task/32403/stat : 32403 (java) S 32383 32383 32339 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734237297632 139735570757333 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32404] ppid=32383 vsize=26538700 memory=2236 CPUtime=0.3 cores=0-7
/proc/32385/task/32404/stat : 32404 (java) S 32383 32383 32339 0 -1 1077944384 2572 0 0 0 0 30 0 0 20 0 28 0 149057258 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734236245168 139735570758274 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32495] ppid=32383 vsize=26538700 memory=4124 CPUtime=1425.09 cores=0-7
/proc/32385/task/32495/stat : 32495 (java) R 32383 32383 32339 0 -1 4202560 2233 0 0 0 142508 1 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734221917864 139735172731568 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32496] ppid=32383 vsize=26538700 memory=2200 CPUtime=1426.51 cores=0-7
/proc/32385/task/32496/stat : 32496 (java) R 32383 32383 32339 0 -1 4202560 2903 0 0 0 142649 2 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734222971656 139735171282784 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32497] ppid=32383 vsize=26538700 memory=7528 CPUtime=1426.41 cores=0-7
/proc/32385/task/32497/stat : 32497 (java) R 32383 32383 32339 0 -1 4202560 3101 0 0 0 142640 1 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734226128624 139735172487020 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32498] ppid=32383 vsize=26538700 memory=840 CPUtime=1429.07 cores=0-7
/proc/32385/task/32498/stat : 32498 (java) R 32383 32383 32339 0 -1 4202560 12851 0 0 0 142898 9 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734227181672 139735171283899 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32499] ppid=32383 vsize=26538700 memory=4096 CPUtime=1429.3 cores=0-7
/proc/32385/task/32499/stat : 32499 (java) R 32383 32383 32339 0 -1 4202560 5988 0 0 0 142927 3 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734225076344 139735171283232 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32500] ppid=32383 vsize=26538700 memory=1692 CPUtime=1425.83 cores=0-7
/proc/32385/task/32500/stat : 32500 (java) R 32383 32383 32339 0 -1 4202560 2306 0 0 0 142582 1 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734224023816 139735172486336 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32501] ppid=32383 vsize=26538700 memory=916 CPUtime=1430.02 cores=0-7
/proc/32385/task/32501/stat : 32501 (java) R 32383 32383 32339 0 -1 4202560 6342 0 0 0 143001 1 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734228235272 139735171283547 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
[pid=32385/tid=32502] ppid=32383 vsize=26538700 memory=6791534058613427641 CPUtime=1430.44 cores=0-7
/proc/32385/task/32502/stat : 32502 (java) R 32383 32383 32339 0 -1 4202560 15339 0 0 0 143037 7 0 0 20 0 28 0 149165698 27175628800 79538 33554432000 4194304 4196468 140729214854976 139734220868848 139735172441777 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 15884288 140729214858386 140729214858563 140729214858563 140729214861263 0
Current children cumulated CPU time: 20071.7 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 319536 KiB

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

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

[startup+2520.11 s]
# the end of solver process 32385 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20070.4 s, system=2.02864 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): 2520.11
CPU time (s): 20072.4
CPU user time (s): 20070.4
CPU system time (s): 2.02864
CPU usage (%): 796.49
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 498708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20070.4
system time used= 2.02864
maximum resident set size= 520208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290667
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219684
involuntary context switches= 211364


# summary of solver processes directly reported to runsolver:
#   pid: 32383,32385
#   total CPU time (s): 20072.4
#   total CPU user time (s): 20070.4
#   total CPU system time (s): 2.02864

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9077 second user time and 27.3265 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-19 18:07:16
IDJOB=4280629
IDBENCH=135675
IDSOLVER=2675
FILE ID=node114/4280629-1503159696
RUNJOBID= node114-1503158836-32366
PBS_JOBID= 20630822
Free space on /tmp= 61848 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n20/TravellingSalesman-20-30-18.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-4280629-1503159696/watcher-4280629-1503159696 -o /tmp/evaluation-result-4280629-1503159696/solver-4280629-1503159696 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503158836-32366 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 1642270637 HOME/instance-4280629-1503159696.xml

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

MD5SUM BENCH= 42f1d058d9b6109346b78f68a037a5c1
RANDOM SEED=1642270637

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        21760488 kB
MemAvailable:   31970500 kB
Buffers:          255640 kB
Cached:         10243720 kB
SwapCached:            0 kB
Active:          1762152 kB
Inactive:        8792556 kB
Active(anon):      47140 kB
Inactive(anon):    44268 kB
Active(file):    1715012 kB
Inactive(file):  8748288 kB
Unevictable:        7236 kB
Mlocked:            7236 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:         62284 kB
Mapped:            50804 kB
Shmem:             33416 kB
Slab:             151336 kB
SReclaimable:     125092 kB
SUnreclaim:        26244 kB
KernelStack:        3088 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61840 MiB
End job on node114 at 2017-08-19 18:49:16