Trace number 4405109

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 2019-09-20 parallelSAT (TO)132 2001.24 252.062

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n30/
TravellingSalesman-30-30-00.xml
MD5SUMb8130450ecaa214ac0617b692471aec1
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of constraints31
Number of domains2
Minimum domain size30
Maximum domain size32
Distribution of domain sizes[{"size":30,"count":30},{"size":32,"count":30}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":30},{"degree":3,"count":30}]
Minimum constraint arity3
Maximum constraint arity30
Distribution of constraint arities[{"arity":3,"count":30},{"arity":30,"count":1}]
Number of extensional constraints30
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":30},{"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 -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405109-1569004898.xml"  -tl '2016s' -p 8
0.07/0.21	c Choco 3fb4b153
0.07/0.21	c [HOME/instance-4405109-1569004898.xml, -tl, 2016s, -p, 8]
0.29/0.25	c 8 solvers in parallel
0.29/0.31	c parse instance...
1.29/0.68	c solve instance...
1.68/0.77	o 257 
1.68/0.79	o 252 
1.68/0.80	o 134 
2.36/0.80	o 132 
2000.90/252.05	s SATISFIABLE
2000.90/252.05	v <instantiation>
2000.90/252.05	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] 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] </list>
2000.90/252.05	v 	<values>0 4 5 7 8 3 9 12 15 14 17 19 18 16 27 29 28 25 23 24 26 22 21 20 13 11 10 1 6 2 3 2 4 1 4 4 4 4 4 4 6 5 5 12 12 3 2 4 1 5 3 2 1 8 6 1 11 4 5 2 </values>
2000.90/252.05	v </instantiation>
2000.90/252.05	c Unexpected resolution interruption!

Verifier Data 

OK	132

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405109-1569004898/watcher-4405109-1569004898 -o /tmp/evaluation-result-4405109-1569004898/solver-4405109-1569004898 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568994181-18427 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 291235215 HOME/instance-4405109-1569004898.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=21411, runsolver pid=21408

[startup+0.100135 s]*
/proc/loadavg: 7.96 8.20 8.23 2/212 21432
/proc/meminfo: memFree=24835416/32770624 swapFree=66999228/67108860
[pid=21411] ppid=21408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21411/stat : 21411 (xcsp3-exec) S 21408 21411 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476742879 115843072 362 33554432000 4194304 5098028 140725791866688 140725791864792 139782329172604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23154688 140725791871868 140725791872110 140725791872110 140725791875018 0
/proc/21411/statm: 28282 362 304 221 0 87 0
[pid=21413] ppid=21411 vsize=28227396 memory=27360 CPUtime=0.07 cores=0-7
/proc/21413/stat : 21413 (java) S 21411 21411 18400 0 -1 1077944320 5309 0 0 0 6 1 0 0 20 0 20 0 476742879 28904853504 6840 33554432000 4194304 4196468 140731295010336 140731294992880 140714721787639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
/proc/21413/statm: 7056849 6840 2969 1 0 7019032 0
[pid=21413/tid=21414] ppid=21411 vsize=28227396 memory=576460756329955445 CPUtime=0.06 cores=0-7
/proc/21413/task/21414/stat : 21414 (java) R 21411 21411 18400 0 -1 4202560 3449 0 0 0 5 1 0 0 20 0 20 0 476742879 28904853504 6895 33554432000 4194304 4196468 140731295010336 140714726021104 140714721809565 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21415] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21415/stat : 21415 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 6895 33554432000 4194304 4196468 140731295010336 140714674407952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21416] ppid=21411 vsize=28227396 memory=140109165705242 CPUtime=0 cores=0-7
/proc/21413/task/21416/stat : 21416 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 6895 33554432000 4194304 4196468 140731295010336 140714673355408 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21417] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21417/stat : 21417 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 6895 33554432000 4194304 4196468 140731295010336 140714270644496 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21418] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21418/stat : 21418 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 6895 33554432000 4194304 4196468 140731295010336 140714269591952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21419] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21419/stat : 21419 (java) S 21411 21411 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 6895 33554432000 4194304 4196468 140731295010336 140714268539920 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21420] ppid=21411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21413/task/21420/stat : 21420 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 6895 33554432000 4194304 4196468 140731295010336 140714267487376 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21421] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21421/stat : 21421 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 6895 33554432000 4194304 4196468 140731295010336 140714266434320 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21422] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21422/stat : 21422 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 6895 33554432000 4194304 4196468 140731295010336 140714265381776 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21423] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21423/stat : 21423 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742882 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713838119152 140714721798786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21424] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21424/stat : 21424 (java) S 21411 21411 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476742882 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713837065376 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21425] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21425/stat : 21425 (java) S 21411 21411 18400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476742882 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713836012272 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21426] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21426/stat : 21426 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742885 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713834960848 140714721806235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21427] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21427/stat : 21427 (java) S 21411 21411 18400 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 476742888 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713833908976 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21428] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21428/stat : 21428 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742888 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713832856432 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21429] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21429/stat : 21429 (java) S 21411 21411 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476742888 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713831803376 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21430] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21430/stat : 21430 (java) S 21411 21411 18400 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 20 0 476742888 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713830750832 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21431] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21431/stat : 21431 (java) S 21411 21411 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476742888 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713829698016 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21432] ppid=21411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21413/task/21432/stat : 21432 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742888 28904853504 6895 33554432000 4194304 4196468 140731295010336 140713828645552 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28808 KiB

