Trace number 4399660

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 NameAnswerCPU timeWall clock time
choco-solver 2019-09-16 parallel? (TO) 20045.5 2520.1

General information on the benchmark

NameBlackhole/Blackhole-xcsp2-s07/
Blackhole-4-07-9_X2.xml
MD5SUMa7efa7459c7ca72744d0a792626ba479
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark170.678
Satisfiable
(Un)Satisfiability was proved
Number of variables112
Number of constraints1262
Number of domains4
Minimum domain size1
Maximum domain size28
Distribution of domain sizes[{"size":1,"count":2},{"size":7,"count":28},{"size":14,"count":27},{"size":28,"count":54}]
Minimum variable degree0
Maximum variable degree56
Distribution of variable degrees[{"degree":0,"count":1},{"degree":2,"count":29},{"degree":3,"count":26},{"degree":28,"count":1},{"degree":29,"count":18},{"degree":30,"count":9},{"degree":56,"count":28}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":1262}]
Number of extensional constraints1262
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":1262}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399660-1568708836.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399660-1568708836.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.29	c parse instance...
3.09/1.05	c solve instance...
20044.81/2520.07	s UNKNOWN
20044.81/2520.07	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14784 MiB free)
  memory of node 1: 16384 MiB (15195 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399660-1568708836/watcher-4399660-1568708836 -o /tmp/evaluation-result-4399660-1568708836/solver-4399660-1568708836 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568700947-12873 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1263301909 HOME/instance-4399660-1568708836.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
Current StackSize limit: 8192 KiB

solver pid=14504, runsolver pid=14501

[startup+0.100131 s]*
/proc/loadavg: 8.02 8.16 8.22 2/211 14525
/proc/meminfo: memFree=30683084/32770624 swapFree=67002056/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (xcsp3-exec) S 14501 14504 12846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446797559 115843072 364 33554432000 4194304 5098028 140728841828608 140728841826712 139812172288636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28250112 140728841835381 140728841835625 140728841835625 140728841838538 0
/proc/14504/statm: 28282 364 305 221 0 87 0
[pid=14506] ppid=14504 vsize=28227396 memory=29828 CPUtime=0.12 cores=0-7
/proc/14506/stat : 14506 (java) S 14504 14504 12846 0 -1 1077944320 5922 0 0 0 11 1 0 0 20 0 20 0 446797559 28904853504 7457 33554432000 4194304 4196468 140722790846464 140722790829008 139926699650807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
/proc/14506/statm: 7056849 7457 3120 1 0 7019032 0
[pid=14506/tid=14507] ppid=14504 vsize=28227396 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/14506/task/14507/stat : 14507 (java) R 14504 14504 12846 0 -1 4202560 3846 0 0 0 8 1 0 0 20 0 20 0 446797559 28904853504 7457 33554432000 4194304 4196468 140722790846464 139926703885984 139926699662742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14508] ppid=14504 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/14506/task/14508/stat : 14508 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 7457 33554432000 4194304 4196468 140722790846464 139926619503504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14509] ppid=14504 vsize=28227396 memory=139858157270656 CPUtime=0 cores=0-7
/proc/14506/task/14509/stat : 14509 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 7457 33554432000 4194304 4196468 140722790846464 139926618450704 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14510] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14510/stat : 14510 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 7457 33554432000 4194304 4196468 140722790846464 139926617398416 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14511] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14511/stat : 14511 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 7457 33554432000 4194304 4196468 140722790846464 139926616345616 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14512] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14512/stat : 14512 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 7457 33554432000 4194304 4196468 140722790846464 139926615292304 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14513] ppid=14504 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14506/task/14513/stat : 14513 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 7457 33554432000 4194304 4196468 140722790846464 139926614239504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14514] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14514/stat : 14514 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 7457 33554432000 4194304 4196468 140722790846464 139926613187216 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14515] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14515/stat : 14515 (java) S 14504 14504 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 7457 33554432000 4194304 4196468 140722790846464 139926244022800 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14516] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14516/stat : 14516 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797562 28904853504 7457 33554432000 4194304 4196468 140722790846464 139925680904816 139926699661954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14517] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14517/stat : 14517 (java) S 14504 14504 12846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446797562 28904853504 7457 33554432000 4194304 4196468 140722790846464 139925679850784 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14518] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14518/stat : 14518 (java) S 14504 14504 12846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446797562 28904853504 7457 33554432000 4194304 4196468 140722790846464 139925678798448 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14519] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14519/stat : 14519 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797565 28904853504 7457 33554432000 4194304 4196468 140722790846464 139925677746768 139926699669403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14520] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14520/stat : 14520 (java) S 14504 14504 12846 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 446797565 28904853504 7457 33554432000 4194304 4196468 140722790846464 139925676693616 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14521] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14521/stat : 14521 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797565 28904853504 7457 33554432000 4194304 4196468 140722790846464 139925675640816 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14522] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14522/stat : 14522 (java) S 14504 14504 12846 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446797565 28904853504 7457 33554432000 4194304 4196468 140722790846464 139925674588528 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14523] ppid=14504 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14506/task/14523/stat : 14523 (java) R 14504 14504 12846 0 -1 4202560 342 0 0 0 1 0 0 0 20 0 20 0 446797565 28904853504 7457 33554432000 4194304 4196468 140722790846464 139925673535728 139926699662742 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14524] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14524/stat : 14524 (java) S 14504 14504 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446797565 28904853504 7457 33554432000 4194304 4196468 140722790846464 139924818881376 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14525] ppid=14504 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14506/task/14525/stat : 14525 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797565 28904853504 7457 33554432000 4194304 4196468 140722790846464 139924817828656 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31284 KiB

