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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298419-1532757752/watcher-4298419-1532757752 -o /tmp/evaluation-result-4298419-1532757752/solver-4298419-1532757752 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532740268-23108 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298419-1532757752.xml --timelimit 2520 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25384, runsolver pid=25381
Current StackSize limit: 8192 KiB


[startup+0.100415 s]*
/proc/loadavg: 1.93 1.84 1.69 4/215 25399
/proc/meminfo: memFree=20094380/32770624 swapFree=67108860/67108860
[pid=25384] ppid=25381 vsize=10658972 memory=28216 CPUtime=0.13 cores=0,2,4,6
/proc/25384/stat : 25384 (java) S 25381 25384 23077 0 -1 1077944320 5018 0 0 0 12 1 0 0 20 0 15 0 93338359 10914787328 7054 33554432000 4194304 4196468 140720358299072 140720358281616 139847912189687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
/proc/25384/statm: 2664743 7054 2822 1 0 2627263 0
[pid=25384/tid=25386] ppid=25381 vsize=10658972 memory=-7254949987974015097 CPUtime=0.09 cores=0,2,4,6
/proc/25384/task/25386/stat : 25386 (java) R 25381 25384 23077 0 -1 4202560 2846 0 0 0 8 1 0 0 20 0 15 0 93338360 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847916418160 139847912201622 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25387] ppid=25381 vsize=10658972 memory=5793855945131395513 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25387/stat : 25387 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847838264464 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25388] ppid=25381 vsize=10658972 memory=140694121502336 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25388/stat : 25388 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847837211664 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25389] ppid=25381 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25389/stat : 25389 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847836158864 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25390] ppid=25381 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25390/stat : 25390 (java) S 25381 25384 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93338360 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847835106064 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25391] ppid=25381 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25391/stat : 25391 (java) S 25381 25384 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93338362 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847403518320 139847912200834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25392] ppid=25381 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25392/stat : 25392 (java) S 25381 25384 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93338362 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847402464288 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25393] ppid=25381 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25393/stat : 25393 (java) S 25381 25384 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93338362 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847401411440 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25394] ppid=25381 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25394/stat : 25394 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847400359760 139847912208283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25395] ppid=25381 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25395/stat : 25395 (java) R 25381 25384 23077 0 -1 4202560 429 0 0 0 0 0 0 0 20 0 15 0 93338365 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847399299680 139847912211034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25396] ppid=25381 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25396/stat : 25396 (java) R 25381 25384 23077 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 93338365 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847398255440 139847912199893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25397] ppid=25381 vsize=10658972 memory=140694121502336 CPUtime=0.02 cores=0,2,4,6
/proc/25384/task/25397/stat : 25397 (java) S 25381 25384 23077 0 -1 1077944384 329 0 0 0 2 0 0 0 20 0 15 0 93338365 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847397202544 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25398] ppid=25381 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25398/stat : 25398 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847396149984 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25399] ppid=25381 vsize=10658972 memory=140694121502336 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25399/stat : 25399 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338365 10914787328 7054 33554432000 4194304 4196468 140720358299072 139847395097264 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 28216 KiB