[startup+0.210523 s]*
/proc/loadavg: 7.96 8.20 8.23 2/212 21432
/proc/meminfo: memFree=24820508/32770624 swapFree=66999228/67108860
[pid=21411] ppid=21408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21411/stat : 21411 (xcsp3-exec) S 21408 21411 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476742879 115843072 362 33554432000 4194304 5098028 140725791866688 140725791864792 139782329172604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23154688 140725791871868 140725791872110 140725791872110 140725791875018 0
/proc/21411/statm: 28282 362 304 221 0 87 0
[pid=21413] ppid=21411 vsize=28227396 memory=40388 CPUtime=0.29 cores=0-7
/proc/21413/stat : 21413 (java) S 21411 21411 18400 0 -1 1077944320 9228 0 0 0 26 3 0 0 20 0 20 0 476742879 28904853504 10097 33554432000 4194304 4196468 140731295010336 140731294992880 140714721787639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
/proc/21413/statm: 7056849 10097 3284 1 0 7019032 0
[pid=21413/tid=21414] ppid=21411 vsize=28228420 memory=8318255677412212789 CPUtime=0.17 cores=0-7
/proc/21413/task/21414/stat : 21414 (java) R 21411 21411 18400 0 -1 4202560 6429 0 0 0 15 2 0 0 20 0 20 0 476742879 28905902080 10124 33554432000 4194304 4196468 140731295010336 140714726006976 140714714467357 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21415] ppid=21411 vsize=28228420 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/21413/task/21415/stat : 21415 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28905902080 10124 33554432000 4194304 4196468 140731295010336 140714674407952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21416] ppid=21411 vsize=28227396 memory=3473595443476633248 CPUtime=0 cores=0-7
/proc/21413/task/21416/stat : 21416 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 10124 33554432000 4194304 4196468 140731295010336 140714673355408 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21417] ppid=21411 vsize=28228420 memory=-1 CPUtime=0 cores=0-7
/proc/21413/task/21417/stat : 21417 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28905902080 10124 33554432000 4194304 4196468 140731295010336 140714270644496 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21418] ppid=21411 vsize=28228420 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21418/stat : 21418 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28905902080 10124 33554432000 4194304 4196468 140731295010336 140714269591952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21419] ppid=21411 vsize=28228420 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21419/stat : 21419 (java) S 21411 21411 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476742880 28905902080 10124 33554432000 4194304 4196468 140731295010336 140714268539920 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21420] ppid=21411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21413/task/21420/stat : 21420 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 10124 33554432000 4194304 4196468 140731295010336 140714267487376 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21421] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21421/stat : 21421 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742880 28904853504 10124 33554432000 4194304 4196468 140731295010336 140714266434320 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21422] ppid=21411 vsize=28228420 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21422/stat : 21422 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28905902080 10124 33554432000 4194304 4196468 140731295010336 140714265381776 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21423] ppid=21411 vsize=28228420 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21423/stat : 21423 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742882 28905902080 10124 33554432000 4194304 4196468 140731295010336 140713838119152 140714721798786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21424] ppid=21411 vsize=28228420 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21424/stat : 21424 (java) S 21411 21411 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476742882 28905902080 10124 33554432000 4194304 4196468 140731295010336 140713837065376 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21425] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21425/stat : 21425 (java) S 21411 21411 18400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476742882 28904853504 10124 33554432000 4194304 4196468 140731295010336 140713836012272 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21426] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21426/stat : 21426 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742885 28904853504 10124 33554432000 4194304 4196468 140731295010336 140713834960848 140714721806235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21427] ppid=21411 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/21413/task/21427/stat : 21427 (java) S 21411 21411 18400 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 20 0 476742888 28904853504 10124 33554432000 4194304 4196468 140731295010336 140713833908976 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21428] ppid=21411 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/21413/task/21428/stat : 21428 (java) S 21411 21411 18400 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 20 0 476742888 28904853504 10124 33554432000 4194304 4196468 140731295010336 140713832856432 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21429] ppid=21411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21413/task/21429/stat : 21429 (java) S 21411 21411 18400 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 20 0 476742888 28904853504 10124 33554432000 4194304 4196468 140731295010336 140713831803376 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21430] ppid=21411 vsize=28227396 memory=0 CPUtime=0.06 cores=0-7
/proc/21413/task/21430/stat : 21430 (java) S 21411 21411 18400 0 -1 1077944384 750 0 0 0 6 0 0 0 20 0 20 0 476742888 28904853504 10124 33554432000 4194304 4196468 140731295010336 140713830750832 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21431] ppid=21411 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21431/stat : 21431 (java) S 21411 21411 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476742888 28904853504 10124 33554432000 4194304 4196468 140731295010336 140713829698016 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21432] ppid=21411 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/21413/task/21432/stat : 21432 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742888 28904853504 10124 33554432000 4194304 4196468 140731295010336 140713828645552 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41836 KiB

