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-3731802-1338688213/watcher-3731802-1338688213 -o /tmp/evaluation-result-3731802-1338688213/solver-3731802-1338688213 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731802-1338688213.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.07 2.09 2.03 3/195 18173
/proc/meminfo: memFree=27545036/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/18173/stat : 18173 (java) D 18171 18173 7849 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 334946944 2560000 46 33554432000 1073741824 1073778376 140737082380416 140737082377544 214360485159 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/18173/statm: 625 46 37 9 0 29 0
[startup+0.062665 s]
/proc/loadavg: 2.07 2.09 2.03 3/195 18173
/proc/meminfo: memFree=27545036/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=2623916 CPUtime=0.04 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 3935 0 1 0 3 1 0 0 20 0 13 0 334946944 2686889984 5142 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 655979 5142 1699 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916
[startup+0.100289 s]
/proc/loadavg: 2.07 2.09 2.03 3/195 18173
/proc/meminfo: memFree=27545036/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 4129 0 1 0 6 1 0 0 20 0 18 0 334946944 3028844544 5846 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300274 s]
/proc/loadavg: 2.07 2.09 2.03 3/195 18173
/proc/meminfo: memFree=27545036/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=2957856 CPUtime=0.4 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 5624 0 1 0 38 2 0 0 20 0 18 0 334946944 3028844544 8532 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 739464 8532 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 2957856
[startup+0.700261 s]
/proc/loadavg: 2.07 2.09 2.03 3/195 18173
/proc/meminfo: memFree=27545036/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=3024420 CPUtime=1.18 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 8221 0 1 0 115 3 0 0 20 0 19 0 334946944 3097006080 13256 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 756105 13256 2262 9 0 746526 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 3024420
[startup+1.50065 s]
/proc/loadavg: 2.15 2.10 2.04 3/214 18194
/proc/meminfo: memFree=27491024/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=3024420 CPUtime=2.16 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 9791 0 1 0 212 4 0 0 20 0 19 0 334946944 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 756105 19873 2272 9 0 746526 0
[pid=18173/tid=18175] ppid=18171 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18171 18173 7849 0 -1 4202560 3078 0 1 0 143 2 0 0 20 0 19 0 334946945 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600933429688 140600804963614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600798734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600797682216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600796629160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600795576616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600794524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600793472040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600792418984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600791366440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18171 18173 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334946948 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600308357480 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600307303800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600306250632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600305199376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 7849 0 -1 4202560 2096 0 0 0 32 0 0 0 20 0 19 0 334946952 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600304147256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 7849 0 -1 4202560 3410 0 0 0 34 0 0 0 20 0 19 0 334946952 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600303094712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600302041848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600300989512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18194] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18194/stat : 18194 (java) S 18171 18173 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334947034 3097006080 19873 33554432000 1073741824 1073778376 140733827637280 140600298857256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 3024420
[startup+3.10077 s]
/proc/loadavg: 2.15 2.10 2.04 3/214 18194
/proc/meminfo: memFree=27459692/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=3024420 CPUtime=3.82 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 9846 0 1 0 377 5 0 0 20 0 19 0 334946944 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 756105 30146 2272 9 0 746526 0
[pid=18173/tid=18175] ppid=18171 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18171 18173 7849 0 -1 4202560 3100 0 1 0 301 3 0 0 20 0 19 0 334946945 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600933427736 140600804991566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600798734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600797682216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600796629160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600795576616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600794524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600793472040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600792418984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600791366440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18171 18173 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334946948 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600308357480 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600307303800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600306250632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600305199376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 7849 0 -1 4202560 2104 0 0 0 35 0 0 0 20 0 19 0 334946952 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600304147256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 7849 0 -1 4202560 3435 0 0 0 37 0 0 0 20 0 19 0 334946952 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600303094712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600302041848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600300989512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18194] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18194/stat : 18194 (java) S 18171 18173 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334947034 3097006080 30146 33554432000 1073741824 1073778376 140733827637280 140600298857256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 3024420
[startup+6.3008 s]
/proc/loadavg: 2.22 2.12 2.04 4/214 18194
/proc/meminfo: memFree=27375352/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=3024420 CPUtime=7.01 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 9887 0 1 0 695 6 0 0 20 0 19 0 334946944 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 756105 49854 2273 9 0 746526 0
[pid=18173/tid=18175] ppid=18171 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) R 18171 18173 7849 0 -1 4202560 3140 0 1 0 619 4 0 0 20 0 19 0 334946945 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600933429792 140600804973213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600798734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600797682216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600796629160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600795576616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600794524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600793472040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600792418984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334946947 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600791366440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) S 18171 18173 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334946948 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600308357480 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600307303800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600306250632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600305199376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 7849 0 -1 4202560 2104 0 0 0 35 0 0 0 20 0 19 0 334946952 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600304147256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 7849 0 -1 4202560 3435 0 0 0 37 0 0 0 20 0 19 0 334946952 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600303094712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600302041848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600300989512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18194] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18194/stat : 18194 (java) S 18171 18173 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334947034 3097006080 49854 33554432000 1073741824 1073778376 140733827637280 140600298857256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.01
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 7849 0 -1 4202560 249 0 0 0 31 14 0 0 20 0 19 0 334946947 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600791366440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=3024420 CPUtime=8.53 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) R 18171 18173 7849 0 -1 4202560 219 0 0 0 846 7 0 0 20 0 19 0 334946948 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600308357480 140600937566557 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600307303800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600306250632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600305199376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 7849 0 -1 4202560 2181 0 0 0 41 0 0 0 20 0 19 0 334946952 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600304147256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 7849 0 -1 4202560 3441 0 0 0 44 0 0 0 20 0 19 0 334946952 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600303094712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600302041848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 7849 0 -1 4202560 18 0 0 0 6 6 0 0 20 0 19 0 334946952 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600300989512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18194] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18194/stat : 18194 (java) S 18171 18173 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334947034 3097006080 418560 33554432000 1073741824 1073778376 140733827637280 140600298857256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 292.27
Current children cumulated vsize (KiB) 3024420
[startup+288.701 s]
/proc/loadavg: 1.99 2.04 2.01 4/213 18256
/proc/meminfo: memFree=25879236/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=3024420 CPUtime=293.07 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 12781 0 1 0 29141 166 0 0 20 0 19 0 334946944 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 756105 418561 2301 9 0 746526 0
[pid=18173/tid=18175] ppid=18171 vsize=3024420 CPUtime=277.31 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18173 7849 0 -1 4202560 3314 0 1 0 27718 13 0 0 20 0 19 0 334946945 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600933431816 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 7849 0 -1 4202560 264 0 0 0 33 14 0 0 20 0 19 0 334946947 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600798734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 7849 0 -1 4202560 314 0 0 0 35 25 0 0 20 0 19 0 334946947 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600797682216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 7849 0 -1 4202560 449 0 0 0 51 22 0 0 20 0 19 0 334946947 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600796629160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 7849 0 -1 4202560 251 0 0 0 46 19 0 0 20 0 19 0 334946947 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600795576616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 7849 0 -1 4202560 337 0 0 0 48 15 0 0 20 0 19 0 334946947 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600794524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 7849 0 -1 4202560 253 0 0 0 34 15 0 0 20 0 19 0 334946947 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600793472040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 7849 0 -1 4202560 293 0 0 0 34 18 0 0 20 0 19 0 334946947 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600792418984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 7849 0 -1 4202560 249 0 0 0 31 14 0 0 20 0 19 0 334946947 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600791366440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=3024420 CPUtime=9.33 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) R 18171 18173 7849 0 -1 4202560 220 0 0 0 926 7 0 0 20 0 19 0 334946948 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600308357480 140600937566557 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600307303800 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 7849 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600306247912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600305199376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 7849 0 -1 4202560 2181 0 0 0 41 0 0 0 20 0 19 0 334946952 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600304147256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 7849 0 -1 4202560 3441 0 0 0 44 0 0 0 20 0 19 0 334946952 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600303094712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600302041848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 7849 0 -1 4202560 18 0 0 0 6 6 0 0 20 0 19 0 334946952 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600300989512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18194] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18194/stat : 18194 (java) S 18171 18173 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334947034 3097006080 418561 33554432000 1073741824 1073778376 140733827637280 140600298857256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 293.07
Current children cumulated vsize (KiB) 3024420
[startup+289.501 s]
/proc/loadavg: 1.99 2.04 2.01 4/213 18256
/proc/meminfo: memFree=25879236/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=3024420 CPUtime=293.87 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 12784 0 1 0 29221 166 0 0 20 0 19 0 334946944 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 756105 418562 2301 9 0 746526 0
[pid=18173/tid=18175] ppid=18171 vsize=3024420 CPUtime=277.31 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18173 7849 0 -1 4202560 3314 0 1 0 27718 13 0 0 20 0 19 0 334946945 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600933431416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 7849 0 -1 4202560 264 0 0 0 33 14 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600798734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 7849 0 -1 4202560 314 0 0 0 35 25 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600797682216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 7849 0 -1 4202560 449 0 0 0 51 22 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600796629160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 7849 0 -1 4202560 251 0 0 0 46 19 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600795576616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 7849 0 -1 4202560 337 0 0 0 48 15 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600794524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 7849 0 -1 4202560 253 0 0 0 34 15 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600793472040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 7849 0 -1 4202560 293 0 0 0 34 18 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600792418984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 7849 0 -1 4202560 249 0 0 0 31 14 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600791366440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=3024420 CPUtime=10.13 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) R 18171 18173 7849 0 -1 4202560 220 0 0 0 1006 7 0 0 20 0 19 0 334946948 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600308357640 140600939937864 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600307303704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600306250632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600305199376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 7849 0 -1 4202560 2181 0 0 0 41 0 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600304147256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 7849 0 -1 4202560 3441 0 0 0 44 0 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600303094712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600302041848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 7849 0 -1 4202560 18 0 0 0 6 6 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600300989512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18194] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18194/stat : 18194 (java) S 18171 18173 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334947034 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600298857256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 293.87
Current children cumulated vsize (KiB) 3024420
[startup+289.701 s]
/proc/loadavg: 1.99 2.04 2.01 4/213 18256
/proc/meminfo: memFree=25879236/32873844 swapFree=7632/7632
[pid=18173] ppid=18171 vsize=3024420 CPUtime=294.07 cores=1,3,5,7
/proc/18173/stat : 18173 (java) S 18171 18173 7849 0 -1 4202496 12785 0 1 0 29241 166 0 0 20 0 19 0 334946944 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140733827628416 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18173/statm: 756105 418562 2301 9 0 746526 0
[pid=18173/tid=18175] ppid=18171 vsize=3024420 CPUtime=277.31 cores=1,3,5,7
/proc/18173/task/18175/stat : 18175 (java) S 18171 18173 7849 0 -1 4202560 3315 0 1 0 27718 13 0 0 20 0 19 0 334946945 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600933430680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18176] ppid=18171 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/18173/task/18176/stat : 18176 (java) S 18171 18173 7849 0 -1 4202560 264 0 0 0 33 14 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600798734760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18177] ppid=18171 vsize=3024420 CPUtime=0.6 cores=1,3,5,7
/proc/18173/task/18177/stat : 18177 (java) S 18171 18173 7849 0 -1 4202560 314 0 0 0 35 25 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600797682216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18178] ppid=18171 vsize=3024420 CPUtime=0.73 cores=1,3,5,7
/proc/18173/task/18178/stat : 18178 (java) S 18171 18173 7849 0 -1 4202560 449 0 0 0 51 22 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600796629160 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18179] ppid=18171 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/18173/task/18179/stat : 18179 (java) S 18171 18173 7849 0 -1 4202560 251 0 0 0 46 19 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600795576616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18173/tid=18180] ppid=18171 vsize=3024420 CPUtime=0.63 cores=1,3,5,7
/proc/18173/task/18180/stat : 18180 (java) S 18171 18173 7849 0 -1 4202560 337 0 0 0 48 15 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600794524584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18173/tid=18181] ppid=18171 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/18173/task/18181/stat : 18181 (java) S 18171 18173 7849 0 -1 4202560 253 0 0 0 34 15 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600793472040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18182] ppid=18171 vsize=3024420 CPUtime=0.52 cores=1,3,5,7
/proc/18173/task/18182/stat : 18182 (java) S 18171 18173 7849 0 -1 4202560 293 0 0 0 34 18 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600792418984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18183] ppid=18171 vsize=3024420 CPUtime=0.45 cores=1,3,5,7
/proc/18173/task/18183/stat : 18183 (java) S 18171 18173 7849 0 -1 4202560 249 0 0 0 31 14 0 0 20 0 19 0 334946947 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600791366440 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18184] ppid=18171 vsize=3024420 CPUtime=10.33 cores=1,3,5,7
/proc/18173/task/18184/stat : 18184 (java) R 18171 18173 7849 0 -1 4202560 220 0 0 0 1026 7 0 0 20 0 19 0 334946948 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600308357640 140600937591100 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18185] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18185/stat : 18185 (java) S 18171 18173 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600307303704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18186] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18186/stat : 18186 (java) S 18171 18173 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 334946949 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600306250632 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18187] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18187/stat : 18187 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600305199376 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18188] ppid=18171 vsize=3024420 CPUtime=0.41 cores=1,3,5,7
/proc/18173/task/18188/stat : 18188 (java) S 18171 18173 7849 0 -1 4202560 2181 0 0 0 41 0 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600304147256 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18189] ppid=18171 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/18173/task/18189/stat : 18189 (java) S 18171 18173 7849 0 -1 4202560 3441 0 0 0 44 0 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600303094712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18190] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18190/stat : 18190 (java) S 18171 18173 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600302041848 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18173/tid=18191] ppid=18171 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/18173/task/18191/stat : 18191 (java) S 18171 18173 7849 0 -1 4202560 18 0 0 0 6 6 0 0 20 0 19 0 334946952 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600300989512 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18173/tid=18194] ppid=18171 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/18173/task/18194/stat : 18194 (java) S 18171 18173 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334947034 3097006080 418562 33554432000 1073741824 1073778376 140733827637280 140600298857256 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 294.07
Current children cumulated vsize (KiB) 3024420
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18173 and gives
# childrusage.ru_utime.tv_sec=291
# childrusage.ru_utime.tv_usec=609668
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=824722
# CPU time returned by wait4() is 293.434
# while last known CPU time is 294.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 289.719
CPU time (s): 294.07
CPU user time (s): 292.41
CPU system time (s): 1.66
CPU usage (%): 101.502
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 291.61
system time used= 1.82472
maximum resident set size= 1674256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12788
page faults= 1
swaps= 0
block input operations= 0
block output operations= 336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6693
involuntary context switches= 3446
runsolver used 1.23581 second user time and 2.98355 second system time
The end