[startup+0.210621 s]*
/proc/loadavg: 1.93 1.84 1.69 4/215 25399
/proc/meminfo: memFree=20083196/32770624 swapFree=67108860/67108860
[pid=25384] ppid=25381 vsize=10661056 memory=40576 CPUtime=0.34 cores=0,2,4,6
/proc/25384/stat : 25384 (java) S 25381 25384 23077 0 -1 1077944320 7667 0 0 0 32 2 0 0 20 0 15 0 93338359 10916921344 10144 33554432000 4194304 4196468 140720358299072 140720358281616 139847912189687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
/proc/25384/statm: 2665264 10144 2997 1 0 2627263 0
[pid=25384/tid=25386] ppid=25381 vsize=10661056 memory=6735269665583770266 CPUtime=0.19 cores=0,2,4,6
/proc/25384/task/25386/stat : 25386 (java) R 25381 25384 23077 0 -1 4202560 4633 0 0 0 18 1 0 0 20 0 15 0 93338360 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847916428640 139847507528687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25387] ppid=25381 vsize=10661056 memory=4211974420326292874 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25387/stat : 25387 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847838264464 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25388] ppid=25381 vsize=10661056 memory=140694121502336 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25388/stat : 25388 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847837211664 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25389] ppid=25381 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25389/stat : 25389 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847836158864 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25390] ppid=25381 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25390/stat : 25390 (java) S 25381 25384 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93338360 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847835106064 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25391] ppid=25381 vsize=10661056 memory=140694121502336 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25391/stat : 25391 (java) S 25381 25384 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93338362 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847403518320 139847912200834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25392] ppid=25381 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25392/stat : 25392 (java) S 25381 25384 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93338362 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847402464288 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25393] ppid=25381 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25393/stat : 25393 (java) S 25381 25384 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93338362 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847401411440 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25394] ppid=25381 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25394/stat : 25394 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847400359760 139847912208283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25395] ppid=25381 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25384/task/25395/stat : 25395 (java) R 25381 25384 23077 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 15 0 93338365 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847399308144 139847912200834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25396] ppid=25381 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25384/task/25396/stat : 25396 (java) R 25381 25384 23077 0 -1 4202560 350 0 0 0 1 0 0 0 20 0 15 0 93338365 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847398255344 139847912211034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25397] ppid=25381 vsize=10661056 memory=140694121502336 CPUtime=0.08 cores=0,2,4,6
/proc/25384/task/25397/stat : 25397 (java) R 25381 25384 23077 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 93338365 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847397198912 139847891578938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25398] ppid=25381 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25398/stat : 25398 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847396149984 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25399] ppid=25381 vsize=10661056 memory=140694121502336 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25399/stat : 25399 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338365 10916921344 10144 33554432000 4194304 4196468 140720358299072 139847395097264 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40576 KiB

[startup+0.310818 s]*
/proc/loadavg: 1.93 1.84 1.69 5/215 25399
/proc/meminfo: memFree=20068804/32770624 swapFree=67108860/67108860
[pid=25384] ppid=25381 vsize=10661056 memory=57152 CPUtime=0.67 cores=0,2,4,6
/proc/25384/stat : 25384 (java) S 25381 25384 23077 0 -1 1077944320 9315 0 0 0 64 3 0 0 20 0 15 0 93338359 10916921344 14288 33554432000 4194304 4196468 140720358299072 140720358281616 139847912189687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
/proc/25384/statm: 2665264 14288 3038 1 0 2627263 0
[pid=25384/tid=25386] ppid=25381 vsize=10661056 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/25384/task/25386/stat : 25386 (java) R 25381 25384 23077 0 -1 4202560 4650 0 0 0 28 2 0 0 20 0 15 0 93338360 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847916426416 139847912211613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25387] ppid=25381 vsize=10661056 memory=4211974420326292874 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25387/stat : 25387 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847838264464 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25388] ppid=25381 vsize=10661056 memory=281388123425152 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25388/stat : 25388 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847837211664 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25389] ppid=25381 vsize=10661056 memory=281388003873280 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25389/stat : 25389 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847836158864 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25390] ppid=25381 vsize=10661056 memory=140694001922831 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25390/stat : 25390 (java) S 25381 25384 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93338360 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847835106064 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25391] ppid=25381 vsize=10661056 memory=281388123434368 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25391/stat : 25391 (java) S 25381 25384 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93338362 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847403518320 139847912200834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25392] ppid=25381 vsize=10661056 memory=140694001927439 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25392/stat : 25392 (java) S 25381 25384 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93338362 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847402464288 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25393] ppid=25381 vsize=10661056 memory=140694001952853 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25393/stat : 25393 (java) S 25381 25384 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93338362 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847401411440 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25394] ppid=25381 vsize=10661056 memory=140694001956956 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25394/stat : 25394 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847400359760 139847912208283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25395] ppid=25381 vsize=10661056 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/25384/task/25395/stat : 25395 (java) R 25381 25384 23077 0 -1 4202560 1355 0 0 0 11 0 0 0 20 0 15 0 93338365 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847399294024 139847889743711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25396] ppid=25381 vsize=10661056 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/25384/task/25396/stat : 25396 (java) R 25381 25384 23077 0 -1 4202560 905 0 0 0 11 0 0 0 20 0 15 0 93338365 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847398236360 139847898223424 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25397] ppid=25381 vsize=10661056 memory=140694121502336 CPUtime=0.12 cores=0,2,4,6
/proc/25384/task/25397/stat : 25397 (java) S 25381 25384 23077 0 -1 1077944384 1039 0 0 0 12 0 0 0 20 0 15 0 93338365 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847397202544 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25398] ppid=25381 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25398/stat : 25398 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847396149984 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25399] ppid=25381 vsize=10661056 memory=140694121530552 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25399/stat : 25399 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338365 10916921344 14288 33554432000 4194304 4196468 140720358299072 139847395097264 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 57152 KiB

