runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741997-1338759932/watcher-3741997-1338759932 -o /tmp/evaluation-result-3741997-1338759932/solver-3741997-1338759932 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3741997-1338759932.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5168/stat : 5168 (java) D 5166 5168 32179 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342118624 9515008 182 33554432000 1073741824 1073778376 140736912693520 140736912684552 260190322357 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5168/statm: 2323 182 140 9 0 71 0
[startup+0.014486 s]
/proc/loadavg: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=96268 CPUtime=0 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 1289 0 0 0 0 0 0 0 20 0 2 0 342118624 98578432 990 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 24067 990 756 9 0 16773 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 96268
[startup+0.100234 s]
/proc/loadavg: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=2957856 CPUtime=0.09 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 4924 0 1 0 8 1 0 0 20 0 18 0 342118624 3028844544 6634 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 739464 6634 2127 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.30023 s]
/proc/loadavg: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=2957856 CPUtime=0.54 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 8167 0 1 0 52 2 0 0 20 0 18 0 342118624 3028844544 11457 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 739464 11457 2247 9 0 729885 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2957856
[startup+0.700159 s]
/proc/loadavg: 2.49 2.10 2.07 2/171 5168
/proc/meminfo: memFree=27909948/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=1.34 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 9766 0 1 0 131 3 0 0 20 0 19 0 342118624 3097006080 18734 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 18734 2273 9 0 746526 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 3024420
[startup+1.50062 s]
/proc/loadavg: 2.49 2.10 2.07 3/213 5219
/proc/meminfo: memFree=27780280/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=2.16 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 9881 0 1 0 213 3 0 0 20 0 19 0 342118624 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 19761 2275 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3091 0 1 0 144 2 0 0 20 0 19 0 342118625 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636171469256 139636043724112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3044 0 0 0 36 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2552 0 0 0 29 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 19761 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 3024420
[startup+3.10056 s]
/proc/loadavg: 2.49 2.10 2.07 3/213 5219
/proc/meminfo: memFree=27765060/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=3.78 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 9884 0 1 0 375 3 0 0 20 0 19 0 342118624 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 20785 2275 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3094 0 1 0 303 2 0 0 20 0 19 0 342118625 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636171469384 139636043120576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3044 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2552 0 0 0 31 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 20785 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 3024420
[startup+6.3006 s]
/proc/loadavg: 2.45 2.10 2.07 3/213 5219
/proc/meminfo: memFree=27739084/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=6.98 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 9891 0 1 0 695 3 0 0 20 0 19 0 342118624 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 23083 2276 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=6.25 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3100 0 1 0 623 2 0 0 20 0 19 0 342118625 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636171469328 139636043691491 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342118627 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3044 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2552 0 0 0 31 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 23083 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.98
Current children cumulated vsize (KiB) 3024420
[startup+12.7006 s]
################
# More data... #
################
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3153 0 0 0 41 1 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2558 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0.71 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 96 0 0 0 28 43 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.14
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/213 5268
/proc/meminfo: memFree=24564360/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=1726.14 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 12412 0 1 0 172444 170 0 0 20 0 19 0 342118624 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 418988 2304 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=1715.14 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3286 0 1 0 171480 34 0 0 20 0 19 0 342118625 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636171468080 139636043691317 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 176 0 0 0 30 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 241 0 0 0 26 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 339 0 0 0 29 21 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 256 0 0 0 28 16 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 245 0 0 0 36 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 215 0 0 0 27 10 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 147 0 0 0 25 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 296 0 0 0 31 18 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=1.74 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 220 0 0 0 167 7 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3153 0 0 0 41 1 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2558 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0.72 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 100 0 0 0 28 44 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.14
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 5268
/proc/meminfo: memFree=24563992/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=1786.16 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 12416 0 1 0 178444 172 0 0 20 0 19 0 342118624 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 418988 2304 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=1774.99 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3286 0 1 0 177465 34 0 0 20 0 19 0 342118625 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636171468080 139636043784974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 176 0 0 0 30 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 241 0 0 0 26 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 339 0 0 0 29 21 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 256 0 0 0 28 16 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 245 0 0 0 36 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 215 0 0 0 27 10 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 147 0 0 0 25 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 296 0 0 0 31 18 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=1.74 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 220 0 0 0 167 7 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3153 0 0 0 41 1 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2558 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 104 0 0 0 30 45 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.16
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 5268
/proc/meminfo: memFree=24564120/32873648 swapFree=7116/7116
[pid=5168] ppid=5166 vsize=3024420 CPUtime=1800.08 cores=1,3,5,7
/proc/5168/stat : 5168 (java) S 5166 5168 32179 0 -1 4202496 12416 0 1 0 179835 173 0 0 20 0 19 0 342118624 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 140735554955392 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5168/statm: 756105 418988 2304 9 0 746526 0
[pid=5168/tid=5170] ppid=5166 vsize=3024420 CPUtime=1788.87 cores=1,3,5,7
/proc/5168/task/5170/stat : 5170 (java) R 5166 5168 32179 0 -1 4202560 3286 0 1 0 178852 35 0 0 20 0 19 0 342118625 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636171468080 139636043691300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5171] ppid=5166 vsize=3024420 CPUtime=0.39 cores=1,3,5,7
/proc/5168/task/5171/stat : 5171 (java) S 5166 5168 32179 0 -1 4202560 176 0 0 0 30 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636037413928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5172] ppid=5166 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/5168/task/5172/stat : 5172 (java) S 5166 5168 32179 0 -1 4202560 241 0 0 0 26 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636036361128 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5173] ppid=5166 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/5168/task/5173/stat : 5173 (java) S 5166 5168 32179 0 -1 4202560 339 0 0 0 29 21 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636035308328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5174] ppid=5166 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/5168/task/5174/stat : 5174 (java) S 5166 5168 32179 0 -1 4202560 256 0 0 0 28 16 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636034255528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5175] ppid=5166 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/5168/task/5175/stat : 5175 (java) S 5166 5168 32179 0 -1 4202560 245 0 0 0 36 15 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636033202728 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5176] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5176/stat : 5176 (java) S 5166 5168 32179 0 -1 4202560 215 0 0 0 27 10 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139636032149928 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5177] ppid=5166 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/5168/task/5177/stat : 5177 (java) S 5166 5168 32179 0 -1 4202560 147 0 0 0 25 9 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635695020328 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5178] ppid=5166 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/5168/task/5178/stat : 5178 (java) S 5166 5168 32179 0 -1 4202560 296 0 0 0 31 18 0 0 20 0 19 0 342118627 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635693967528 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5168/tid=5179] ppid=5166 vsize=3024420 CPUtime=1.74 cores=1,3,5,7
/proc/5168/task/5179/stat : 5179 (java) S 5166 5168 32179 0 -1 4202560 220 0 0 0 167 7 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635681770472 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5180] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5180/stat : 5180 (java) S 5166 5168 32179 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635680716536 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5181] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5181/stat : 5181 (java) S 5166 5168 32179 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342118628 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635679663624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5182] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5182/stat : 5182 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635678612112 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5183] ppid=5166 vsize=3024420 CPUtime=0.42 cores=1,3,5,7
/proc/5168/task/5183/stat : 5183 (java) S 5166 5168 32179 0 -1 4202560 3153 0 0 0 41 1 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635677559224 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5168/tid=5184] ppid=5166 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/5168/task/5184/stat : 5184 (java) S 5166 5168 32179 0 -1 4202560 2558 0 0 0 37 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635676506424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5185] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5185/stat : 5185 (java) S 5166 5168 32179 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635675453816 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5168/tid=5186] ppid=5166 vsize=3024420 CPUtime=0.75 cores=1,3,5,7
/proc/5168/task/5186/stat : 5186 (java) S 5166 5168 32179 0 -1 4202560 104 0 0 0 30 45 0 0 20 0 19 0 342118631 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635674401224 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5168/tid=5218] ppid=5166 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/5168/task/5218/stat : 5218 (java) S 5166 5168 32179 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342118669 3097006080 418988 33554432000 1073741824 1073778376 140735554964256 139635672270504 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5168 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=729311
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=141674
# CPU time returned by wait4() is 1795.87
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.23
CPU time (s): 1800.08
CPU user time (s): 1798.35
CPU system time (s): 1.73
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.73
system time used= 2.14167
maximum resident set size= 1676068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12448
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38116
involuntary context switches= 7505
runsolver used 6.20106 second user time and 15.2017 second system time
The end