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 (6338 MiB free)
memory of node 1: 16384 MiB (13922 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300229-1532859070/watcher-4300229-1532859070 -o /tmp/evaluation-result-4300229-1532859070/solver-4300229-1532859070 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532846543-2788 --watchdog 2580 java -jar HOME/GGs-minicp.jar xcsp3.CompetitionApp HOME/instance-4300229-1532859070.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=4098, runsolver pid=4095
[startup+0.100433 s]*
/proc/loadavg: 1.39 1.51 1.68 4/215 4113
/proc/meminfo: memFree=20731228/32770624 swapFree=67108688/67108860
[pid=4098] ppid=4095 vsize=10661056 memory=27368 CPUtime=0.13 cores=1,3,5,7
/proc/4098/stat : 4098 (java) S 4095 4098 2756 0 -1 1077944320 5269 0 0 0 12 1 0 0 20 0 15 0 103469875 10916921344 6842 33554432000 4194304 4196468 140721710496416 140721710478960 139647917551351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
/proc/4098/statm: 2665264 6842 2862 1 0 2627263 0
[pid=4098/tid=4100] ppid=4095 vsize=10661056 memory=-8392281377140995264 CPUtime=0.09 cores=1,3,5,7
/proc/4098/task/4100/stat : 4100 (java) R 4095 4098 2756 0 -1 4202560 3142 0 0 0 9 0 0 0 20 0 15 0 103469875 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647921773296 139647917572698 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4101] ppid=4095 vsize=10661056 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4101/stat : 4101 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647843625872 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4102] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4102/stat : 4102 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647522958096 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4103] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4103/stat : 4103 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647521905808 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4104] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4104/stat : 4104 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647520853008 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4105] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4105/stat : 4105 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469878 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647409461360 139647917562498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4106] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4106/stat : 4106 (java) S 4095 4098 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103469878 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647408407328 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4107] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4107/stat : 4107 (java) S 4095 4098 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103469878 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647407354992 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4108] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4108/stat : 4108 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647406303312 139647917569947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4109] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4109/stat : 4109 (java) S 4095 4098 2756 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647405251184 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4110] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4110/stat : 4110 (java) S 4095 4098 2756 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647404198384 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4111] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0.02 cores=1,3,5,7
/proc/4098/task/4111/stat : 4111 (java) R 4095 4098 2756 0 -1 4202560 327 0 0 0 2 0 0 0 20 0 15 0 103469881 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647403146096 139647909788478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4112] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4112/stat : 4112 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647402093536 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4113] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4113/stat : 4113 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 6842 33554432000 4194304 4196468 140721710496416 139647401040304 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27368 KiB
[startup+0.210529 s]*
/proc/loadavg: 1.39 1.51 1.68 4/215 4113
/proc/meminfo: memFree=20719072/32770624 swapFree=67108688/67108860
[pid=4098] ppid=4095 vsize=10661056 memory=40408 CPUtime=0.34 cores=1,3,5,7
/proc/4098/stat : 4098 (java) S 4095 4098 2756 0 -1 1077944320 8184 0 0 0 33 1 0 0 20 0 15 0 103469875 10916921344 10102 33554432000 4194304 4196468 140721710496416 140721710478960 139647917551351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
/proc/4098/statm: 2665264 10102 2998 1 0 2627263 0
[pid=4098/tid=4100] ppid=4095 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4098/task/4100/stat : 4100 (java) R 4095 4098 2756 0 -1 4202560 5095 0 0 0 19 1 0 0 20 0 15 0 103469875 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647921789504 139647917563286 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4101] ppid=4095 vsize=10661056 memory=343 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4101/stat : 4101 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647843625872 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4102] ppid=4095 vsize=10661056 memory=3979412685702846112 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4102/stat : 4102 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647522958096 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4103] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4103/stat : 4103 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647521905808 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4104] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4104/stat : 4104 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647520853008 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4105] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4105/stat : 4105 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469878 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647409461360 139647917562498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4106] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4106/stat : 4106 (java) S 4095 4098 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103469878 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647408407328 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4107] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4107/stat : 4107 (java) S 4095 4098 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103469878 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647407354992 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4108] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4108/stat : 4108 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647406303312 139647917569947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4109] ppid=4095 vsize=10661056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4098/task/4109/stat : 4109 (java) S 4095 4098 2756 0 -1 1077944384 424 0 0 0 2 0 0 0 20 0 15 0 103469881 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647405251184 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4110] ppid=4095 vsize=10661056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4098/task/4110/stat : 4110 (java) R 4095 4098 2756 0 -1 1077944384 484 0 0 0 2 0 0 0 20 0 15 0 103469881 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647404198384 139647917562498 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4111] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0.08 cores=1,3,5,7
/proc/4098/task/4111/stat : 4111 (java) R 4095 4098 2756 0 -1 4202560 813 0 0 0 8 0 0 0 20 0 15 0 103469881 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647403141824 139647917563286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4112] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4112/stat : 4112 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647402093536 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4113] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4113/stat : 4113 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 10102 33554432000 4194304 4196468 140721710496416 139647401040304 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40408 KiB
[startup+0.310612 s]*
/proc/loadavg: 1.39 1.51 1.68 5/215 4113
/proc/meminfo: memFree=20708296/32770624 swapFree=67108688/67108860
[pid=4098] ppid=4095 vsize=10661056 memory=57544 CPUtime=0.68 cores=1,3,5,7
/proc/4098/stat : 4098 (java) S 4095 4098 2756 0 -1 1077944320 10355 0 0 0 66 2 0 0 20 0 15 0 103469875 10916921344 14386 33554432000 4194304 4196468 140721710496416 140721710478960 139647917551351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
/proc/4098/statm: 2665264 14386 3042 1 0 2627263 0
[pid=4098/tid=4100] ppid=4095 vsize=10661056 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/4098/task/4100/stat : 4100 (java) R 4095 4098 2756 0 -1 4202560 5116 0 0 0 29 1 0 0 20 0 15 0 103469875 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647921787744 139647917573277 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4101] ppid=4095 vsize=10661056 memory=4294979917 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4101/stat : 4101 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647843625872 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4102] ppid=4095 vsize=10661056 memory=3762957316215821984 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4102/stat : 4102 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647522958096 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4103] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4103/stat : 4103 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647521905808 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4104] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4104/stat : 4104 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469876 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647520853008 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4105] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4105/stat : 4105 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469878 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647409461360 139647917562498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4106] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4106/stat : 4106 (java) S 4095 4098 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103469878 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647408407328 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4107] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4107/stat : 4107 (java) S 4095 4098 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103469878 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647407354992 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4108] ppid=4095 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4108/stat : 4108 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647406303312 139647917569947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4109] ppid=4095 vsize=10661056 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4098/task/4109/stat : 4109 (java) R 4095 4098 2756 0 -1 4202560 1460 0 0 0 11 0 0 0 20 0 15 0 103469881 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647405237064 139647899072742 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4110] ppid=4095 vsize=10661056 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/4098/task/4110/stat : 4110 (java) R 4095 4098 2756 0 -1 4202560 1216 0 0 0 12 0 0 0 20 0 15 0 103469881 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647404183864 139647902433167 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4111] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0.12 cores=1,3,5,7
/proc/4098/task/4111/stat : 4111 (java) R 4095 4098 2756 0 -1 1077944384 1196 0 0 0 12 0 0 0 20 0 15 0 103469881 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647403146096 139647917562498 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4112] ppid=4095 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4112/stat : 4112 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647402093536 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4113] ppid=4095 vsize=10661056 memory=140242644129408 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4113/stat : 4113 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469881 10916921344 14386 33554432000 4194304 4196468 140721710496416 139647401040304 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 57544 KiB
[startup+0.701609 s]
/proc/loadavg: 1.39 1.51 1.68 6/215 4113
/proc/meminfo: memFree=20681924/32770624 swapFree=67108688/67108860
[pid=4098] ppid=4095 vsize=10661132 memory=131980 CPUtime=1.88 cores=1,3,5,7
/proc/4098/stat : 4098 (java) S 4095 4098 2756 0 -1 1077944320 11606 0 0 0 186 2 0 0 20 0 15 0 103469875 10916999168 32995 33554432000 4194304 4196468 140721710496416 140721710478960 139647917551351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
/proc/4098/statm: 2665283 32995 3104 1 0 2627263 0
[pid=4098/tid=4100] ppid=4095 vsize=10661132 memory=157873334133608 CPUtime=0.68 cores=1,3,5,7
/proc/4098/task/4100/stat : 4100 (java) R 4095 4098 2756 0 -1 4202560 5529 0 0 0 66 2 0 0 20 0 15 0 103469875 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647921785712 139647898196255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4101] ppid=4095 vsize=10661132 memory=596289 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4101/stat : 4101 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469876 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647843625872 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4102] ppid=4095 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4102/stat : 4102 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469876 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647522958096 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4103] ppid=4095 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4103/stat : 4103 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469876 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647521905808 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4104] ppid=4095 vsize=10661132 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4104/stat : 4104 (java) S 4095 4098 2756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 103469876 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647520853008 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4105] ppid=4095 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4105/stat : 4105 (java) S 4095 4098 2756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647409461360 139647917562498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4106] ppid=4095 vsize=10661132 memory=-6151494131956195113 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4106/stat : 4106 (java) S 4095 4098 2756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647408407328 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4107] ppid=4095 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4107/stat : 4107 (java) S 4095 4098 2756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647407354992 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4108] ppid=4095 vsize=10661132 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4108/stat : 4108 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647406303312 139647917569947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4109] ppid=4095 vsize=10661132 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/4098/task/4109/stat : 4109 (java) R 4095 4098 2756 0 -1 4202560 1570 0 0 0 45 0 0 0 20 0 15 0 103469881 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647405241296 139647898727216 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4110] ppid=4095 vsize=10661132 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/4098/task/4110/stat : 4110 (java) R 4095 4098 2756 0 -1 4202560 1624 0 0 0 46 0 0 0 20 0 15 0 103469881 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647404191576 139647897957371 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4111] ppid=4095 vsize=10661132 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/4098/task/4111/stat : 4111 (java) R 4095 4098 2756 0 -1 4202560 1512 0 0 0 28 0 0 0 20 0 15 0 103469881 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647403146096 139647896687011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4112] ppid=4095 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4112/stat : 4112 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647402093536 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4113] ppid=4095 vsize=10661132 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4113/stat : 4113 (java) S 4095 4098 2756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 32995 33554432000 4194304 4196468 140721710496416 139647401040304 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
Current children cumulated CPU time: 1.88 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 131980 KiB
[startup+1.50077 s]
/proc/loadavg: 1.39 1.51 1.68 6/214 4144
/proc/meminfo: memFree=23229392/32770624 swapFree=67108688/67108860
[pid=4098] ppid=4095 vsize=10661132 memory=419992 CPUtime=4.51 cores=1,3,5,7
/proc/4098/stat : 4098 (java) S 4095 4098 2756 0 -1 1077944320 14960 0 0 0 429 22 0 0 20 0 15 0 103469875 10916999168 104998 33554432000 4194304 4196468 140721710496416 140721710478960 139647917551351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
/proc/4098/statm: 2665283 104998 3167 1 0 2627263 0
[pid=4098/tid=4100] ppid=4095 vsize=10661132 memory=8112282956445269571 CPUtime=1.33 cores=1,3,5,7
/proc/4098/task/4100/stat : 4100 (java) R 4095 4098 2756 0 -1 4202560 5688 0 0 0 128 5 0 0 20 0 15 0 103469875 10916999168 104998 33554432000 4194304 4196468 140721710496416 139647921789376 139647528381209 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4101] ppid=4095 vsize=10661132 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/4098/task/4101/stat : 4101 (java) S 4095 4098 2756 0 -1 1077944384 130 0 0 0 6 4 0 0 20 0 15 0 103469876 10916999168 104998 33554432000 4194304 4196468 140721710496416 139647843625872 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4102] ppid=4095 vsize=10661132 memory=6943526294502006880 CPUtime=0.1 cores=1,3,5,7
/proc/4098/task/4102/stat : 4102 (java) S 4095 4098 2756 0 -1 1077944384 180 0 0 0 7 3 0 0 20 0 15 0 103469876 10916999168 104998 33554432000 4194304 4196468 140721710496416 139647522958096 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4103] ppid=4095 vsize=10661132 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4098/task/4103/stat : 4103 (java) S 4095 4098 2756 0 -1 1077944384 209 0 0 0 8 4 0 0 20 0 15 0 103469876 10916999168 104998 33554432000 4194304 4196468 140721710496416 139647521905808 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4104] ppid=4095 vsize=10661132 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/4098/task/4104/stat : 4104 (java) S 4095 4098 2756 0 -1 1077944384 234 0 0 0 8 3 0 0 20 0 15 0 103469876 10916999168 104998 33554432000 4194304 4196468 140721710496416 139647520853008 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4105] ppid=4095 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4105/stat : 4105 (java) S 4095 4098 2756 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 104998 33554432000 4194304 4196468 140721710496416 139647409461360 139647917562498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
################
# More data... #
################
/proc/4098/task/4100/stat : 4100 (java) R 4095 4098 2756 0 -1 4202560 102594 0 0 0 237529 76 0 0 20 0 15 0 103469875 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647921790848 139647530966645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4101] ppid=4095 vsize=10661132 memory=2781456 CPUtime=5.02 cores=1,3,5,7
/proc/4098/task/4101/stat : 4101 (java) S 4095 4098 2756 0 -1 1077944384 14051 0 0 0 479 23 0 0 20 0 15 0 103469876 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647843625872 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4102] ppid=4095 vsize=10661132 memory=2783504 CPUtime=5.03 cores=1,3,5,7
/proc/4098/task/4102/stat : 4102 (java) S 4095 4098 2756 0 -1 1077944384 14831 0 0 0 479 24 0 0 20 0 15 0 103469876 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647522958096 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4103] ppid=4095 vsize=10661132 memory=2779400 CPUtime=5.05 cores=1,3,5,7
/proc/4098/task/4103/stat : 4103 (java) S 4095 4098 2756 0 -1 1077944384 15814 0 0 0 481 24 0 0 20 0 15 0 103469876 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647521905808 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4104] ppid=4095 vsize=10661132 memory=2776832 CPUtime=5.05 cores=1,3,5,7
/proc/4098/task/4104/stat : 4104 (java) S 4095 4098 2756 0 -1 1077944384 14074 0 0 0 481 24 0 0 20 0 15 0 103469876 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647520853008 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4105] ppid=4095 vsize=10661132 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/4098/task/4105/stat : 4105 (java) S 4095 4098 2756 0 -1 1077944384 14737 0 0 0 69 7 0 0 20 0 15 0 103469878 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647409461360 139647917562498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4106] ppid=4095 vsize=10661132 memory=17665200492612 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4106/stat : 4106 (java) S 4095 4098 2756 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647408407392 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4107] ppid=4095 vsize=10661132 memory=2779400 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4107/stat : 4107 (java) S 4095 4098 2756 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647407354992 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4108] ppid=4095 vsize=10661132 memory=2781456 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4108/stat : 4108 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647406303312 139647917569947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4109] ppid=4095 vsize=10661132 memory=1004 CPUtime=2.67 cores=1,3,5,7
/proc/4098/task/4109/stat : 4109 (java) S 4095 4098 2756 0 -1 1077944384 13715 0 0 0 265 2 0 0 20 0 15 0 103469881 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647405251184 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4110] ppid=4095 vsize=10661132 memory=2779400 CPUtime=3.23 cores=1,3,5,7
/proc/4098/task/4110/stat : 4110 (java) S 4095 4098 2756 0 -1 1077944384 13947 0 0 0 321 2 0 0 20 0 15 0 103469881 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647404198384 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4111] ppid=4095 vsize=10661132 memory=4140 CPUtime=0.68 cores=1,3,5,7
/proc/4098/task/4111/stat : 4111 (java) S 4095 4098 2756 0 -1 1077944384 5006 0 0 0 66 2 0 0 20 0 15 0 103469881 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647403146096 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4112] ppid=4095 vsize=10661132 memory=2779400 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4112/stat : 4112 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647402093536 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4113] ppid=4095 vsize=10661132 memory=4008 CPUtime=1.44 cores=1,3,5,7
/proc/4098/task/4113/stat : 4113 (java) S 4095 4098 2756 0 -1 1077944384 1540 0 0 0 66 78 0 0 20 0 15 0 103469881 10916999168 694208 33554432000 4194304 4196468 140721710496416 139647401040304 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
Current children cumulated CPU time: 2405.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2776832 KiB
[startup+2442.3 s]
/proc/loadavg: 1.60 1.63 1.73 3/216 4262
/proc/meminfo: memFree=17973432/32770624 swapFree=67108688/67108860
[pid=4098] ppid=4095 vsize=10661132 memory=2753740 CPUtime=2465.91 cores=1,3,5,7
/proc/4098/stat : 4098 (java) S 4095 4098 2756 0 -1 1077944320 214741 0 0 0 246335 256 0 0 20 0 15 0 103469875 10916999168 688435 33554432000 4194304 4196468 140721710496416 140721710478960 139647917551351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
/proc/4098/statm: 2665283 688435 3195 1 0 2627263 0
[pid=4098/tid=4100] ppid=4095 vsize=10661132 memory=2757844 CPUtime=2435.74 cores=1,3,5,7
/proc/4098/task/4100/stat : 4100 (java) R 4095 4098 2756 0 -1 4202560 103828 0 0 0 243498 76 0 0 20 0 15 0 103469875 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647921790768 139647530342909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4101] ppid=4095 vsize=10661132 memory=2757332 CPUtime=5.3 cores=1,3,5,7
/proc/4098/task/4101/stat : 4101 (java) S 4095 4098 2756 0 -1 1077944384 14413 0 0 0 506 24 0 0 20 0 15 0 103469876 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647843625872 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4102] ppid=4095 vsize=10661132 memory=2753740 CPUtime=5.3 cores=1,3,5,7
/proc/4098/task/4102/stat : 4102 (java) S 4095 4098 2756 0 -1 1077944384 15006 0 0 0 506 24 0 0 20 0 15 0 103469876 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647522958096 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4103] ppid=4095 vsize=10661132 memory=2753740 CPUtime=5.32 cores=1,3,5,7
/proc/4098/task/4103/stat : 4103 (java) S 4095 4098 2756 0 -1 1077944384 16331 0 0 0 508 24 0 0 20 0 15 0 103469876 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647521905808 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4104] ppid=4095 vsize=10661132 memory=2753740 CPUtime=5.32 cores=1,3,5,7
/proc/4098/task/4104/stat : 4104 (java) S 4095 4098 2756 0 -1 1077944384 14387 0 0 0 508 24 0 0 20 0 15 0 103469876 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647520853008 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4105] ppid=4095 vsize=10661132 memory=2753740 CPUtime=0.78 cores=1,3,5,7
/proc/4098/task/4105/stat : 4105 (java) S 4095 4098 2756 0 -1 1077944384 15090 0 0 0 70 8 0 0 20 0 15 0 103469878 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647409461360 139647917562498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4106] ppid=4095 vsize=10661132 memory=2753740 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4106/stat : 4106 (java) S 4095 4098 2756 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647408407392 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4107] ppid=4095 vsize=10661132 memory=2753740 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4107/stat : 4107 (java) S 4095 4098 2756 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647407354992 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4108] ppid=4095 vsize=10661132 memory=2761436 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4108/stat : 4108 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647406303312 139647917569947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4109] ppid=4095 vsize=10661132 memory=1444 CPUtime=2.67 cores=1,3,5,7
/proc/4098/task/4109/stat : 4109 (java) S 4095 4098 2756 0 -1 1077944384 13719 0 0 0 265 2 0 0 20 0 15 0 103469881 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647405251184 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4110] ppid=4095 vsize=10661132 memory=5668 CPUtime=3.23 cores=1,3,5,7
/proc/4098/task/4110/stat : 4110 (java) S 4095 4098 2756 0 -1 1077944384 13952 0 0 0 321 2 0 0 20 0 15 0 103469881 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647404198384 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4111] ppid=4095 vsize=10661132 memory=1228 CPUtime=0.68 cores=1,3,5,7
/proc/4098/task/4111/stat : 4111 (java) S 4095 4098 2756 0 -1 1077944384 5010 0 0 0 66 2 0 0 20 0 15 0 103469881 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647403146096 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4112] ppid=4095 vsize=10661132 memory=8556 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4112/stat : 4112 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647402093536 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4113] ppid=4095 vsize=10661132 memory=2753740 CPUtime=1.48 cores=1,3,5,7
/proc/4098/task/4113/stat : 4113 (java) S 4095 4098 2756 0 -1 1077944384 1576 0 0 0 68 80 0 0 20 0 15 0 103469881 10916999168 688435 33554432000 4194304 4196468 140721710496416 139647401040304 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
Current children cumulated CPU time: 2465.91 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2753740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.7 s]
/proc/loadavg: 1.74 1.66 1.74 3/216 4263
/proc/meminfo: memFree=18011864/32770624 swapFree=67108688/67108860
[pid=4098] ppid=4095 vsize=10661132 memory=2732188 CPUtime=2520.07 cores=1,3,5,7
/proc/4098/stat : 4098 (java) S 4095 4098 2756 0 -1 1077944320 217048 0 0 0 251748 259 0 0 20 0 15 0 103469875 10916999168 683047 33554432000 4194304 4196468 140721710496416 140721710478960 139647917551351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
/proc/4098/statm: 2665283 683047 3195 1 0 2627263 0
[pid=4098/tid=4100] ppid=4095 vsize=10661132 memory=2732188 CPUtime=2488.88 cores=1,3,5,7
/proc/4098/task/4100/stat : 4100 (java) R 4095 4098 2756 0 -1 4202560 104855 0 0 0 248812 76 0 0 20 0 15 0 103469875 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647921790832 139647530344259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4101] ppid=4095 vsize=10661132 memory=2735264 CPUtime=5.54 cores=1,3,5,7
/proc/4098/task/4101/stat : 4101 (java) S 4095 4098 2756 0 -1 1077944384 14628 0 0 0 530 24 0 0 20 0 15 0 103469876 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647843625872 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4102] ppid=4095 vsize=10661132 memory=2735264 CPUtime=5.54 cores=1,3,5,7
/proc/4098/task/4102/stat : 4102 (java) S 4095 4098 2756 0 -1 1077944384 15213 0 0 0 530 24 0 0 20 0 15 0 103469876 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647522958096 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4103] ppid=4095 vsize=10661132 memory=2735264 CPUtime=5.57 cores=1,3,5,7
/proc/4098/task/4103/stat : 4103 (java) S 4095 4098 2756 0 -1 1077944384 16743 0 0 0 532 25 0 0 20 0 15 0 103469876 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647521905808 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4104] ppid=4095 vsize=10661132 memory=2735264 CPUtime=5.56 cores=1,3,5,7
/proc/4098/task/4104/stat : 4104 (java) S 4095 4098 2756 0 -1 1077944384 14623 0 0 0 532 24 0 0 20 0 15 0 103469876 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647520853008 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4105] ppid=4095 vsize=10661132 memory=2735264 CPUtime=0.79 cores=1,3,5,7
/proc/4098/task/4105/stat : 4105 (java) S 4095 4098 2756 0 -1 1077944384 15273 0 0 0 71 8 0 0 20 0 15 0 103469878 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647409461360 139647917562498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4106] ppid=4095 vsize=10661132 memory=2738344 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4106/stat : 4106 (java) S 4095 4098 2756 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647408407392 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4107] ppid=4095 vsize=10661132 memory=2738344 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4107/stat : 4107 (java) S 4095 4098 2756 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647407354992 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4108] ppid=4095 vsize=10661132 memory=2732188 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4108/stat : 4108 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647406303312 139647917569947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4109] ppid=4095 vsize=10661132 memory=1228 CPUtime=2.67 cores=1,3,5,7
/proc/4098/task/4109/stat : 4109 (java) S 4095 4098 2756 0 -1 1077944384 13721 0 0 0 265 2 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647405251184 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4110] ppid=4095 vsize=10661132 memory=2732188 CPUtime=3.23 cores=1,3,5,7
/proc/4098/task/4110/stat : 4110 (java) S 4095 4098 2756 0 -1 1077944384 13954 0 0 0 321 2 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647404198384 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4111] ppid=4095 vsize=10661132 memory=2735264 CPUtime=0.68 cores=1,3,5,7
/proc/4098/task/4111/stat : 4111 (java) S 4095 4098 2756 0 -1 1077944384 5012 0 0 0 66 2 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647403146096 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4112] ppid=4095 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4112/stat : 4112 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647402093536 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4113] ppid=4095 vsize=10661132 memory=2592 CPUtime=1.52 cores=1,3,5,7
/proc/4098/task/4113/stat : 4113 (java) S 4095 4098 2756 0 -1 1077944384 1597 0 0 0 70 82 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647401040304 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2732188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.72 s]
# the end of solver process 4098 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.5 s, system=2.60309 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2495.7 s]
/proc/loadavg: 1.74 1.66 1.74 3/216 4263
/proc/meminfo: memFree=18011864/32770624 swapFree=67108688/67108860
[pid=4098] ppid=4095 vsize=10661132 memory=2732188 CPUtime=2520.07 cores=1,3,5,7
/proc/4098/stat : 4098 (java) S 4095 4098 2756 0 -1 1077944320 217048 0 0 0 251748 259 0 0 20 0 15 0 103469875 10916999168 683047 33554432000 4194304 4196468 140721710496416 140721710478960 139647917551351 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
/proc/4098/statm: 2665283 683047 3195 1 0 2627263 0
[pid=4098/tid=4100] ppid=4095 vsize=10661132 memory=2732188 CPUtime=2488.88 cores=1,3,5,7
/proc/4098/task/4100/stat : 4100 (java) R 4095 4098 2756 0 -1 4202560 104855 0 0 0 248812 76 0 0 20 0 15 0 103469875 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647921790832 139647530344259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4101] ppid=4095 vsize=10661132 memory=2735264 CPUtime=5.54 cores=1,3,5,7
/proc/4098/task/4101/stat : 4101 (java) S 4095 4098 2756 0 -1 1077944384 14628 0 0 0 530 24 0 0 20 0 15 0 103469876 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647843625872 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4102] ppid=4095 vsize=10661132 memory=2735264 CPUtime=5.54 cores=1,3,5,7
/proc/4098/task/4102/stat : 4102 (java) S 4095 4098 2756 0 -1 1077944384 15213 0 0 0 530 24 0 0 20 0 15 0 103469876 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647522958096 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4103] ppid=4095 vsize=10661132 memory=2735264 CPUtime=5.57 cores=1,3,5,7
/proc/4098/task/4103/stat : 4103 (java) S 4095 4098 2756 0 -1 1077944384 16743 0 0 0 532 25 0 0 20 0 15 0 103469876 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647521905808 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4104] ppid=4095 vsize=10661132 memory=2735264 CPUtime=5.56 cores=1,3,5,7
/proc/4098/task/4104/stat : 4104 (java) S 4095 4098 2756 0 -1 1077944384 14623 0 0 0 532 24 0 0 20 0 15 0 103469876 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647520853008 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4105] ppid=4095 vsize=10661132 memory=2735264 CPUtime=0.79 cores=1,3,5,7
/proc/4098/task/4105/stat : 4105 (java) S 4095 4098 2756 0 -1 1077944384 15273 0 0 0 71 8 0 0 20 0 15 0 103469878 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647409461360 139647917562498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4106] ppid=4095 vsize=10661132 memory=2738344 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4106/stat : 4106 (java) S 4095 4098 2756 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647408407392 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4107] ppid=4095 vsize=10661132 memory=2738344 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4107/stat : 4107 (java) S 4095 4098 2756 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 103469878 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647407354992 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4108] ppid=4095 vsize=10661132 memory=2732188 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4108/stat : 4108 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647406303312 139647917569947 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4109] ppid=4095 vsize=10661132 memory=1228 CPUtime=2.67 cores=1,3,5,7
/proc/4098/task/4109/stat : 4109 (java) S 4095 4098 2756 0 -1 1077944384 13721 0 0 0 265 2 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647405251184 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4110] ppid=4095 vsize=10661132 memory=2732188 CPUtime=3.23 cores=1,3,5,7
/proc/4098/task/4110/stat : 4110 (java) S 4095 4098 2756 0 -1 1077944384 13954 0 0 0 321 2 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647404198384 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4111] ppid=4095 vsize=10661132 memory=2735264 CPUtime=0.68 cores=1,3,5,7
/proc/4098/task/4111/stat : 4111 (java) S 4095 4098 2756 0 -1 1077944384 5012 0 0 0 66 2 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647403146096 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4112] ppid=4095 vsize=10661132 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/4098/task/4112/stat : 4112 (java) S 4095 4098 2756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647402093536 139647917561557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
[pid=4098/tid=4113] ppid=4095 vsize=10661132 memory=2592 CPUtime=1.52 cores=1,3,5,7
/proc/4098/task/4113/stat : 4113 (java) S 4095 4098 2756 0 -1 1077944384 1597 0 0 0 70 82 0 0 20 0 15 0 103469881 10916999168 683047 33554432000 4194304 4196468 140721710496416 139647401040304 139647917562498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18055168 140721710503029 140721710503177 140721710503177 140721710505935 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 2732188 KiB
Child status: 143
Real time (s): 2495.72
CPU time (s): 2520.1
CPU user time (s): 2517.5
CPU system time (s): 2.60309
CPU usage (%): 100.977
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 3029528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.5
system time used= 2.60309
maximum resident set size= 3029528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 217271
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59883
involuntary context switches= 2195
# summary of solver processes directly reported to runsolver:
# pid: 4098
# total CPU time (s): 2520.1
# total CPU user time (s): 2517.5
# total CPU system time (s): 2.60309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5953 second user time and 24.1541 second system time
The end