[startup+0.700817 s]
/proc/loadavg: 1.93 1.84 1.69 4/215 25399
/proc/meminfo: memFree=20043184/32770624 swapFree=67108860/67108860
[pid=25384] ppid=25381 vsize=10661132 memory=131628 CPUtime=1.83 cores=0,2,4,6
/proc/25384/stat : 25384 (java) S 25381 25384 23077 0 -1 1077944320 12087 0 0 0 177 6 0 0 20 0 15 0 93338359 10916999168 32907 33554432000 4194304 4196468 140720358299072 140720358281616 139847912189687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
/proc/25384/statm: 2665283 32907 3103 1 0 2627263 0
[pid=25384/tid=25386] ppid=25381 vsize=10661132 memory=54 CPUtime=0.67 cores=0,2,4,6
/proc/25384/task/25386/stat : 25386 (java) R 25381 25384 23077 0 -1 4202560 5004 0 0 0 63 4 0 0 20 0 15 0 93338360 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847916424480 139847891267179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25387] ppid=25381 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25387/stat : 25387 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847838264464 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25388] ppid=25381 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25388/stat : 25388 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847837211664 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25389] ppid=25381 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25389/stat : 25389 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338360 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847836158864 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25390] ppid=25381 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25390/stat : 25390 (java) S 25381 25384 23077 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 93338360 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847835106064 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25391] ppid=25381 vsize=10661132 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25391/stat : 25391 (java) S 25381 25384 23077 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847403518320 139847912200834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25392] ppid=25381 vsize=10661132 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25392/stat : 25392 (java) S 25381 25384 23077 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847402464288 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25393] ppid=25381 vsize=10661132 memory=12032 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25393/stat : 25393 (java) S 25381 25384 23077 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847401411440 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25394] ppid=25381 vsize=10661132 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25394/stat : 25394 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847400359760 139847912208283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25395] ppid=25381 vsize=10661132 memory=792 CPUtime=0.45 cores=0,2,4,6
/proc/25384/task/25395/stat : 25395 (java) R 25381 25384 23077 0 -1 4202560 2567 0 0 0 45 0 0 0 20 0 15 0 93338365 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847399289160 139847891853296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25396] ppid=25381 vsize=10661132 memory=1716 CPUtime=0.43 cores=0,2,4,6
/proc/25384/task/25396/stat : 25396 (java) R 25381 25384 23077 0 -1 4202560 1809 0 0 0 43 0 0 0 20 0 15 0 93338365 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847398236360 139847895686475 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25397] ppid=25381 vsize=10661132 memory=1952 CPUtime=0.24 cores=0,2,4,6
/proc/25384/task/25397/stat : 25397 (java) S 25381 25384 23077 0 -1 1077944384 1336 0 0 0 24 0 0 0 20 0 15 0 93338365 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847397202544 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25398] ppid=25381 vsize=10661132 memory=8580 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25398/stat : 25398 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847396149984 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25399] ppid=25381 vsize=10661132 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25399/stat : 25399 (java) S 25381 25384 23077 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 32907 33554432000 4194304 4196468 140720358299072 139847395097264 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 131628 KiB