[startup+0.210258 s]*
/proc/loadavg: 8.02 8.16 8.22 2/211 14525
/proc/meminfo: memFree=30671100/32770624 swapFree=67002056/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (xcsp3-exec) S 14501 14504 12846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446797559 115843072 364 33554432000 4194304 5098028 140728841828608 140728841826712 139812172288636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28250112 140728841835381 140728841835625 140728841835625 140728841838538 0
/proc/14504/statm: 28282 364 305 221 0 87 0
[pid=14506] ppid=14504 vsize=28227396 memory=41252 CPUtime=0.34 cores=0-7
/proc/14506/stat : 14506 (java) S 14504 14504 12846 0 -1 1077944320 9508 0 0 0 31 3 0 0 20 0 20 0 446797559 28904853504 10313 33554432000 4194304 4196468 140722790846464 140722790829008 139926699650807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
/proc/14506/statm: 7056849 10313 3304 1 0 7019032 0
[pid=14506/tid=14507] ppid=14504 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/14506/task/14507/stat : 14507 (java) R 14504 14504 12846 0 -1 4202560 6683 0 0 0 17 2 0 0 20 0 20 0 446797559 28904853504 10313 33554432000 4194304 4196468 140722790846464 139926703880528 139926699662742 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14508] ppid=14504 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/14506/task/14508/stat : 14508 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 10313 33554432000 4194304 4196468 140722790846464 139926619503504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14509] ppid=14504 vsize=28227396 memory=139858157285166 CPUtime=0 cores=0-7
/proc/14506/task/14509/stat : 14509 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 10313 33554432000 4194304 4196468 140722790846464 139926618450704 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14510] ppid=14504 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14506/task/14510/stat : 14510 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 10313 33554432000 4194304 4196468 140722790846464 139926617398416 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14511] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14511/stat : 14511 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 10313 33554432000 4194304 4196468 140722790846464 139926616345616 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14512] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14512/stat : 14512 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 10313 33554432000 4194304 4196468 140722790846464 139926615292304 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14513] ppid=14504 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14506/task/14513/stat : 14513 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 10313 33554432000 4194304 4196468 140722790846464 139926614239504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14514] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14514/stat : 14514 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 10313 33554432000 4194304 4196468 140722790846464 139926613187216 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14515] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14515/stat : 14515 (java) S 14504 14504 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446797560 28904853504 10313 33554432000 4194304 4196468 140722790846464 139926244022800 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14516] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14516/stat : 14516 (java) S 14504 14504 12846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446797562 28904853504 10313 33554432000 4194304 4196468 140722790846464 139925680904816 139926699661954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14517] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14517/stat : 14517 (java) S 14504 14504 12846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446797562 28904853504 10313 33554432000 4194304 4196468 140722790846464 139925679850784 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14518] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14518/stat : 14518 (java) S 14504 14504 12846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446797562 28904853504 10313 33554432000 4194304 4196468 140722790846464 139925678798448 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14519] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14519/stat : 14519 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797565 28904853504 10313 33554432000 4194304 4196468 140722790846464 139925677746768 139926699669403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14520] ppid=14504 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14506/task/14520/stat : 14520 (java) S 14504 14504 12846 0 -1 1077944384 488 0 0 0 1 0 0 0 20 0 20 0 446797565 28904853504 10313 33554432000 4194304 4196468 140722790846464 139925676693616 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14521] ppid=14504 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14506/task/14521/stat : 14521 (java) S 14504 14504 12846 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 446797565 28904853504 10313 33554432000 4194304 4196468 140722790846464 139925675640816 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14522] ppid=14504 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/14506/task/14522/stat : 14522 (java) S 14504 14504 12846 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 446797565 28904853504 10313 33554432000 4194304 4196468 140722790846464 139925674588528 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14523] ppid=14504 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/14506/task/14523/stat : 14523 (java) R 14504 14504 12846 0 -1 4202560 730 0 0 0 8 0 0 0 20 0 20 0 446797565 28904853504 10313 33554432000 4194304 4196468 140722790846464 139925673535728 139926679089712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14524] ppid=14504 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14524/stat : 14524 (java) S 14504 14504 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446797565 28904853504 10313 33554432000 4194304 4196468 140722790846464 139924818881376 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14525] ppid=14504 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14506/task/14525/stat : 14525 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797565 28904853504 10313 33554432000 4194304 4196468 140722790846464 139924817828656 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42708 KiB