[startup+0.310664 s]*
/proc/loadavg: 7.96 8.20 8.23 2/212 21432
/proc/meminfo: memFree=24815792/32770624 swapFree=66999228/67108860
[pid=21411] ppid=21408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21411/stat : 21411 (xcsp3-exec) S 21408 21411 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476742879 115843072 362 33554432000 4194304 5098028 140725791866688 140725791864792 139782329172604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23154688 140725791871868 140725791872110 140725791872110 140725791875018 0
/proc/21411/statm: 28282 362 304 221 0 87 0
[pid=21413] ppid=21411 vsize=28231652 memory=46384 CPUtime=0.45 cores=0-7
/proc/21413/stat : 21413 (java) S 21411 21411 18400 0 -1 1077944320 10551 0 0 0 42 3 0 0 20 0 20 0 476742879 28909211648 11596 33554432000 4194304 4196468 140731295010336 140731294992880 140714721787639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
/proc/21413/statm: 7057913 11596 3318 1 0 7019032 0
[pid=21413/tid=21414] ppid=21411 vsize=28231652 memory=8317482817917895235 CPUtime=0.27 cores=0-7
/proc/21413/task/21414/stat : 21414 (java) R 21411 21411 18400 0 -1 4202560 7568 0 0 0 25 2 0 0 20 0 20 0 476742879 28909211648 11596 33554432000 4194304 4196468 140731295010336 140714726024864 140714707158928 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21415] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21415/stat : 21415 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28909211648 11596 33554432000 4194304 4196468 140731295010336 140714674407952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21416] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21416/stat : 21416 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28909211648 11596 33554432000 4194304 4196468 140731295010336 140714673355408 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21417] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21417/stat : 21417 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28909211648 11596 33554432000 4194304 4196468 140731295010336 140714270644496 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21418] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21418/stat : 21418 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28909211648 11596 33554432000 4194304 4196468 140731295010336 140714269591952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21419] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21419/stat : 21419 (java) S 21411 21411 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476742880 28909211648 11596 33554432000 4194304 4196468 140731295010336 140714268539920 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21420] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21420/stat : 21420 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742880 28909211648 11596 33554432000 4194304 4196468 140731295010336 140714267487376 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21421] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21421/stat : 21421 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742880 28909211648 11596 33554432000 4194304 4196468 140731295010336 140714266434320 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21422] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21422/stat : 21422 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476742880 28909211648 11596 33554432000 4194304 4196468 140731295010336 140714265381776 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21423] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21423/stat : 21423 (java) S 21411 21411 18400 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476742882 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713838119152 140714721798786 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21424] ppid=21411 vsize=28231652 memory=280218027892096 CPUtime=0 cores=0-7
/proc/21413/task/21424/stat : 21424 (java) S 21411 21411 18400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476742882 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713837065376 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21425] ppid=21411 vsize=28231652 memory=280218027896704 CPUtime=0 cores=0-7
/proc/21413/task/21425/stat : 21425 (java) S 21411 21411 18400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476742882 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713836012272 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21426] ppid=21411 vsize=28231652 memory=280218027901312 CPUtime=0 cores=0-7
/proc/21413/task/21426/stat : 21426 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742885 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713834960848 140714721806235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21427] ppid=21411 vsize=28231652 memory=280218027905920 CPUtime=0.02 cores=0-7
/proc/21413/task/21427/stat : 21427 (java) S 21411 21411 18400 0 -1 1077944384 454 0 0 0 2 0 0 0 20 0 20 0 476742888 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713833908976 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21428] ppid=21411 vsize=28231652 memory=280218027910528 CPUtime=0.01 cores=0-7
/proc/21413/task/21428/stat : 21428 (java) S 21411 21411 18400 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 476742888 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713832856432 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21429] ppid=21411 vsize=28231652 memory=280218027915136 CPUtime=0.01 cores=0-7
/proc/21413/task/21429/stat : 21429 (java) S 21411 21411 18400 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 20 0 476742888 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713831803376 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21430] ppid=21411 vsize=28231652 memory=280218027919744 CPUtime=0.11 cores=0-7
/proc/21413/task/21430/stat : 21430 (java) S 21411 21411 18400 0 -1 1077944384 838 0 0 0 11 0 0 0 20 0 20 0 476742888 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713830750832 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21431] ppid=21411 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21431/stat : 21431 (java) S 21411 21411 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476742888 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713829698016 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21432] ppid=21411 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/21413/task/21432/stat : 21432 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476742888 28909211648 11596 33554432000 4194304 4196468 140731295010336 140713828645552 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 47832 KiB