[startup+1.50082 s]
/proc/loadavg: 1.93 1.84 1.69 5/215 25399
/proc/meminfo: memFree=19907532/32770624 swapFree=67108860/67108860
[pid=25384] ppid=25381 vsize=10661132 memory=249432 CPUtime=4.4 cores=0,2,4,6
/proc/25384/stat : 25384 (java) S 25381 25384 23077 0 -1 1077944320 16097 0 0 0 428 12 0 0 20 0 15 0 93338359 10916999168 62358 33554432000 4194304 4196468 140720358299072 140720358281616 139847912189687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
/proc/25384/statm: 2665283 62358 3135 1 0 2627263 0
[pid=25384/tid=25386] ppid=25381 vsize=10661132 memory=4140 CPUtime=1.41 cores=0,2,4,6
/proc/25384/task/25386/stat : 25386 (java) R 25381 25384 23077 0 -1 4202560 5160 0 0 0 136 5 0 0 20 0 15 0 93338360 10916999168 62358 33554432000 4194304 4196468 140720358299072 139847916427928 139847509946816 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25387] ppid=25381 vsize=10661132 memory=26992 CPUtime=0.04 cores=0,2,4,6
/proc/25384/task/25387/stat : 25387 (java) S 25381 25384 23077 0 -1 1077944384 82 0 0 0 3 1 0 0 20 0 15 0 93338360 10916999168 62358 33554432000 4194304 4196468 140720358299072 139847838264464 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25388] ppid=25381 vsize=10661132 memory=1296 CPUtime=0.02 cores=0,2,4,6
/proc/25384/task/25388/stat : 25388 (java) S 25381 25384 23077 0 -1 1077944384 82 0 0 0 2 0 0 0 20 0 15 0 93338360 10916999168 62358 33554432000 4194304 4196468 140720358299072 139847837211664 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25389] ppid=25381 vsize=10661132 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25384/task/25389/stat : 25389 (java) S 25381 25384 23077 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 93338360 10916999168 62358 33554432000 4194304 4196468 140720358299072 139847836158864 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25390] ppid=25381 vsize=10661132 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25384/task/25390/stat : 25390 (java) S 25381 25384 23077 0 -1 1077944384 139 0 0 0 4 1 0 0 20 0 15 0 93338360 10916999168 62358 33554432000 4194304 4196468 140720358299072 139847835106064 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25391] ppid=25381 vsize=10661132 memory=7451293975509492824 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25391/stat : 25391 (java) S 25381 25384 23077 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 62358 33554432000 4194304 4196468 140720358299072 139847403518320 139847912200834 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0

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

