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-3732066-1338688790/watcher-3732066-1338688790 -o /tmp/evaluation-result-3732066-1338688790/solver-3732066-1338688790 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3732066-1338688790.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.01 2.01 2.00 3/194 31166
/proc/meminfo: memFree=30783140/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31166/stat : 31166 (java) R 31164 31166 28219 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 335003912 9515008 182 33554432000 1073741824 1073778376 140734043144400 140734043135432 240565173941 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31166/statm: 2323 182 140 9 0 71 0
[startup+0.022149 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 31166
/proc/meminfo: memFree=30783140/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=1878320 CPUtime=0 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 1569 0 1 0 0 0 0 0 20 0 2 0 335003912 1923399680 1761 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 469580 1779 931 9 0 460689 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1878320
[startup+0.100303 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 31166
/proc/meminfo: memFree=30783140/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 4272 0 1 0 6 1 0 0 20 0 18 0 335003912 3028844544 5990 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 739464 6002 1901 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.30025 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 31166
/proc/meminfo: memFree=30783140/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=2957856 CPUtime=0.43 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 5639 0 1 0 42 1 0 0 20 0 18 0 335003912 3028844544 9204 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 739464 9204 2249 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856
[startup+0.700242 s]
/proc/loadavg: 2.01 2.01 2.00 3/194 31166
/proc/meminfo: memFree=30783140/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=3024420 CPUtime=1.15 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 8951 0 1 0 113 2 0 0 20 0 19 0 335003912 3097006080 10971 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 756105 10971 2262 9 0 746526 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 3024420
[startup+1.50071 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 31185
/proc/meminfo: memFree=30739724/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=3024420 CPUtime=1.99 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 9089 0 1 0 197 2 0 0 20 0 19 0 335003912 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 756105 12023 2264 9 0 746526 0
[pid=31166/tid=31168] ppid=31164 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/31166/task/31168/stat : 31168 (java) R 31164 31166 28219 0 -1 4202560 3051 0 1 0 145 1 0 0 20 0 19 0 335003913 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088650134152 140088495847283 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31169] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31169/stat : 31169 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088633559336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31170] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31170/stat : 31170 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088632506536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31171] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31171/stat : 31171 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088631454248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31166/tid=31172] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31172/stat : 31172 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088630401448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31173] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31173/stat : 31173 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088629349160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31174] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31174/stat : 31174 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088628296360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31175] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31175/stat : 31175 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088627244072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31176] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31176/stat : 31176 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088626191272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31177] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31177/stat : 31177 (java) S 31164 31166 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088495302888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31178] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31178/stat : 31178 (java) S 31164 31166 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088494248952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31179] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31179/stat : 31179 (java) S 31164 31166 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088493196552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31180] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31180/stat : 31180 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088492145040 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31181] ppid=31164 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/31166/task/31181/stat : 31181 (java) S 31164 31166 28219 0 -1 4202560 2217 0 0 0 22 0 0 0 20 0 19 0 335003919 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088491092664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31182] ppid=31164 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/31166/task/31182/stat : 31182 (java) S 31164 31166 28219 0 -1 4202560 2626 0 0 0 27 0 0 0 20 0 19 0 335003919 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088490039864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31183] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31183/stat : 31183 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088488987768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31184] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31184/stat : 31184 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088487935176 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31185] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31185/stat : 31185 (java) S 31164 31166 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335003943 3097006080 12023 33554432000 1073741824 1073778376 140733231014736 140088485802920 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 3024420
[startup+3.10066 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 31185
/proc/meminfo: memFree=30735008/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=3024420 CPUtime=3.59 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 9091 0 1 0 357 2 0 0 20 0 19 0 335003912 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 756105 13047 2264 9 0 746526 0
[pid=31166/tid=31168] ppid=31164 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/31166/task/31168/stat : 31168 (java) R 31164 31166 28219 0 -1 4202560 3053 0 1 0 304 1 0 0 20 0 19 0 335003913 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088650133864 140088495832619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31169] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31169/stat : 31169 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088633559336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31170] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31170/stat : 31170 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088632506536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31171] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31171/stat : 31171 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088631454248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31166/tid=31172] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31172/stat : 31172 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088630401448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31173] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31173/stat : 31173 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088629349160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31174] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31174/stat : 31174 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088628296360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31175] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31175/stat : 31175 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088627244072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31176] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31176/stat : 31176 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088626191272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31177] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31177/stat : 31177 (java) S 31164 31166 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088495302888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31178] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31178/stat : 31178 (java) S 31164 31166 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088494248952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31179] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31179/stat : 31179 (java) S 31164 31166 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088493196552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31180] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31180/stat : 31180 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088492145040 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31181] ppid=31164 vsize=3024420 CPUtime=0.22 cores=1,3,5,7
/proc/31166/task/31181/stat : 31181 (java) S 31164 31166 28219 0 -1 4202560 2217 0 0 0 22 0 0 0 20 0 19 0 335003919 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088491092664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31182] ppid=31164 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/31166/task/31182/stat : 31182 (java) S 31164 31166 28219 0 -1 4202560 2626 0 0 0 27 0 0 0 20 0 19 0 335003919 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088490039864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31183] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31183/stat : 31183 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088488987768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31184] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31184/stat : 31184 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088487935176 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31185] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31185/stat : 31185 (java) S 31164 31166 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335003943 3097006080 13047 33554432000 1073741824 1073778376 140733231014736 140088485802920 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 3024420
[startup+6.30088 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 31185
/proc/meminfo: memFree=30727940/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=3024420 CPUtime=6.81 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 9103 0 1 0 678 3 0 0 20 0 19 0 335003912 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 756105 14658 2268 9 0 746526 0
[pid=31166/tid=31168] ppid=31164 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/31166/task/31168/stat : 31168 (java) R 31164 31166 28219 0 -1 4202560 3060 0 1 0 623 1 0 0 20 0 19 0 335003913 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088650132136 140088495832645 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31169] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31169/stat : 31169 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088633559336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31170] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31170/stat : 31170 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088632506536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31171] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31171/stat : 31171 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088631454248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31166/tid=31172] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31172/stat : 31172 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088630401448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31173] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31173/stat : 31173 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088629349160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31174] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31174/stat : 31174 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088628296360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31175] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31175/stat : 31175 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088627244072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31176] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31176/stat : 31176 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088626191272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31177] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31177/stat : 31177 (java) S 31164 31166 28219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088495302888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31178] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31178/stat : 31178 (java) S 31164 31166 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088494248952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31179] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31179/stat : 31179 (java) S 31164 31166 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088493196552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31180] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31180/stat : 31180 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088492145040 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31181] ppid=31164 vsize=3024420 CPUtime=0.23 cores=1,3,5,7
/proc/31166/task/31181/stat : 31181 (java) S 31164 31166 28219 0 -1 4202560 2217 0 0 0 23 0 0 0 20 0 19 0 335003919 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088491092664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31182] ppid=31164 vsize=3024420 CPUtime=0.27 cores=1,3,5,7
/proc/31166/task/31182/stat : 31182 (java) S 31164 31166 28219 0 -1 4202560 2626 0 0 0 27 0 0 0 20 0 19 0 335003919 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088490039864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31183] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31183/stat : 31183 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088488987768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31184] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31184/stat : 31184 (java) S 31164 31166 28219 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 14658 33554432000 1073741824 1073778376 140733231014736 140088487935176 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
/proc/loadavg: 2.01 2.00 2.00 3/214 31190
/proc/meminfo: memFree=30705040/32873844 swapFree=7116/7116
################
# More data... #
################
/proc/31166/task/31176/stat : 31176 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088626191272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31177] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31177/stat : 31177 (java) S 31164 31166 28219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088495302888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31178] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31178/stat : 31178 (java) S 31164 31166 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088494248952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31179] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31179/stat : 31179 (java) S 31164 31166 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088493196552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31180] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31180/stat : 31180 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088492145040 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31181] ppid=31164 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/31166/task/31181/stat : 31181 (java) S 31164 31166 28219 0 -1 4202560 6310 0 0 0 35 2 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088491092664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31182] ppid=31164 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/31166/task/31182/stat : 31182 (java) S 31164 31166 28219 0 -1 4202560 3356 0 0 0 33 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088490039864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31183] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31183/stat : 31183 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088488987768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31184] ppid=31164 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/31166/task/31184/stat : 31184 (java) S 31164 31166 28219 0 -1 4202560 20 0 0 0 9 10 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088487935176 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31216] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31216/stat : 31216 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335014248 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088485803304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 337.55
Current children cumulated vsize (KiB) 3024420
[startup+337.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31218
/proc/meminfo: memFree=30229884/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=3024420 CPUtime=337.95 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 14059 0 1 0 33777 18 0 0 20 0 19 0 335003912 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 756105 66037 2270 9 0 746526 0
[pid=31166/tid=31168] ppid=31164 vsize=3024420 CPUtime=336.17 cores=1,3,5,7
/proc/31166/task/31168/stat : 31168 (java) R 31164 31166 28219 0 -1 4202560 3159 0 1 0 33607 10 0 0 20 0 19 0 335003913 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088650132016 140088495832645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31169] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31169/stat : 31169 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088633559336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31170] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31170/stat : 31170 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088632506536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31171] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31171/stat : 31171 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088631454248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31166/tid=31172] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31172/stat : 31172 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088630401448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31173] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31173/stat : 31173 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088629349160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31174] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31174/stat : 31174 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088628296360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31175] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31175/stat : 31175 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088627244072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31176] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31176/stat : 31176 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088626191272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31177] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31177/stat : 31177 (java) S 31164 31166 28219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088495302888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31178] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31178/stat : 31178 (java) S 31164 31166 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088494248952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31179] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31179/stat : 31179 (java) S 31164 31166 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088493196552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31180] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31180/stat : 31180 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088492145040 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31181] ppid=31164 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/31166/task/31181/stat : 31181 (java) S 31164 31166 28219 0 -1 4202560 6310 0 0 0 35 2 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088491092664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31182] ppid=31164 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/31166/task/31182/stat : 31182 (java) S 31164 31166 28219 0 -1 4202560 3356 0 0 0 33 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088490039864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31183] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31183/stat : 31183 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088488987768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31184] ppid=31164 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/31166/task/31184/stat : 31184 (java) S 31164 31166 28219 0 -1 4202560 20 0 0 0 9 10 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088487935176 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31216] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31216/stat : 31216 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335014248 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088485803304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 337.95
Current children cumulated vsize (KiB) 3024420
[startup+337.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31218
/proc/meminfo: memFree=30229884/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=3024420 CPUtime=338.35 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 14059 0 1 0 33817 18 0 0 20 0 19 0 335003912 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 756105 66037 2270 9 0 746526 0
[pid=31166/tid=31168] ppid=31164 vsize=3024420 CPUtime=336.57 cores=1,3,5,7
/proc/31166/task/31168/stat : 31168 (java) R 31164 31166 28219 0 -1 4202560 3159 0 1 0 33647 10 0 0 20 0 19 0 335003913 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088650132016 140088495825767 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31169] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31169/stat : 31169 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088633559336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31170] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31170/stat : 31170 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088632506536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31171] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31171/stat : 31171 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088631454248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31166/tid=31172] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31172/stat : 31172 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088630401448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31173] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31173/stat : 31173 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088629349160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31174] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31174/stat : 31174 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088628296360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31175] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31175/stat : 31175 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088627244072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31176] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31176/stat : 31176 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088626191272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31177] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31177/stat : 31177 (java) S 31164 31166 28219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088495302888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31178] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31178/stat : 31178 (java) S 31164 31166 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088494248952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31179] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31179/stat : 31179 (java) S 31164 31166 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088493196552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31180] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31180/stat : 31180 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088492145040 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31181] ppid=31164 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/31166/task/31181/stat : 31181 (java) S 31164 31166 28219 0 -1 4202560 6310 0 0 0 35 2 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088491092664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31182] ppid=31164 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/31166/task/31182/stat : 31182 (java) S 31164 31166 28219 0 -1 4202560 3356 0 0 0 33 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088490039864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31183] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31183/stat : 31183 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088488987768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31184] ppid=31164 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/31166/task/31184/stat : 31184 (java) S 31164 31166 28219 0 -1 4202560 20 0 0 0 9 10 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088487935176 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31216] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31216/stat : 31216 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335014248 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088485803304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 338.35
Current children cumulated vsize (KiB) 3024420
[startup+337.601 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31218
/proc/meminfo: memFree=30229892/32873844 swapFree=7116/7116
[pid=31166] ppid=31164 vsize=3024420 CPUtime=338.45 cores=1,3,5,7
/proc/31166/stat : 31166 (java) S 31164 31166 28219 0 -1 4202496 14059 0 1 0 33827 18 0 0 20 0 19 0 335003912 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140733231005872 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31166/statm: 756105 66037 2270 9 0 746526 0
[pid=31166/tid=31168] ppid=31164 vsize=3024420 CPUtime=336.67 cores=1,3,5,7
/proc/31166/task/31168/stat : 31168 (java) R 31164 31166 28219 0 -1 4202560 3159 0 1 0 33657 10 0 0 20 0 19 0 335003913 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088650132016 140088495832645 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31169] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31169/stat : 31169 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088633559336 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31170] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31170/stat : 31170 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088632506536 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31171] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31171/stat : 31171 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088631454248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31166/tid=31172] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31172/stat : 31172 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088630401448 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31173] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31173/stat : 31173 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003914 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088629349160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31174] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31174/stat : 31174 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088628296360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31175] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31175/stat : 31175 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088627244072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31166/tid=31176] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31176/stat : 31176 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335003915 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088626191272 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31177] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31177/stat : 31177 (java) S 31164 31166 28219 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088495302888 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31178] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31178/stat : 31178 (java) S 31164 31166 28219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088494248952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31179] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31179/stat : 31179 (java) S 31164 31166 28219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335003916 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088493196552 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31180] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31180/stat : 31180 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088492145040 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31181] ppid=31164 vsize=3024420 CPUtime=0.37 cores=1,3,5,7
/proc/31166/task/31181/stat : 31181 (java) S 31164 31166 28219 0 -1 4202560 6310 0 0 0 35 2 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088491092664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31182] ppid=31164 vsize=3024420 CPUtime=0.33 cores=1,3,5,7
/proc/31166/task/31182/stat : 31182 (java) S 31164 31166 28219 0 -1 4202560 3356 0 0 0 33 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088490039864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31183] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31183/stat : 31183 (java) S 31164 31166 28219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088488987768 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31166/tid=31184] ppid=31164 vsize=3024420 CPUtime=0.19 cores=1,3,5,7
/proc/31166/task/31184/stat : 31184 (java) S 31164 31166 28219 0 -1 4202560 20 0 0 0 9 10 0 0 20 0 19 0 335003919 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088487935176 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31166/tid=31216] ppid=31164 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/31166/task/31216/stat : 31216 (java) S 31164 31166 28219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335014248 3097006080 66037 33554432000 1073741824 1073778376 140733231014736 140088485803304 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 338.45
Current children cumulated vsize (KiB) 3024420
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31166 and gives
# childrusage.ru_utime.tv_sec=337
# childrusage.ru_utime.tv_usec=468696
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=273958
# CPU time returned by wait4() is 337.743
# while last known CPU time is 338.45
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 337.69
CPU time (s): 338.45
CPU user time (s): 338.27
CPU system time (s): 0.18
CPU usage (%): 100.225
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 337.469
system time used= 0.273958
maximum resident set size= 266212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14073
page faults= 1
swaps= 0
block input operations= 0
block output operations= 248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7440
involuntary context switches= 1222
runsolver used 2.55461 second user time and 2.04369 second system time
The end