[startup+0.309473 s]*
/proc/loadavg: 8.02 8.16 8.22 4/211 14525
/proc/meminfo: memFree=30664104/32770624 swapFree=67002056/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (xcsp3-exec) S 14501 14504 12846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446797559 115843072 364 33554432000 4194304 5098028 140728841828608 140728841826712 139812172288636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28250112 140728841835381 140728841835625 140728841835625 140728841838538 0
/proc/14504/statm: 28282 364 305 221 0 87 0
[pid=14506] ppid=14504 vsize=28231652 memory=49864 CPUtime=0.52 cores=0-7
/proc/14506/stat : 14506 (java) S 14504 14504 12846 0 -1 1077944320 10865 0 0 0 48 4 0 0 20 0 20 0 446797559 28909211648 12466 33554432000 4194304 4196468 140722790846464 140722790829008 139926699650807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
/proc/14506/statm: 7057913 12466 3347 1 0 7019032 0
[pid=14506/tid=14507] ppid=14504 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/14506/task/14507/stat : 14507 (java) R 14504 14504 12846 0 -1 4202560 7793 0 0 0 26 3 0 0 20 0 20 0 446797559 28909211648 12466 33554432000 4194304 4196468 140722790846464 139926703884592 139926683731294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14508] ppid=14504 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14508/stat : 14508 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28909211648 12466 33554432000 4194304 4196468 140722790846464 139926619503504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14509] ppid=14504 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14509/stat : 14509 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28909211648 12466 33554432000 4194304 4196468 140722790846464 139926618450704 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14510] ppid=14504 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14510/stat : 14510 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28909211648 12466 33554432000 4194304 4196468 140722790846464 139926617398416 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14511] ppid=14504 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14511/stat : 14511 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28909211648 12466 33554432000 4194304 4196468 140722790846464 139926616345616 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14512] ppid=14504 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14512/stat : 14512 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28909211648 12466 33554432000 4194304 4196468 140722790846464 139926615292304 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14513] ppid=14504 vsize=28231652 memory=139858026785455 CPUtime=0 cores=0-7
/proc/14506/task/14513/stat : 14513 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28909211648 12466 33554432000 4194304 4196468 140722790846464 139926614239504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14514] ppid=14504 vsize=28231652 memory=139858026787760 CPUtime=0 cores=0-7
/proc/14506/task/14514/stat : 14514 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28909211648 12466 33554432000 4194304 4196468 140722790846464 139926613187216 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14515] ppid=14504 vsize=28231652 memory=139858026790064 CPUtime=0 cores=0-7
/proc/14506/task/14515/stat : 14515 (java) S 14504 14504 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446797560 28909211648 12466 33554432000 4194304 4196468 140722790846464 139926244022800 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14516] ppid=14504 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14516/stat : 14516 (java) S 14504 14504 12846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446797562 28909211648 12466 33554432000 4194304 4196468 140722790846464 139925680904816 139926699661954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14517] ppid=14504 vsize=28231652 memory=279716053594000 CPUtime=0 cores=0-7
/proc/14506/task/14517/stat : 14517 (java) S 14504 14504 12846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446797562 28909211648 12466 33554432000 4194304 4196468 140722790846464 139925679850784 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14518] ppid=14504 vsize=28231652 memory=279716053591696 CPUtime=0 cores=0-7
/proc/14506/task/14518/stat : 14518 (java) S 14504 14504 12846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446797562 28909211648 12466 33554432000 4194304 4196468 140722790846464 139925678798448 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14519] ppid=14504 vsize=28231652 memory=279716053598608 CPUtime=0 cores=0-7
/proc/14506/task/14519/stat : 14519 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797565 28909211648 12466 33554432000 4194304 4196468 140722790846464 139925677746768 139926699669403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14520] ppid=14504 vsize=28231652 memory=279716053539888 CPUtime=0.02 cores=0-7
/proc/14506/task/14520/stat : 14520 (java) S 14504 14504 12846 0 -1 1077944384 527 0 0 0 2 0 0 0 20 0 20 0 446797565 28909211648 12466 33554432000 4194304 4196468 140722790846464 139925676693616 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14521] ppid=14504 vsize=28231652 memory=279716053612432 CPUtime=0.02 cores=0-7
/proc/14506/task/14521/stat : 14521 (java) S 14504 14504 12846 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 20 0 446797565 28909211648 12466 33554432000 4194304 4196468 140722790846464 139925675640816 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14522] ppid=14504 vsize=28231652 memory=279716053619344 CPUtime=0.03 cores=0-7
/proc/14506/task/14522/stat : 14522 (java) R 14504 14504 12846 0 -1 4202560 336 0 0 0 3 0 0 0 20 0 20 0 446797565 28909211648 12466 33554432000 4194304 4196468 140722790846464 139925674569640 139926685674620 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14523] ppid=14504 vsize=28231652 memory=279716053617040 CPUtime=0.12 cores=0-7
/proc/14506/task/14523/stat : 14523 (java) S 14504 14504 12846 0 -1 1077944384 828 0 0 0 12 0 0 0 20 0 20 0 446797565 28909211648 12466 33554432000 4194304 4196468 140722790846464 139925673535728 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14524] ppid=14504 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14524/stat : 14524 (java) S 14504 14504 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446797565 28909211648 12466 33554432000 4194304 4196468 140722790846464 139924818881376 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14525] ppid=14504 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14506/task/14525/stat : 14525 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797565 28909211648 12466 33554432000 4194304 4196468 140722790846464 139924817828656 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51320 KiB