/proc/25384/task/25386/stat : 25386 (java) R 25381 25384 23077 0 -1 4202560 145840 0 0 0 237532 59 0 0 20 0 15 0 93338360 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847916430576 139847514438883 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25387] ppid=25381 vsize=10661132 memory=2959464 CPUtime=6.13 cores=0,2,4,6
/proc/25384/task/25387/stat : 25387 (java) S 25381 25384 23077 0 -1 1077944384 18362 0 0 0 514 99 0 0 20 0 15 0 93338360 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847838264464 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25388] ppid=25381 vsize=10661132 memory=2959464 CPUtime=6.05 cores=0,2,4,6
/proc/25384/task/25388/stat : 25388 (java) S 25381 25384 23077 0 -1 1077944384 21147 0 0 0 516 89 0 0 20 0 15 0 93338360 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847837211664 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25389] ppid=25381 vsize=10661132 memory=792 CPUtime=6.08 cores=0,2,4,6
/proc/25384/task/25389/stat : 25389 (java) S 25381 25384 23077 0 -1 1077944384 24452 0 0 0 513 95 0 0 20 0 15 0 93338360 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847836158864 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25390] ppid=25381 vsize=10661132 memory=3016672 CPUtime=6.02 cores=0,2,4,6
/proc/25384/task/25390/stat : 25390 (java) S 25381 25384 23077 0 -1 1077944384 23261 0 0 0 514 88 0 0 20 0 15 0 93338360 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847835106064 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25391] ppid=25381 vsize=10661132 memory=2959464 CPUtime=0.16 cores=0,2,4,6
/proc/25384/task/25391/stat : 25391 (java) S 25381 25384 23077 0 -1 1077944384 11349 0 0 0 12 4 0 0 20 0 15 0 93338362 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847403518320 139847912200834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25392] ppid=25381 vsize=10661132 memory=2959464 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25392/stat : 25392 (java) S 25381 25384 23077 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847402464352 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25393] ppid=25381 vsize=10661132 memory=2959464 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25393/stat : 25393 (java) S 25381 25384 23077 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847401411440 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25394] ppid=25381 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25394/stat : 25394 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847400359760 139847912208283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25395] ppid=25381 vsize=10661132 memory=2959464 CPUtime=3.8 cores=0,2,4,6
/proc/25384/task/25395/stat : 25395 (java) S 25381 25384 23077 0 -1 1077944384 13635 0 0 0 378 2 0 0 20 0 15 0 93338365 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847399308144 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25396] ppid=25381 vsize=10661132 memory=2240 CPUtime=3.12 cores=0,2,4,6
/proc/25384/task/25396/stat : 25396 (java) S 25381 25384 23077 0 -1 1077944384 9685 0 0 0 311 1 0 0 20 0 15 0 93338365 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847398255344 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25397] ppid=25381 vsize=10661132 memory=4128 CPUtime=0.58 cores=0,2,4,6
/proc/25384/task/25397/stat : 25397 (java) S 25381 25384 23077 0 -1 1077944384 6428 0 0 0 57 1 0 0 20 0 15 0 93338365 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847397202544 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25398] ppid=25381 vsize=10661132 memory=2959464 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25398/stat : 25398 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847396149984 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25399] ppid=25381 vsize=10661132 memory=4140 CPUtime=1.34 cores=0,2,4,6
/proc/25384/task/25399/stat : 25399 (java) S 25381 25384 23077 0 -1 1077944384 1731 0 0 0 65 69 0 0 20 0 15 0 93338365 10916999168 739866 33554432000 4194304 4196468 140720358299072 139847395097264 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
Current children cumulated CPU time: 2409.28 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2959464 KiB

