Trace number 4285349

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
OscaR - Parallel with EPS 2017-08-22UNSAT 5.9062099 2.1173

General information on the benchmark

NameQRandom/QRandom-ehi-s85/
ehi-85-297-30.xml
MD5SUMde20ccc9c46783b0a0c67f2a501d352c
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 benchmark0.100815
Satisfiable
(Un)Satisfiability was proved
Number of variables297
Number of constraints4121
Number of domains1
Minimum domain size7
Maximum domain size7
Distribution of domain sizes[{"size":7,"count":297}]
Minimum variable degree24
Maximum variable degree30
Distribution of variable degrees[{"degree":24,"count":4},{"degree":25,"count":12},{"degree":26,"count":31},{"degree":27,"count":66},{"degree":28,"count":104},{"degree":29,"count":54},{"degree":30,"count":26}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4121}]
Number of extensional constraints4121
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4121}]
Optimization problemNO
Type of objective

Solver Data

0.32/0.34	c version: 2017-08-22
0.32/0.34	c seed: 1563303520
0.32/0.34	c timeout: 20160
0.32/0.34	c memlimit: 22000
0.32/0.34	c nbcore: 8
0.32/0.37	c Parsing instance...
2.11/0.91	c Parsing done, starting search...
5.73/2.10	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285349-1503429957/watcher-4285349-1503429957 -o /tmp/evaluation-result-4285349-1503429957/solver-4285349-1503429957 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503426029-3437 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1563303520 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285349-1503429957.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=4862, runsolver pid=4859

[startup+0.100156 s]*
/proc/loadavg: 5.26 4.38 6.44 1/198 4881
/proc/meminfo: memFree=21159548/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=25931412 memory=21648 CPUtime=0.05 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 4777 0 0 0 4 1 0 0 20 0 19 0 176083292 26553765888 5412 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6482853 5412 2604 1 0 6471291 0
[pid=4862/tid=4864] ppid=4859 vsize=25931412 memory=4134692831991783777 CPUtime=0.04 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) D 4859 4862 3410 0 -1 1077944384 2881 0 0 0 4 0 0 0 20 0 19 0 176083293 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992998086464 139992993872957 0 4 0 16800975 18446744072101760548 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=25931412 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083293 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=25931412 memory=139937571518080 CPUtime=0 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176083293 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083293 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=25931412 memory=-1 CPUtime=0 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083294 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 176083295 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 176083295 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992254886688 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 176083296 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992253834352 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 3410 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992251730544 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992250677744 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992249625456 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=25931412 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 176083298 26553765888 5412 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 25931412 KiB
Current children cumulated memory: 21648 KiB

[startup+0.21371 s]*
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=21149700/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26000852 memory=34900 CPUtime=0.17 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 8700 0 0 0 15 2 0 0 20 0 20 0 176083292 26624872448 8725 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6500213 8725 3541 1 0 6487932 0
[pid=4862/tid=4864] ppid=4859 vsize=26000852 memory=29681743523217448 CPUtime=0.11 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 6454 0 0 0 10 1 0 0 20 0 20 0 176083293 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992998025856 139992993871005 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26000852 memory=15677360577820312 CPUtime=0 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083295 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176083295 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992254886688 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176083296 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992253834352 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 3410 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992251730544 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 3410 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992250677744 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 3410 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992249625456 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083307 26624872448 8725 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 34900 KiB

[startup+0.310288 s]*
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=21143372/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26000852 memory=41436 CPUtime=0.32 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 9560 0 0 0 29 3 0 0 20 0 20 0 176083292 26624872448 10359 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6500213 10359 3624 1 0 6487932 0
[pid=4862/tid=4864] ppid=4859 vsize=26000852 memory=8112282956445269571 CPUtime=0.21 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 7118 0 0 0 19 2 0 0 20 0 20 0 176083293 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992998078176 139992973374367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26000852 memory=139937416571567 CPUtime=0 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26000852 memory=139937416573872 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176083295 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26000852 memory=2110288023689124 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176083295 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992254886688 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26000852 memory=2110288023710244 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 176083296 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992253834352 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26000852 memory=2110288023693732 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26000852 memory=2110288023710276 CPUtime=0.01 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) R 4859 4862 3410 0 -1 4202560 421 0 0 0 1 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992251730544 139992973095684 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26000852 memory=2110288023710308 CPUtime=0 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) S 4859 4862 3410 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992250677744 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26000852 memory=2110288023709988 CPUtime=0.01 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 3410 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992249625456 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26000852 memory=2110288023702948 CPUtime=0.06 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) R 4859 4862 3410 0 -1 4202560 419 0 0 0 6 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992248572656 139992972387313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083307 26624872448 10386 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 41436 KiB