[startup+0.700949 s]
/proc/loadavg: 8.02 8.16 8.22 6/211 14525
/proc/meminfo: memFree=30651324/32770624 swapFree=67002056/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (xcsp3-exec) S 14501 14504 12846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446797559 115843072 364 33554432000 4194304 5098028 140728841828608 140728841826712 139812172288636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28250112 140728841835381 140728841835625 140728841835625 140728841838538 0
/proc/14504/statm: 28282 364 305 221 0 87 0
[pid=14506] ppid=14504 vsize=28233776 memory=98860 CPUtime=1.73 cores=0-7
/proc/14506/stat : 14506 (java) S 14504 14504 12846 0 -1 1077944320 15308 0 0 0 166 7 0 0 20 0 20 0 446797559 28911386624 24715 33554432000 4194304 4196468 140722790846464 140722790829008 139926699650807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
/proc/14506/statm: 7058444 24715 3452 1 0 7019544 0
[pid=14506/tid=14507] ppid=14504 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/14506/task/14507/stat : 14507 (java) R 14504 14504 12846 0 -1 4202560 8916 0 0 0 64 4 0 0 20 0 20 0 446797559 28911386624 24715 33554432000 4194304 4196468 140722790846464 139926703887392 139926293218001 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14508] ppid=14504 vsize=28233776 memory=139858026996592 CPUtime=0 cores=0-7
/proc/14506/task/14508/stat : 14508 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28911386624 24715 33554432000 4194304 4196468 140722790846464 139926619503504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14509] ppid=14504 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14506/task/14509/stat : 14509 (java) S 14504 14504 12846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446797560 28911386624 24715 33554432000 4194304 4196468 140722790846464 139926618450704 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14510] ppid=14504 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/14506/task/14510/stat : 14510 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446797560 28911386624 24715 33554432000 4194304 4196468 140722790846464 139926617398416 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0

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

[pid=14506/tid=14533] ppid=14504 vsize=28766288 memory=1456 CPUtime=2418.54 cores=0-7
/proc/14506/task/14533/stat : 14533 (java) R 14504 14504 12846 0 -1 4202560 22500 0 0 0 241831 23 0 0 20 0 28 0 446797666 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924801479128 139926301777828 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
Current children cumulated CPU time: 19426.2 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2457444 KiB