[startup+2442.3 s]
/proc/loadavg: 1.40 1.53 1.62 3/216 25473
/proc/meminfo: memFree=17120052/32770624 swapFree=67108860/67108860
[pid=25384] ppid=25381 vsize=10661132 memory=2854648 CPUtime=2469.52 cores=0,2,4,6
/proc/25384/stat : 25384 (java) S 25381 25384 23077 0 -1 1077944320 281793 0 0 0 246450 502 0 0 20 0 15 0 93338359 10916999168 713662 33554432000 4194304 4196468 140720358299072 140720358281616 139847912189687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
/proc/25384/statm: 2665283 713662 3180 1 0 2627263 0
[pid=25384/tid=25386] ppid=25381 vsize=10661132 memory=2854648 CPUtime=2435.82 cores=0,2,4,6
/proc/25384/task/25386/stat : 25386 (java) R 25381 25384 23077 0 -1 4202560 147965 0 0 0 243522 60 0 0 20 0 15 0 93338360 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847916430576 139847514666808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25387] ppid=25381 vsize=10661132 memory=2854648 CPUtime=6.2 cores=0,2,4,6
/proc/25384/task/25387/stat : 25387 (java) S 25381 25384 23077 0 -1 1077944384 18628 0 0 0 521 99 0 0 20 0 15 0 93338360 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847838264464 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25388] ppid=25381 vsize=10661132 memory=2854648 CPUtime=6.12 cores=0,2,4,6
/proc/25384/task/25388/stat : 25388 (java) S 25381 25384 23077 0 -1 1077944384 21706 0 0 0 523 89 0 0 20 0 15 0 93338360 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847837211664 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25389] ppid=25381 vsize=10661132 memory=2854648 CPUtime=6.15 cores=0,2,4,6
/proc/25384/task/25389/stat : 25389 (java) S 25381 25384 23077 0 -1 1077944384 25135 0 0 0 520 95 0 0 20 0 15 0 93338360 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847836158864 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25390] ppid=25381 vsize=10661132 memory=2854648 CPUtime=6.1 cores=0,2,4,6
/proc/25384/task/25390/stat : 25390 (java) S 25381 25384 23077 0 -1 1077944384 23852 0 0 0 521 89 0 0 20 0 15 0 93338360 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847835106064 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25391] ppid=25381 vsize=10661132 memory=2854648 CPUtime=0.16 cores=0,2,4,6
/proc/25384/task/25391/stat : 25391 (java) S 25381 25384 23077 0 -1 1077944384 11579 0 0 0 12 4 0 0 20 0 15 0 93338362 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847403518320 139847912200834 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25392] ppid=25381 vsize=10661132 memory=2854648 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25392/stat : 25392 (java) S 25381 25384 23077 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847402464352 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25393] ppid=25381 vsize=10661132 memory=2854648 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25393/stat : 25393 (java) S 25381 25384 23077 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847401411440 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25394] ppid=25381 vsize=10661132 memory=2854648 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25394/stat : 25394 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847400359760 139847912208283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25395] ppid=25381 vsize=10661132 memory=2854648 CPUtime=3.8 cores=0,2,4,6
/proc/25384/task/25395/stat : 25395 (java) S 25381 25384 23077 0 -1 1077944384 13638 0 0 0 378 2 0 0 20 0 15 0 93338365 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847399308144 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25396] ppid=25381 vsize=10661132 memory=2959464 CPUtime=3.12 cores=0,2,4,6
/proc/25384/task/25396/stat : 25396 (java) S 25381 25384 23077 0 -1 1077944384 9693 0 0 0 311 1 0 0 20 0 15 0 93338365 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847398255344 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25397] ppid=25381 vsize=10661132 memory=2854648 CPUtime=0.58 cores=0,2,4,6
/proc/25384/task/25397/stat : 25397 (java) S 25381 25384 23077 0 -1 1077944384 6432 0 0 0 57 1 0 0 20 0 15 0 93338365 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847397202544 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25398] ppid=25381 vsize=10661132 memory=2854648 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25398/stat : 25398 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847396149984 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25399] ppid=25381 vsize=10661132 memory=2854648 CPUtime=1.36 cores=0,2,4,6
/proc/25384/task/25399/stat : 25399 (java) S 25381 25384 23077 0 -1 1077944384 1770 0 0 0 66 70 0 0 20 0 15 0 93338365 10916999168 713662 33554432000 4194304 4196468 140720358299072 139847395097264 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
Current children cumulated CPU time: 2469.52 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2854648 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2492.3 s]
/proc/loadavg: 1.62 1.57 1.63 3/216 25550
/proc/meminfo: memFree=16682236/32770624 swapFree=67108860/67108860
[pid=25384] ppid=25381 vsize=10661132 memory=2762316 CPUtime=2520.01 cores=0,2,4,6
/proc/25384/stat : 25384 (java) S 25381 25384 23077 0 -1 1077944320 289228 0 0 0 251496 505 0 0 20 0 15 0 93338359 10916999168 690579 33554432000 4194304 4196468 140720358299072 140720358281616 139847912189687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
/proc/25384/statm: 2665283 690579 3180 1 0 2627263 0
[pid=25384/tid=25386] ppid=25381 vsize=10661132 memory=2762316 CPUtime=2485.66 cores=0,2,4,6
/proc/25384/task/25386/stat : 25386 (java) R 25381 25384 23077 0 -1 4202560 149885 0 0 0 248505 61 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847916430576 139847514439184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25387] ppid=25381 vsize=10661132 memory=0 CPUtime=6.35 cores=0,2,4,6
/proc/25384/task/25387/stat : 25387 (java) S 25381 25384 23077 0 -1 1077944384 20818 0 0 0 536 99 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847838264464 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25388] ppid=25381 vsize=10661132 memory=2806024 CPUtime=6.28 cores=0,2,4,6
/proc/25384/task/25388/stat : 25388 (java) S 25381 25384 23077 0 -1 1077944384 22594 0 0 0 539 89 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847837211664 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25389] ppid=25381 vsize=10661132 memory=2762316 CPUtime=6.3 cores=0,2,4,6
/proc/25384/task/25389/stat : 25389 (java) S 25381 25384 23077 0 -1 1077944384 25946 0 0 0 535 95 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847836158864 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25390] ppid=25381 vsize=10661132 memory=2762316 CPUtime=6.25 cores=0,2,4,6
/proc/25384/task/25390/stat : 25390 (java) S 25381 25384 23077 0 -1 1077944384 24980 0 0 0 536 89 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847835106064 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25391] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0.16 cores=0,2,4,6
/proc/25384/task/25391/stat : 25391 (java) S 25381 25384 23077 0 -1 1077944384 12023 0 0 0 12 4 0 0 20 0 15 0 93338362 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847403518320 139847912200834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25392] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25392/stat : 25392 (java) S 25381 25384 23077 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847402464352 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25393] ppid=25381 vsize=10661132 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25393/stat : 25393 (java) S 25381 25384 23077 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847401411440 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25394] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25394/stat : 25394 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847400359760 139847912208283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25395] ppid=25381 vsize=10661132 memory=4140 CPUtime=3.8 cores=0,2,4,6
/proc/25384/task/25395/stat : 25395 (java) S 25381 25384 23077 0 -1 1077944384 13641 0 0 0 378 2 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847399308144 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25396] ppid=25381 vsize=10661132 memory=4128 CPUtime=3.12 cores=0,2,4,6
/proc/25384/task/25396/stat : 25396 (java) S 25381 25384 23077 0 -1 1077944384 9701 0 0 0 311 1 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847398255344 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25397] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0.58 cores=0,2,4,6
/proc/25384/task/25397/stat : 25397 (java) S 25381 25384 23077 0 -1 1077944384 6436 0 0 0 57 1 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847397202544 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25398] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25398/stat : 25398 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847396149984 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25399] ppid=25381 vsize=10661132 memory=2762316 CPUtime=1.4 cores=0,2,4,6
/proc/25384/task/25399/stat : 25399 (java) S 25381 25384 23077 0 -1 1077944384 1809 0 0 0 68 72 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847395097264 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2762316 KiB

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