[startup+0.700845 s]
/proc/loadavg: 5.26 4.38 6.44 2/199 4882
/proc/meminfo: memFree=21129104/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26002920 memory=72644 CPUtime=1.23 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 12794 0 0 0 118 5 0 0 20 0 20 0 176083292 26626990080 18161 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6500730 18161 3762 1 0 6488444 0
[pid=4862/tid=4864] ppid=4859 vsize=26002920 memory=2428 CPUtime=0.59 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 8469 0 0 0 56 3 0 0 20 0 20 0 176083293 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992998085056 139992978378789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26002920 memory=1844 CPUtime=0 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26002920 memory=164 CPUtime=0 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083293 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083293 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26002920 memory=6852 CPUtime=0 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26002920 memory=4593 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26002920 memory=279874833560800 CPUtime=0 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26002920 memory=5428 CPUtime=0 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083294 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26002920 memory=4624 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 176083295 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26002920 memory=1424 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 176083295 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992254886688 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0

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

[pid=4862/tid=4881] ppid=4859 vsize=26002920 memory=55 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26002920 memory=9327 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083307 26626990080 18161 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 26002920 KiB
Current children cumulated memory: 72644 KiB

[startup+1.5009 s]
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=21069232/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26007016 memory=262132 CPUtime=4.19 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 27983 0 0 0 403 16 0 0 20 0 20 0 176083292 26631184384 65533 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6501754 65533 3816 1 0 6489468 0
[pid=4862/tid=4864] ppid=4859 vsize=26007016 memory=108228 CPUtime=1.35 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 10920 0 0 0 130 5 0 0 20 0 20 0 176083293 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992998084112 139992993861014 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26007016 memory=9327 CPUtime=0.01 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 176083293 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26007016 memory=41901700949530 CPUtime=0.02 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 20 0 176083293 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 176083293 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 53 0 0 0 0 1 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26007016 memory=5428 CPUtime=0.01 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26007016 memory=4624 CPUtime=0.01 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26007016 memory=1424 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26007016 memory=13160 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992254886752 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26007016 memory=792 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 176083296 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992253834368 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26007016 memory=164 CPUtime=0.69 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) R 4859 4862 3410 0 -1 4202560 3377 0 0 0 68 1 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992251716568 139992978770832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26007016 memory=0 CPUtime=0.62 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) R 4859 4862 3410 0 -1 4202560 3541 0 0 0 61 1 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992250658568 139992979863388 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26007016 memory=0 CPUtime=0.7 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) R 4859 4862 3410 0 -1 4202560 2949 0 0 0 70 0 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992249613936 139992973692646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26007016 memory=139937416603456 CPUtime=0.63 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 5097 0 0 0 62 1 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083307 26631184384 65533 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 4.19 s
Current children cumulated vsize: 26007016 KiB
Current children cumulated memory: 262132 KiB

[startup+2.11726 s]
# the end of solver process 4862 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.73034 s, system=0.175869 s

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

