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 (4258 MiB free)
memory of node 1: 16384 MiB (3059 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304207-1534047424/watcher-4304207-1534047424 -o /tmp/evaluation-result-4304207-1534047424/solver-4304207-1534047424 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534037558-11010 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=358443673 HOME/instance-4304207-1534047424.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=12830, runsolver pid=12827
[startup+0.10052 s]*
/proc/loadavg: 1.10 1.37 1.40 5/211 12887
/proc/meminfo: memFree=7483132/32770624 swapFree=67108856/67108860
[pid=12830] ppid=12827 vsize=10005480 memory=15172 CPUtime=0.08 cores=1,3,5,7
/proc/12830/stat : 12830 (java) S 12827 12830 9992 0 -1 1077944320 4454 12966 0 0 1 0 4 3 20 0 6 0 222305550 10245611520 3793 33554432000 4194304 4196468 140736139089408 140736139071952 139715855896311 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
/proc/12830/statm: 2501370 3793 1934 1 0 2489808 0
[pid=12830/tid=12883] ppid=12827 vsize=10005480 memory=4279135703946854028 CPUtime=0.08 cores=1,3,5,7
/proc/12830/task/12883/stat : 12883 (java) R 12827 12830 9992 0 -1 4202560 2266 12966 0 0 1 0 4 3 20 0 6 0 222305559 10245611520 3793 33554432000 4194304 4196468 140736139089408 139715827733072 139715855918237 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12884] ppid=12827 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12884/stat : 12884 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 6 0 222305560 10245611520 3793 33554432000 4194304 4196468 140736139089408 139715860138384 139715855906517 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12885] ppid=12827 vsize=10005480 memory=140521042007680 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12885/stat : 12885 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 6 0 222305560 10245611520 3793 33554432000 4194304 4196468 140736139089408 139715395643664 139715855906517 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12886] ppid=12827 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12886/stat : 12886 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 6 0 222305560 10245611520 3793 33554432000 4194304 4196468 140736139089408 139715394591376 139715855906517 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12887] ppid=12827 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12887/stat : 12887 (java) S 12827 12830 9992 0 -1 1077944384 2 12966 0 0 0 0 4 3 20 0 6 0 222305560 10245611520 3793 33554432000 4194304 4196468 140736139089408 139715393538576 139715855906517 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15172 KiB
[startup+0.210065 s]*
/proc/loadavg: 1.10 1.37 1.40 5/220 12896
/proc/meminfo: memFree=7458292/32770624 swapFree=67108856/67108860
[pid=12830] ppid=12827 vsize=10982744 memory=43444 CPUtime=0.25 cores=1,3,5,7
/proc/12830/stat : 12830 (java) S 12827 12830 9992 0 -1 1077944320 8030 12966 0 0 17 1 4 3 20 0 15 0 222305550 11246329856 10861 33554432000 4194304 4196468 140736139089408 140736139071952 139715855896311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
/proc/12830/statm: 2745686 10861 2985 1 0 2708109 0
[pid=12830/tid=12883] ppid=12827 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/12830/task/12883/stat : 12883 (java) R 12827 12830 9992 0 -1 4202560 4554 12966 0 0 11 1 4 3 20 0 15 0 222305559 11246329856 10927 33554432000 4194304 4196468 140736139089408 139715827686304 139715836172071 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12884] ppid=12827 vsize=10982744 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12884/stat : 12884 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246329856 10927 33554432000 4194304 4196468 140736139089408 139715860138384 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12885] ppid=12827 vsize=10982744 memory=140521042007680 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12885/stat : 12885 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246329856 10927 33554432000 4194304 4196468 140736139089408 139715395643664 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12886] ppid=12827 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12886/stat : 12886 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246329856 10927 33554432000 4194304 4196468 140736139089408 139715394591376 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12887] ppid=12827 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12887/stat : 12887 (java) S 12827 12830 9992 0 -1 1077944384 2 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246329856 10927 33554432000 4194304 4196468 140736139089408 139715393538576 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12888] ppid=12827 vsize=10982744 memory=140521042007680 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12888/stat : 12888 (java) S 12827 12830 9992 0 -1 1077944384 2 12966 0 0 0 0 4 3 20 0 15 0 222305561 11246329856 10927 33554432000 4194304 4196468 140736139089408 139714824739440 139715855907458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12889] ppid=12827 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12889/stat : 12889 (java) S 12827 12830 9992 0 -1 1077944384 13 12966 0 0 0 0 4 3 20 0 15 0 222305561 11246329856 10927 33554432000 4194304 4196468 140736139089408 139714749261088 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12890] ppid=12827 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12890/stat : 12890 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305562 11246329856 10927 33554432000 4194304 4196468 140736139089408 139714547934832 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12891] ppid=12827 vsize=10982744 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12891/stat : 12891 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305564 11246329856 10927 33554432000 4194304 4196468 140736139089408 139714240535120 139715855914907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12892] ppid=12827 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12830/task/12892/stat : 12892 (java) S 12827 12830 9992 0 -1 1077944384 365 12966 0 0 1 0 4 3 20 0 15 0 222305564 11246329856 10927 33554432000 4194304 4196468 140736139089408 139714823686256 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12893] ppid=12827 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/12830/task/12893/stat : 12893 (java) S 12827 12830 9992 0 -1 1077944384 275 12966 0 0 1 0 4 3 20 0 15 0 222305564 11246329856 10927 33554432000 4194304 4196468 140736139089408 139714822633456 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12894] ppid=12827 vsize=10982744 memory=140521042007680 CPUtime=0.1 cores=1,3,5,7
/proc/12830/task/12894/stat : 12894 (java) S 12827 12830 9992 0 -1 1077944384 671 12966 0 0 3 0 4 3 20 0 15 0 222305564 11246329856 10993 33554432000 4194304 4196468 140736139089408 139714821581168 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12895] ppid=12827 vsize=10982744 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12895/stat : 12895 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305565 11246329856 10993 33554432000 4194304 4196468 140736139089408 139713809738208 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12896] ppid=12827 vsize=10982744 memory=140521042007680 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12896/stat : 12896 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305565 11246329856 10993 33554432000 4194304 4196468 140736139089408 139714820529072 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43444 KiB
[startup+0.310365 s]*
/proc/loadavg: 1.10 1.37 1.40 5/220 12896
/proc/meminfo: memFree=7443400/32770624 swapFree=67108856/67108860
[pid=12830] ppid=12827 vsize=10983192 memory=55412 CPUtime=0.38 cores=1,3,5,7
/proc/12830/stat : 12830 (java) S 12827 12830 9992 0 -1 1077944320 10911 12966 0 0 29 2 4 3 20 0 15 0 222305550 11246788608 13853 33554432000 4194304 4196468 140736139089408 140736139071952 139715855896311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
/proc/12830/statm: 2745798 13853 3104 1 0 2708109 0
[pid=12830/tid=12883] ppid=12827 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/12830/task/12883/stat : 12883 (java) R 12827 12830 9992 0 -1 4202560 7335 12966 0 0 20 1 4 3 20 0 15 0 222305559 11246788608 13853 33554432000 4194304 4196468 140736139089408 139715827708320 139715836172114 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12884] ppid=12827 vsize=10983192 memory=7084833269481492816 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12884/stat : 12884 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246788608 13853 33554432000 4194304 4196468 140736139089408 139715860138384 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12885] ppid=12827 vsize=10983192 memory=2076 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12885/stat : 12885 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246788608 13853 33554432000 4194304 4196468 140736139089408 139715395643664 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12886] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12886/stat : 12886 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246788608 13853 33554432000 4194304 4196468 140736139089408 139715394591376 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12887] ppid=12827 vsize=10983192 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12887/stat : 12887 (java) S 12827 12830 9992 0 -1 1077944384 2 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246788608 13853 33554432000 4194304 4196468 140736139089408 139715393538576 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12888] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12888/stat : 12888 (java) S 12827 12830 9992 0 -1 1077944384 2 12966 0 0 0 0 4 3 20 0 15 0 222305561 11246788608 13853 33554432000 4194304 4196468 140736139089408 139714824739440 139715855907458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12889] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12889/stat : 12889 (java) S 12827 12830 9992 0 -1 1077944384 13 12966 0 0 0 0 4 3 20 0 15 0 222305561 11246788608 13853 33554432000 4194304 4196468 140736139089408 139714749261088 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12890] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12890/stat : 12890 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305562 11246788608 13853 33554432000 4194304 4196468 140736139089408 139714547934832 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12891] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12891/stat : 12891 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305564 11246788608 13853 33554432000 4194304 4196468 140736139089408 139714240535120 139715855914907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12892] ppid=12827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12830/task/12892/stat : 12892 (java) S 12827 12830 9992 0 -1 1077944384 369 12966 0 0 1 0 4 3 20 0 15 0 222305564 11246788608 13853 33554432000 4194304 4196468 140736139089408 139714823686256 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12893] ppid=12827 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12830/task/12893/stat : 12893 (java) S 12827 12830 9992 0 -1 1077944384 278 12966 0 0 1 0 4 3 20 0 15 0 222305564 11246788608 13853 33554432000 4194304 4196468 140736139089408 139714822633456 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12894] ppid=12827 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12830/task/12894/stat : 12894 (java) S 12827 12830 9992 0 -1 1077944384 708 12966 0 0 5 0 4 3 20 0 15 0 222305564 11246788608 13853 33554432000 4194304 4196468 140736139089408 139714821581168 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12895] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12895/stat : 12895 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305565 11246788608 13853 33554432000 4194304 4196468 140736139089408 139713809738208 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12896] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12896/stat : 12896 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305565 11246788608 13853 33554432000 4194304 4196468 140736139089408 139714820529072 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55412 KiB
[startup+0.700759 s]
/proc/loadavg: 1.10 1.37 1.40 7/220 12896
/proc/meminfo: memFree=7411512/32770624 swapFree=67108856/67108860
[pid=12830] ppid=12827 vsize=10983192 memory=87988 CPUtime=0.98 cores=1,3,5,7
/proc/12830/stat : 12830 (java) S 12827 12830 9992 0 -1 1077944320 17169 12966 0 0 88 3 4 3 20 0 15 0 222305550 11246788608 21997 33554432000 4194304 4196468 140736139089408 140736139071952 139715855896311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
/proc/12830/statm: 2745798 21997 3239 1 0 2708109 0
[pid=12830/tid=12883] ppid=12827 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/12830/task/12883/stat : 12883 (java) R 12827 12830 9992 0 -1 4202560 12413 12966 0 0 57 2 4 3 20 0 15 0 222305559 11246788608 21997 33554432000 4194304 4196468 140736139089408 139715827718032 139715839976798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12884] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12884/stat : 12884 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246788608 21997 33554432000 4194304 4196468 140736139089408 139715860138384 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12885] ppid=12827 vsize=10983192 memory=3768 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12885/stat : 12885 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246788608 21997 33554432000 4194304 4196468 140736139089408 139715395643664 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12886] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12886/stat : 12886 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246788608 21997 33554432000 4194304 4196468 140736139089408 139715394591376 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12887] ppid=12827 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12887/stat : 12887 (java) S 12827 12830 9992 0 -1 1077944384 2 12966 0 0 0 0 4 3 20 0 15 0 222305560 11246788608 21997 33554432000 4194304 4196468 140736139089408 139715393538576 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12888] ppid=12827 vsize=10983192 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12888/stat : 12888 (java) S 12827 12830 9992 0 -1 1077944384 5 12966 0 0 0 0 4 3 20 0 15 0 222305561 11246788608 21997 33554432000 4194304 4196468 140736139089408 139714824739440 139715855907458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12889] ppid=12827 vsize=10983192 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12889/stat : 12889 (java) S 12827 12830 9992 0 -1 1077944384 13 12966 0 0 0 0 4 3 20 0 15 0 222305561 11246788608 21997 33554432000 4194304 4196468 140736139089408 139714749261088 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12890] ppid=12827 vsize=10983192 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12890/stat : 12890 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305562 11246788608 21997 33554432000 4194304 4196468 140736139089408 139714547934832 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12891] ppid=12827 vsize=10983192 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12891/stat : 12891 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305564 11246788608 21997 33554432000 4194304 4196468 140736139089408 139714240535120 139715855914907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12892] ppid=12827 vsize=10983192 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/12830/task/12892/stat : 12892 (java) S 12827 12830 9992 0 -1 1077944384 964 12966 0 0 9 0 4 3 20 0 15 0 222305564 11246788608 21997 33554432000 4194304 4196468 140736139089408 139714823686256 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12893] ppid=12827 vsize=10983192 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/12830/task/12893/stat : 12893 (java) S 12827 12830 9992 0 -1 1077944384 690 12966 0 0 7 0 4 3 20 0 15 0 222305564 11246788608 21997 33554432000 4194304 4196468 140736139089408 139714822633456 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12894] ppid=12827 vsize=10983192 memory=17668 CPUtime=0.2 cores=1,3,5,7
/proc/12830/task/12894/stat : 12894 (java) S 12827 12830 9992 0 -1 1077944384 878 12966 0 0 13 0 4 3 20 0 15 0 222305564 11246788608 21997 33554432000 4194304 4196468 140736139089408 139714821581168 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12895] ppid=12827 vsize=10983192 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12895/stat : 12895 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305565 11246788608 21997 33554432000 4194304 4196468 140736139089408 139713809738208 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12896] ppid=12827 vsize=10983192 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12896/stat : 12896 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305565 11246788608 21997 33554432000 4194304 4196468 140736139089408 139714820529072 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87988 KiB
[startup+1.50076 s]
/proc/loadavg: 1.10 1.37 1.40 5/220 12896
/proc/meminfo: memFree=7288112/32770624 swapFree=67108856/67108860
[pid=12830] ppid=12827 vsize=10998092 memory=187424 CPUtime=2.65 cores=1,3,5,7
/proc/12830/stat : 12830 (java) S 12827 12830 9992 0 -1 1077944320 26572 12966 0 0 249 9 4 3 20 0 15 0 222305550 11262046208 46856 33554432000 4194304 4196468 140736139089408 140736139071952 139715855896311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
/proc/12830/statm: 2749523 46856 3471 1 0 2711181 0
[pid=12830/tid=12883] ppid=12827 vsize=10998092 memory=0 CPUtime=1.42 cores=1,3,5,7
/proc/12830/task/12883/stat : 12883 (java) R 12827 12830 9992 0 -1 4202560 18038 12966 0 0 130 5 4 3 20 0 15 0 222305559 11262046208 46856 33554432000 4194304 4196468 140736139089408 139715827713600 139715839976798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12884] ppid=12827 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12884/stat : 12884 (java) S 12827 12830 9992 0 -1 1077944384 5 12966 0 0 0 0 4 3 20 0 15 0 222305560 11262046208 46856 33554432000 4194304 4196468 140736139089408 139715860138384 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12885] ppid=12827 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12830/task/12885/stat : 12885 (java) S 12827 12830 9992 0 -1 1077944384 145 12966 0 0 1 0 4 3 20 0 15 0 222305560 11262046208 46856 33554432000 4194304 4196468 140736139089408 139715395643664 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12886] ppid=12827 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12886/stat : 12886 (java) S 12827 12830 9992 0 -1 1077944384 75 12966 0 0 0 0 4 3 20 0 15 0 222305560 11262046208 46856 33554432000 4194304 4196468 140736139089408 139715394591376 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12887] ppid=12827 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12887/stat : 12887 (java) S 12827 12830 9992 0 -1 1077944384 37 12966 0 0 0 0 4 3 20 0 15 0 222305560 11262046208 46856 33554432000 4194304 4196468 140736139089408 139715393538576 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12888] ppid=12827 vsize=10998092 memory=-7965959130280075168 CPUtime=0.08 cores=1,3,5,7
/proc/12830/task/12888/stat : 12888 (java) S 12827 12830 9992 0 -1 1077944384 106 12966 0 0 1 0 4 3 20 0 15 0 222305561 11262046208 46856 33554432000 4194304 4196468 140736139089408 139714824739440 139715855907458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12889] ppid=12827 vsize=10998092 memory=281041856178432 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12889/stat : 12889 (java) S 12827 12830 9992 0 -1 1077944384 14 12966 0 0 0 0 4 3 20 0 15 0 222305561 11262046208 46856 33554432000 4194304 4196468 140736139089408 139714749261088 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12890] ppid=12827 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12890/stat : 12890 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305562 11262046208 46856 33554432000 4194304 4196468 140736139089408 139714547934848 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12891] ppid=12827 vsize=10998092 memory=11796 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12891/stat : 12891 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305564 11262046208 46856 33554432000 4194304 4196468 140736139089408 139714240535120 139715855914907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12892] ppid=12827 vsize=10998092 memory=5772 CPUtime=0.49 cores=1,3,5,7
/proc/12830/task/12892/stat : 12892 (java) S 12827 12830 9992 0 -1 1077944384 2042 12966 0 0 42 0 4 3 20 0 15 0 222305564 11262046208 46856 33554432000 4194304 4196468 140736139089408 139714823686256 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12893] ppid=12827 vsize=10998092 memory=4616 CPUtime=0.42 cores=1,3,5,7
/proc/12830/task/12893/stat : 12893 (java) S 12827 12830 9992 0 -1 1077944384 2082 12966 0 0 35 0 4 3 20 0 15 0 222305564 11262046208 46856 33554432000 4194304 4196468 140736139089408 139714822633456 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12894] ppid=12827 vsize=10998092 memory=1388 CPUtime=0.41 cores=1,3,5,7
/proc/12830/task/12894/stat : 12894 (java) S 12827 12830 9992 0 -1 1077944384 1827 12966 0 0 34 0 4 3 20 0 15 0 222305564 11262046208 46856 33554432000 4194304 4196468 140736139089408 139714821581168 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12895] ppid=12827 vsize=10998092 memory=1228 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12895/stat : 12895 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305565 11262046208 46856 33554432000 4194304 4196468 140736139089408 139713809738208 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12896] ppid=12827 vsize=10998092 memory=880 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12896/stat : 12896 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305565 11262046208 46856 33554432000 4194304 4196468 140736139089408 139714820529072 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
Current children cumulated memory: 281296 KiB
[startup+4.34707 s]
# the end of solver process 12830 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.52532 s, system=0.269172 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20157 s]
/proc/loadavg: 1.10 1.37 1.40 5/220 12896
/proc/meminfo: memFree=7061516/32770624 swapFree=67108856/67108860
[pid=12830] ppid=12827 vsize=11008352 memory=284816 CPUtime=6.88 cores=1,3,5,7
/proc/12830/stat : 12830 (java) S 12827 12830 9992 0 -1 1077944320 43921 12966 0 0 667 14 4 3 20 0 15 0 222305550 11272552448 71204 33554432000 4194304 4196468 140736139089408 140736139071952 139715855896311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
/proc/12830/statm: 2752088 71204 3496 1 0 2713741 0
[pid=12830/tid=12883] ppid=12827 vsize=11008352 memory=0 CPUtime=3.11 cores=1,3,5,7
/proc/12830/task/12883/stat : 12883 (java) R 12827 12830 9992 0 -1 4202560 30244 12966 0 0 296 8 4 3 20 0 15 0 222305559 11272552448 71204 33554432000 4194304 4196468 140736139089408 139715827726360 139715855908246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12884] ppid=12827 vsize=11008352 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12884/stat : 12884 (java) S 12827 12830 9992 0 -1 1077944384 5 12966 0 0 0 0 4 3 20 0 15 0 222305560 11272552448 71204 33554432000 4194304 4196468 140736139089408 139715860138384 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12885] ppid=12827 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12830/task/12885/stat : 12885 (java) S 12827 12830 9992 0 -1 1077944384 145 12966 0 0 1 0 4 3 20 0 15 0 222305560 11272552448 71204 33554432000 4194304 4196468 140736139089408 139715395643664 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12886] ppid=12827 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12886/stat : 12886 (java) S 12827 12830 9992 0 -1 1077944384 75 12966 0 0 0 0 4 3 20 0 15 0 222305560 11272552448 71204 33554432000 4194304 4196468 140736139089408 139715394591376 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12887] ppid=12827 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12887/stat : 12887 (java) S 12827 12830 9992 0 -1 1077944384 37 12966 0 0 0 0 4 3 20 0 15 0 222305560 11272552448 71204 33554432000 4194304 4196468 140736139089408 139715393538576 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12888] ppid=12827 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/12830/task/12888/stat : 12888 (java) S 12827 12830 9992 0 -1 1077944384 231 12966 0 0 1 0 4 3 20 0 15 0 222305561 11272552448 71204 33554432000 4194304 4196468 140736139089408 139714824739440 139715855907458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12889] ppid=12827 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12889/stat : 12889 (java) S 12827 12830 9992 0 -1 1077944384 14 12966 0 0 0 0 4 3 20 0 15 0 222305561 11272552448 71204 33554432000 4194304 4196468 140736139089408 139714749261088 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12890] ppid=12827 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12890/stat : 12890 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305562 11272552448 71204 33554432000 4194304 4196468 140736139089408 139714547934848 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12891] ppid=12827 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12891/stat : 12891 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305564 11272552448 71204 33554432000 4194304 4196468 140736139089408 139714240535120 139715855914907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12892] ppid=12827 vsize=11008352 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/12830/task/12892/stat : 12892 (java) R 12827 12830 9992 0 -1 4202560 2594 12966 0 0 118 1 4 3 20 0 15 0 222305564 11272552448 71204 33554432000 4194304 4196468 140736139089408 139714823673728 139715835134720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12893] ppid=12827 vsize=11008352 memory=6876 CPUtime=1.43 cores=1,3,5,7
/proc/12830/task/12893/stat : 12893 (java) S 12827 12830 9992 0 -1 1077944384 4182 12966 0 0 136 0 4 3 20 0 15 0 222305564 11272552448 71204 33554432000 4194304 4196468 140736139089408 139714822633456 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12894] ppid=12827 vsize=11008352 memory=15252 CPUtime=1.16 cores=1,3,5,7
/proc/12830/task/12894/stat : 12894 (java) R 12827 12830 9992 0 -1 1077944384 4189 12966 0 0 108 1 4 3 20 0 15 0 222305564 11272552448 71204 33554432000 4194304 4196468 140736139089408 139714821581168 139715855907458 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12895] ppid=12827 vsize=11008352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12895/stat : 12895 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305565 11272552448 71204 33554432000 4194304 4196468 140736139089408 139713809738208 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12896] ppid=12827 vsize=11008352 memory=6788 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12896/stat : 12896 (java) S 12827 12830 9992 0 -1 1077944384 5 12966 0 0 0 0 4 3 20 0 15 0 222305565 11272552448 71204 33554432000 4194304 4196468 140736139089408 139714820529072 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
Current children cumulated CPU time: 6.88 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 284816 KiB
[startup+4.00137 s]*
/proc/loadavg: 1.10 1.37 1.40 4/220 12896
/proc/meminfo: memFree=6871156/32770624 swapFree=67108856/67108860
[pid=12830] ppid=12827 vsize=11016704 memory=328628 CPUtime=9.02 cores=1,3,5,7
/proc/12830/stat : 12830 (java) S 12827 12830 9992 0 -1 1077944320 65372 12966 0 0 876 19 4 3 20 0 15 0 222305550 11281104896 82157 33554432000 4194304 4196468 140736139089408 140736139071952 139715855896311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
/proc/12830/statm: 2754176 82157 3512 1 0 2715829 0
[pid=12830/tid=12883] ppid=12827 vsize=11016704 memory=-6517102902069810590 CPUtime=3.88 cores=1,3,5,7
/proc/12830/task/12883/stat : 12883 (java) R 12827 12830 9992 0 -1 4202560 43187 12966 0 0 371 10 4 3 20 0 15 0 222305559 11281104896 82223 33554432000 4194304 4196468 140736139089408 139715827709944 139715836172071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12884] ppid=12827 vsize=11016704 memory=3691042058319900680 CPUtime=0.09 cores=1,3,5,7
/proc/12830/task/12884/stat : 12884 (java) S 12827 12830 9992 0 -1 1077944384 219 12966 0 0 2 0 4 3 20 0 15 0 222305560 11281104896 82223 33554432000 4194304 4196468 140736139089408 139715860138384 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12885] ppid=12827 vsize=11016704 memory=4049193469694768824 CPUtime=0.1 cores=1,3,5,7
/proc/12830/task/12885/stat : 12885 (java) S 12827 12830 9992 0 -1 1077944384 165 12966 0 0 3 0 4 3 20 0 15 0 222305560 11281104896 82223 33554432000 4194304 4196468 140736139089408 139715395643664 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12886] ppid=12827 vsize=11016704 memory=4638778398332698720 CPUtime=0.09 cores=1,3,5,7
/proc/12830/task/12886/stat : 12886 (java) S 12827 12830 9992 0 -1 1077944384 86 12966 0 0 2 0 4 3 20 0 15 0 222305560 11281104896 82223 33554432000 4194304 4196468 140736139089408 139715394591376 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12887] ppid=12827 vsize=11016704 memory=55104430408680 CPUtime=0.09 cores=1,3,5,7
/proc/12830/task/12887/stat : 12887 (java) S 12827 12830 9992 0 -1 1077944384 464 12966 0 0 2 0 4 3 20 0 15 0 222305560 11281104896 82223 33554432000 4194304 4196468 140736139089408 139715393538576 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12888] ppid=12827 vsize=11016704 memory=3540060126241901793 CPUtime=0.1 cores=1,3,5,7
/proc/12830/task/12888/stat : 12888 (java) S 12827 12830 9992 0 -1 1077944384 3497 12966 0 0 3 0 4 3 20 0 15 0 222305561 11281104896 82223 33554432000 4194304 4196468 140736139089408 139714824739440 139715855907458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12889] ppid=12827 vsize=11016704 memory=3906086732947403313 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12889/stat : 12889 (java) S 12827 12830 9992 0 -1 1077944384 14 12966 0 0 0 0 4 3 20 0 15 0 222305561 11281104896 82289 33554432000 4194304 4196468 140736139089408 139714749261152 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12890] ppid=12827 vsize=11016704 memory=7666655339737404784 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12890/stat : 12890 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305562 11281104896 82289 33554432000 4194304 4196468 140736139089408 139714547934848 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12891] ppid=12827 vsize=11016704 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12891/stat : 12891 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305564 11281104896 82289 33554432000 4194304 4196468 140736139089408 139714240535120 139715855914907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12892] ppid=12827 vsize=11016704 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/12830/task/12892/stat : 12892 (java) R 12827 12830 9992 0 -1 4202560 6218 12966 0 0 177 2 4 3 20 0 15 0 222305564 11281104896 82289 33554432000 4194304 4196468 140736139089408 139714823671736 139715837443048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12893] ppid=12827 vsize=11016704 memory=0 CPUtime=1.82 cores=1,3,5,7
/proc/12830/task/12893/stat : 12893 (java) S 12827 12830 9992 0 -1 1077944384 4436 12966 0 0 174 1 4 3 20 0 15 0 222305564 11281104896 82289 33554432000 4194304 4196468 140736139089408 139714822633456 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12894] ppid=12827 vsize=11016704 memory=12 CPUtime=1.44 cores=1,3,5,7
/proc/12830/task/12894/stat : 12894 (java) S 12827 12830 9992 0 -1 1077944384 4974 12966 0 0 135 2 4 3 20 0 15 0 222305564 11281104896 82355 33554432000 4194304 4196468 140736139089408 139714821581168 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12895] ppid=12827 vsize=11016704 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12895/stat : 12895 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305565 11281104896 82355 33554432000 4194304 4196468 140736139089408 139713809738208 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12896] ppid=12827 vsize=11016704 memory=45 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12896/stat : 12896 (java) S 12827 12830 9992 0 -1 1077944384 5 12966 0 0 0 0 4 3 20 0 15 0 222305565 11281104896 82355 33554432000 4194304 4196468 140736139089408 139714820529072 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
Current children cumulated CPU time: 9.02 s
Current children cumulated vsize: 11016704 KiB
Current children cumulated memory: 328628 KiB
[startup+4.20072 s]
/proc/loadavg: 1.10 1.37 1.40 4/220 12896
/proc/meminfo: memFree=6871156/32770624 swapFree=67108856/67108860
[pid=12830] ppid=12827 vsize=11082664 memory=361848 CPUtime=9.59 cores=1,3,5,7
/proc/12830/stat : 12830 (java) S 12827 12830 9992 0 -1 1077944320 74855 12966 0 0 931 21 4 3 20 0 15 0 222305550 11348647936 90462 33554432000 4194304 4196468 140736139089408 140736139071952 139715855896311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
/proc/12830/statm: 2770666 90462 3512 1 0 2732319 0
[pid=12830/tid=12883] ppid=12827 vsize=11082664 memory=303430231908417850 CPUtime=4.06 cores=1,3,5,7
/proc/12830/task/12883/stat : 12883 (java) R 12827 12830 9992 0 -1 4202560 49666 12966 0 0 388 11 4 3 20 0 15 0 222305559 11348647936 90462 33554432000 4194304 4196468 140736139089408 139715827723888 139715839939941 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12884] ppid=12827 vsize=11082664 memory=13847456437766433 CPUtime=0.09 cores=1,3,5,7
/proc/12830/task/12884/stat : 12884 (java) S 12827 12830 9992 0 -1 1077944384 219 12966 0 0 2 0 4 3 20 0 15 0 222305560 11348647936 90462 33554432000 4194304 4196468 140736139089408 139715860138384 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12885] ppid=12827 vsize=11082664 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/12830/task/12885/stat : 12885 (java) S 12827 12830 9992 0 -1 1077944384 165 12966 0 0 3 0 4 3 20 0 15 0 222305560 11348647936 90462 33554432000 4194304 4196468 140736139089408 139715395643664 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12886] ppid=12827 vsize=11082664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/12830/task/12886/stat : 12886 (java) S 12827 12830 9992 0 -1 1077944384 86 12966 0 0 2 0 4 3 20 0 15 0 222305560 11348647936 90462 33554432000 4194304 4196468 140736139089408 139715394591376 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12887] ppid=12827 vsize=11082664 memory=8761640388318109335 CPUtime=0.09 cores=1,3,5,7
/proc/12830/task/12887/stat : 12887 (java) S 12827 12830 9992 0 -1 1077944384 464 12966 0 0 2 0 4 3 20 0 15 0 222305560 11348647936 90462 33554432000 4194304 4196468 140736139089408 139715393538576 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12888] ppid=12827 vsize=11082664 memory=6944656592455350634 CPUtime=0.1 cores=1,3,5,7
/proc/12830/task/12888/stat : 12888 (java) S 12827 12830 9992 0 -1 1077944384 3498 12966 0 0 3 0 4 3 20 0 15 0 222305561 11348647936 90462 33554432000 4194304 4196468 140736139089408 139714824739440 139715855907458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12889] ppid=12827 vsize=11082664 memory=7016714186490735262 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12889/stat : 12889 (java) S 12827 12830 9992 0 -1 1077944384 14 12966 0 0 0 0 4 3 20 0 15 0 222305561 11348647936 90462 33554432000 4194304 4196468 140736139089408 139714749261152 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12890] ppid=12827 vsize=11082664 memory=8761640388318109335 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12890/stat : 12890 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 15 0 222305562 11348647936 90462 33554432000 4194304 4196468 140736139089408 139714547934848 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12891] ppid=12827 vsize=11082664 memory=-7522837583129307271 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12891/stat : 12891 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305564 11348647936 90462 33554432000 4194304 4196468 140736139089408 139714240535120 139715855914907 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12892] ppid=12827 vsize=11082664 memory=4137293581110450563 CPUtime=2.05 cores=1,3,5,7
/proc/12830/task/12892/stat : 12892 (java) R 12827 12830 9992 0 -1 4202560 8950 12966 0 0 196 2 4 3 20 0 15 0 222305564 11348647936 90462 33554432000 4194304 4196468 140736139089408 139714823672272 139715837417711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12893] ppid=12827 vsize=11082664 memory=7016714190785702558 CPUtime=1.95 cores=1,3,5,7
/proc/12830/task/12893/stat : 12893 (java) R 12827 12830 9992 0 -1 4202560 4471 12966 0 0 187 1 4 3 20 0 15 0 222305564 11348647936 90462 33554432000 4194304 4196468 140736139089408 139714822619552 139715840819302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12894] ppid=12827 vsize=11082664 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/12830/task/12894/stat : 12894 (java) S 12827 12830 9992 0 -1 1077944384 5117 12966 0 0 141 2 4 3 20 0 15 0 222305564 11348647936 90462 33554432000 4194304 4196468 140736139089408 139714821581168 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12895] ppid=12827 vsize=11082664 memory=140520928353073 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12895/stat : 12895 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 15 0 222305565 11348647936 90462 33554432000 4194304 4196468 140736139089408 139713809738208 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12896] ppid=12827 vsize=11082664 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12896/stat : 12896 (java) S 12827 12830 9992 0 -1 1077944384 6 12966 0 0 0 0 4 3 20 0 15 0 222305565 11348647936 90462 33554432000 4194304 4196468 140736139089408 139714820529072 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
Current children cumulated CPU time: 9.59 s
Current children cumulated vsize: 11082664 KiB
Current children cumulated memory: 361848 KiB
[startup+4.30081 s]
/proc/loadavg: 1.10 1.37 1.40 4/220 12896
/proc/meminfo: memFree=6871156/32770624 swapFree=67108856/67108860
[pid=12830] ppid=12827 vsize=11212716 memory=362376 CPUtime=9.76 cores=1,3,5,7
/proc/12830/stat : 12830 (java) S 12827 12830 9992 0 -1 1077944320 75678 12966 0 0 947 22 4 3 20 0 14 0 222305550 11481821184 90594 33554432000 4194304 4196468 140736139089408 140736139071952 139715855896311 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
/proc/12830/statm: 2803179 90594 3514 1 0 2764832 0
[pid=12830/tid=12883] ppid=12827 vsize=11212716 memory=281041856107008 CPUtime=4.09 cores=1,3,5,7
/proc/12830/task/12883/stat : 12883 (java) S 12827 12830 9992 0 -1 1077944384 49757 12966 0 0 391 11 4 3 20 0 14 0 222305559 11481821184 90594 33554432000 4194304 4196468 140736139089408 139715827739792 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12884] ppid=12827 vsize=11212716 memory=9192 CPUtime=0.09 cores=1,3,5,7
/proc/12830/task/12884/stat : 12884 (java) S 12827 12830 9992 0 -1 1077944384 219 12966 0 0 2 0 4 3 20 0 14 0 222305560 11481821184 90594 33554432000 4194304 4196468 140736139089408 139715860138384 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12885] ppid=12827 vsize=11212716 memory=281041856444128 CPUtime=0.1 cores=1,3,5,7
/proc/12830/task/12885/stat : 12885 (java) S 12827 12830 9992 0 -1 1077944384 165 12966 0 0 3 0 4 3 20 0 14 0 222305560 11481821184 90594 33554432000 4194304 4196468 140736139089408 139715395643664 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12886] ppid=12827 vsize=11212716 memory=6008200365993439299 CPUtime=0.09 cores=1,3,5,7
/proc/12830/task/12886/stat : 12886 (java) S 12827 12830 9992 0 -1 1077944384 86 12966 0 0 2 0 4 3 20 0 14 0 222305560 11481821184 90594 33554432000 4194304 4196468 140736139089408 139715394591376 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12887] ppid=12827 vsize=11212716 memory=7661574500700010810 CPUtime=0.09 cores=1,3,5,7
/proc/12830/task/12887/stat : 12887 (java) S 12827 12830 9992 0 -1 1077944384 464 12966 0 0 2 0 4 3 20 0 14 0 222305560 11481821184 90594 33554432000 4194304 4196468 140736139089408 139715393538576 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12888] ppid=12827 vsize=11212716 memory=318500 CPUtime=0.1 cores=1,3,5,7
/proc/12830/task/12888/stat : 12888 (java) S 12827 12830 9992 0 -1 1077944384 3498 12966 0 0 3 0 4 3 20 0 14 0 222305561 11481821184 90594 33554432000 4194304 4196468 140736139089408 139714824739648 139715855907458 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12889] ppid=12827 vsize=11212716 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12889/stat : 12889 (java) S 12827 12830 9992 0 -1 1077944384 14 12966 0 0 0 0 4 3 20 0 14 0 222305561 11481821184 90594 33554432000 4194304 4196468 140736139089408 139714749261152 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12890] ppid=12827 vsize=11212716 memory=281041856102640 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12890/stat : 12890 (java) S 12827 12830 9992 0 -1 1077944384 1 12966 0 0 0 0 4 3 20 0 14 0 222305562 11481821184 90594 33554432000 4194304 4196468 140736139089408 139714547934848 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12891] ppid=12827 vsize=11212716 memory=7235687433481250665 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12891/stat : 12891 (java) S 12827 12830 9992 0 -1 1077944384 5 12966 0 0 0 0 4 3 20 0 14 0 222305564 11481821184 90594 33554432000 4194304 4196468 140736139089408 139714240534768 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12892] ppid=12827 vsize=11212716 memory=7667474480077558377 CPUtime=2.15 cores=1,3,5,7
/proc/12830/task/12892/stat : 12892 (java) S 12827 12830 9992 0 -1 1077944384 9610 12966 0 0 206 2 4 3 20 0 14 0 222305564 11481821184 90594 33554432000 4194304 4196468 140736139089408 139714823670768 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12893] ppid=12827 vsize=11212716 memory=6791534058613427641 CPUtime=1.97 cores=1,3,5,7
/proc/12830/task/12893/stat : 12893 (java) S 12827 12830 9992 0 -1 1077944384 4495 12966 0 0 189 1 4 3 20 0 14 0 222305564 11481821184 90594 33554432000 4194304 4196468 140736139089408 139714822624736 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12894] ppid=12827 vsize=11212716 memory=0 CPUtime=1.52 cores=1,3,5,7
/proc/12830/task/12894/stat : 12894 (java) S 12827 12830 9992 0 -1 1077944384 5149 12966 0 0 143 2 4 3 20 0 14 0 222305564 11481821184 90594 33554432000 4194304 4196468 140736139089408 139714821581168 139715855907458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
[pid=12830/tid=12895] ppid=12827 vsize=11212716 memory=7516897281825924946 CPUtime=0.07 cores=1,3,5,7
/proc/12830/task/12895/stat : 12895 (java) S 12827 12830 9992 0 -1 1077944384 3 12966 0 0 0 0 4 3 20 0 14 0 222305565 11481821184 90594 33554432000 4194304 4196468 140736139089408 139713809738208 139715855906517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39731200 140736139090541 140736139093340 140736139093340 140736139096015 0
Current children cumulated CPU time: 9.76 s
Current children cumulated vsize: 11212716 KiB
Current children cumulated memory: 362376 KiB
Child status: 0
Real time (s): 4.34712
CPU time (s): 9.79449
CPU user time (s): 9.52532
CPU system time (s): 0.269172
CPU usage (%): 225.31
Max. virtual memory (cumulated for all children) (KiB): 11212716
Max. memory (cumulated for all children) (KiB): 362376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.52532
system time used= 0.269172
maximum resident set size= 364372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88670
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6318
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 12830
# total CPU time (s): 9.79449
# total CPU user time (s): 9.52532
# total CPU system time (s): 0.269172
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060559 second user time and 0.075682 second system time
The end