[startup+2492.34 s]
# the end of solver process 25384 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.99 s, system=5.06655 s

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

[startup+2492.3 s]
/proc/loadavg: 1.62 1.57 1.63 3/216 25550
/proc/meminfo: memFree=16682236/32770624 swapFree=67108860/67108860
[pid=25384] ppid=25381 vsize=10661132 memory=2762316 CPUtime=2520.01 cores=0,2,4,6
/proc/25384/stat : 25384 (java) S 25381 25384 23077 0 -1 1077944320 289228 0 0 0 251496 505 0 0 20 0 15 0 93338359 10916999168 690579 33554432000 4194304 4196468 140720358299072 140720358281616 139847912189687 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
/proc/25384/statm: 2665283 690579 3180 1 0 2627263 0
[pid=25384/tid=25386] ppid=25381 vsize=10661132 memory=2762316 CPUtime=2485.66 cores=0,2,4,6
/proc/25384/task/25386/stat : 25386 (java) R 25381 25384 23077 0 -1 4202560 149885 0 0 0 248505 61 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847916430576 139847514439184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25387] ppid=25381 vsize=10661132 memory=0 CPUtime=6.35 cores=0,2,4,6
/proc/25384/task/25387/stat : 25387 (java) S 25381 25384 23077 0 -1 1077944384 20818 0 0 0 536 99 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847838264464 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25388] ppid=25381 vsize=10661132 memory=2806024 CPUtime=6.28 cores=0,2,4,6
/proc/25384/task/25388/stat : 25388 (java) S 25381 25384 23077 0 -1 1077944384 22594 0 0 0 539 89 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847837211664 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25389] ppid=25381 vsize=10661132 memory=2762316 CPUtime=6.3 cores=0,2,4,6
/proc/25384/task/25389/stat : 25389 (java) S 25381 25384 23077 0 -1 1077944384 25946 0 0 0 535 95 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847836158864 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25390] ppid=25381 vsize=10661132 memory=2762316 CPUtime=6.25 cores=0,2,4,6
/proc/25384/task/25390/stat : 25390 (java) S 25381 25384 23077 0 -1 1077944384 24980 0 0 0 536 89 0 0 20 0 15 0 93338360 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847835106064 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25391] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0.16 cores=0,2,4,6
/proc/25384/task/25391/stat : 25391 (java) S 25381 25384 23077 0 -1 1077944384 12023 0 0 0 12 4 0 0 20 0 15 0 93338362 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847403518320 139847912200834 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25392] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25392/stat : 25392 (java) S 25381 25384 23077 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847402464352 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25393] ppid=25381 vsize=10661132 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25393/stat : 25393 (java) S 25381 25384 23077 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 93338362 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847401411440 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25394] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25394/stat : 25394 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847400359760 139847912208283 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25395] ppid=25381 vsize=10661132 memory=4140 CPUtime=3.8 cores=0,2,4,6
/proc/25384/task/25395/stat : 25395 (java) S 25381 25384 23077 0 -1 1077944384 13641 0 0 0 378 2 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847399308144 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25396] ppid=25381 vsize=10661132 memory=4128 CPUtime=3.12 cores=0,2,4,6
/proc/25384/task/25396/stat : 25396 (java) S 25381 25384 23077 0 -1 1077944384 9701 0 0 0 311 1 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847398255344 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25397] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0.58 cores=0,2,4,6
/proc/25384/task/25397/stat : 25397 (java) S 25381 25384 23077 0 -1 1077944384 6436 0 0 0 57 1 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847397202544 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25398] ppid=25381 vsize=10661132 memory=2762316 CPUtime=0 cores=0,2,4,6
/proc/25384/task/25398/stat : 25398 (java) S 25381 25384 23077 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847396149984 139847912199893 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
[pid=25384/tid=25399] ppid=25381 vsize=10661132 memory=2762316 CPUtime=1.4 cores=0,2,4,6
/proc/25384/task/25399/stat : 25399 (java) S 25381 25384 23077 0 -1 1077944384 1809 0 0 0 68 72 0 0 20 0 15 0 93338365 10916999168 690579 33554432000 4194304 4196468 140720358299072 139847395097264 139847912200834 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6864896 140720358302840 140720358302985 140720358302985 140720358305743 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2762316 KiB

Child status: 143
Real time (s): 2492.34
CPU time (s): 2520.06
CPU user time (s): 2514.99
CPU system time (s): 5.06655
CPU usage (%): 101.112
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 4144728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.99
system time used= 5.06655
maximum resident set size= 4144728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290007
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56891
involuntary context switches= 2300


# summary of solver processes directly reported to runsolver:
#   pid: 25384
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2514.99
#   total CPU system time (s): 5.06655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0052 second user time and 20.5535 second system time

The end