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 (5983 MiB free)
memory of node 1: 16384 MiB (10453 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304534-1534100825/watcher-4304534-1534100825 -o /tmp/evaluation-result-4304534-1534100825/solver-4304534-1534100825 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534095874-7007 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1308909000 -superng HOME/instance-4304534-1534100825.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=7821, runsolver pid=7818
[startup+0.10109 s]*
/proc/loadavg: 1.55 1.40 1.33 2/210 7878
/proc/meminfo: memFree=16822672/32770624 swapFree=67108860/67108860
[pid=7821] ppid=7818 vsize=10005480 memory=18332 CPUtime=0.09 cores=1,3,5,7
/proc/7821/stat : 7821 (java) S 7818 7821 6975 0 -1 1077944320 4237 12897 0 0 1 0 5 3 20 0 6 0 227645691 10245611520 4583 33554432000 4194304 4196468 140736891087920 140736891070464 140529609662199 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
/proc/7821/statm: 2501370 4583 1919 1 0 2489808 0
[pid=7821/tid=7874] ppid=7818 vsize=10005480 memory=-8817891684683923397 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7874/stat : 7874 (java) R 7818 7821 6975 0 -1 4202560 2060 12897 0 0 0 0 5 3 20 0 6 0 227645700 10245611520 4583 33554432000 4194304 4196468 140736891087920 140529581498960 140529595344691 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7875] ppid=7818 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7875/stat : 7875 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 6 0 227645701 10245611520 4583 33554432000 4194304 4196468 140736891087920 140529613904400 140529609672405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7876] ppid=7818 vsize=10005480 memory=140271171253888 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7876/stat : 7876 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 6 0 227645701 10245611520 4583 33554432000 4194304 4196468 140736891087920 140529468623504 140529609672405 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7877] ppid=7818 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7877/stat : 7877 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 6 0 227645701 10245611520 4583 33554432000 4194304 4196468 140736891087920 140529467570448 140529609672405 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7878] ppid=7818 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7878/stat : 7878 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 6 0 227645701 10245611520 4583 33554432000 4194304 4196468 140736891087920 140529466517904 140529609672405 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18332 KiB
[startup+0.210318 s]*
/proc/loadavg: 1.55 1.40 1.33 3/219 7887
/proc/meminfo: memFree=16803128/32770624 swapFree=67108860/67108860
[pid=7821] ppid=7818 vsize=10982744 memory=41416 CPUtime=0.26 cores=1,3,5,7
/proc/7821/stat : 7821 (java) S 7818 7821 6975 0 -1 1077944320 7077 12897 0 0 17 1 5 3 20 0 15 0 227645691 11246329856 10354 33554432000 4194304 4196468 140736891087920 140736891070464 140529609662199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
/proc/7821/statm: 2745686 10354 2942 1 0 2708109 0
[pid=7821/tid=7874] ppid=7818 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/7821/task/7874/stat : 7874 (java) R 7818 7821 6975 0 -1 4202560 3851 12897 0 0 11 0 5 3 20 0 15 0 227645700 11246329856 10552 33554432000 4194304 4196468 140736891087920 140529581475208 140529589938013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7875] ppid=7818 vsize=10982744 memory=364 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7875/stat : 7875 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246329856 10618 33554432000 4194304 4196468 140736891087920 140529613904400 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7876] ppid=7818 vsize=10982744 memory=140271172405353 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7876/stat : 7876 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246329856 10618 33554432000 4194304 4196468 140736891087920 140529468623504 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7877] ppid=7818 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7877/stat : 7877 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246329856 10618 33554432000 4194304 4196468 140736891087920 140529467570448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7878] ppid=7818 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7878/stat : 7878 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246329856 10618 33554432000 4194304 4196468 140736891087920 140529466517904 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7879] ppid=7818 vsize=10982744 memory=140271171253888 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7879/stat : 7879 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 15 0 227645702 11246329856 10618 33554432000 4194304 4196468 140736891087920 140529034533616 140529609673346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7880] ppid=7818 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7880/stat : 7880 (java) S 7818 7821 6975 0 -1 1077944384 13 12897 0 0 0 0 5 3 20 0 15 0 227645703 11246329856 10618 33554432000 4194304 4196468 140736891087920 140528390760096 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7881] ppid=7818 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7881/stat : 7881 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645703 11246329856 10618 33554432000 4194304 4196468 140736891087920 140528242910448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7882] ppid=7818 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7882/stat : 7882 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11246329856 10618 33554432000 4194304 4196468 140736891087920 140527935510992 140529609680795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7883] ppid=7818 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7821/task/7883/stat : 7883 (java) S 7818 7821 6975 0 -1 1077944384 443 12897 0 0 1 0 5 3 20 0 15 0 227645706 11246329856 10618 33554432000 4194304 4196468 140736891087920 140529033480432 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7884] ppid=7818 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7821/task/7884/stat : 7884 (java) S 7818 7821 6975 0 -1 1077944384 188 12897 0 0 1 0 5 3 20 0 15 0 227645706 11246329856 10618 33554432000 4194304 4196468 140736891087920 140529032427888 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7885] ppid=7818 vsize=10982744 memory=140271171253888 CPUtime=0.11 cores=1,3,5,7
/proc/7821/task/7885/stat : 7885 (java) S 7818 7821 6975 0 -1 1077944384 609 12897 0 0 3 0 5 3 20 0 15 0 227645706 11246329856 10618 33554432000 4194304 4196468 140736891087920 140529031374832 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7886] ppid=7818 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7886/stat : 7886 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11246329856 10618 33554432000 4194304 4196468 140736891087920 140527504714080 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7887] ppid=7818 vsize=10982744 memory=140271171253888 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7887/stat : 7887 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645706 11246329856 10684 33554432000 4194304 4196468 140736891087920 140529030323248 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41416 KiB
[startup+0.310387 s]*
/proc/loadavg: 1.55 1.40 1.33 3/219 7887
/proc/meminfo: memFree=16790228/32770624 swapFree=67108860/67108860
[pid=7821] ppid=7818 vsize=10983192 memory=55120 CPUtime=0.38 cores=1,3,5,7
/proc/7821/stat : 7821 (java) S 7818 7821 6975 0 -1 1077944320 10387 12897 0 0 28 2 5 3 20 0 15 0 227645691 11246788608 13780 33554432000 4194304 4196468 140736891087920 140736891070464 140529609662199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
/proc/7821/statm: 2745798 13780 3061 1 0 2708109 0
[pid=7821/tid=7874] ppid=7818 vsize=10983192 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/7821/task/7874/stat : 7874 (java) R 7818 7821 6975 0 -1 4202560 6918 12897 0 0 19 1 5 3 20 0 15 0 227645700 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529581474208 140529593742686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7875] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7875/stat : 7875 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529613904400 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7876] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7876/stat : 7876 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529468623504 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7877] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7877/stat : 7877 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529467570448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7878] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7878/stat : 7878 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529466517904 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7879] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7879/stat : 7879 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 15 0 227645702 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529034533616 140529609673346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7880] ppid=7818 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7880/stat : 7880 (java) S 7818 7821 6975 0 -1 1077944384 13 12897 0 0 0 0 5 3 20 0 15 0 227645703 11246788608 13822 33554432000 4194304 4196468 140736891087920 140528390760096 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7881] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7881/stat : 7881 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645703 11246788608 13822 33554432000 4194304 4196468 140736891087920 140528242910448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7882] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7882/stat : 7882 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11246788608 13822 33554432000 4194304 4196468 140736891087920 140527935510992 140529609680795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7883] ppid=7818 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7821/task/7883/stat : 7883 (java) S 7818 7821 6975 0 -1 1077944384 443 12897 0 0 1 0 5 3 20 0 15 0 227645706 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529033480432 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7884] ppid=7818 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/7821/task/7884/stat : 7884 (java) S 7818 7821 6975 0 -1 1077944384 189 12897 0 0 1 0 5 3 20 0 15 0 227645706 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529032427888 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7885] ppid=7818 vsize=10983192 memory=140271171253888 CPUtime=0.13 cores=1,3,5,7
/proc/7821/task/7885/stat : 7885 (java) S 7818 7821 6975 0 -1 1077944384 628 12897 0 0 5 0 5 3 20 0 15 0 227645706 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529031374832 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7886] ppid=7818 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7886/stat : 7886 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11246788608 13822 33554432000 4194304 4196468 140736891087920 140527504714080 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7887] ppid=7818 vsize=10983192 memory=140271171253888 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7887/stat : 7887 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645706 11246788608 13822 33554432000 4194304 4196468 140736891087920 140529030323248 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55120 KiB
[startup+0.700751 s]
/proc/loadavg: 1.55 1.40 1.33 3/219 7887
/proc/meminfo: memFree=16778568/32770624 swapFree=67108860/67108860
[pid=7821] ppid=7818 vsize=10983192 memory=88356 CPUtime=0.99 cores=1,3,5,7
/proc/7821/stat : 7821 (java) S 7818 7821 6975 0 -1 1077944320 16752 12897 0 0 87 4 5 3 20 0 15 0 227645691 11246788608 22089 33554432000 4194304 4196468 140736891087920 140736891070464 140529609662199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
/proc/7821/statm: 2745798 22089 3237 1 0 2708109 0
[pid=7821/tid=7874] ppid=7818 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/7821/task/7874/stat : 7874 (java) R 7818 7821 6975 0 -1 4202560 12168 12897 0 0 55 3 5 3 20 0 15 0 227645700 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529581490080 140529609684125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7875] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7875/stat : 7875 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529613904400 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7876] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7876/stat : 7876 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529468623504 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7877] ppid=7818 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7877/stat : 7877 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529467570448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7878] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7878/stat : 7878 (java) S 7818 7821 6975 0 -1 1077944384 2 12897 0 0 0 0 5 3 20 0 15 0 227645701 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529466517904 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7879] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7879/stat : 7879 (java) R 7818 7821 6975 0 -1 4202560 5 12897 0 0 0 0 5 3 20 0 15 0 227645702 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529034533616 140529602379351 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7880] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7880/stat : 7880 (java) S 7818 7821 6975 0 -1 1077944384 13 12897 0 0 0 0 5 3 20 0 15 0 227645703 11246788608 22089 33554432000 4194304 4196468 140736891087920 140528390760096 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7881] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7881/stat : 7881 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645703 11246788608 22089 33554432000 4194304 4196468 140736891087920 140528242910448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7882] ppid=7818 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7882/stat : 7882 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11246788608 22089 33554432000 4194304 4196468 140736891087920 140527935510992 140529609680795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7883] ppid=7818 vsize=10983192 memory=140271014683632 CPUtime=0.15 cores=1,3,5,7
/proc/7821/task/7883/stat : 7883 (java) S 7818 7821 6975 0 -1 1077944384 843 12897 0 0 7 0 5 3 20 0 15 0 227645706 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529033480432 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7884] ppid=7818 vsize=10983192 memory=140273631887973 CPUtime=0.18 cores=1,3,5,7
/proc/7821/task/7884/stat : 7884 (java) S 7818 7821 6975 0 -1 1077944384 785 12897 0 0 10 0 5 3 20 0 15 0 227645706 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529032427888 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7885] ppid=7818 vsize=10983192 memory=14888 CPUtime=0.21 cores=1,3,5,7
/proc/7821/task/7885/stat : 7885 (java) S 7818 7821 6975 0 -1 1077944384 732 12897 0 0 13 0 5 3 20 0 15 0 227645706 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529031374832 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7886] ppid=7818 vsize=10983192 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7886/stat : 7886 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11246788608 22089 33554432000 4194304 4196468 140736891087920 140527504714080 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7887] ppid=7818 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7887/stat : 7887 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645706 11246788608 22089 33554432000 4194304 4196468 140736891087920 140529030323248 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88356 KiB
[startup+1.50075 s]
/proc/loadavg: 1.55 1.40 1.33 3/219 7887
/proc/meminfo: memFree=16731888/32770624 swapFree=67108860/67108860
[pid=7821] ppid=7818 vsize=10998092 memory=180560 CPUtime=2.28 cores=1,3,5,7
/proc/7821/stat : 7821 (java) S 7818 7821 6975 0 -1 1077944320 24139 12897 0 0 211 9 5 3 20 0 15 0 227645691 11262046208 45140 33554432000 4194304 4196468 140736891087920 140736891070464 140529609662199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
/proc/7821/statm: 2749523 45140 3471 1 0 2711181 0
[pid=7821/tid=7874] ppid=7818 vsize=10998092 memory=3303 CPUtime=1.43 cores=1,3,5,7
/proc/7821/task/7874/stat : 7874 (java) R 7818 7821 6975 0 -1 4202560 17877 12897 0 0 130 5 5 3 20 0 15 0 227645700 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529581493712 140529595841213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7875] ppid=7818 vsize=10998092 memory=8112282956445269571 CPUtime=0.09 cores=1,3,5,7
/proc/7821/task/7875/stat : 7875 (java) S 7818 7821 6975 0 -1 1077944384 61 12897 0 0 1 0 5 3 20 0 15 0 227645701 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529613904400 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7876] ppid=7818 vsize=10998092 memory=3204 CPUtime=0.09 cores=1,3,5,7
/proc/7821/task/7876/stat : 7876 (java) S 7818 7821 6975 0 -1 1077944384 21 12897 0 0 1 0 5 3 20 0 15 0 227645701 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529468623504 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7877] ppid=7818 vsize=10998092 memory=954328 CPUtime=0.09 cores=1,3,5,7
/proc/7821/task/7877/stat : 7877 (java) S 7818 7821 6975 0 -1 1077944384 202 12897 0 0 1 0 5 3 20 0 15 0 227645701 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529467570448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7878] ppid=7818 vsize=10998092 memory=88356 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7878/stat : 7878 (java) S 7818 7821 6975 0 -1 1077944384 31 12897 0 0 0 0 5 3 20 0 15 0 227645701 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529466517904 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7879] ppid=7818 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/7821/task/7879/stat : 7879 (java) S 7818 7821 6975 0 -1 1077944384 50 12897 0 0 1 0 5 3 20 0 15 0 227645702 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529034533616 140529609673346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7880] ppid=7818 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7880/stat : 7880 (java) S 7818 7821 6975 0 -1 1077944384 14 12897 0 0 0 0 5 3 20 0 15 0 227645703 11262046208 45140 33554432000 4194304 4196468 140736891087920 140528390760160 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7881] ppid=7818 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7881/stat : 7881 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645703 11262046208 45140 33554432000 4194304 4196468 140736891087920 140528242910464 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7882] ppid=7818 vsize=10998092 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7882/stat : 7882 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11262046208 45140 33554432000 4194304 4196468 140736891087920 140527935510992 140529609680795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7883] ppid=7818 vsize=10998092 memory=6944656592455359580 CPUtime=0.31 cores=1,3,5,7
/proc/7821/task/7883/stat : 7883 (java) S 7818 7821 6975 0 -1 1077944384 1398 12897 0 0 23 0 5 3 20 0 15 0 227645706 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529033480432 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7884] ppid=7818 vsize=10998092 memory=4206186544037388384 CPUtime=0.26 cores=1,3,5,7
/proc/7821/task/7884/stat : 7884 (java) S 7818 7821 6975 0 -1 1077944384 977 12897 0 0 18 0 5 3 20 0 15 0 227645706 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529032427888 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7885] ppid=7818 vsize=10998092 memory=9023629670928638048 CPUtime=0.39 cores=1,3,5,7
/proc/7821/task/7885/stat : 7885 (java) S 7818 7821 6975 0 -1 1077944384 1308 12897 0 0 31 0 5 3 20 0 15 0 227645706 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529031374832 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7886] ppid=7818 vsize=10998092 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7886/stat : 7886 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11262046208 45140 33554432000 4194304 4196468 140736891087920 140527504714080 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7887] ppid=7818 vsize=10998092 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7887/stat : 7887 (java) S 7818 7821 6975 0 -1 1077944384 1 12897 0 0 0 0 5 3 20 0 15 0 227645706 11262046208 45140 33554432000 4194304 4196468 140736891087920 140529030323248 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
Current children cumulated CPU time: 2.28 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/7821/task/7874/stat : 7874 (java) R 7818 7821 6975 0 -1 4202560 90875 12897 0 0 236175 39 5 3 20 0 15 0 227645700 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529581496464 140529148231394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7875] ppid=7818 vsize=11077984 memory=945820 CPUtime=9.94 cores=1,3,5,7
/proc/7821/task/7875/stat : 7875 (java) S 7818 7821 6975 0 -1 1077944384 12811 12897 0 0 943 43 5 3 20 0 15 0 227645701 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529613904400 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7876] ppid=7818 vsize=11077984 memory=945820 CPUtime=9.93 cores=1,3,5,7
/proc/7821/task/7876/stat : 7876 (java) S 7818 7821 6975 0 -1 1077944384 13553 12897 0 0 946 39 5 3 20 0 15 0 227645701 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529468623504 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7877] ppid=7818 vsize=11077984 memory=943772 CPUtime=9.95 cores=1,3,5,7
/proc/7821/task/7877/stat : 7877 (java) S 7818 7821 6975 0 -1 1077944384 10130 12897 0 0 945 42 5 3 20 0 15 0 227645701 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529467570448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7878] ppid=7818 vsize=11077984 memory=945820 CPUtime=9.91 cores=1,3,5,7
/proc/7821/task/7878/stat : 7878 (java) S 7818 7821 6975 0 -1 1077944384 10192 12897 0 0 941 42 5 3 20 0 15 0 227645701 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529466517904 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7879] ppid=7818 vsize=11077984 memory=945820 CPUtime=7.67 cores=1,3,5,7
/proc/7821/task/7879/stat : 7879 (java) S 7818 7821 6975 0 -1 1077944384 12284 12897 0 0 717 42 5 3 20 0 15 0 227645702 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529034533616 140529609673346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7880] ppid=7818 vsize=11077984 memory=945820 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7880/stat : 7880 (java) S 7818 7821 6975 0 -1 1077944384 18 12897 0 0 0 0 5 3 20 0 15 0 227645703 11343855616 236455 33554432000 4194304 4196468 140736891087920 140528390760160 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7881] ppid=7818 vsize=11077984 memory=1696 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7881/stat : 7881 (java) S 7818 7821 6975 0 -1 1077944384 7 12897 0 0 0 0 5 3 20 0 15 0 227645703 11343855616 236455 33554432000 4194304 4196468 140736891087920 140528242910464 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7882] ppid=7818 vsize=11077984 memory=945820 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7882/stat : 7882 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11343855616 236455 33554432000 4194304 4196468 140736891087920 140527935510992 140529609680795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7883] ppid=7818 vsize=11077984 memory=945820 CPUtime=3.44 cores=1,3,5,7
/proc/7821/task/7883/stat : 7883 (java) S 7818 7821 6975 0 -1 1077944384 29976 12897 0 0 332 4 5 3 20 0 15 0 227645706 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529033480432 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7884] ppid=7818 vsize=11077984 memory=945820 CPUtime=4.05 cores=1,3,5,7
/proc/7821/task/7884/stat : 7884 (java) S 7818 7821 6975 0 -1 1077944384 24102 12897 0 0 394 3 5 3 20 0 15 0 227645706 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529032427888 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7885] ppid=7818 vsize=11077984 memory=945820 CPUtime=1.83 cores=1,3,5,7
/proc/7821/task/7885/stat : 7885 (java) S 7818 7821 6975 0 -1 1077944384 21088 12897 0 0 171 4 5 3 20 0 15 0 227645706 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529031374832 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7886] ppid=7818 vsize=11077984 memory=945820 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7886/stat : 7886 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11343855616 236455 33554432000 4194304 4196468 140736891087920 140527504714080 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7887] ppid=7818 vsize=11077984 memory=945820 CPUtime=1.31 cores=1,3,5,7
/proc/7821/task/7887/stat : 7887 (java) S 7818 7821 6975 0 -1 1077944384 1425 12897 0 0 57 66 5 3 20 0 15 0 227645706 11343855616 236455 33554432000 4194304 4196468 140736891087920 140529030323248 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
Current children cumulated CPU time: 2419.65 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 945820 KiB
[startup+2442.3 s]
/proc/loadavg: 1.74 1.42 1.36 3/218 8092
/proc/meminfo: memFree=15993324/32770624 swapFree=67108860/67108860
[pid=7821] ppid=7818 vsize=11077984 memory=949916 CPUtime=2480.53 cores=1,3,5,7
/proc/7821/stat : 7821 (java) S 7818 7821 6975 0 -1 1077944320 230332 12897 0 0 247755 290 5 3 20 0 15 0 227645691 11343855616 237479 33554432000 4194304 4196468 140736891087920 140736891070464 140529609662199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
/proc/7821/statm: 2769496 237479 3530 1 0 2731149 0
[pid=7821/tid=7874] ppid=7818 vsize=11077984 memory=949916 CPUtime=2421.66 cores=1,3,5,7
/proc/7821/task/7874/stat : 7874 (java) R 7818 7821 6975 0 -1 4202560 91596 12897 0 0 242118 40 5 3 20 0 15 0 227645700 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529581497024 140529144624873 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7875] ppid=7818 vsize=11077984 memory=949916 CPUtime=10.25 cores=1,3,5,7
/proc/7821/task/7875/stat : 7875 (java) S 7818 7821 6975 0 -1 1077944384 13168 12897 0 0 972 45 5 3 20 0 15 0 227645701 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529613904400 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7876] ppid=7818 vsize=11077984 memory=949916 CPUtime=10.24 cores=1,3,5,7
/proc/7821/task/7876/stat : 7876 (java) S 7818 7821 6975 0 -1 1077944384 13703 12897 0 0 976 40 5 3 20 0 15 0 227645701 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529468623504 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7877] ppid=7818 vsize=11077984 memory=949916 CPUtime=10.25 cores=1,3,5,7
/proc/7821/task/7877/stat : 7877 (java) S 7818 7821 6975 0 -1 1077944384 10150 12897 0 0 974 43 5 3 20 0 15 0 227645701 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529467570448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7878] ppid=7818 vsize=11077984 memory=949916 CPUtime=10.21 cores=1,3,5,7
/proc/7821/task/7878/stat : 7878 (java) S 7818 7821 6975 0 -1 1077944384 10393 12897 0 0 970 43 5 3 20 0 15 0 227645701 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529466517904 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7879] ppid=7818 vsize=11077984 memory=949916 CPUtime=7.87 cores=1,3,5,7
/proc/7821/task/7879/stat : 7879 (java) S 7818 7821 6975 0 -1 1077944384 12484 12897 0 0 736 43 5 3 20 0 15 0 227645702 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529034533616 140529609673346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7880] ppid=7818 vsize=11077984 memory=949916 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7880/stat : 7880 (java) S 7818 7821 6975 0 -1 1077944384 18 12897 0 0 0 0 5 3 20 0 15 0 227645703 11343855616 237479 33554432000 4194304 4196468 140736891087920 140528390760160 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7881] ppid=7818 vsize=11077984 memory=949916 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7881/stat : 7881 (java) S 7818 7821 6975 0 -1 1077944384 7 12897 0 0 0 0 5 3 20 0 15 0 227645703 11343855616 237479 33554432000 4194304 4196468 140736891087920 140528242910464 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7882] ppid=7818 vsize=11077984 memory=4132 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7882/stat : 7882 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11343855616 237479 33554432000 4194304 4196468 140736891087920 140527935510992 140529609680795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7883] ppid=7818 vsize=11077984 memory=949916 CPUtime=3.44 cores=1,3,5,7
/proc/7821/task/7883/stat : 7883 (java) S 7818 7821 6975 0 -1 1077944384 29978 12897 0 0 332 4 5 3 20 0 15 0 227645706 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529033480432 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7884] ppid=7818 vsize=11077984 memory=3984 CPUtime=4.05 cores=1,3,5,7
/proc/7821/task/7884/stat : 7884 (java) S 7818 7821 6975 0 -1 1077944384 24104 12897 0 0 394 3 5 3 20 0 15 0 227645706 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529032427888 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7885] ppid=7818 vsize=11077984 memory=1616 CPUtime=1.83 cores=1,3,5,7
/proc/7821/task/7885/stat : 7885 (java) S 7818 7821 6975 0 -1 1077944384 21090 12897 0 0 171 4 5 3 20 0 15 0 227645706 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529031374832 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7886] ppid=7818 vsize=11077984 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7886/stat : 7886 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11343855616 237479 33554432000 4194304 4196468 140736891087920 140527504714080 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7887] ppid=7818 vsize=11077984 memory=949916 CPUtime=1.34 cores=1,3,5,7
/proc/7821/task/7887/stat : 7887 (java) S 7818 7821 6975 0 -1 1077944384 1443 12897 0 0 58 68 5 3 20 0 15 0 227645706 11343855616 237479 33554432000 4194304 4196468 140736891087920 140529030323248 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
Current children cumulated CPU time: 2480.53 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 949916 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.3 s]
/proc/loadavg: 1.42 1.38 1.35 3/218 8093
/proc/meminfo: memFree=15989628/32770624 swapFree=67108860/67108860
[pid=7821] ppid=7818 vsize=11077984 memory=951964 CPUtime=2520.07 cores=1,3,5,7
/proc/7821/stat : 7821 (java) S 7818 7821 6975 0 -1 1077944320 231450 12897 0 0 251705 294 5 3 20 0 15 0 227645691 11343855616 237991 33554432000 4194304 4196468 140736891087920 140736891070464 140529609662199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
/proc/7821/statm: 2769496 237991 3530 1 0 2731149 0
[pid=7821/tid=7874] ppid=7818 vsize=11077984 memory=951964 CPUtime=2460.28 cores=1,3,5,7
/proc/7821/task/7874/stat : 7874 (java) R 7818 7821 6975 0 -1 4202560 92155 12897 0 0 245980 40 5 3 20 0 15 0 227645700 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529581497632 140529133225159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7875] ppid=7818 vsize=11077984 memory=951964 CPUtime=10.45 cores=1,3,5,7
/proc/7821/task/7875/stat : 7875 (java) S 7818 7821 6975 0 -1 1077944384 13252 12897 0 0 991 46 5 3 20 0 15 0 227645701 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529613904400 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7876] ppid=7818 vsize=11077984 memory=951964 CPUtime=10.44 cores=1,3,5,7
/proc/7821/task/7876/stat : 7876 (java) S 7818 7821 6975 0 -1 1077944384 13750 12897 0 0 995 41 5 3 20 0 15 0 227645701 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529468623504 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7877] ppid=7818 vsize=11077984 memory=951964 CPUtime=10.45 cores=1,3,5,7
/proc/7821/task/7877/stat : 7877 (java) S 7818 7821 6975 0 -1 1077944384 10263 12897 0 0 993 44 5 3 20 0 15 0 227645701 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529467570448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7878] ppid=7818 vsize=11077984 memory=951964 CPUtime=10.4 cores=1,3,5,7
/proc/7821/task/7878/stat : 7878 (java) S 7818 7821 6975 0 -1 1077944384 10515 12897 0 0 987 45 5 3 20 0 15 0 227645701 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529466517904 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7879] ppid=7818 vsize=11077984 memory=951964 CPUtime=7.99 cores=1,3,5,7
/proc/7821/task/7879/stat : 7879 (java) S 7818 7821 6975 0 -1 1077944384 12655 12897 0 0 748 43 5 3 20 0 15 0 227645702 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529034533616 140529609673346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7880] ppid=7818 vsize=11077984 memory=951964 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7880/stat : 7880 (java) S 7818 7821 6975 0 -1 1077944384 18 12897 0 0 0 0 5 3 20 0 15 0 227645703 11343855616 237991 33554432000 4194304 4196468 140736891087920 140528390760160 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7881] ppid=7818 vsize=11077984 memory=951964 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7881/stat : 7881 (java) S 7818 7821 6975 0 -1 1077944384 7 12897 0 0 0 0 5 3 20 0 15 0 227645703 11343855616 237991 33554432000 4194304 4196468 140736891087920 140528242910464 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7882] ppid=7818 vsize=11077984 memory=951964 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7882/stat : 7882 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140527935510992 140529609680795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7883] ppid=7818 vsize=11077984 memory=951964 CPUtime=3.45 cores=1,3,5,7
/proc/7821/task/7883/stat : 7883 (java) S 7818 7821 6975 0 -1 1077944384 29980 12897 0 0 333 4 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529033480432 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7884] ppid=7818 vsize=11077984 memory=951964 CPUtime=4.05 cores=1,3,5,7
/proc/7821/task/7884/stat : 7884 (java) S 7818 7821 6975 0 -1 1077944384 24106 12897 0 0 394 3 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529032427888 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7885] ppid=7818 vsize=11077984 memory=4132 CPUtime=1.83 cores=1,3,5,7
/proc/7821/task/7885/stat : 7885 (java) S 7818 7821 6975 0 -1 1077944384 21092 12897 0 0 171 4 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529031374832 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7886] ppid=7818 vsize=11077984 memory=951964 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7886/stat : 7886 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140527504714080 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7887] ppid=7818 vsize=11077984 memory=951964 CPUtime=1.36 cores=1,3,5,7
/proc/7821/task/7887/stat : 7887 (java) S 7818 7821 6975 0 -1 1077944384 1459 12897 0 0 59 69 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529030323248 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 951964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.34 s]
# the end of solver process 7821 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.13 s, system=2.98985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2481.3 s]
/proc/loadavg: 1.42 1.38 1.35 3/218 8093
/proc/meminfo: memFree=15989628/32770624 swapFree=67108860/67108860
[pid=7821] ppid=7818 vsize=11077984 memory=951964 CPUtime=2520.07 cores=1,3,5,7
/proc/7821/stat : 7821 (java) S 7818 7821 6975 0 -1 1077944320 231450 12897 0 0 251705 294 5 3 20 0 15 0 227645691 11343855616 237991 33554432000 4194304 4196468 140736891087920 140736891070464 140529609662199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
/proc/7821/statm: 2769496 237991 3530 1 0 2731149 0
[pid=7821/tid=7874] ppid=7818 vsize=11077984 memory=951964 CPUtime=2460.28 cores=1,3,5,7
/proc/7821/task/7874/stat : 7874 (java) R 7818 7821 6975 0 -1 4202560 92155 12897 0 0 245980 40 5 3 20 0 15 0 227645700 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529581497632 140529133225159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7875] ppid=7818 vsize=11077984 memory=951964 CPUtime=10.45 cores=1,3,5,7
/proc/7821/task/7875/stat : 7875 (java) S 7818 7821 6975 0 -1 1077944384 13252 12897 0 0 991 46 5 3 20 0 15 0 227645701 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529613904400 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7876] ppid=7818 vsize=11077984 memory=951964 CPUtime=10.44 cores=1,3,5,7
/proc/7821/task/7876/stat : 7876 (java) S 7818 7821 6975 0 -1 1077944384 13750 12897 0 0 995 41 5 3 20 0 15 0 227645701 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529468623504 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7877] ppid=7818 vsize=11077984 memory=951964 CPUtime=10.45 cores=1,3,5,7
/proc/7821/task/7877/stat : 7877 (java) S 7818 7821 6975 0 -1 1077944384 10263 12897 0 0 993 44 5 3 20 0 15 0 227645701 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529467570448 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7878] ppid=7818 vsize=11077984 memory=951964 CPUtime=10.4 cores=1,3,5,7
/proc/7821/task/7878/stat : 7878 (java) S 7818 7821 6975 0 -1 1077944384 10515 12897 0 0 987 45 5 3 20 0 15 0 227645701 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529466517904 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7879] ppid=7818 vsize=11077984 memory=951964 CPUtime=7.99 cores=1,3,5,7
/proc/7821/task/7879/stat : 7879 (java) S 7818 7821 6975 0 -1 1077944384 12655 12897 0 0 748 43 5 3 20 0 15 0 227645702 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529034533616 140529609673346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7880] ppid=7818 vsize=11077984 memory=951964 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7880/stat : 7880 (java) S 7818 7821 6975 0 -1 1077944384 18 12897 0 0 0 0 5 3 20 0 15 0 227645703 11343855616 237991 33554432000 4194304 4196468 140736891087920 140528390760160 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7881] ppid=7818 vsize=11077984 memory=951964 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7881/stat : 7881 (java) S 7818 7821 6975 0 -1 1077944384 7 12897 0 0 0 0 5 3 20 0 15 0 227645703 11343855616 237991 33554432000 4194304 4196468 140736891087920 140528242910464 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7882] ppid=7818 vsize=11077984 memory=951964 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7882/stat : 7882 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140527935510992 140529609680795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7883] ppid=7818 vsize=11077984 memory=951964 CPUtime=3.45 cores=1,3,5,7
/proc/7821/task/7883/stat : 7883 (java) S 7818 7821 6975 0 -1 1077944384 29980 12897 0 0 333 4 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529033480432 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7884] ppid=7818 vsize=11077984 memory=951964 CPUtime=4.05 cores=1,3,5,7
/proc/7821/task/7884/stat : 7884 (java) S 7818 7821 6975 0 -1 1077944384 24106 12897 0 0 394 3 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529032427888 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7885] ppid=7818 vsize=11077984 memory=4132 CPUtime=1.83 cores=1,3,5,7
/proc/7821/task/7885/stat : 7885 (java) S 7818 7821 6975 0 -1 1077944384 21092 12897 0 0 171 4 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529031374832 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7886] ppid=7818 vsize=11077984 memory=951964 CPUtime=0.08 cores=1,3,5,7
/proc/7821/task/7886/stat : 7886 (java) S 7818 7821 6975 0 -1 1077944384 3 12897 0 0 0 0 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140527504714080 140529609672405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
[pid=7821/tid=7887] ppid=7818 vsize=11077984 memory=951964 CPUtime=1.36 cores=1,3,5,7
/proc/7821/task/7887/stat : 7887 (java) S 7818 7821 6975 0 -1 1077944384 1459 12897 0 0 59 69 5 3 20 0 15 0 227645706 11343855616 237991 33554432000 4194304 4196468 140736891087920 140529030323248 140529609673346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19824640 140736891091555 140736891094364 140736891094364 140736891097039 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 951964 KiB
Child status: 143
Real time (s): 2481.34
CPU time (s): 2520.12
CPU user time (s): 2517.13
CPU system time (s): 2.98985
CPU usage (%): 101.563
Max. virtual memory (cumulated for all children) (KiB): 11080852
Max. memory (cumulated for all children) (KiB): 951964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.13
system time used= 2.98985
maximum resident set size= 954424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 245668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 227537
involuntary context switches= 7620
# summary of solver processes directly reported to runsolver:
# pid: 7821
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.13
# total CPU system time (s): 2.98985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2947 second user time and 22.6894 second system time
The end