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-3730382-1338680966/watcher-3730382-1338680966 -o /tmp/evaluation-result-3730382-1338680966/solver-3730382-1338680966 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730382-1338680966.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.08 2.02 1.84 3/194 28359
/proc/meminfo: memFree=29276188/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/28359/stat : 28359 (java) R 28357 28359 28047 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 334225200 9515008 177 33554432000 1073741824 1073778376 140734007932768 140734007915496 245293944032 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28359/statm: 2331 183 140 9 0 79 0
[startup+0.066359 s]
/proc/loadavg: 2.08 2.02 1.84 3/194 28359
/proc/meminfo: memFree=29276188/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=2623916 CPUtime=0.03 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 3957 0 1 0 3 0 0 0 20 0 13 0 334225200 2686889984 5677 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 655979 5677 1709 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100283 s]
/proc/loadavg: 2.08 2.02 1.84 3/194 28359
/proc/meminfo: memFree=29276188/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 4337 0 1 0 6 1 0 0 20 0 18 0 334225200 3028844544 6057 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 739464 6063 1950 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300264 s]
/proc/loadavg: 2.08 2.02 1.84 3/194 28359
/proc/meminfo: memFree=29276188/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=2957856 CPUtime=0.48 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 6594 0 1 0 47 1 0 0 20 0 18 0 334225200 3028844544 10355 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 739464 10355 2246 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856
[startup+0.700242 s]
/proc/loadavg: 2.08 2.02 1.84 3/194 28359
/proc/meminfo: memFree=29276188/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=3024420 CPUtime=1.25 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 9352 0 1 0 123 2 0 0 20 0 19 0 334225200 3097006080 13538 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 756105 13538 2272 9 0 746526 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 3024420
[startup+1.50073 s]
/proc/loadavg: 2.08 2.02 1.84 3/213 28378
/proc/meminfo: memFree=29228476/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=3024420 CPUtime=2.12 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 9907 0 1 0 209 3 0 0 20 0 19 0 334225200 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 756105 15590 2275 9 0 746526 0
[pid=28359/tid=28361] ppid=28357 vsize=3024420 CPUtime=1.46 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28357 28359 28047 0 -1 4202560 3069 0 1 0 144 2 0 0 20 0 19 0 334225201 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544605108856 140544433592901 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28362] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544588535976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28363] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544587483432 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28364] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544586430888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28359/tid=28365] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544585378344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28366] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544584325800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28367] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544583273256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28368] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544582220712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28369] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28357 28359 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544581168168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28370] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28357 28359 28047 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544568756328 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28371] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28357 28359 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544567702648 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28372] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544566649992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28373] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544565598736 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28374] ppid=28357 vsize=3024420 CPUtime=0.34 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28357 28359 28047 0 -1 4202560 2622 0 0 0 34 0 0 0 20 0 19 0 334225207 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544564546104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28375] ppid=28357 vsize=3024420 CPUtime=0.28 cores=1,3,5,7
/proc/28359/task/28375/stat : 28375 (java) S 28357 28359 28047 0 -1 4202560 3022 0 0 0 28 0 0 0 20 0 19 0 334225207 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544563493560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28376] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28376/stat : 28376 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544562441208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28377] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28377/stat : 28377 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544561388872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28378] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28378/stat : 28378 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225232 3097006080 15590 33554432000 1073741824 1073778376 140736595264352 140544559186728 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.12
Current children cumulated vsize (KiB) 3024420
[startup+3.10077 s]
/proc/loadavg: 2.07 2.02 1.84 3/213 28378
/proc/meminfo: memFree=29215568/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=3024420 CPUtime=3.74 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 9916 0 1 0 371 3 0 0 20 0 19 0 334225200 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 756105 19686 2275 9 0 746526 0
[pid=28359/tid=28361] ppid=28357 vsize=3024420 CPUtime=3.05 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28357 28359 28047 0 -1 4202560 3078 0 1 0 303 2 0 0 20 0 19 0 334225201 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544605108752 140544433448787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28362] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544588535976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28363] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544587483432 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28364] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544586430888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28359/tid=28365] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544585378344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28366] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544584325800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28367] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544583273256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28368] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544582220712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28369] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28357 28359 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544581168168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28370] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28357 28359 28047 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544568756328 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28371] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28357 28359 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544567702648 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28372] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544566649992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28373] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544565598736 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28374] ppid=28357 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28357 28359 28047 0 -1 4202560 2622 0 0 0 35 0 0 0 20 0 19 0 334225207 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544564546104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28375] ppid=28357 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/28359/task/28375/stat : 28375 (java) S 28357 28359 28047 0 -1 4202560 3022 0 0 0 29 0 0 0 20 0 19 0 334225207 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544563493560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28376] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28376/stat : 28376 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544562441208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28377] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28377/stat : 28377 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544561388872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28378] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28378/stat : 28378 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225232 3097006080 19686 33554432000 1073741824 1073778376 140736595264352 140544559186728 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.74
Current children cumulated vsize (KiB) 3024420
[startup+6.30077 s]
/proc/loadavg: 2.07 2.02 1.84 3/213 28378
/proc/meminfo: memFree=29187020/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=3024420 CPUtime=6.94 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 9930 0 1 0 690 4 0 0 20 0 19 0 334225200 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 756105 25645 2276 9 0 746526 0
[pid=28359/tid=28361] ppid=28357 vsize=3024420 CPUtime=6.24 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28357 28359 28047 0 -1 4202560 3091 0 1 0 622 2 0 0 20 0 19 0 334225201 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544605108752 140544433541133 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28362] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544588535976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28363] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544587483432 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28364] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544586430888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28359/tid=28365] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544585378344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28366] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544584325800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28367] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544583273256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28368] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544582220712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28369] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28357 28359 28047 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334225202 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544581168168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28370] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28357 28359 28047 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544568756328 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28371] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28357 28359 28047 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544567702648 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28372] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544566649992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28373] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544565598736 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28374] ppid=28357 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28357 28359 28047 0 -1 4202560 2622 0 0 0 35 0 0 0 20 0 19 0 334225207 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544564546104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28375] ppid=28357 vsize=3024420 CPUtime=0.29 cores=1,3,5,7
/proc/28359/task/28375/stat : 28375 (java) S 28357 28359 28047 0 -1 4202560 3022 0 0 0 29 0 0 0 20 0 19 0 334225207 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544563493560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28376] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28376/stat : 28376 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544562441208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28377] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28377/stat : 28377 (java) S 28357 28359 28047 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544561388872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28378] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28378/stat : 28378 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225232 3097006080 25645 33554432000 1073741824 1073778376 140736595264352 140544559186728 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
[pid=28359/tid=28374] ppid=28357 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28357 28359 28047 0 -1 4202560 2622 0 0 0 35 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544564546104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28375] ppid=28357 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/28359/task/28375/stat : 28375 (java) S 28357 28359 28047 0 -1 4202560 3023 0 0 0 30 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544563493560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28376] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28376/stat : 28376 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544562441208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28377] ppid=28357 vsize=3024420 CPUtime=0.96 cores=1,3,5,7
/proc/28359/task/28377/stat : 28377 (java) S 28357 28359 28047 0 -1 4202560 96 0 0 0 49 47 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544561388872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28378] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28378/stat : 28378 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225232 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544559186728 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1665.68
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/213 28476
/proc/meminfo: memFree=27856492/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=3024420 CPUtime=1725.71 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 12250 0 1 0 172364 207 0 0 20 0 19 0 334225200 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 756105 348461 2297 9 0 746526 0
[pid=28359/tid=28361] ppid=28357 vsize=3024420 CPUtime=1716.52 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28357 28359 28047 0 -1 4202560 3262 0 1 0 171617 35 0 0 20 0 19 0 334225201 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544605109552 140544433592919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28362] ppid=28357 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28357 28359 28047 0 -1 4202560 199 0 0 0 11 14 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544588535976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28363] ppid=28357 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28357 28359 28047 0 -1 4202560 269 0 0 0 14 17 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544587483432 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28364] ppid=28357 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28357 28359 28047 0 -1 4202560 219 0 0 0 11 14 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544586430888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28365] ppid=28357 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28357 28359 28047 0 -1 4202560 296 0 0 0 18 22 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544585378344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28366] ppid=28357 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28357 28359 28047 0 -1 4202560 248 0 0 0 15 17 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544584325800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28367] ppid=28357 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28357 28359 28047 0 -1 4202560 216 0 0 0 10 15 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544583273256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28368] ppid=28357 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28357 28359 28047 0 -1 4202560 221 0 0 0 13 18 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544582220712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28369] ppid=28357 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28357 28359 28047 0 -1 4202560 352 0 0 0 20 24 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544581168168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28359/tid=28370] ppid=28357 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28357 28359 28047 0 -1 4202560 43 0 0 0 47 3 0 0 20 0 19 0 334225204 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544568756328 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28371] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28357 28359 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544567702648 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28372] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28357 28359 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544566649992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28373] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544565598736 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28374] ppid=28357 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28357 28359 28047 0 -1 4202560 2622 0 0 0 35 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544564546104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28375] ppid=28357 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/28359/task/28375/stat : 28375 (java) S 28357 28359 28047 0 -1 4202560 3023 0 0 0 30 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544563493560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28376] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28376/stat : 28376 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544562441208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28377] ppid=28357 vsize=3024420 CPUtime=1.01 cores=1,3,5,7
/proc/28359/task/28377/stat : 28377 (java) S 28357 28359 28047 0 -1 4202560 100 0 0 0 52 49 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544561388872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28378] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28378/stat : 28378 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225232 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544559186728 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1725.71
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/213 28476
/proc/meminfo: memFree=27827820/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=3024420 CPUtime=1785.73 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 12254 0 1 0 178364 209 0 0 20 0 19 0 334225200 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 756105 348461 2297 9 0 746526 0
[pid=28359/tid=28361] ppid=28357 vsize=3024420 CPUtime=1776.36 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28357 28359 28047 0 -1 4202560 3262 0 1 0 177601 35 0 0 20 0 19 0 334225201 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544605109552 140544433592919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28362] ppid=28357 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28357 28359 28047 0 -1 4202560 199 0 0 0 11 14 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544588535976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28363] ppid=28357 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28357 28359 28047 0 -1 4202560 269 0 0 0 14 17 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544587483432 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28364] ppid=28357 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28357 28359 28047 0 -1 4202560 219 0 0 0 11 14 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544586430888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28365] ppid=28357 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28357 28359 28047 0 -1 4202560 296 0 0 0 18 22 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544585378344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28366] ppid=28357 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28357 28359 28047 0 -1 4202560 248 0 0 0 15 17 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544584325800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28367] ppid=28357 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28357 28359 28047 0 -1 4202560 216 0 0 0 10 15 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544583273256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28368] ppid=28357 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28357 28359 28047 0 -1 4202560 221 0 0 0 13 18 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544582220712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28369] ppid=28357 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28357 28359 28047 0 -1 4202560 352 0 0 0 20 24 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544581168168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28359/tid=28370] ppid=28357 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28357 28359 28047 0 -1 4202560 43 0 0 0 47 3 0 0 20 0 19 0 334225204 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544568756328 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28371] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28357 28359 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544567702648 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28372] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28357 28359 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544566649992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28373] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544565598736 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28374] ppid=28357 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28357 28359 28047 0 -1 4202560 2622 0 0 0 35 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544564546104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28375] ppid=28357 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/28359/task/28375/stat : 28375 (java) S 28357 28359 28047 0 -1 4202560 3023 0 0 0 30 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544563493560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28376] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28376/stat : 28376 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544562441208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28377] ppid=28357 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/28359/task/28377/stat : 28377 (java) S 28357 28359 28047 0 -1 4202560 104 0 0 0 53 51 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544561388872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28378] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28378/stat : 28378 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225232 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544559186728 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1785.73
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.02 2.01 1.93 3/213 28476
/proc/meminfo: memFree=27823600/32873844 swapFree=7372/7372
[pid=28359] ppid=28357 vsize=3024420 CPUtime=1800.03 cores=1,3,5,7
/proc/28359/stat : 28359 (java) S 28357 28359 28047 0 -1 4202496 12254 0 1 0 179794 209 0 0 20 0 19 0 334225200 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140736595255488 245297610813 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/28359/statm: 756105 348461 2297 9 0 746526 0
[pid=28359/tid=28361] ppid=28357 vsize=3024420 CPUtime=1790.64 cores=1,3,5,7
/proc/28359/task/28361/stat : 28361 (java) R 28357 28359 28047 0 -1 4202560 3262 0 1 0 179028 36 0 0 20 0 19 0 334225201 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544605109552 140544433540940 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28362] ppid=28357 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/28359/task/28362/stat : 28362 (java) S 28357 28359 28047 0 -1 4202560 199 0 0 0 11 14 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544588535976 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28363] ppid=28357 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/28359/task/28363/stat : 28363 (java) S 28357 28359 28047 0 -1 4202560 269 0 0 0 14 17 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544587483432 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28364] ppid=28357 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/28359/task/28364/stat : 28364 (java) S 28357 28359 28047 0 -1 4202560 219 0 0 0 11 14 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544586430888 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28365] ppid=28357 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/28359/task/28365/stat : 28365 (java) S 28357 28359 28047 0 -1 4202560 296 0 0 0 18 22 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544585378344 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28366] ppid=28357 vsize=3024420 CPUtime=0.32 cores=1,3,5,7
/proc/28359/task/28366/stat : 28366 (java) S 28357 28359 28047 0 -1 4202560 248 0 0 0 15 17 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544584325800 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28367] ppid=28357 vsize=3024420 CPUtime=0.25 cores=1,3,5,7
/proc/28359/task/28367/stat : 28367 (java) S 28357 28359 28047 0 -1 4202560 216 0 0 0 10 15 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544583273256 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28368] ppid=28357 vsize=3024420 CPUtime=0.31 cores=1,3,5,7
/proc/28359/task/28368/stat : 28368 (java) S 28357 28359 28047 0 -1 4202560 221 0 0 0 13 18 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544582220712 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28369] ppid=28357 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/28359/task/28369/stat : 28369 (java) S 28357 28359 28047 0 -1 4202560 352 0 0 0 20 24 0 0 20 0 19 0 334225202 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544581168168 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28359/tid=28370] ppid=28357 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/28359/task/28370/stat : 28370 (java) S 28357 28359 28047 0 -1 4202560 43 0 0 0 47 3 0 0 20 0 19 0 334225204 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544568756328 245297625001 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28371] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28371/stat : 28371 (java) S 28357 28359 28047 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544567702648 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28372] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28372/stat : 28372 (java) S 28357 28359 28047 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 334225204 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544566649992 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28373] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28373/stat : 28373 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544565598736 245297633056 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28374] ppid=28357 vsize=3024420 CPUtime=0.35 cores=1,3,5,7
/proc/28359/task/28374/stat : 28374 (java) S 28357 28359 28047 0 -1 4202560 2622 0 0 0 35 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544564546104 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28359/tid=28375] ppid=28357 vsize=3024420 CPUtime=0.3 cores=1,3,5,7
/proc/28359/task/28375/stat : 28375 (java) S 28357 28359 28047 0 -1 4202560 3023 0 0 0 30 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544563493560 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28376] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28376/stat : 28376 (java) S 28357 28359 28047 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544562441208 245297624124 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28359/tid=28377] ppid=28357 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/28359/task/28377/stat : 28377 (java) S 28357 28359 28047 0 -1 4202560 104 0 0 0 53 52 0 0 20 0 19 0 334225207 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544561388872 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28359/tid=28378] ppid=28357 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/28359/task/28378/stat : 28378 (java) S 28357 28359 28047 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334225232 3097006080 348461 33554432000 1073741824 1073778376 140736595264352 140544559186728 245297625001 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28359 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=179395
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=461625
# CPU time returned by wait4() is 1795.64
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.62
CPU time (s): 1800.03
CPU user time (s): 1797.94
CPU system time (s): 2.09
CPU usage (%): 100.19
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.18
system time used= 2.46162
maximum resident set size= 1393960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12285
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37971
involuntary context switches= 6647
runsolver used 6.89095 second user time and 15.9326 second system time
The end