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 (6661 MiB free)
memory of node 1: 16384 MiB (4114 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304595-1534118723/watcher-4304595-1534118723 -o /tmp/evaluation-result-4304595-1534118723/solver-4304595-1534118723 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1534097917-15760 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1509535373 HOME/instance-4304595-1534118723.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20125, runsolver pid=20122
[startup+0.101664 s]*
/proc/loadavg: 1.72 1.75 1.77 2/206 20182
/proc/meminfo: memFree=11025348/32770624 swapFree=67108504/67108860
[pid=20125] ppid=20122 vsize=10005480 memory=18596 CPUtime=0.09 cores=0,2,4,6
/proc/20125/stat : 20125 (java) S 20122 20125 15729 0 -1 1077944320 4312 12860 0 0 1 0 5 3 20 0 6 0 229435434 10245611520 4649 33554432000 4194304 4196468 140721976267984 140721976250528 139841564917495 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
/proc/20125/statm: 2501370 4649 1932 1 0 2489808 0
[pid=20125/tid=20178] ppid=20122 vsize=10005480 memory=4279135704014094991 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20178/stat : 20178 (java) R 20122 20125 15729 0 -1 4202560 2126 12860 0 0 0 0 5 3 20 0 6 0 229435443 10245611520 4649 33554432000 4194304 4196468 140721976267984 139841536754256 139841564939421 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20179] ppid=20122 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20179/stat : 20179 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 6 0 229435444 10245611520 4649 33554432000 4194304 4196468 140721976267984 139841569159696 139841564927701 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20180] ppid=20122 vsize=10005480 memory=139920362030720 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20180/stat : 20180 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 6 0 229435444 10245611520 4649 33554432000 4194304 4196468 140721976267984 139841454357136 139841564927701 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20181] ppid=20122 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20181/stat : 20181 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 6 0 229435444 10245611520 4649 33554432000 4194304 4196468 140721976267984 139841453304080 139841564927701 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20182] ppid=20122 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20182/stat : 20182 (java) S 20122 20125 15729 0 -1 1077944384 2 12860 0 0 0 0 5 3 20 0 6 0 229435444 10245611520 4649 33554432000 4194304 4196468 140721976267984 139841452251536 139841564927701 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210736 s]*
/proc/loadavg: 1.72 1.75 1.77 4/215 20191
/proc/meminfo: memFree=11004144/32770624 swapFree=67108504/67108860
[pid=20125] ppid=20122 vsize=10982744 memory=41700 CPUtime=0.25 cores=0,2,4,6
/proc/20125/stat : 20125 (java) S 20122 20125 15729 0 -1 1077944320 7052 12860 0 0 16 1 5 3 20 0 15 0 229435434 11246329856 10425 33554432000 4194304 4196468 140721976267984 140721976250528 139841564917495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
/proc/20125/statm: 2745686 10425 2983 1 0 2708109 0
[pid=20125/tid=20178] ppid=20122 vsize=10982744 memory=-6517102902069810590 CPUtime=0.19 cores=0,2,4,6
/proc/20125/task/20178/stat : 20178 (java) R 20122 20125 15729 0 -1 4202560 3603 12860 0 0 10 1 5 3 20 0 15 0 229435443 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841536739400 139841546291032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20179] ppid=20122 vsize=10982744 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20179/stat : 20179 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841569159696 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20180] ppid=20122 vsize=10982744 memory=139920362030720 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20180/stat : 20180 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841454357136 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20181] ppid=20122 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20181/stat : 20181 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841453304080 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20182] ppid=20122 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20182/stat : 20182 (java) S 20122 20125 15729 0 -1 1077944384 2 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841452251536 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20183] ppid=20122 vsize=10982744 memory=139920362030720 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20183/stat : 20183 (java) S 20122 20125 15729 0 -1 1077944384 2 12860 0 0 0 0 5 3 20 0 15 0 229435446 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841058028272 139841564928642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20184] ppid=20122 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20184/stat : 20184 (java) S 20122 20125 15729 0 -1 1077944384 13 12860 0 0 0 0 5 3 20 0 15 0 229435446 11246329856 10425 33554432000 4194304 4196468 140721976267984 139840323577504 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20185] ppid=20122 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20185/stat : 20185 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435446 11246329856 10425 33554432000 4194304 4196468 140721976267984 139840175727856 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20186] ppid=20122 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20186/stat : 20186 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11246329856 10425 33554432000 4194304 4196468 140721976267984 139839868328400 139841564936091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20187] ppid=20122 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20187/stat : 20187 (java) S 20122 20125 15729 0 -1 1077944384 538 12860 0 0 1 0 5 3 20 0 15 0 229435449 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841056975088 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20188] ppid=20122 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20188/stat : 20188 (java) S 20122 20125 15729 0 -1 1077944384 68 12860 0 0 1 0 5 3 20 0 15 0 229435449 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841055922544 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20189] ppid=20122 vsize=10982744 memory=139920362030720 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20189/stat : 20189 (java) S 20122 20125 15729 0 -1 1077944384 626 12860 0 0 3 0 5 3 20 0 15 0 229435449 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841054869488 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20190] ppid=20122 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20190/stat : 20190 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11246329856 10425 33554432000 4194304 4196468 140721976267984 139839437531488 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20191] ppid=20122 vsize=10982744 memory=139920362030720 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20191/stat : 20191 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435450 11246329856 10425 33554432000 4194304 4196468 140721976267984 139841053817904 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41700 KiB
[startup+0.31001 s]*
/proc/loadavg: 1.72 1.75 1.77 3/215 20191
/proc/meminfo: memFree=10992856/32770624 swapFree=67108504/67108860
[pid=20125] ppid=20122 vsize=10983192 memory=53316 CPUtime=0.39 cores=0,2,4,6
/proc/20125/stat : 20125 (java) S 20122 20125 15729 0 -1 1077944320 9847 12860 0 0 28 3 5 3 20 0 15 0 229435434 11246788608 13329 33554432000 4194304 4196468 140721976267984 140721976250528 139841564917495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
/proc/20125/statm: 2745798 13329 3102 1 0 2708109 0
[pid=20125/tid=20178] ppid=20122 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/20125/task/20178/stat : 20178 (java) R 20122 20125 15729 0 -1 4202560 6514 12860 0 0 18 2 5 3 20 0 15 0 229435443 11246788608 13459 33554432000 4194304 4196468 140721976267984 139841536729504 139841545193323 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20179] ppid=20122 vsize=10983192 memory=7084813469699035216 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20179/stat : 20179 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246788608 13459 33554432000 4194304 4196468 140721976267984 139841569159696 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20180] ppid=20122 vsize=10983192 memory=2076 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20180/stat : 20180 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246788608 13459 33554432000 4194304 4196468 140721976267984 139841454357136 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20181] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20181/stat : 20181 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246788608 13459 33554432000 4194304 4196468 140721976267984 139841453304080 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20182] ppid=20122 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20182/stat : 20182 (java) S 20122 20125 15729 0 -1 1077944384 2 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246788608 13459 33554432000 4194304 4196468 140721976267984 139841452251536 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20183] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20183/stat : 20183 (java) S 20122 20125 15729 0 -1 1077944384 2 12860 0 0 0 0 5 3 20 0 15 0 229435446 11246788608 13459 33554432000 4194304 4196468 140721976267984 139841058028272 139841564928642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20184] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20184/stat : 20184 (java) S 20122 20125 15729 0 -1 1077944384 13 12860 0 0 0 0 5 3 20 0 15 0 229435446 11246788608 13459 33554432000 4194304 4196468 140721976267984 139840323577504 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20185] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20185/stat : 20185 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435446 11246788608 13525 33554432000 4194304 4196468 140721976267984 139840175727856 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20186] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20186/stat : 20186 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11246788608 13525 33554432000 4194304 4196468 140721976267984 139839868328400 139841564936091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20187] ppid=20122 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20187/stat : 20187 (java) S 20122 20125 15729 0 -1 1077944384 540 12860 0 0 1 0 5 3 20 0 15 0 229435449 11246788608 13525 33554432000 4194304 4196468 140721976267984 139841056975088 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20188] ppid=20122 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20188/stat : 20188 (java) S 20122 20125 15729 0 -1 1077944384 68 12860 0 0 1 0 5 3 20 0 15 0 229435449 11246788608 13525 33554432000 4194304 4196468 140721976267984 139841055922544 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20189] ppid=20122 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/20125/task/20189/stat : 20189 (java) S 20122 20125 15729 0 -1 1077944384 645 12860 0 0 5 0 5 3 20 0 15 0 229435449 11246788608 13525 33554432000 4194304 4196468 140721976267984 139841054869488 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20190] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20190/stat : 20190 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11246788608 13525 33554432000 4194304 4196468 140721976267984 139839437531488 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20191] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20191/stat : 20191 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435450 11246788608 13525 33554432000 4194304 4196468 140721976267984 139841053817904 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53316 KiB
[startup+0.700814 s]
/proc/loadavg: 1.72 1.75 1.77 3/215 20191
/proc/meminfo: memFree=10981752/32770624 swapFree=67108504/67108860
[pid=20125] ppid=20122 vsize=10983192 memory=88600 CPUtime=0.99 cores=0,2,4,6
/proc/20125/stat : 20125 (java) S 20122 20125 15729 0 -1 1077944320 16729 12860 0 0 86 5 5 3 20 0 15 0 229435434 11246788608 22150 33554432000 4194304 4196468 140721976267984 140721976250528 139841564917495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
/proc/20125/statm: 2745798 22150 3241 1 0 2708109 0
[pid=20125/tid=20178] ppid=20122 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/20125/task/20178/stat : 20178 (java) R 20122 20125 15729 0 -1 4202560 12149 12860 0 0 55 4 5 3 20 0 15 0 229435443 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841536740496 139841548997982 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20179] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20179/stat : 20179 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841569159696 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20180] ppid=20122 vsize=10983192 memory=3816 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20180/stat : 20180 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841454357136 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20181] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20181/stat : 20181 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841453304080 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20182] ppid=20122 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20182/stat : 20182 (java) S 20122 20125 15729 0 -1 1077944384 2 12860 0 0 0 0 5 3 20 0 15 0 229435444 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841452251536 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20183] ppid=20122 vsize=10983192 memory=4420 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20183/stat : 20183 (java) S 20122 20125 15729 0 -1 1077944384 5 12860 0 0 0 0 5 3 20 0 15 0 229435446 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841058028272 139841564928642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20184] ppid=20122 vsize=10983192 memory=6628 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20184/stat : 20184 (java) S 20122 20125 15729 0 -1 1077944384 13 12860 0 0 0 0 5 3 20 0 15 0 229435446 11246788608 22150 33554432000 4194304 4196468 140721976267984 139840323577504 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20185] ppid=20122 vsize=10983192 memory=8836 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20185/stat : 20185 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435446 11246788608 22150 33554432000 4194304 4196468 140721976267984 139840175727856 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20186] ppid=20122 vsize=10983192 memory=11044 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20186/stat : 20186 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11246788608 22150 33554432000 4194304 4196468 140721976267984 139839868328400 139841564936091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20187] ppid=20122 vsize=10983192 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/20125/task/20187/stat : 20187 (java) S 20122 20125 15729 0 -1 1077944384 1189 12860 0 0 9 0 5 3 20 0 15 0 229435449 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841056975088 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20188] ppid=20122 vsize=10983192 memory=15460 CPUtime=0.15 cores=0,2,4,6
/proc/20125/task/20188/stat : 20188 (java) S 20122 20125 15729 0 -1 1077944384 436 12860 0 0 7 0 5 3 20 0 15 0 229435449 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841055922544 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20189] ppid=20122 vsize=10983192 memory=17668 CPUtime=0.21 cores=0,2,4,6
/proc/20125/task/20189/stat : 20189 (java) S 20122 20125 15729 0 -1 1077944384 738 12860 0 0 13 0 5 3 20 0 15 0 229435449 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841054869488 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20190] ppid=20122 vsize=10983192 memory=19876 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20190/stat : 20190 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11246788608 22150 33554432000 4194304 4196468 140721976267984 139839437531488 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20191] ppid=20122 vsize=10983192 memory=22084 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20191/stat : 20191 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435450 11246788608 22150 33554432000 4194304 4196468 140721976267984 139841053817904 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88600 KiB
[startup+1.50089 s]
/proc/loadavg: 1.72 1.75 1.77 2/215 20191
/proc/meminfo: memFree=10941008/32770624 swapFree=67108504/67108860
[pid=20125] ppid=20122 vsize=10996044 memory=145528 CPUtime=1.99 cores=0,2,4,6
/proc/20125/stat : 20125 (java) S 20122 20125 15729 0 -1 1077944320 22941 12860 0 0 182 9 5 3 20 0 15 0 229435434 11259949056 36382 33554432000 4194304 4196468 140721976267984 140721976250528 139841564917495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
/proc/20125/statm: 2749011 36382 3438 1 0 2710669 0
[pid=20125/tid=20178] ppid=20122 vsize=10996044 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/20125/task/20178/stat : 20178 (java) S 20122 20125 15729 0 -1 1077944384 17034 12860 0 0 113 6 5 3 20 0 15 0 229435443 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841536732880 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 18 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20179] ppid=20122 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20179/stat : 20179 (java) S 20122 20125 15729 0 -1 1077944384 11 12860 0 0 0 0 5 3 20 0 15 0 229435444 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841569159696 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20180] ppid=20122 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20180/stat : 20180 (java) S 20122 20125 15729 0 -1 1077944384 8 12860 0 0 0 0 5 3 20 0 15 0 229435444 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841454357136 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20181] ppid=20122 vsize=10996044 memory=3539892194917298225 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20181/stat : 20181 (java) S 20122 20125 15729 0 -1 1077944384 210 12860 0 0 0 0 5 3 20 0 15 0 229435444 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841453304080 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20182] ppid=20122 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20182/stat : 20182 (java) S 20122 20125 15729 0 -1 1077944384 50 12860 0 0 0 0 5 3 20 0 15 0 229435444 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841452251536 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20183] ppid=20122 vsize=10996044 memory=-7965959130280075168 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20183/stat : 20183 (java) R 20122 20125 15729 0 -1 4202560 18 12860 0 0 0 0 5 3 20 0 15 0 229435446 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841058026752 139841564938842 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20184] ppid=20122 vsize=10996044 memory=279840473295104 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20184/stat : 20184 (java) S 20122 20125 15729 0 -1 1077944384 13 12860 0 0 0 0 5 3 20 0 15 0 229435446 11259949056 36382 33554432000 4194304 4196468 140721976267984 139840323577504 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20185] ppid=20122 vsize=10996044 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20185/stat : 20185 (java) S 20122 20125 15729 0 -1 1077944384 1 12860 0 0 0 0 5 3 20 0 15 0 229435446 11259949056 36382 33554432000 4194304 4196468 140721976267984 139840175727856 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20186] ppid=20122 vsize=10996044 memory=4552 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20186/stat : 20186 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11259949056 36382 33554432000 4194304 4196468 140721976267984 139839868328400 139841564936091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20187] ppid=20122 vsize=10996044 memory=3732 CPUtime=0.31 cores=0,2,4,6
/proc/20125/task/20187/stat : 20187 (java) S 20122 20125 15729 0 -1 1077944384 1653 12860 0 0 23 0 5 3 20 0 15 0 229435449 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841056975088 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20188] ppid=20122 vsize=10996044 memory=1228 CPUtime=0.21 cores=0,2,4,6
/proc/20125/task/20188/stat : 20188 (java) S 20122 20125 15729 0 -1 1077944384 570 12860 0 0 13 0 5 3 20 0 15 0 229435449 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841055922544 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20189] ppid=20122 vsize=10996044 memory=10624 CPUtime=0.37 cores=0,2,4,6
/proc/20125/task/20189/stat : 20189 (java) S 20122 20125 15729 0 -1 1077944384 1176 12860 0 0 29 0 5 3 20 0 15 0 229435449 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841054869488 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20190] ppid=20122 vsize=10996044 memory=1624 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20190/stat : 20190 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11259949056 36382 33554432000 4194304 4196468 140721976267984 139839437531488 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20191] ppid=20122 vsize=10996044 memory=6776 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20191/stat : 20191 (java) S 20122 20125 15729 0 -1 1077944384 2 12860 0 0 0 0 5 3 20 0 15 0 229435450 11259949056 36382 33554432000 4194304 4196468 140721976267984 139841053817904 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
[startup+3.11043 s]
/proc/loadavg: 1.72 1.75 1.77 6/215 20191
/proc/meminfo: memFree=10831136/32770624 swapFree=67108504/67108860
[pid=20125] ppid=20122 vsize=11008352 memory=221712 CPUtime=5.72 cores=0,2,4,6
/proc/20125/stat : 20125 (java) S 20122 20125 15729 0 -1 1077944320 32004 12860 0 0 549 15 5 3 20 0 15 0 229435434 11272552448 55428 33554432000 4194304 4196468 140721976267984 140721976250528 139841564917495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
/proc/20125/statm: 2752088 55428 3492 1 0 2713741 0
[pid=20125/tid=20178] ppid=20122 vsize=11008352 memory=279840473713984 CPUtime=2.85 cores=0,2,4,6
/proc/20125/task/20178/stat : 20178 (java) R 20122 20125 15729 0 -1 4202560 21804 12860 0 0 269 8 5 3 20 0 15 0 229435443 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841536747920 139841564929430 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20179] ppid=20122 vsize=11008352 memory=388 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20179/stat : 20179 (java) S 20122 20125 15729 0 -1 1077944384 20 12860 0 0 1 0 5 3 20 0 15 0 229435444 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841569159696 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20180] ppid=20122 vsize=11008352 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20180/stat : 20180 (java) S 20122 20125 15729 0 -1 1077944384 23 12860 0 0 0 0 5 3 20 0 15 0 229435444 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841454357136 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20181] ppid=20122 vsize=11008352 memory=56 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20181/stat : 20181 (java) S 20122 20125 15729 0 -1 1077944384 218 12860 0 0 1 0 5 3 20 0 15 0 229435444 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841453304080 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20182] ppid=20122 vsize=11008352 memory=7886128541231821106 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20182/stat : 20182 (java) S 20122 20125 15729 0 -1 1077944384 66 12860 0 0 0 0 5 3 20 0 15 0 229435444 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841452251536 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20183] ppid=20122 vsize=11008352 memory=8389687274550539058 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20183/stat : 20183 (java) S 20122 20125 15729 0 -1 1077944384 56 12860 0 0 1 0 5 3 20 0 15 0 229435446 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841058028272 139841564928642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20184] ppid=20122 vsize=11008352 memory=7093353452108509894 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20184/stat : 20184 (java) S 20122 20125 15729 0 -1 1077944384 13 12860 0 0 0 0 5 3 20 0 15 0 229435446 11272552448 55428 33554432000 4194304 4196468 140721976267984 139840323577568 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20185] ppid=20122 vsize=11008352 memory=279840473548288 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20185/stat : 20185 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435446 11272552448 55428 33554432000 4194304 4196468 140721976267984 139840175727872 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20186] ppid=20122 vsize=11008352 memory=7956567955459234152 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20186/stat : 20186 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11272552448 55428 33554432000 4194304 4196468 140721976267984 139839868328400 139841564936091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20187] ppid=20122 vsize=11008352 memory=6940161746071544919 CPUtime=1.1 cores=0,2,4,6
/proc/20125/task/20187/stat : 20187 (java) R 20122 20125 15729 0 -1 4202560 3099 12860 0 0 101 1 5 3 20 0 15 0 229435449 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841056964880 139841548417576 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20188] ppid=20122 vsize=11008352 memory=7447093755344479060 CPUtime=0.75 cores=0,2,4,6
/proc/20125/task/20188/stat : 20188 (java) S 20122 20125 15729 0 -1 1077944384 1315 12860 0 0 66 1 5 3 20 0 15 0 229435449 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841055922544 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20189] ppid=20122 vsize=11008352 memory=288230574492221466 CPUtime=1.14 cores=0,2,4,6
/proc/20125/task/20189/stat : 20189 (java) R 20122 20125 15729 0 -1 1077944384 3190 12860 0 0 105 1 5 3 20 0 15 0 229435449 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841054869488 139841564928642 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20190] ppid=20122 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20190/stat : 20190 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11272552448 55428 33554432000 4194304 4196468 140721976267984 139839437531488 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20191] ppid=20122 vsize=11008352 memory=2193 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20191/stat : 20191 (java) S 20122 20125 15729 0 -1 1077944384 2 12860 0 0 0 0 5 3 20 0 15 0 229435450 11272552448 55428 33554432000 4194304 4196468 140721976267984 139841053817904 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
Current children cumulated CPU time: 5.72 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 221712 KiB
[startup+3.87649 s]
# the end of solver process 20125 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.30196 s, system=0.25348 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20097 s]
/proc/loadavg: 1.72 1.75 1.77 6/215 20191
/proc/meminfo: memFree=10831136/32770624 swapFree=67108504/67108860
[pid=20125] ppid=20122 vsize=11008352 memory=227948 CPUtime=5.89 cores=0,2,4,6
/proc/20125/stat : 20125 (java) S 20122 20125 15729 0 -1 1077944320 32446 12860 0 0 566 15 5 3 20 0 15 0 229435434 11272552448 56987 33554432000 4194304 4196468 140721976267984 140721976250528 139841564917495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
/proc/20125/statm: 2752088 56987 3492 1 0 2713741 0
[pid=20125/tid=20178] ppid=20122 vsize=11008352 memory=0 CPUtime=2.94 cores=0,2,4,6
/proc/20125/task/20178/stat : 20178 (java) R 20122 20125 15729 0 -1 4202560 22164 12860 0 0 278 8 5 3 20 0 15 0 229435443 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841536744992 139841545193166 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20179] ppid=20122 vsize=11008352 memory=6656426216303648864 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20179/stat : 20179 (java) S 20122 20125 15729 0 -1 1077944384 20 12860 0 0 1 0 5 3 20 0 15 0 229435444 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841569159696 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20180] ppid=20122 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20180/stat : 20180 (java) S 20122 20125 15729 0 -1 1077944384 23 12860 0 0 0 0 5 3 20 0 15 0 229435444 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841454357136 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20181] ppid=20122 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20181/stat : 20181 (java) S 20122 20125 15729 0 -1 1077944384 218 12860 0 0 1 0 5 3 20 0 15 0 229435444 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841453304080 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20182] ppid=20122 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20182/stat : 20182 (java) S 20122 20125 15729 0 -1 1077944384 66 12860 0 0 0 0 5 3 20 0 15 0 229435444 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841452251536 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20183] ppid=20122 vsize=11008352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/20125/task/20183/stat : 20183 (java) S 20122 20125 15729 0 -1 1077944384 56 12860 0 0 1 0 5 3 20 0 15 0 229435446 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841058028272 139841564928642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20184] ppid=20122 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20184/stat : 20184 (java) S 20122 20125 15729 0 -1 1077944384 13 12860 0 0 0 0 5 3 20 0 15 0 229435446 11272552448 56987 33554432000 4194304 4196468 140721976267984 139840323577568 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20185] ppid=20122 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20185/stat : 20185 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435446 11272552448 56987 33554432000 4194304 4196468 140721976267984 139840175727872 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20186] ppid=20122 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20186/stat : 20186 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11272552448 56987 33554432000 4194304 4196468 140721976267984 139839868328400 139841564936091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20187] ppid=20122 vsize=11008352 memory=0 CPUtime=1.11 cores=0,2,4,6
/proc/20125/task/20187/stat : 20187 (java) S 20122 20125 15729 0 -1 1077944384 3112 12860 0 0 102 1 5 3 20 0 15 0 229435449 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841056975088 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20188] ppid=20122 vsize=11008352 memory=1068 CPUtime=0.78 cores=0,2,4,6
/proc/20125/task/20188/stat : 20188 (java) R 20122 20125 15729 0 -1 4202560 1323 12860 0 0 69 1 5 3 20 0 15 0 229435449 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841055908448 139841548403387 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20189] ppid=20122 vsize=11008352 memory=15084 CPUtime=1.17 cores=0,2,4,6
/proc/20125/task/20189/stat : 20189 (java) S 20122 20125 15729 0 -1 1077944384 3251 12860 0 0 108 1 5 3 20 0 15 0 229435449 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841054869488 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20190] ppid=20122 vsize=11008352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20190/stat : 20190 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11272552448 56987 33554432000 4194304 4196468 140721976267984 139839437531488 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20191] ppid=20122 vsize=11008352 memory=6788 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20191/stat : 20191 (java) S 20122 20125 15729 0 -1 1077944384 2 12860 0 0 0 0 5 3 20 0 15 0 229435450 11272552448 56987 33554432000 4194304 4196468 140721976267984 139841053817904 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 227948 KiB
[startup+3.60078 s]
/proc/loadavg: 1.72 1.75 1.77 6/215 20191
/proc/meminfo: memFree=10831136/32770624 swapFree=67108504/67108860
[pid=20125] ppid=20122 vsize=11010400 memory=276336 CPUtime=6.81 cores=0,2,4,6
/proc/20125/stat : 20125 (java) S 20122 20125 15729 0 -1 1077944320 53913 12860 0 0 654 19 5 3 20 0 15 0 229435434 11274649600 69084 33554432000 4194304 4196468 140721976267984 140721976250528 139841564917495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
/proc/20125/statm: 2752600 69084 3492 1 0 2714253 0
[pid=20125/tid=20178] ppid=20122 vsize=11010400 memory=0 CPUtime=3.3 cores=0,2,4,6
/proc/20125/task/20178/stat : 20178 (java) R 20122 20125 15729 0 -1 4202560 38541 12860 0 0 311 11 5 3 20 0 15 0 229435443 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841536732856 139841550083095 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20179] ppid=20122 vsize=11010400 memory=279840474087072 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20179/stat : 20179 (java) S 20122 20125 15729 0 -1 1077944384 29 12860 0 0 3 0 5 3 20 0 15 0 229435444 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841569159696 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20180] ppid=20122 vsize=11010400 memory=139920237045808 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20180/stat : 20180 (java) S 20122 20125 15729 0 -1 1077944384 30 12860 0 0 3 0 5 3 20 0 15 0 229435444 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841454357136 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20181] ppid=20122 vsize=11010400 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20181/stat : 20181 (java) S 20122 20125 15729 0 -1 1077944384 221 12860 0 0 3 0 5 3 20 0 15 0 229435444 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841453304080 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20182] ppid=20122 vsize=11010400 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20182/stat : 20182 (java) S 20122 20125 15729 0 -1 1077944384 79 12860 0 0 3 0 5 3 20 0 15 0 229435444 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841452251536 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20183] ppid=20122 vsize=11010400 memory=-9174445032661854264 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20183/stat : 20183 (java) S 20122 20125 15729 0 -1 1077944384 243 12860 0 0 3 0 5 3 20 0 15 0 229435446 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841058028272 139841564928642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20184] ppid=20122 vsize=11010400 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20184/stat : 20184 (java) S 20122 20125 15729 0 -1 1077944384 13 12860 0 0 0 0 5 3 20 0 15 0 229435446 11274649600 69084 33554432000 4194304 4196468 140721976267984 139840323577568 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20185] ppid=20122 vsize=11010400 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20185/stat : 20185 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435446 11274649600 69084 33554432000 4194304 4196468 140721976267984 139840175727872 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20186] ppid=20122 vsize=11010400 memory=6944656592455360604 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20186/stat : 20186 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11274649600 69084 33554432000 4194304 4196468 140721976267984 139839868328400 139841564936091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20187] ppid=20122 vsize=11010400 memory=8562125494162282060 CPUtime=1.37 cores=0,2,4,6
/proc/20125/task/20187/stat : 20187 (java) R 20122 20125 15729 0 -1 4202560 5729 12860 0 0 128 1 5 3 20 0 15 0 229435449 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841056956104 139841548414283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20188] ppid=20122 vsize=11010400 memory=1414353297708861353 CPUtime=0.88 cores=0,2,4,6
/proc/20125/task/20188/stat : 20188 (java) S 20122 20125 15729 0 -1 1077944384 2079 12860 0 0 79 1 5 3 20 0 15 0 229435449 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841055922544 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20189] ppid=20122 vsize=11010400 memory=-7522837415797432223 CPUtime=1.26 cores=0,2,4,6
/proc/20125/task/20189/stat : 20189 (java) S 20122 20125 15729 0 -1 1077944384 4745 12860 0 0 117 1 5 3 20 0 15 0 229435449 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841054869488 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20190] ppid=20122 vsize=11010400 memory=-7522837583045875833 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20190/stat : 20190 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11274649600 69084 33554432000 4194304 4196468 140721976267984 139839437531488 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20191] ppid=20122 vsize=11010400 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20191/stat : 20191 (java) S 20122 20125 15729 0 -1 1077944384 6 12860 0 0 0 0 5 3 20 0 15 0 229435450 11274649600 69084 33554432000 4194304 4196468 140721976267984 139841053817904 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
Current children cumulated CPU time: 6.81 s
Current children cumulated vsize: 11010400 KiB
Current children cumulated memory: 276336 KiB
[startup+3.80076 s]
/proc/loadavg: 1.72 1.75 1.77 6/215 20191
/proc/meminfo: memFree=10831136/32770624 swapFree=67108504/67108860
[pid=20125] ppid=20122 vsize=11077984 memory=302916 CPUtime=7.37 cores=0,2,4,6
/proc/20125/stat : 20125 (java) S 20122 20125 15729 0 -1 1077944320 61550 12860 0 0 709 20 5 3 20 0 15 0 229435434 11343855616 75729 33554432000 4194304 4196468 140721976267984 140721976250528 139841564917495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
/proc/20125/statm: 2769496 75729 3499 1 0 2731149 0
[pid=20125/tid=20178] ppid=20122 vsize=11077984 memory=0 CPUtime=3.49 cores=0,2,4,6
/proc/20125/task/20178/stat : 20178 (java) R 20122 20125 15729 0 -1 4202560 44599 12860 0 0 329 12 5 3 20 0 15 0 229435443 11343855616 75729 33554432000 4194304 4196468 140721976267984 139841536749920 139841548997982 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20179] ppid=20122 vsize=11077984 memory=279840473219312 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20179/stat : 20179 (java) S 20122 20125 15729 0 -1 1077944384 29 12860 0 0 3 0 5 3 20 0 15 0 229435444 11343855616 75729 33554432000 4194304 4196468 140721976267984 139841569159696 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20180] ppid=20122 vsize=11077984 memory=7446542977312909158 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20180/stat : 20180 (java) S 20122 20125 15729 0 -1 1077944384 30 12860 0 0 3 0 5 3 20 0 15 0 229435444 11343855616 75740 33554432000 4194304 4196468 140721976267984 139841454357136 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20181] ppid=20122 vsize=11077984 memory=7595135411062919790 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20181/stat : 20181 (java) S 20122 20125 15729 0 -1 1077944384 221 12860 0 0 3 0 5 3 20 0 15 0 229435444 11343855616 75740 33554432000 4194304 4196468 140721976267984 139841453304080 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20182] ppid=20122 vsize=11077984 memory=924 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20182/stat : 20182 (java) S 20122 20125 15729 0 -1 1077944384 79 12860 0 0 3 0 5 3 20 0 15 0 229435444 11343855616 75740 33554432000 4194304 4196468 140721976267984 139841452251536 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20183] ppid=20122 vsize=11077984 memory=1576 CPUtime=0.11 cores=0,2,4,6
/proc/20125/task/20183/stat : 20183 (java) S 20122 20125 15729 0 -1 1077944384 747 12860 0 0 3 0 5 3 20 0 15 0 229435446 11343855616 75740 33554432000 4194304 4196468 140721976267984 139841058028272 139841564928642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20184] ppid=20122 vsize=11077984 memory=2196 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20184/stat : 20184 (java) S 20122 20125 15729 0 -1 1077944384 13 12860 0 0 0 0 5 3 20 0 15 0 229435446 11343855616 75740 33554432000 4194304 4196468 140721976267984 139840323577568 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20185] ppid=20122 vsize=11077984 memory=3992 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20185/stat : 20185 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435446 11343855616 75740 33554432000 4194304 4196468 140721976267984 139840175727872 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20186] ppid=20122 vsize=11077984 memory=1928 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20186/stat : 20186 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11343855616 75740 33554432000 4194304 4196468 140721976267984 139839868328400 139841564936091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20187] ppid=20122 vsize=11077984 memory=7532 CPUtime=1.58 cores=0,2,4,6
/proc/20125/task/20187/stat : 20187 (java) R 20122 20125 15729 0 -1 4202560 6470 12860 0 0 148 2 5 3 20 0 15 0 229435449 11343855616 75740 33554432000 4194304 4196468 140721976267984 139841056960248 139841550028141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20188] ppid=20122 vsize=11077984 memory=808 CPUtime=0.96 cores=0,2,4,6
/proc/20125/task/20188/stat : 20188 (java) S 20122 20125 15729 0 -1 1077944384 2163 12860 0 0 87 1 5 3 20 0 15 0 229435449 11343855616 75740 33554432000 4194304 4196468 140721976267984 139841055922544 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20189] ppid=20122 vsize=11077984 memory=1796 CPUtime=1.34 cores=0,2,4,6
/proc/20125/task/20189/stat : 20189 (java) S 20122 20125 15729 0 -1 1077944384 4996 12860 0 0 125 1 5 3 20 0 15 0 229435449 11343855616 75740 33554432000 4194304 4196468 140721976267984 139841054869488 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20190] ppid=20122 vsize=11077984 memory=916 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20190/stat : 20190 (java) S 20122 20125 15729 0 -1 1077944384 3 12860 0 0 0 0 5 3 20 0 15 0 229435449 11343855616 75740 33554432000 4194304 4196468 140721976267984 139839437531488 139841564927701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
[pid=20125/tid=20191] ppid=20122 vsize=11077984 memory=3844 CPUtime=0.08 cores=0,2,4,6
/proc/20125/task/20191/stat : 20191 (java) S 20122 20125 15729 0 -1 1077944384 6 12860 0 0 0 0 5 3 20 0 15 0 229435450 11343855616 75740 33554432000 4194304 4196468 140721976267984 139841053817904 139841564928642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17874944 140721976273516 140721976276316 140721976276316 140721976278991 0
Current children cumulated CPU time: 7.37 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 302916 KiB
Child status: 0
Real time (s): 3.87653
CPU time (s): 7.55544
CPU user time (s): 7.30196
CPU system time (s): 0.25348
CPU usage (%): 194.902
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 302916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.30195
system time used= 0.25348
maximum resident set size= 309100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75711
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= 5936
involuntary context switches= 42
# summary of solver processes directly reported to runsolver:
# pid: 20125
# total CPU time (s): 7.55544
# total CPU user time (s): 7.30196
# total CPU system time (s): 0.25348
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048695 second user time and 0.070926 second system time
The end