[startup+1.60107 s]
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=21069232/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26007016 memory=265748 CPUtime=4.62 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 28989 0 0 0 446 16 0 0 20 0 20 0 176083292 26631184384 66437 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6501754 66437 3817 1 0 6489468 0
[pid=4862/tid=4864] ppid=4859 vsize=26007016 memory=0 CPUtime=1.45 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 10920 0 0 0 140 5 0 0 20 0 20 0 176083293 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992998075968 139992604388208 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26007016 memory=139937416787360 CPUtime=0.01 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 176083293 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26007016 memory=0 CPUtime=0.02 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 20 0 176083293 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 176083293 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 53 0 0 0 0 1 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26007016 memory=14199161883310 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26007016 memory=6944656575208382560 CPUtime=0.01 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26007016 memory=3472468233644323888 CPUtime=0.01 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26007016 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26007016 memory=6943526294502006880 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992254886752 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26007016 memory=6944656592387989600 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 176083296 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992253834368 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26007016 memory=288230587528118625 CPUtime=0.79 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) R 4859 4862 3410 0 -1 4202560 3694 0 0 0 78 1 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992251716736 139992974550571 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26007016 memory=0 CPUtime=0.72 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) R 4859 4862 3410 0 -1 4202560 3636 0 0 0 71 1 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992250658760 139992975377139 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26007016 memory=139937416643472 CPUtime=0.8 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) R 4859 4862 3410 0 -1 4202560 3503 0 0 0 80 0 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992249613936 139992975392398 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26007016 memory=0 CPUtime=0.65 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 5137 0 0 0 64 1 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083307 26631184384 66437 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 4.62 s
Current children cumulated vsize: 26007016 KiB
Current children cumulated memory: 265748 KiB

[startup+2.00082 s]*
/proc/loadavg: 5.26 4.38 6.44 3/199 4882
/proc/meminfo: memFree=20922736/32770624 swapFree=67108860/67108860
[pid=4862] ppid=4859 vsize=26007016 memory=262512 CPUtime=5.73 cores=0-7
/proc/4862/stat : 4862 (java) S 4859 4862 3410 0 -1 1077944320 29939 0 0 0 557 16 0 0 20 0 20 0 176083292 26631184384 65628 33554432000 4194304 4196468 140736037882576 140736037865120 139992993849079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
/proc/4862/statm: 6501754 65628 3821 1 0 6489468 0
[pid=4862/tid=4864] ppid=4859 vsize=26007016 memory=8112282956445269571 CPUtime=1.86 cores=0-7
/proc/4862/task/4864/stat : 4864 (java) R 4859 4862 3410 0 -1 4202560 10921 0 0 0 181 5 0 0 20 0 20 0 176083293 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992998078640 139992605266398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4865] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4865/stat : 4865 (java) S 4859 4862 3410 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 20 0 176083293 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992551676304 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4866] ppid=4859 vsize=26007016 memory=139937571527113 CPUtime=0.02 cores=0-7
/proc/4862/task/4866/stat : 4866 (java) S 4859 4862 3410 0 -1 1077944384 218 0 0 0 1 1 0 0 20 0 20 0 176083293 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992550623504 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4867] ppid=4859 vsize=26007016 memory=22808 CPUtime=0 cores=0-7
/proc/4862/task/4867/stat : 4867 (java) S 4859 4862 3410 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 176083293 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992549571216 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4868] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4868/stat : 4868 (java) S 4859 4862 3410 0 -1 1077944384 53 0 0 0 0 1 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992548518416 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4869] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4869/stat : 4869 (java) S 4859 4862 3410 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992547466128 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4870] ppid=4859 vsize=26007016 memory=-1 CPUtime=0.01 cores=0-7
/proc/4862/task/4870/stat : 4870 (java) S 4859 4862 3410 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992546413328 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4871] ppid=4859 vsize=26007016 memory=0 CPUtime=0.01 cores=0-7
/proc/4862/task/4871/stat : 4871 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992545361040 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4872] ppid=4859 vsize=26007016 memory=2511347910401 CPUtime=0.01 cores=0-7
/proc/4862/task/4872/stat : 4872 (java) S 4859 4862 3410 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 20 0 176083294 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992544308240 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4873] ppid=4859 vsize=26007016 memory=0 CPUtime=0 cores=0-7
/proc/4862/task/4873/stat : 4873 (java) S 4859 4862 3410 0 -1 1077944384 137 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992255940720 139992993860226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4874] ppid=4859 vsize=26007016 memory=7881696724453321575 CPUtime=0 cores=0-7
/proc/4862/task/4874/stat : 4874 (java) S 4859 4862 3410 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 176083295 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992254886752 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4875] ppid=4859 vsize=26007016 memory=8514701219730522529 CPUtime=0 cores=0-7
/proc/4862/task/4875/stat : 4875 (java) S 4859 4862 3410 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 176083296 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992253834368 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4876] ppid=4859 vsize=26007016 memory=-9181546050914066336 CPUtime=0 cores=0-7
/proc/4862/task/4876/stat : 4876 (java) S 4859 4862 3410 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992252782672 139992993867675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4877] ppid=4859 vsize=26007016 memory=0 CPUtime=1.05 cores=0-7
/proc/4862/task/4877/stat : 4877 (java) S 4859 4862 3410 0 -1 1077944384 4021 0 0 0 104 1 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992251730544 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4878] ppid=4859 vsize=26007016 memory=0 CPUtime=0.94 cores=0-7
/proc/4862/task/4878/stat : 4878 (java) R 4859 4862 3410 0 -1 4202560 3988 0 0 0 93 1 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992250677744 139992971706240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4879] ppid=4859 vsize=26007016 memory=33 CPUtime=0.99 cores=0-7
/proc/4862/task/4879/stat : 4879 (java) S 4859 4862 3410 0 -1 1077944384 3738 0 0 0 99 0 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992249625456 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4880] ppid=4859 vsize=26007016 memory=576460758266962493 CPUtime=0.68 cores=0-7
/proc/4862/task/4880/stat : 4880 (java) S 4859 4862 3410 0 -1 1077944384 5172 0 0 0 67 1 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992248572656 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4881] ppid=4859 vsize=26007016 memory=11911 CPUtime=0 cores=0-7
/proc/4862/task/4881/stat : 4881 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083298 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992247519584 139992993859285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
[pid=4862/tid=4882] ppid=4859 vsize=26007016 memory=4116342974272905269 CPUtime=0 cores=0-7
/proc/4862/task/4882/stat : 4882 (java) S 4859 4862 3410 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 176083307 26631184384 65628 33554432000 4194304 4196468 140736037882576 139992246466864 139992993860226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37150720 140736037885025 140736037885211 140736037885211 140736037887951 0
Current children cumulated CPU time: 5.73 s
Current children cumulated vsize: 26007016 KiB
Current children cumulated memory: 262512 KiB