[startup+0.700978 s]
/proc/loadavg: 7.96 8.20 8.23 4/212 21432
/proc/meminfo: memFree=24800836/32770624 swapFree=66999228/67108860
[pid=21411] ppid=21408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21411/stat : 21411 (xcsp3-exec) S 21408 21411 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476742879 115843072 362 33554432000 4194304 5098028 140725791866688 140725791864792 139782329172604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23154688 140725791871868 140725791872110 140725791872110 140725791875018 0
/proc/21411/statm: 28282 362 304 221 0 87 0
[pid=21413] ppid=21411 vsize=28766288 memory=108608 CPUtime=1.68 cores=0-7
/proc/21413/stat : 21413 (java) S 21411 21411 18400 0 -1 1077944320 15482 0 0 0 162 6 0 0 20 0 28 0 476742879 29456678912 27152 33554432000 4194304 4196468 140731295010336 140731294992880 140714721787639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
/proc/21413/statm: 7191572 27152 3460 1 0 7152672 0
[pid=21413/tid=21414] ppid=21411 vsize=28766288 memory=4580 CPUtime=0.64 cores=0-7
/proc/21413/task/21414/stat : 21414 (java) S 21411 21411 18400 0 -1 1077944384 9320 0 0 0 60 4 0 0 20 0 28 0 476742879 29456678912 27152 33554432000 4194304 4196468 140731295010336 140714726028416 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21415] ppid=21411 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21415/stat : 21415 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476742880 29456678912 27152 33554432000 4194304 4196468 140731295010336 140714674407952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21416] ppid=21411 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21416/stat : 21416 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476742880 29456678912 27152 33554432000 4194304 4196468 140731295010336 140714673355408 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21417] ppid=21411 vsize=28766288 memory=2828 CPUtime=0 cores=0-7
/proc/21413/task/21417/stat : 21417 (java) S 21411 21411 18400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 476742880 29456678912 27152 33554432000 4194304 4196468 140731295010336 140714270644496 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0

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

[pid=21413/tid=21472] ppid=21411 vsize=28768336 memory=0 CPUtime=159.89 cores=0-7
/proc/21413/task/21472/stat : 21472 (java) R 21411 21411 18400 0 -1 4202560 5209 0 0 0 15987 2 0 0 20 0 28 0 476742962 29458776064 50204 33554432000 4194304 4196468 140731295010336 140713819429520 140714360669957 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
Current children cumulated CPU time: 1287.47 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 202264 KiB

