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-3739254-1338767966/watcher-3739254-1338767966 -o /tmp/evaluation-result-3739254-1338767966/solver-3739254-1338767966 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3739254-1338767966.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: 1.93 2.01 1.99 3/193 5904
/proc/meminfo: memFree=27493852/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5904/stat : 5904 (java6) D 5902 5904 959 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342921096 9515008 182 33554432000 1073741824 1073778376 140734017094016 140734017085048 212073266869 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5904/statm: 2323 182 140 9 0 71 0
[startup+0.039674 s]
/proc/loadavg: 1.93 2.01 1.99 3/193 5904
/proc/meminfo: memFree=27493852/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2315716 CPUtime=0.02 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 3675 0 1 0 1 1 0 0 20 0 13 0 342921096 2371293184 4373 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 578929 4374 1662 9 0 569630 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2315716
[startup+0.100197 s]
/proc/loadavg: 1.93 2.01 1.99 3/193 5904
/proc/meminfo: memFree=27493852/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2648568 CPUtime=0.09 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 4744 0 1 0 7 2 0 0 20 0 18 0 342921096 2712133632 5951 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 662142 5951 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568
[startup+0.300319 s]
/proc/loadavg: 1.93 2.01 1.99 3/193 5904
/proc/meminfo: memFree=27493852/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2648568 CPUtime=0.5 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 6375 0 1 0 48 2 0 0 20 0 18 0 342921096 2712133632 10278 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 662142 10278 2223 9 0 652835 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 2648568
[startup+0.700319 s]
/proc/loadavg: 1.93 2.01 1.99 3/193 5904
/proc/meminfo: memFree=27493852/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2648568 CPUtime=1.11 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 9457 0 1 0 104 7 0 0 20 0 18 0 342921096 2712133632 75857 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 662142 75857 2241 9 0 652835 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 2648568
[startup+1.50068 s]
/proc/loadavg: 1.93 2.01 1.99 5/211 5922
/proc/meminfo: memFree=27126980/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2715132 CPUtime=2.49 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 11926 0 1 0 239 10 0 0 20 0 19 0 342921096 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 678783 94025 2273 9 0 669476 0
[pid=5904/tid=5906] ppid=5902 vsize=2715132 CPUtime=1.44 cores=1,3,5,7
/proc/5904/task/5906/stat : 5906 (java) R 5902 5904 959 0 -1 4202560 2978 0 1 0 137 7 0 0 20 0 19 0 342921097 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140542409859688 140542282994587 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5907] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5907/stat : 5907 (java) S 5902 5904 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140542276770856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5908] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5908/stat : 5908 (java) S 5902 5904 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140542275718056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5909] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5909/stat : 5909 (java) S 5902 5904 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140542274665256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5910] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5910/stat : 5910 (java) S 5902 5904 959 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140542273612456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5911] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5911/stat : 5911 (java) S 5902 5904 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140542272559656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5912] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5912/stat : 5912 (java) S 5902 5904 959 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140542271506856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5913] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5913/stat : 5913 (java) S 5902 5904 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140542270454056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5914] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5914/stat : 5914 (java) S 5902 5904 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140541798901928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5915] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5915/stat : 5915 (java) S 5902 5904 959 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342921099 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140541786704872 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5916] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5916/stat : 5916 (java) S 5902 5904 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342921100 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140541785650936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5917] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5917/stat : 5917 (java) S 5902 5904 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342921100 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140541784598024 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5918] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5918/stat : 5918 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342921102 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140541783546512 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5919] ppid=5902 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/5904/task/5919/stat : 5919 (java) S 5902 5904 959 0 -1 4202560 4438 0 0 0 45 2 0 0 20 0 19 0 342921102 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140541782493624 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5920] ppid=5902 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/5904/task/5920/stat : 5920 (java) S 5902 5904 959 0 -1 4202560 3279 0 0 0 47 0 0 0 20 0 19 0 342921102 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140541781440824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5921] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5921/stat : 5921 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342921102 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140541780388216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5922] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5922/stat : 5922 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342921102 2780295168 94025 33554432000 1073741824 1073778376 140736661088944 140541779335624 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 2715132
[startup+3.10072 s]
/proc/loadavg: 1.93 2.01 1.99 3/212 5923
/proc/meminfo: memFree=27125360/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2715132 CPUtime=4.25 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 12009 0 1 0 415 10 0 0 20 0 19 0 342921096 2780295168 94042 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 678783 94042 2273 9 0 669476 0
[pid=5904/tid=5906] ppid=5902 vsize=2715132 CPUtime=3.04 cores=1,3,5,7
/proc/5904/task/5906/stat : 5906 (java) R 5902 5904 959 0 -1 4202560 2979 0 1 0 297 7 0 0 20 0 19 0 342921097 2780295168 94042 33554432000 1073741824 1073778376 140736661088944 140542409860200 140542283045160 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5907] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5907/stat : 5907 (java) S 5902 5904 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94042 33554432000 1073741824 1073778376 140736661088944 140542276770856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5908] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5908/stat : 5908 (java) S 5902 5904 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94042 33554432000 1073741824 1073778376 140736661088944 140542275718056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5909] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5909/stat : 5909 (java) S 5902 5904 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342921098 2780717056 94049 33554432000 1073741824 1073778376 140736661088944 140542274665256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5910] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5910/stat : 5910 (java) S 5902 5904 959 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342921098 2780717056 94070 33554432000 1073741824 1073778376 140736661088944 140542273612456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5911] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5911/stat : 5911 (java) S 5902 5904 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342921098 2780717056 94093 33554432000 1073741824 1073778376 140736661088944 140542272559656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5912] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5912/stat : 5912 (java) S 5902 5904 959 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342921098 2780717056 94113 33554432000 1073741824 1073778376 140736661088944 140542271506856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5913] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5913/stat : 5913 (java) S 5902 5904 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342921098 2780717056 94130 33554432000 1073741824 1073778376 140736661088944 140542270454056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5914] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5914/stat : 5914 (java) S 5902 5904 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342921098 2780717056 94145 33554432000 1073741824 1073778376 140736661088944 140541798901928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5915] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5915/stat : 5915 (java) S 5902 5904 959 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342921099 2780717056 94145 33554432000 1073741824 1073778376 140736661088944 140541786704872 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5916] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5916/stat : 5916 (java) S 5902 5904 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342921100 2780717056 94145 33554432000 1073741824 1073778376 140736661088944 140541785650936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5917] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5917/stat : 5917 (java) S 5902 5904 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342921100 2780717056 94145 33554432000 1073741824 1073778376 140736661088944 140541784598024 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5918] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5918/stat : 5918 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342921102 2780717056 94145 33554432000 1073741824 1073778376 140736661088944 140541783546512 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5919] ppid=5902 vsize=2715544 CPUtime=0.58 cores=1,3,5,7
/proc/5904/task/5919/stat : 5919 (java) R 5902 5904 959 0 -1 4202560 4449 0 0 0 56 2 0 0 20 0 19 0 342921102 2780717056 94145 33554432000 1073741824 1073778376 140736661088944 140541782493624 140542413976063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5920] ppid=5902 vsize=2715544 CPUtime=0.52 cores=1,3,5,7
/proc/5904/task/5920/stat : 5920 (java) R 5902 5904 959 0 -1 4202560 3453 0 0 0 52 0 0 0 20 0 19 0 342921102 2780717056 94145 33554432000 1073741824 1073778376 140736661088944 140541781440824 140542413436514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5921] ppid=5902 vsize=2715544 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5921/stat : 5921 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342921102 2780717056 94042 33554432000 1073741824 1073778376 140736661088944 140541780388216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5922] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5922/stat : 5922 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342921102 2780295168 94042 33554432000 1073741824 1073778376 140736661088944 140541779335624 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5923] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5923/stat : 5923 (java) S 5902 5904 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342921199 2780295168 94042 33554432000 1073741824 1073778376 140736661088944 140541778249384 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 2715132
[startup+6.30075 s]
/proc/loadavg: 1.94 2.01 1.99 3/213 5924
/proc/meminfo: memFree=27124376/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2715132 CPUtime=7.65 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 14414 0 1 0 754 11 0 0 20 0 19 0 342921096 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 678783 94071 2273 9 0 669476 0
[pid=5904/tid=5906] ppid=5902 vsize=2715132 CPUtime=6.23 cores=1,3,5,7
/proc/5904/task/5906/stat : 5906 (java) R 5902 5904 959 0 -1 4202560 2981 0 1 0 616 7 0 0 20 0 19 0 342921097 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140542409859312 140542282632365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5907] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5907/stat : 5907 (java) S 5902 5904 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140542276770856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5908] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5908/stat : 5908 (java) S 5902 5904 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140542275718056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5909] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5909/stat : 5909 (java) S 5902 5904 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140542274665256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5910] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5910/stat : 5910 (java) S 5902 5904 959 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140542273612456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5911] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5911/stat : 5911 (java) S 5902 5904 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140542272559656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5912] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5912/stat : 5912 (java) S 5902 5904 959 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140542271506856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5913] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5913/stat : 5913 (java) S 5902 5904 959 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140542270454056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5914] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5914/stat : 5914 (java) S 5902 5904 959 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342921098 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541798901928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5915] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5915/stat : 5915 (java) S 5902 5904 959 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342921099 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541786704872 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5916] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5916/stat : 5916 (java) S 5902 5904 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342921100 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541785650936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5917] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5917/stat : 5917 (java) S 5902 5904 959 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342921100 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541784598024 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5918] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5918/stat : 5918 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342921102 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541783546512 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5919] ppid=5902 vsize=2715132 CPUtime=0.64 cores=1,3,5,7
/proc/5904/task/5919/stat : 5919 (java) S 5902 5904 959 0 -1 4202560 4493 0 0 0 62 2 0 0 20 0 19 0 342921102 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541782493624 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5920] ppid=5902 vsize=2715132 CPUtime=0.66 cores=1,3,5,7
/proc/5904/task/5920/stat : 5920 (java) S 5902 5904 959 0 -1 4202560 5709 0 0 0 65 1 0 0 20 0 19 0 342921102 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541781440824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5921] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5921/stat : 5921 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342921102 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541780388216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5922] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5922/stat : 5922 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342921102 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541779335624 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5923] ppid=5902 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5923/stat : 5923 (java) S 5902 5904 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342921199 2780295168 94071 33554432000 1073741824 1073778376 140736661088944 140541778249384 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.65
Current children cumulated vsize (KiB) 2715132
[startup+12.7007 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 5924
/proc/meminfo: memFree=27052236/32873648 swapFree=7388/7388
################
# More data... #
################
/proc/5904/task/5918/stat : 5918 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541783546512 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5919] ppid=5902 vsize=2781696 CPUtime=0.67 cores=1,3,5,7
/proc/5904/task/5919/stat : 5919 (java) S 5902 5904 959 0 -1 4202560 4502 0 0 0 65 2 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541782493624 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5920] ppid=5902 vsize=2781696 CPUtime=0.74 cores=1,3,5,7
/proc/5904/task/5920/stat : 5920 (java) S 5902 5904 959 0 -1 4202560 5710 0 0 0 73 1 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541781440824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5921] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5921/stat : 5921 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541780388216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5922] ppid=5902 vsize=2781696 CPUtime=0.17 cores=1,3,5,7
/proc/5904/task/5922/stat : 5922 (java) S 5902 5904 959 0 -1 4202560 49 0 0 0 7 10 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541779335624 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5923] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5923/stat : 5923 (java) S 5902 5904 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342921199 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541778249384 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=6126] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/6126/stat : 6126 (java) S 5902 5904 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 343006242 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541777195000 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 859.45
Current children cumulated vsize (KiB) 2781696
[startup+855.501 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 6126
/proc/meminfo: memFree=26518916/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2781696 CPUtime=859.85 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 16496 0 1 0 85877 108 0 0 20 0 20 0 342921096 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 695424 341755 2281 9 0 686117 0
[pid=5904/tid=5906] ppid=5902 vsize=2781696 CPUtime=809.57 cores=1,3,5,7
/proc/5904/task/5906/stat : 5906 (java) S 5902 5904 959 0 -1 4202560 3033 0 1 0 80938 19 0 0 20 0 20 0 342921097 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542409860280 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5907] ppid=5902 vsize=2781696 CPUtime=0.35 cores=1,3,5,7
/proc/5904/task/5907/stat : 5907 (java) S 5902 5904 959 0 -1 4202560 145 0 0 0 28 7 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542276770856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5908] ppid=5902 vsize=2781696 CPUtime=0.43 cores=1,3,5,7
/proc/5904/task/5908/stat : 5908 (java) S 5902 5904 959 0 -1 4202560 230 0 0 0 33 10 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542275718056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5909] ppid=5902 vsize=2781696 CPUtime=0.59 cores=1,3,5,7
/proc/5904/task/5909/stat : 5909 (java) S 5902 5904 959 0 -1 4202560 277 0 0 0 45 14 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542274665256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5910] ppid=5902 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/5904/task/5910/stat : 5910 (java) S 5902 5904 959 0 -1 4202560 276 0 0 0 42 13 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542273612456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5911] ppid=5902 vsize=2781696 CPUtime=0.52 cores=1,3,5,7
/proc/5904/task/5911/stat : 5911 (java) S 5902 5904 959 0 -1 4202560 265 0 0 0 40 12 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542272559656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5912] ppid=5902 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/5904/task/5912/stat : 5912 (java) S 5902 5904 959 0 -1 4202560 182 0 0 0 31 9 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542271506856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5913] ppid=5902 vsize=2781696 CPUtime=0.56 cores=1,3,5,7
/proc/5904/task/5913/stat : 5913 (java) S 5902 5904 959 0 -1 4202560 279 0 0 0 45 11 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542270454056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5914] ppid=5902 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/5904/task/5914/stat : 5914 (java) S 5902 5904 959 0 -1 4202560 205 0 0 0 36 11 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541798901928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5915] ppid=5902 vsize=2781696 CPUtime=42.59 cores=1,3,5,7
/proc/5904/task/5915/stat : 5915 (java) R 5902 5904 959 0 -1 4202560 150 0 0 0 4256 3 0 0 20 0 20 0 342921099 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541786705032 140542416367688 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5916] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5916/stat : 5916 (java) S 5902 5904 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342921100 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541785650936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5917] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5917/stat : 5917 (java) S 5902 5904 959 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 342921100 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541784598024 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5918] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5918/stat : 5918 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541783546512 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5919] ppid=5902 vsize=2781696 CPUtime=0.67 cores=1,3,5,7
/proc/5904/task/5919/stat : 5919 (java) S 5902 5904 959 0 -1 4202560 4502 0 0 0 65 2 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541782493624 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5920] ppid=5902 vsize=2781696 CPUtime=0.74 cores=1,3,5,7
/proc/5904/task/5920/stat : 5920 (java) S 5902 5904 959 0 -1 4202560 5710 0 0 0 73 1 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541781440824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5921] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5921/stat : 5921 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541780388216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5922] ppid=5902 vsize=2781696 CPUtime=0.17 cores=1,3,5,7
/proc/5904/task/5922/stat : 5922 (java) S 5902 5904 959 0 -1 4202560 49 0 0 0 7 10 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541779335624 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5923] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5923/stat : 5923 (java) S 5902 5904 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342921199 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541778249384 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=6126] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/6126/stat : 6126 (java) S 5902 5904 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 343006242 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541777195000 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 859.85
Current children cumulated vsize (KiB) 2781696
[startup+855.901 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 6126
/proc/meminfo: memFree=26519040/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2781696 CPUtime=860.25 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 16496 0 1 0 85917 108 0 0 20 0 20 0 342921096 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 695424 341755 2281 9 0 686117 0
[pid=5904/tid=5906] ppid=5902 vsize=2781696 CPUtime=809.57 cores=1,3,5,7
/proc/5904/task/5906/stat : 5906 (java) S 5902 5904 959 0 -1 4202560 3033 0 1 0 80938 19 0 0 20 0 20 0 342921097 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542409860280 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5907] ppid=5902 vsize=2781696 CPUtime=0.35 cores=1,3,5,7
/proc/5904/task/5907/stat : 5907 (java) S 5902 5904 959 0 -1 4202560 145 0 0 0 28 7 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542276770856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5908] ppid=5902 vsize=2781696 CPUtime=0.43 cores=1,3,5,7
/proc/5904/task/5908/stat : 5908 (java) S 5902 5904 959 0 -1 4202560 230 0 0 0 33 10 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542275718056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5909] ppid=5902 vsize=2781696 CPUtime=0.59 cores=1,3,5,7
/proc/5904/task/5909/stat : 5909 (java) S 5902 5904 959 0 -1 4202560 277 0 0 0 45 14 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542274665256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5910] ppid=5902 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/5904/task/5910/stat : 5910 (java) S 5902 5904 959 0 -1 4202560 276 0 0 0 42 13 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542273612456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5911] ppid=5902 vsize=2781696 CPUtime=0.52 cores=1,3,5,7
/proc/5904/task/5911/stat : 5911 (java) S 5902 5904 959 0 -1 4202560 265 0 0 0 40 12 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542272559656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5912] ppid=5902 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/5904/task/5912/stat : 5912 (java) S 5902 5904 959 0 -1 4202560 182 0 0 0 31 9 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542271506856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5913] ppid=5902 vsize=2781696 CPUtime=0.56 cores=1,3,5,7
/proc/5904/task/5913/stat : 5913 (java) S 5902 5904 959 0 -1 4202560 279 0 0 0 45 11 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542270454056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5914] ppid=5902 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/5904/task/5914/stat : 5914 (java) S 5902 5904 959 0 -1 4202560 205 0 0 0 36 11 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541798901928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5915] ppid=5902 vsize=2781696 CPUtime=42.99 cores=1,3,5,7
/proc/5904/task/5915/stat : 5915 (java) R 5902 5904 959 0 -1 4202560 150 0 0 0 4296 3 0 0 20 0 20 0 342921099 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541786705032 212072939864 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5916] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5916/stat : 5916 (java) S 5902 5904 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342921100 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541785650936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5917] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5917/stat : 5917 (java) S 5902 5904 959 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 342921100 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541784598024 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5918] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5918/stat : 5918 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541783546512 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5919] ppid=5902 vsize=2781696 CPUtime=0.67 cores=1,3,5,7
/proc/5904/task/5919/stat : 5919 (java) S 5902 5904 959 0 -1 4202560 4502 0 0 0 65 2 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541782493624 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5920] ppid=5902 vsize=2781696 CPUtime=0.74 cores=1,3,5,7
/proc/5904/task/5920/stat : 5920 (java) S 5902 5904 959 0 -1 4202560 5710 0 0 0 73 1 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541781440824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5921] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5921/stat : 5921 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541780388216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5922] ppid=5902 vsize=2781696 CPUtime=0.17 cores=1,3,5,7
/proc/5904/task/5922/stat : 5922 (java) S 5902 5904 959 0 -1 4202560 49 0 0 0 7 10 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541779335624 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5923] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5923/stat : 5923 (java) S 5902 5904 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342921199 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541778249384 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=6126] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/6126/stat : 6126 (java) S 5902 5904 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 343006242 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541777195000 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 860.25
Current children cumulated vsize (KiB) 2781696
[startup+856.001 s]
/proc/loadavg: 2.02 2.03 2.00 3/214 6126
/proc/meminfo: memFree=26519040/32873648 swapFree=7388/7388
[pid=5904] ppid=5902 vsize=2781696 CPUtime=860.35 cores=1,3,5,7
/proc/5904/stat : 5904 (java) S 5902 5904 959 0 -1 4202496 16496 0 1 0 85927 108 0 0 20 0 20 0 342921096 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140736661080080 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5904/statm: 695424 341755 2281 9 0 686117 0
[pid=5904/tid=5906] ppid=5902 vsize=2781696 CPUtime=809.57 cores=1,3,5,7
/proc/5904/task/5906/stat : 5906 (java) S 5902 5904 959 0 -1 4202560 3033 0 1 0 80938 19 0 0 20 0 20 0 342921097 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542409860280 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5907] ppid=5902 vsize=2781696 CPUtime=0.35 cores=1,3,5,7
/proc/5904/task/5907/stat : 5907 (java) S 5902 5904 959 0 -1 4202560 145 0 0 0 28 7 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542276770856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5908] ppid=5902 vsize=2781696 CPUtime=0.43 cores=1,3,5,7
/proc/5904/task/5908/stat : 5908 (java) S 5902 5904 959 0 -1 4202560 230 0 0 0 33 10 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542275718056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5909] ppid=5902 vsize=2781696 CPUtime=0.59 cores=1,3,5,7
/proc/5904/task/5909/stat : 5909 (java) S 5902 5904 959 0 -1 4202560 277 0 0 0 45 14 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542274665256 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5910] ppid=5902 vsize=2781696 CPUtime=0.55 cores=1,3,5,7
/proc/5904/task/5910/stat : 5910 (java) S 5902 5904 959 0 -1 4202560 276 0 0 0 42 13 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542273612456 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5911] ppid=5902 vsize=2781696 CPUtime=0.52 cores=1,3,5,7
/proc/5904/task/5911/stat : 5911 (java) S 5902 5904 959 0 -1 4202560 265 0 0 0 40 12 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542272559656 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5912] ppid=5902 vsize=2781696 CPUtime=0.4 cores=1,3,5,7
/proc/5904/task/5912/stat : 5912 (java) S 5902 5904 959 0 -1 4202560 182 0 0 0 31 9 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542271506856 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5913] ppid=5902 vsize=2781696 CPUtime=0.56 cores=1,3,5,7
/proc/5904/task/5913/stat : 5913 (java) S 5902 5904 959 0 -1 4202560 279 0 0 0 45 11 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140542270454056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5914] ppid=5902 vsize=2781696 CPUtime=0.47 cores=1,3,5,7
/proc/5904/task/5914/stat : 5914 (java) S 5902 5904 959 0 -1 4202560 205 0 0 0 36 11 0 0 20 0 20 0 342921098 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541798901928 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5915] ppid=5902 vsize=2781696 CPUtime=43.09 cores=1,3,5,7
/proc/5904/task/5915/stat : 5915 (java) R 5902 5904 959 0 -1 4202560 150 0 0 0 4306 3 0 0 20 0 20 0 342921099 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541786705032 140542416715708 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5916] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5916/stat : 5916 (java) S 5902 5904 959 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342921100 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541785650936 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5917] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5917/stat : 5917 (java) S 5902 5904 959 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 342921100 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541784598024 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5918] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5918/stat : 5918 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541783546512 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5919] ppid=5902 vsize=2781696 CPUtime=0.67 cores=1,3,5,7
/proc/5904/task/5919/stat : 5919 (java) S 5902 5904 959 0 -1 4202560 4502 0 0 0 65 2 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541782493624 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5904/tid=5920] ppid=5902 vsize=2781696 CPUtime=0.74 cores=1,3,5,7
/proc/5904/task/5920/stat : 5920 (java) S 5902 5904 959 0 -1 4202560 5710 0 0 0 73 1 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541781440824 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5904/tid=5921] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5921/stat : 5921 (java) S 5902 5904 959 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541780388216 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=5922] ppid=5902 vsize=2781696 CPUtime=0.17 cores=1,3,5,7
/proc/5904/task/5922/stat : 5922 (java) S 5902 5904 959 0 -1 4202560 49 0 0 0 7 10 0 0 20 0 20 0 342921102 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541779335624 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5904/tid=5923] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/5923/stat : 5923 (java) S 5902 5904 959 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342921199 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541778249384 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5904/tid=6126] ppid=5902 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/5904/task/6126/stat : 6126 (java) S 5902 5904 959 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 343006242 2848456704 341755 33554432000 1073741824 1073778376 140736661088944 140541777195000 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 860.35
Current children cumulated vsize (KiB) 2781696
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5904 and gives
# childrusage.ru_utime.tv_sec=857
# childrusage.ru_utime.tv_usec=70705
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=353794
# CPU time returned by wait4() is 858.424
# while last known CPU time is 860.35
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 856.064
CPU time (s): 860.35
CPU user time (s): 859.27
CPU system time (s): 1.08
CPU usage (%): 100.501
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 857.071
system time used= 1.35379
maximum resident set size= 1367052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16508
page faults= 1
swaps= 0
block input operations= 0
block output operations= 688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18639
involuntary context switches= 6442
runsolver used 1.9557 second user time and 4.48732 second system time
The end