Child status: 0
Real time (s): 2.1173
CPU time (s): 5.90621
CPU user time (s): 5.73034
CPU system time (s): 0.175869
CPU usage (%): 278.949
Max. virtual memory (cumulated for all children) (KiB): 26007016
Max. memory (cumulated for all children) (KiB): 265748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.73034
system time used= 0.175869
maximum resident set size= 267544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30158
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3508
involuntary context switches= 21


# summary of solver processes directly reported to runsolver:
#   pid: 4862
#   total CPU time (s): 5.90621
#   total CPU user time (s): 5.73034
#   total CPU system time (s): 0.175869

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034273 second user time and 0.067507 second system time

The end

Launcher Data

Begin job on node114 at 2017-08-22 21:11:36
IDJOB=4285349
IDBENCH=125971
IDSOLVER=2681
FILE ID=node114/4285349-1503429957
RUNJOBID= node114-1503426029-3437
PBS_JOBID= 20632138
Free space on /tmp= 61024 MiB

SOLVER NAME= OscaR - Parallel with EPS 2017-08-22
BENCH NAME= XCSP17/QRandom/QRandom-ehi-s85/ehi-85-297-30.xml
COMMAND LINE= java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4285349-1503429957/watcher-4285349-1503429957 -o /tmp/evaluation-result-4285349-1503429957/solver-4285349-1503429957 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503426029-3437 --watchdog 2580  java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1563303520 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285349-1503429957.xml

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

MD5SUM BENCH= de20ccc9c46783b0a0c67f2a501d352c
RANDOM SEED=1563303520

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.98
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21170144 kB
MemAvailable:   31942552 kB
Buffers:          194904 kB
Cached:         10858032 kB
SwapCached:            0 kB
Active:          2651960 kB
Inactive:        8455980 kB
Active(anon):       1488 kB
Inactive(anon):    97812 kB
Active(file):    2650472 kB
Inactive(file):  8358168 kB
Unevictable:        7248 kB
Mlocked:            7248 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42388 kB
Writeback:           288 kB
AnonPages:         89312 kB
Mapped:            54628 kB
Shmem:             41608 kB
Slab:             186436 kB
SReclaimable:     159208 kB
SUnreclaim:        27228 kB
KernelStack:        3472 kB
PageTables:         4268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     340964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 60980 MiB
End job on node114 at 2017-08-22 21:11:38