[startup+222.302 s]
/proc/loadavg: 8.29 8.33 8.28 9/219 21485
/proc/meminfo: memFree=24642404/32770624 swapFree=66999228/67108860
[pid=21411] ppid=21408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21411/stat : 21411 (xcsp3-exec) S 21408 21411 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476742879 115843072 362 33554432000 4194304 5098028 140725791866688 140725791864792 139782329172604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23154688 140725791871868 140725791872110 140725791872110 140725791875018 0
/proc/21411/statm: 28282 362 304 221 0 87 0
[pid=21413] ppid=21411 vsize=28768336 memory=223772 CPUtime=1764.73 cores=0-7
/proc/21413/stat : 21413 (java) S 21411 21411 18400 0 -1 1077944320 129815 0 0 0 176392 81 0 0 20 0 28 0 476742879 29458776064 55943 33554432000 4194304 4196468 140731295010336 140731294992880 140714721787639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
/proc/21413/statm: 7192084 55943 3519 1 0 7153184 0
[pid=21413/tid=21414] ppid=21411 vsize=28768336 memory=223772 CPUtime=0.65 cores=0-7
/proc/21413/task/21414/stat : 21414 (java) S 21411 21411 18400 0 -1 1077944384 9323 0 0 0 61 4 0 0 20 0 28 0 476742879 29458776064 55943 33554432000 4194304 4196468 140731295010336 140714726028416 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21415] ppid=21411 vsize=28768336 memory=1448 CPUtime=0.21 cores=0-7
/proc/21413/task/21415/stat : 21415 (java) S 21411 21411 18400 0 -1 1077944384 3077 0 0 0 17 4 0 0 20 0 28 0 476742880 29458776064 55943 33554432000 4194304 4196468 140731295010336 140714674407952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21416] ppid=21411 vsize=28768336 memory=0 CPUtime=0.22 cores=0-7
/proc/21413/task/21416/stat : 21416 (java) S 21411 21411 18400 0 -1 1077944384 3058 0 0 0 18 4 0 0 20 0 28 0 476742880 29458776064 55943 33554432000 4194304 4196468 140731295010336 140714673355408 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21417] ppid=21411 vsize=28768336 memory=7089884524917580113 CPUtime=0.21 cores=0-7
/proc/21413/task/21417/stat : 21417 (java) S 21411 21411 18400 0 -1 1077944384 2836 0 0 0 18 3 0 0 20 0 28 0 476742880 29458776064 55943 33554432000 4194304 4196468 140731295010336 140714270644496 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21418] ppid=21411 vsize=28768336 memory=1808 CPUtime=0.21 cores=0-7
/proc/21413/task/21418/stat : 21418 (java) S 21411 21411 18400 0 -1 1077944384 2670 0 0 0 18 3 0 0 20 0 28 0 476742880 29458776064 55943 33554432000 4194304 4196468 140731295010336 140714269591952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21419] ppid=21411 vsize=28768336 memory=920 CPUtime=0.21 cores=0-7
/proc/21413/task/21419/stat : 21419 (java) S 21411 21411 18400 0 -1 1077944384 2578 0 0 0 17 4 0 0 20 0 28 0 476742880 29458776064 55943 33554432000 4194304 4196468 140731295010336 140714268539920 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21420] ppid=21411 vsize=28768336 memory=1448 CPUtime=0.2 cores=0-7
/proc/21413/task/21420/stat : 21420 (java) S 21411 21411 18400 0 -1 1077944384 2990 0 0 0 16 4 0 0 20 0 28 0 476742880 29458776064 55943 33554432000 4194304 4196468 140731295010336 140714267487376 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21421] ppid=21411 vsize=28768336 memory=1448 CPUtime=0.21 cores=0-7
/proc/21413/task/21421/stat : 21421 (java) S 21411 21411 18400 0 -1 1077944384 4235 0 0 0 17 4 0 0 20 0 28 0 476742880 29458776064 55943 33554432000 4194304 4196468 140731295010336 140714266434320 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21422] ppid=21411 vsize=28768336 memory=227 CPUtime=0.21 cores=0-7
/proc/21413/task/21422/stat : 21422 (java) S 21411 21411 18400 0 -1 1077944384 3796 0 0 0 18 3 0 0 20 0 28 0 476742880 29458776064 55943 33554432000 4194304 4196468 140731295010336 140714265381776 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21423] ppid=21411 vsize=28768336 memory=76 CPUtime=0.21 cores=0-7
/proc/21413/task/21423/stat : 21423 (java) S 21411 21411 18400 0 -1 1077944384 10152 0 0 0 17 4 0 0 20 0 28 0 476742882 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713838119152 140714721798786 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21424] ppid=21411 vsize=28768336 memory=1112 CPUtime=0 cores=0-7
/proc/21413/task/21424/stat : 21424 (java) S 21411 21411 18400 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476742882 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713837065440 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21425] ppid=21411 vsize=28768336 memory=1004 CPUtime=0 cores=0-7
/proc/21413/task/21425/stat : 21425 (java) S 21411 21411 18400 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476742882 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713836012288 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21426] ppid=21411 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/21413/task/21426/stat : 21426 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476742885 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713834960848 140714721806235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21427] ppid=21411 vsize=28768336 memory=6369868150210126928 CPUtime=2.09 cores=0-7
/proc/21413/task/21427/stat : 21427 (java) S 21411 21411 18400 0 -1 1077944384 17027 0 0 0 206 3 0 0 20 0 28 0 476742888 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713833908976 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21428] ppid=21411 vsize=28768336 memory=1448 CPUtime=1.98 cores=0-7
/proc/21413/task/21428/stat : 21428 (java) S 21411 21411 18400 0 -1 1077944384 12024 0 0 0 196 2 0 0 20 0 28 0 476742888 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713832856432 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21429] ppid=21411 vsize=28768336 memory=223720 CPUtime=2.27 cores=0-7
/proc/21413/task/21429/stat : 21429 (java) S 21411 21411 18400 0 -1 1077944384 11233 0 0 0 226 1 0 0 20 0 28 0 476742888 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713831803376 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21430] ppid=21411 vsize=28768336 memory=2124 CPUtime=0.76 cores=0-7
/proc/21413/task/21430/stat : 21430 (java) S 21411 21411 18400 0 -1 1077944384 9927 0 0 0 74 2 0 0 20 0 28 0 476742888 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713830750832 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21431] ppid=21411 vsize=28768336 memory=223728 CPUtime=0 cores=0-7
/proc/21413/task/21431/stat : 21431 (java) S 21411 21411 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476742888 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713829698016 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21432] ppid=21411 vsize=28768336 memory=3504 CPUtime=0.03 cores=0-7
/proc/21413/task/21432/stat : 21432 (java) S 21411 21411 18400 0 -1 1077944384 2900 0 0 0 0 3 0 0 20 0 28 0 476742888 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713828645552 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21465] ppid=21411 vsize=28768336 memory=56148 CPUtime=219.33 cores=0-7
/proc/21413/task/21465/stat : 21465 (java) R 21411 21411 18400 0 -1 4202560 2796 0 0 0 21932 1 0 0 20 0 28 0 476742960 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713818372624 140714358264404 0 4 0 16800975 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21466] ppid=21411 vsize=28768336 memory=1448 CPUtime=219.43 cores=0-7
/proc/21413/task/21466/stat : 21466 (java) R 21411 21411 18400 0 -1 4202560 2716 0 0 0 21942 1 0 0 20 0 28 0 476742961 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713813110600 140714359130162 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21467] ppid=21411 vsize=28768336 memory=3504 CPUtime=218.84 cores=0-7
/proc/21413/task/21467/stat : 21467 (java) R 21411 21411 18400 0 -1 4202560 2321 0 0 0 21882 2 0 0 20 0 28 0 476742961 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713812058432 140714360292285 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21468] ppid=21411 vsize=28768336 memory=3504 CPUtime=219.57 cores=0-7
/proc/21413/task/21468/stat : 21468 (java) R 21411 21411 18400 0 -1 4202560 2472 0 0 0 21954 3 0 0 20 0 28 0 476742961 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713814163744 140714359058695 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21469] ppid=21411 vsize=28768336 memory=3504 CPUtime=219.24 cores=0-7
/proc/21413/task/21469/stat : 21469 (java) R 21411 21411 18400 0 -1 4202560 4173 0 0 0 21920 4 0 0 20 0 28 0 476742961 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713816271952 140714358907006 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21470] ppid=21411 vsize=28768336 memory=56148 CPUtime=219.31 cores=0-7
/proc/21413/task/21470/stat : 21470 (java) R 21411 21411 18400 0 -1 4202560 3130 0 0 0 21929 2 0 0 20 0 28 0 476742961 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713815215968 140714359468924 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21471] ppid=21411 vsize=28768336 memory=3028 CPUtime=219.11 cores=0-7
/proc/21413/task/21471/stat : 21471 (java) R 21411 21411 18400 0 -1 4202560 5212 0 0 0 21905 6 0 0 20 0 28 0 476742962 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713817322168 140714352913136 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21472] ppid=21411 vsize=28768336 memory=2012 CPUtime=219.58 cores=0-7
/proc/21413/task/21472/stat : 21472 (java) R 21411 21411 18400 0 -1 4202560 6994 0 0 0 21956 2 0 0 20 0 28 0 476742962 29458776064 55943 33554432000 4194304 4196468 140731295010336 140713819427128 140714359059218 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
Current children cumulated CPU time: 1764.73 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 225220 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.002 s]*
/proc/loadavg: 8.23 8.31 8.28 9/219 21486
/proc/meminfo: memFree=24611272/32770624 swapFree=66999228/67108860
[pid=21411] ppid=21408 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/21411/stat : 21411 (xcsp3-exec) S 21408 21411 18400 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 476742879 115843072 362 33554432000 4194304 5098028 140725791866688 140725791864792 139782329172604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 23154688 140725791871868 140725791872110 140725791872110 140725791875018 0
/proc/21411/statm: 28282 362 304 221 0 87 0
[pid=21413] ppid=21411 vsize=28768336 memory=254552 CPUtime=2000.9 cores=0-7
/proc/21413/stat : 21413 (java) S 21411 21411 18400 0 -1 1077944320 131987 0 0 0 200004 86 0 0 20 0 28 0 476742879 29458776064 63638 33554432000 4194304 4196468 140731295010336 140731294992880 140714721787639 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
/proc/21413/statm: 7192084 63638 3519 1 0 7153184 0
[pid=21413/tid=21414] ppid=21411 vsize=28768336 memory=8317482817917895235 CPUtime=0.65 cores=0-7
/proc/21413/task/21414/stat : 21414 (java) S 21411 21411 18400 0 -1 1077944384 9323 0 0 0 61 4 0 0 20 0 28 0 476742879 29458776064 63638 33554432000 4194304 4196468 140731295010336 140714726028416 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21415] ppid=21411 vsize=28768336 memory=13848573129264102 CPUtime=0.25 cores=0-7
/proc/21413/task/21415/stat : 21415 (java) S 21411 21411 18400 0 -1 1077944384 3503 0 0 0 21 4 0 0 20 0 28 0 476742880 29458776064 63638 33554432000 4194304 4196468 140731295010336 140714674407952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21416] ppid=21411 vsize=28768336 memory=30656 CPUtime=0.26 cores=0-7
/proc/21413/task/21416/stat : 21416 (java) S 21411 21411 18400 0 -1 1077944384 3175 0 0 0 22 4 0 0 20 0 28 0 476742880 29458776064 63638 33554432000 4194304 4196468 140731295010336 140714673355408 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21417] ppid=21411 vsize=28768336 memory=12024 CPUtime=0.25 cores=0-7
/proc/21413/task/21417/stat : 21417 (java) S 21411 21411 18400 0 -1 1077944384 2887 0 0 0 22 3 0 0 20 0 28 0 476742880 29458776064 63638 33554432000 4194304 4196468 140731295010336 140714270644496 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21418] ppid=21411 vsize=28768336 memory=500 CPUtime=0.25 cores=0-7
/proc/21413/task/21418/stat : 21418 (java) S 21411 21411 18400 0 -1 1077944384 2711 0 0 0 22 3 0 0 20 0 28 0 476742880 29458776064 63638 33554432000 4194304 4196468 140731295010336 140714269591952 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21419] ppid=21411 vsize=28768336 memory=1560 CPUtime=0.25 cores=0-7
/proc/21413/task/21419/stat : 21419 (java) S 21411 21411 18400 0 -1 1077944384 2627 0 0 0 21 4 0 0 20 0 28 0 476742880 29458776064 63638 33554432000 4194304 4196468 140731295010336 140714268539920 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21420] ppid=21411 vsize=28768336 memory=932 CPUtime=0.25 cores=0-7
/proc/21413/task/21420/stat : 21420 (java) S 21411 21411 18400 0 -1 1077944384 3022 0 0 0 21 4 0 0 20 0 28 0 476742880 29458776064 63638 33554432000 4194304 4196468 140731295010336 140714267487376 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21421] ppid=21411 vsize=28768336 memory=3768 CPUtime=0.26 cores=0-7
/proc/21413/task/21421/stat : 21421 (java) S 21411 21411 18400 0 -1 1077944384 4277 0 0 0 22 4 0 0 20 0 28 0 476742880 29458776064 63638 33554432000 4194304 4196468 140731295010336 140714266434320 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21422] ppid=21411 vsize=28768336 memory=1980 CPUtime=0.25 cores=0-7
/proc/21413/task/21422/stat : 21422 (java) S 21411 21411 18400 0 -1 1077944384 3882 0 0 0 22 3 0 0 20 0 28 0 476742880 29458776064 63638 33554432000 4194304 4196468 140731295010336 140714265381776 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21423] ppid=21411 vsize=28768336 memory=2512 CPUtime=0.26 cores=0-7
/proc/21413/task/21423/stat : 21423 (java) S 21411 21411 18400 0 -1 1077944384 10472 0 0 0 21 5 0 0 20 0 28 0 476742882 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713838119152 140714721798786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21424] ppid=21411 vsize=28768336 memory=1436 CPUtime=0 cores=0-7
/proc/21413/task/21424/stat : 21424 (java) S 21411 21411 18400 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 476742882 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713837065440 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21425] ppid=21411 vsize=28768336 memory=796 CPUtime=0 cores=0-7
/proc/21413/task/21425/stat : 21425 (java) S 21411 21411 18400 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 476742882 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713836012288 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21426] ppid=21411 vsize=28768336 memory=1764 CPUtime=0 cores=0-7
/proc/21413/task/21426/stat : 21426 (java) S 21411 21411 18400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476742885 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713834960848 140714721806235 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21427] ppid=21411 vsize=28768336 memory=56148 CPUtime=2.09 cores=0-7
/proc/21413/task/21427/stat : 21427 (java) S 21411 21411 18400 0 -1 1077944384 17033 0 0 0 206 3 0 0 20 0 28 0 476742888 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713833908976 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21428] ppid=21411 vsize=28768336 memory=3028 CPUtime=1.98 cores=0-7
/proc/21413/task/21428/stat : 21428 (java) S 21411 21411 18400 0 -1 1077944384 12028 0 0 0 196 2 0 0 20 0 28 0 476742888 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713832856432 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21429] ppid=21411 vsize=28768336 memory=2012 CPUtime=2.27 cores=0-7
/proc/21413/task/21429/stat : 21429 (java) S 21411 21411 18400 0 -1 1077944384 11237 0 0 0 226 1 0 0 20 0 28 0 476742888 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713831803376 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21430] ppid=21411 vsize=28768336 memory=1436 CPUtime=0.76 cores=0-7
/proc/21413/task/21430/stat : 21430 (java) S 21411 21411 18400 0 -1 1077944384 9931 0 0 0 74 2 0 0 20 0 28 0 476742888 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713830750832 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21431] ppid=21411 vsize=28768336 memory=776 CPUtime=0 cores=0-7
/proc/21413/task/21431/stat : 21431 (java) S 21411 21411 18400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476742888 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713829698016 140714721797845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21432] ppid=21411 vsize=28768336 memory=3604 CPUtime=0.04 cores=0-7
/proc/21413/task/21432/stat : 21432 (java) S 21411 21411 18400 0 -1 1077944384 2999 0 0 0 0 4 0 0 20 0 28 0 476742888 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713828645552 140714721798786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21465] ppid=21411 vsize=28768336 memory=2828 CPUtime=248.61 cores=0-7
/proc/21413/task/21465/stat : 21465 (java) R 21411 21411 18400 0 -1 4202560 2902 0 0 0 24859 2 0 0 20 0 28 0 476742960 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713818375584 140714357958089 0 4 0 16800975 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21466] ppid=21411 vsize=28768336 memory=676 CPUtime=249 cores=0-7
/proc/21413/task/21466/stat : 21466 (java) R 21411 21411 18400 0 -1 4202560 2808 0 0 0 24899 1 0 0 20 0 28 0 476742961 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713813111256 140714352912160 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21467] ppid=21411 vsize=28768336 memory=1060 CPUtime=248.26 cores=0-7
/proc/21413/task/21467/stat : 21467 (java) R 21411 21411 18400 0 -1 4202560 2379 0 0 0 24823 3 0 0 20 0 28 0 476742961 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713812059224 140714358262981 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21468] ppid=21411 vsize=28768336 memory=1548 CPUtime=249.11 cores=0-7
/proc/21413/task/21468/stat : 21468 (java) R 21411 21411 18400 0 -1 4202560 2555 0 0 0 24908 3 0 0 20 0 28 0 476742961 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713814164408 140714352913148 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21469] ppid=21411 vsize=28768336 memory=1448 CPUtime=248.8 cores=0-7
/proc/21413/task/21469/stat : 21469 (java) R 21411 21411 18400 0 -1 4202560 4330 0 0 0 24876 4 0 0 20 0 28 0 476742961 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713816269408 140714357447156 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21470] ppid=21411 vsize=28768336 memory=248408 CPUtime=248.75 cores=0-7
/proc/21413/task/21470/stat : 21470 (java) R 21411 21411 18400 0 -1 4202560 3213 0 0 0 24873 2 0 0 20 0 28 0 476742961 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713815216824 140714358601181 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21471] ppid=21411 vsize=28768336 memory=1112 CPUtime=248.49 cores=0-7
/proc/21413/task/21471/stat : 21471 (java) R 21411 21411 18400 0 -1 4202560 5345 0 0 0 24843 6 0 0 20 0 28 0 476742962 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713817321696 140714357958744 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
[pid=21413/tid=21472] ppid=21411 vsize=28768336 memory=1004 CPUtime=249.14 cores=0-7
/proc/21413/task/21472/stat : 21472 (java) R 21411 21411 18400 0 -1 4202560 7173 0 0 0 24911 3 0 0 20 0 28 0 476742962 29458776064 63638 33554432000 4194304 4196468 140731295010336 140713819427544 140714359087337 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 35483648 140731295015920 140731295016091 140731295016091 140731295018959 0
Current children cumulated CPU time: 2000.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 256000 KiB

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