[startup+2502.3 s]
/proc/loadavg: 8.73 8.37 8.33 9/219 14747
/proc/meminfo: memFree=28253820/32770624 swapFree=67002060/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (xcsp3-exec) S 14501 14504 12846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446797559 115843072 364 33554432000 4194304 5098028 140728841828608 140728841826712 139812172288636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28250112 140728841835381 140728841835625 140728841835625 140728841838538 0
/proc/14504/statm: 28282 364 305 221 0 87 0
[pid=14506] ppid=14504 vsize=28766288 memory=2455988 CPUtime=19904.1 cores=0-7
/proc/14506/stat : 14506 (java) S 14504 14504 12846 0 -1 1077944320 1019343 0 0 0 1989122 1283 0 0 20 0 28 0 446797559 29456678912 613997 33554432000 4194304 4196468 140722790846464 140722790829008 139926699650807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
/proc/14506/statm: 7191572 613997 3550 1 0 7152672 0
[pid=14506/tid=14507] ppid=14504 vsize=28766288 memory=2455988 CPUtime=1.02 cores=0-7
/proc/14506/task/14507/stat : 14507 (java) S 14504 14504 12846 0 -1 1077944384 9087 0 0 0 97 5 0 0 20 0 28 0 446797559 29456678912 613997 33554432000 4194304 4196468 140722790846464 139926703891584 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14508] ppid=14504 vsize=28766288 memory=2455988 CPUtime=7.3 cores=0-7
/proc/14506/task/14508/stat : 14508 (java) S 14504 14504 12846 0 -1 1077944384 46430 0 0 0 696 34 0 0 20 0 28 0 446797560 29456678912 613997 33554432000 4194304 4196468 140722790846464 139926619503504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14509] ppid=14504 vsize=28766288 memory=1456 CPUtime=7.25 cores=0-7
/proc/14506/task/14509/stat : 14509 (java) S 14504 14504 12846 0 -1 1077944384 42967 0 0 0 691 34 0 0 20 0 28 0 446797560 29456678912 613997 33554432000 4194304 4196468 140722790846464 139926618450704 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14510] ppid=14504 vsize=28766288 memory=0 CPUtime=7.25 cores=0-7
/proc/14506/task/14510/stat : 14510 (java) S 14504 14504 12846 0 -1 1077944384 48659 0 0 0 690 35 0 0 20 0 28 0 446797560 29456678912 613997 33554432000 4194304 4196468 140722790846464 139926617398416 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14511] ppid=14504 vsize=28766288 memory=3905241247143831669 CPUtime=7.3 cores=0-7
/proc/14506/task/14511/stat : 14511 (java) S 14504 14504 12846 0 -1 1077944384 44460 0 0 0 696 34 0 0 20 0 28 0 446797560 29456678912 613997 33554432000 4194304 4196468 140722790846464 139926616345616 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14512] ppid=14504 vsize=28766288 memory=0 CPUtime=7.32 cores=0-7
/proc/14506/task/14512/stat : 14512 (java) S 14504 14504 12846 0 -1 1077944384 47143 0 0 0 697 35 0 0 20 0 28 0 446797560 29456678912 613997 33554432000 4194304 4196468 140722790846464 139926615292304 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14513] ppid=14504 vsize=28766288 memory=5787218225110603625 CPUtime=7.3 cores=0-7
/proc/14506/task/14513/stat : 14513 (java) S 14504 14504 12846 0 -1 1077944384 45950 0 0 0 697 33 0 0 20 0 28 0 446797560 29456678912 613997 33554432000 4194304 4196468 140722790846464 139926614239504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14514] ppid=14504 vsize=28766288 memory=1456 CPUtime=7.29 cores=0-7
/proc/14506/task/14514/stat : 14514 (java) S 14504 14504 12846 0 -1 1077944384 52574 0 0 0 695 34 0 0 20 0 28 0 446797560 29456678912 613997 33554432000 4194304 4196468 140722790846464 139926613187216 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14515] ppid=14504 vsize=28766288 memory=2455988 CPUtime=7.25 cores=0-7
/proc/14506/task/14515/stat : 14515 (java) S 14504 14504 12846 0 -1 1077944384 41979 0 0 0 695 30 0 0 20 0 28 0 446797560 29456678912 613997 33554432000 4194304 4196468 140722790846464 139926244022800 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14516] ppid=14504 vsize=28766288 memory=1696 CPUtime=3.2 cores=0-7
/proc/14506/task/14516/stat : 14516 (java) S 14504 14504 12846 0 -1 1077944384 136085 0 0 0 248 72 0 0 20 0 28 0 446797562 29456678912 613997 33554432000 4194304 4196468 140722790846464 139925680904816 139926699661954 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14517] ppid=14504 vsize=28766288 memory=2455988 CPUtime=0 cores=0-7
/proc/14506/task/14517/stat : 14517 (java) S 14504 14504 12846 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 446797562 29456678912 613997 33554432000 4194304 4196468 140722790846464 139925679850848 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14518] ppid=14504 vsize=28766288 memory=580 CPUtime=0 cores=0-7
/proc/14506/task/14518/stat : 14518 (java) S 14504 14504 12846 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 446797562 29456678912 613997 33554432000 4194304 4196468 140722790846464 139925678798464 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14519] ppid=14504 vsize=28766288 memory=1696 CPUtime=0 cores=0-7
/proc/14506/task/14519/stat : 14519 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446797565 29456678912 613997 33554432000 4194304 4196468 140722790846464 139925677746768 139926699669403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14520] ppid=14504 vsize=28766288 memory=2455988 CPUtime=1.74 cores=0-7
/proc/14506/task/14520/stat : 14520 (java) S 14504 14504 12846 0 -1 1077944384 7114 0 0 0 172 2 0 0 20 0 28 0 446797565 29456678912 613997 33554432000 4194304 4196468 140722790846464 139925676693616 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14521] ppid=14504 vsize=28766288 memory=1456 CPUtime=1.98 cores=0-7
/proc/14506/task/14521/stat : 14521 (java) S 14504 14504 12846 0 -1 1077944384 6931 0 0 0 196 2 0 0 20 0 28 0 446797565 29456678912 613997 33554432000 4194304 4196468 140722790846464 139925675640816 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14522] ppid=14504 vsize=28766288 memory=1456 CPUtime=1.82 cores=0-7
/proc/14506/task/14522/stat : 14522 (java) S 14504 14504 12846 0 -1 1077944384 9131 0 0 0 180 2 0 0 20 0 28 0 446797565 29456678912 613997 33554432000 4194304 4196468 140722790846464 139925674588528 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14523] ppid=14504 vsize=28766288 memory=2455988 CPUtime=0.72 cores=0-7
/proc/14506/task/14523/stat : 14523 (java) S 14504 14504 12846 0 -1 1077944384 6084 0 0 0 72 0 0 0 20 0 28 0 446797565 29456678912 613997 33554432000 4194304 4196468 140722790846464 139925673535728 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14524] ppid=14504 vsize=28766288 memory=1696 CPUtime=0 cores=0-7
/proc/14506/task/14524/stat : 14524 (java) S 14504 14504 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446797565 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924818881376 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14525] ppid=14504 vsize=28766288 memory=2455988 CPUtime=0.68 cores=0-7
/proc/14506/task/14525/stat : 14525 (java) S 14504 14504 12846 0 -1 1077944384 7353 0 0 0 17 51 0 0 20 0 28 0 446797565 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924817828656 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14526] ppid=14504 vsize=28766288 memory=1456 CPUtime=2480.66 cores=0-7
/proc/14506/task/14526/stat : 14526 (java) R 14504 14504 12846 0 -1 4202560 27696 0 0 0 248040 26 0 0 20 0 28 0 446797666 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924808846920 139926300319656 0 4 0 16800975 0 0 0 -1 6 0 0 26 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14527] ppid=14504 vsize=28766288 memory=1456 CPUtime=2482.76 cores=0-7
/proc/14506/task/14527/stat : 14527 (java) R 14504 14504 12846 0 -1 4202560 28198 0 0 0 248253 23 0 0 20 0 28 0 446797666 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924807797984 139926300319645 0 4 0 16800975 0 0 0 -1 0 0 0 30 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14528] ppid=14504 vsize=28766288 memory=1456 CPUtime=2478.07 cores=0-7
/proc/14506/task/14528/stat : 14528 (java) R 14504 14504 12846 0 -1 4202560 37329 0 0 0 247771 36 0 0 20 0 28 0 446797666 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924806742088 139926299920280 0 4 0 16800975 0 0 0 -1 4 0 0 30 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14529] ppid=14504 vsize=28766288 memory=2455988 CPUtime=2478.12 cores=0-7
/proc/14506/task/14529/stat : 14529 (java) R 14504 14504 12846 0 -1 4202560 72791 0 0 0 247583 229 0 0 20 0 28 0 446797666 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924805688920 139926299854392 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14530] ppid=14504 vsize=28766288 memory=2455988 CPUtime=2480.71 cores=0-7
/proc/14506/task/14530/stat : 14530 (java) R 14504 14504 12846 0 -1 4202560 54634 0 0 0 247949 122 0 0 20 0 28 0 446797666 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924804636864 139926299645200 0 4 0 16800975 0 0 0 -1 2 0 0 27 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14531] ppid=14504 vsize=28766288 memory=2455988 CPUtime=2476.02 cores=0-7
/proc/14506/task/14531/stat : 14531 (java) R 14504 14504 12846 0 -1 4202560 96908 0 0 0 247446 156 0 0 20 0 28 0 446797666 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924803584216 139926301777838 0 4 0 16800975 0 0 0 -1 5 0 0 29 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14532] ppid=14504 vsize=28766288 memory=1456 CPUtime=2479.68 cores=0-7
/proc/14506/task/14532/stat : 14532 (java) R 14504 14504 12846 0 -1 4202560 125573 0 0 0 247646 322 0 0 20 0 28 0 446797666 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924802531280 139926301832110 0 4 0 16800975 0 0 0 -1 1 0 0 30 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14533] ppid=14504 vsize=28766288 memory=3616 CPUtime=2478.4 cores=0-7
/proc/14506/task/14533/stat : 14533 (java) R 14504 14504 12846 0 -1 4202560 22925 0 0 0 247816 24 0 0 20 0 28 0 446797666 29456678912 613997 33554432000 4194304 4196468 140722790846464 139924801478968 139926300126719 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
Current children cumulated CPU time: 19904.1 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2457444 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.80 8.41 8.35 10/219 14747
/proc/meminfo: memFree=28252352/32770624 swapFree=67002060/67108860
[pid=14504] ppid=14501 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/14504/stat : 14504 (xcsp3-exec) S 14501 14504 12846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446797559 115843072 364 33554432000 4194304 5098028 140728841828608 140728841826712 139812172288636 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28250112 140728841835381 140728841835625 140728841835625 140728841838538 0
/proc/14504/statm: 28282 364 305 221 0 87 0
[pid=14506] ppid=14504 vsize=28766288 memory=2457820 CPUtime=20044.8 cores=0-7
/proc/14506/stat : 14506 (java) S 14504 14504 12846 0 -1 1077944320 1023327 0 0 0 2003196 1285 0 0 20 0 28 0 446797559 29456678912 614455 33554432000 4194304 4196468 140722790846464 140722790829008 139926699650807 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
/proc/14506/statm: 7191572 614455 3550 1 0 7152672 0
[pid=14506/tid=14507] ppid=14504 vsize=28766288 memory=1398722017469774279 CPUtime=1.02 cores=0-7
/proc/14506/task/14507/stat : 14507 (java) S 14504 14504 12846 0 -1 1077944384 9087 0 0 0 97 5 0 0 20 0 28 0 446797559 29456678912 614455 33554432000 4194304 4196468 140722790846464 139926703891584 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14508] ppid=14504 vsize=28766288 memory=4126316290023845779 CPUtime=7.33 cores=0-7
/proc/14506/task/14508/stat : 14508 (java) S 14504 14504 12846 0 -1 1077944384 46579 0 0 0 699 34 0 0 20 0 28 0 446797560 29456678912 614455 33554432000 4194304 4196468 140722790846464 139926619503504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14509] ppid=14504 vsize=28766288 memory=288230596050944315 CPUtime=7.28 cores=0-7
/proc/14506/task/14509/stat : 14509 (java) S 14504 14504 12846 0 -1 1077944384 43160 0 0 0 694 34 0 0 20 0 28 0 446797560 29456678912 614455 33554432000 4194304 4196468 140722790846464 139926618450704 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14510] ppid=14504 vsize=28766288 memory=15816698942984824 CPUtime=7.28 cores=0-7
/proc/14506/task/14510/stat : 14510 (java) S 14504 14504 12846 0 -1 1077944384 48781 0 0 0 693 35 0 0 20 0 28 0 446797560 29456678912 614455 33554432000 4194304 4196468 140722790846464 139926617398416 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14511] ppid=14504 vsize=28766288 memory=111636 CPUtime=7.33 cores=0-7
/proc/14506/task/14511/stat : 14511 (java) S 14504 14504 12846 0 -1 1077944384 44872 0 0 0 699 34 0 0 20 0 28 0 446797560 29456678912 614455 33554432000 4194304 4196468 140722790846464 139926616345616 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14512] ppid=14504 vsize=28766288 memory=808 CPUtime=7.35 cores=0-7
/proc/14506/task/14512/stat : 14512 (java) S 14504 14504 12846 0 -1 1077944384 47245 0 0 0 700 35 0 0 20 0 28 0 446797560 29456678912 614455 33554432000 4194304 4196468 140722790846464 139926615292304 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14513] ppid=14504 vsize=28766288 memory=6791534058613427641 CPUtime=7.32 cores=0-7
/proc/14506/task/14513/stat : 14513 (java) S 14504 14504 12846 0 -1 1077944384 46392 0 0 0 699 33 0 0 20 0 28 0 446797560 29456678912 614455 33554432000 4194304 4196468 140722790846464 139926614239504 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14514] ppid=14504 vsize=28766288 memory=1456 CPUtime=7.32 cores=0-7
/proc/14506/task/14514/stat : 14514 (java) S 14504 14504 12846 0 -1 1077944384 53051 0 0 0 698 34 0 0 20 0 28 0 446797560 29456678912 614455 33554432000 4194304 4196468 140722790846464 139926613187216 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14515] ppid=14504 vsize=28766288 memory=1456 CPUtime=7.27 cores=0-7
/proc/14506/task/14515/stat : 14515 (java) S 14504 14504 12846 0 -1 1077944384 42126 0 0 0 697 30 0 0 20 0 28 0 446797560 29456678912 614455 33554432000 4194304 4196468 140722790846464 139926244022800 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14516] ppid=14504 vsize=28766288 memory=2457820 CPUtime=3.23 cores=0-7
/proc/14506/task/14516/stat : 14516 (java) S 14504 14504 12846 0 -1 1077944384 136472 0 0 0 250 73 0 0 20 0 28 0 446797562 29456678912 614455 33554432000 4194304 4196468 140722790846464 139925680904816 139926699661954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14517] ppid=14504 vsize=28766288 memory=14008 CPUtime=0 cores=0-7
/proc/14506/task/14517/stat : 14517 (java) S 14504 14504 12846 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 446797562 29456678912 614455 33554432000 4194304 4196468 140722790846464 139925679850848 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14518] ppid=14504 vsize=28766288 memory=2116 CPUtime=0 cores=0-7
/proc/14506/task/14518/stat : 14518 (java) S 14504 14504 12846 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 446797562 29456678912 614455 33554432000 4194304 4196468 140722790846464 139925678798464 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14519] ppid=14504 vsize=28766288 memory=24884 CPUtime=0 cores=0-7
/proc/14506/task/14519/stat : 14519 (java) S 14504 14504 12846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446797565 29456678912 614455 33554432000 4194304 4196468 140722790846464 139925677746768 139926699669403 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14520] ppid=14504 vsize=28766288 memory=11852 CPUtime=1.74 cores=0-7
/proc/14506/task/14520/stat : 14520 (java) S 14504 14504 12846 0 -1 1077944384 7118 0 0 0 172 2 0 0 20 0 28 0 446797565 29456678912 614455 33554432000 4194304 4196468 140722790846464 139925676693616 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14521] ppid=14504 vsize=28766288 memory=532 CPUtime=1.98 cores=0-7
/proc/14506/task/14521/stat : 14521 (java) S 14504 14504 12846 0 -1 1077944384 6935 0 0 0 196 2 0 0 20 0 28 0 446797565 29456678912 614455 33554432000 4194304 4196468 140722790846464 139925675640816 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14522] ppid=14504 vsize=28766288 memory=1564 CPUtime=1.82 cores=0-7
/proc/14506/task/14522/stat : 14522 (java) S 14504 14504 12846 0 -1 1077944384 9135 0 0 0 180 2 0 0 20 0 28 0 446797565 29456678912 614455 33554432000 4194304 4196468 140722790846464 139925674588528 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14523] ppid=14504 vsize=28766288 memory=2116 CPUtime=0.72 cores=0-7
/proc/14506/task/14523/stat : 14523 (java) S 14504 14504 12846 0 -1 1077944384 6088 0 0 0 72 0 0 0 20 0 28 0 446797565 29456678912 614455 33554432000 4194304 4196468 140722790846464 139925673535728 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14524] ppid=14504 vsize=28766288 memory=24884 CPUtime=0 cores=0-7
/proc/14506/task/14524/stat : 14524 (java) S 14504 14504 12846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446797565 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924818881376 139926699661013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14525] ppid=14504 vsize=28766288 memory=11852 CPUtime=0.69 cores=0-7
/proc/14506/task/14525/stat : 14525 (java) S 14504 14504 12846 0 -1 1077944384 7397 0 0 0 17 52 0 0 20 0 28 0 446797565 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924817828656 139926699661954 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14526] ppid=14504 vsize=28766288 memory=1456 CPUtime=2498.23 cores=0-7
/proc/14506/task/14526/stat : 14526 (java) R 14504 14504 12846 0 -1 4202560 27866 0 0 0 249797 26 0 0 20 0 28 0 446797666 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924808847080 139926301982080 0 4 0 16800975 0 0 0 -1 1 0 0 26 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14527] ppid=14504 vsize=28766288 memory=2457820 CPUtime=2500.37 cores=0-7
/proc/14506/task/14527/stat : 14527 (java) R 14504 14504 12846 0 -1 4202560 28352 0 0 0 250014 23 0 0 20 0 28 0 446797666 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924807795416 139926679388103 0 4 0 16800975 0 0 0 -1 0 0 0 30 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14528] ppid=14504 vsize=28766288 memory=928 CPUtime=2495.66 cores=0-7
/proc/14506/task/14528/stat : 14528 (java) R 14504 14504 12846 0 -1 4202560 37510 0 0 0 249530 36 0 0 20 0 28 0 446797666 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924806742088 139926300317024 0 4 0 16800975 0 0 0 -1 2 0 0 30 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14529] ppid=14504 vsize=28766288 memory=1980 CPUtime=2495.62 cores=0-7
/proc/14506/task/14529/stat : 14529 (java) R 14504 14504 12846 0 -1 4202560 72932 0 0 0 249333 229 0 0 20 0 28 0 446797666 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924805688640 139926301820826 0 4 0 16800975 0 0 0 -1 7 0 0 34 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14530] ppid=14504 vsize=28766288 memory=1332 CPUtime=2498.33 cores=0-7
/proc/14506/task/14530/stat : 14530 (java) R 14504 14504 12846 0 -1 4202560 54901 0 0 0 249711 122 0 0 20 0 28 0 446797666 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924804639616 139926300317321 0 4 0 16800975 0 0 0 -1 6 0 0 28 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14531] ppid=14504 vsize=28766288 memory=6791534058613427641 CPUtime=2493.6 cores=0-7
/proc/14506/task/14531/stat : 14531 (java) R 14504 14504 12846 0 -1 4202560 97135 0 0 0 249204 156 0 0 20 0 28 0 446797666 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924803584216 139926300126820 0 4 0 16800975 0 0 0 -1 5 0 0 30 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14532] ppid=14504 vsize=28766288 memory=1240 CPUtime=2497.18 cores=0-7
/proc/14506/task/14532/stat : 14532 (java) R 14504 14504 12846 0 -1 4202560 125765 0 0 0 249395 323 0 0 20 0 28 0 446797666 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924802531928 139926300317331 0 4 0 16800975 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
[pid=14506/tid=14533] ppid=14504 vsize=28766288 memory=580 CPUtime=2495.95 cores=0-7
/proc/14506/task/14533/stat : 14533 (java) R 14504 14504 12846 0 -1 4202560 23086 0 0 0 249571 24 0 0 20 0 28 0 446797666 29456678912 614455 33554432000 4194304 4196468 140722790846464 139924801479128 139926299920183 0 4 0 16800975 0 0 0 -1 4 0 0 29 0 0 6293624 6294260 38232064 140722790855658 140722790855830 140722790855830 140722790858703 0
Current children cumulated CPU time: 20044.8 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2459276 KiB

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

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