[startup+252.04 s]
# the end of solver process 21411 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000775 s, system=0.001551 s

[startup+252.062 s]
# the end of solver process 21413 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2000.36 s, system=0.878458 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.062
CPU time (s): 2001.24
CPU user time (s): 2000.36
CPU system time (s): 0.878458
CPU usage (%): 793.947
Max. virtual memory (cumulated for all children) (KiB): 28884548
Max. memory (cumulated for all children) (KiB): 291824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2000.36
system time used= 0.878458
maximum resident set size= 298544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133484
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28876
involuntary context switches= 23692


# summary of solver processes directly reported to runsolver:
#   pid: 21411,21413
#   total CPU time (s): 2001.24
#   total CPU user time (s): 2000.36
#   total CPU system time (s): 0.878458

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.4293 second user time and 2.62498 second system time

The end

Launcher Data 

Begin job on node103 at 2019-09-20 20:40:39
IDJOB=4405109
IDBENCH=135859
IDSOLVER=2866
FILE ID=node103/4405109-1569004898
RUNJOBID= node103-1568994181-18427
PBS_JOBID= 21704716
Free space on /tmp= 20860 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n30/TravellingSalesman-30-30-00.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405109-1569004898/watcher-4405109-1569004898 -o /tmp/evaluation-result-4405109-1569004898/solver-4405109-1569004898 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1568994181-18427 --watchdog 312  xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 291235215 HOME/instance-4405109-1569004898.xml

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

MD5SUM BENCH= b8130450ecaa214ac0617b692471aec1
RANDOM SEED=291235215

node103.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.74
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.74
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.74
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.74
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:        24850716 kB
MemAvailable:   31874096 kB
Buffers:           48700 kB
Cached:          7258292 kB
SwapCached:         6976 kB
Active:          3593520 kB
Inactive:        3726568 kB
Active(anon):       2024 kB
Inactive(anon):    60608 kB
Active(file):    3591496 kB
Inactive(file):  3665960 kB
Unevictable:      107480 kB
Mlocked:          107480 kB
SwapTotal:      67108860 kB
SwapFree:       66999228 kB
Dirty:               184 kB
Writeback:         22116 kB
AnonPages:        114964 kB
Mapped:            52352 kB
Shmem:             40864 kB
Slab:             191892 kB
SReclaimable:     163516 kB
SUnreclaim:        28376 kB
KernelStack:        3360 kB
PageTables:         5260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 20832 MiB
End job on node103 at 2019-09-20 20:44:51