[startup+2520.1 s]
# the end of solver process 14506 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20032.6 s, system=12.8673 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.1
CPU time (s): 20045.5
CPU user time (s): 20032.6
CPU system time (s): 12.8673
CPU usage (%): 795.423
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 5310592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20032.6
system time used= 12.8673
maximum resident set size= 5343952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1024226
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 225001
involuntary context switches= 241870


# summary of solver processes directly reported to runsolver:
#   pid: 14504,14506
#   total CPU time (s): 20045.5
#   total CPU user time (s): 20032.6
#   total CPU system time (s): 12.8673

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.9536 second user time and 25.8223 second system time

The end

Launcher Data 

Begin job on node146 at 2019-09-17 10:26:35
IDJOB=4399660
IDBENCH=134580
IDSOLVER=2854
FILE ID=node146/4399660-1568708836
RUNJOBID= node146-1568700947-12873
PBS_JOBID= 21703909
Free space on /tmp= 59004 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/Blackhole/Blackhole-xcsp2-s07/Blackhole-4-07-9_X2.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-4399660-1568708836/watcher-4399660-1568708836 -o /tmp/evaluation-result-4399660-1568708836/solver-4399660-1568708836 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node146-1568700947-12873 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1263301909 HOME/instance-4399660-1568708836.xml

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

MD5SUM BENCH= a7efa7459c7ca72744d0a792626ba479
RANDOM SEED=1263301909

node146.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.90
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.90
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.90
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.90
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:        30699084 kB
MemAvailable:   31866892 kB
Buffers:          237104 kB
Cached:          1201008 kB
SwapCached:         4352 kB
Active:           725648 kB
Inactive:         718432 kB
Active(anon):      22864 kB
Inactive(anon):    30432 kB
Active(file):     702784 kB
Inactive(file):   688000 kB
Unevictable:      110876 kB
Mlocked:          110876 kB
SwapTotal:      67108860 kB
SwapFree:       67002056 kB
Dirty:             26164 kB
Writeback:             0 kB
AnonPages:        245508 kB
Mapped:            47244 kB
Shmem:             39096 kB
Slab:             216248 kB
SReclaimable:     185716 kB
SUnreclaim:        30532 kB
KernelStack:        3872 kB
PageTables:         5444 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507116 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 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= 58976 MiB
End job on node146 at 2019-09-17 11:08:35