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-3738488-1338725343/watcher-3738488-1338725343 -o /tmp/evaluation-result-3738488-1338725343/solver-3738488-1338725343 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3738488-1338725343.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.00 2.00 3/192 10890
/proc/meminfo: memFree=27871452/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/10890/stat : 10890 (java) D 10888 10890 7296 0 -1 4202496 81 0 0 0 0 0 0 0 20 0 1 0 338662719 278528 33 33554432000 1073741824 1073778376 140734972576560 140734972573736 226320543015 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 68 33 25 9 0 25 0
[startup+0.00943211 s]
/proc/loadavg: 2.01 2.00 2.00 3/192 10890
/proc/meminfo: memFree=27871452/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10890/stat : 10890 (java) D 10888 10890 7296 0 -1 4202496 250 0 0 0 0 0 0 0 20 0 1 0 338662719 9515008 183 33554432000 1073741824 1073778376 140734972576560 140734972567592 226329706165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/10890/statm: 2323 183 140 9 0 71 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292
[startup+0.100303 s]
/proc/loadavg: 2.01 2.00 2.00 3/192 10890
/proc/meminfo: memFree=27871452/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/10890/stat : 10890 (java) S 10888 10890 7296 0 -1 4202496 4127 0 1 0 6 1 0 0 20 0 18 0 338662719 3028844544 5844 33554432000 1073741824 1073778376 140733596927696 140733596918832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10890/statm: 739464 5845 1790 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300304 s]
/proc/loadavg: 2.01 2.00 2.00 3/192 10890
/proc/meminfo: memFree=27871452/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=2957856 CPUtime=0.47 cores=1,3,5,7
/proc/10890/stat : 10890 (java) S 10888 10890 7296 0 -1 4202496 7678 0 1 0 45 2 0 0 20 0 18 0 338662719 3028844544 10567 33554432000 1073741824 1073778376 140733596927696 140733596918832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10890/statm: 739464 10568 2238 9 0 729885 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2957856
[startup+0.700278 s]
/proc/loadavg: 2.01 2.00 2.00 3/192 10890
/proc/meminfo: memFree=27871452/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=3024420 CPUtime=1.52 cores=1,3,5,7
/proc/10890/stat : 10890 (java) S 10888 10890 7296 0 -1 4202496 13968 0 1 0 149 3 0 0 20 0 19 0 338662719 3097006080 20072 33554432000 1073741824 1073778376 140733596927696 140733596918832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10890/statm: 756105 20072 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 3024420
[startup+1.50064 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 10911
/proc/meminfo: memFree=27770648/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=3024420 CPUtime=2.43 cores=1,3,5,7
/proc/10890/stat : 10890 (java) S 10888 10890 7296 0 -1 4202496 14008 0 1 0 238 5 0 0 20 0 19 0 338662719 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 140733596918832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10890/statm: 756105 34415 2270 9 0 746526 0
[pid=10890/tid=10892] ppid=10888 vsize=3024420 CPUtime=1.45 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (java) R 10888 10890 7296 0 -1 4202560 3085 0 1 0 142 3 0 0 20 0 19 0 338662721 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634407017064 139634236163149 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10893] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634390444840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10894] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10894/stat : 10894 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634389392040 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10895] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10895/stat : 10895 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634388339752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10896] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10896/stat : 10896 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634387286952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10897] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10897/stat : 10897 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634386233640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10898] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10898/stat : 10898 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634385180840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10899] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10899/stat : 10899 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662723 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634384128552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10900] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10900/stat : 10900 (java) S 10888 10890 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338662723 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634383075752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10901] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10901/stat : 10901 (java) S 10888 10890 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634370665192 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10902] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10902/stat : 10902 (java) S 10888 10890 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634369611256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10903] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10903/stat : 10903 (java) S 10888 10890 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634368558856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10904] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10904/stat : 10904 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634367507344 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10905] ppid=10888 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/10890/task/10905/stat : 10905 (java) S 10888 10890 7296 0 -1 4202560 5307 0 0 0 46 0 0 0 20 0 19 0 338662727 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634366453944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10906] ppid=10888 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/10890/task/10906/stat : 10906 (java) S 10888 10890 7296 0 -1 4202560 4409 0 0 0 47 0 0 0 20 0 19 0 338662727 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634365401144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10907] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10907/stat : 10907 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634364349048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10908] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10908/stat : 10908 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634363296456 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10911] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10911/stat : 10911 (java) S 10888 10890 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338662809 3097006080 34415 33554432000 1073741824 1073778376 140733596927696 139634361095848 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 3024420
[startup+3.10079 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 10911
/proc/meminfo: memFree=27718836/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=3024420 CPUtime=4.02 cores=1,3,5,7
/proc/10890/stat : 10890 (java) S 10888 10890 7296 0 -1 4202496 14049 0 1 0 396 6 0 0 20 0 19 0 338662719 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 140733596918832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10890/statm: 756105 55407 2270 9 0 746526 0
[pid=10890/tid=10892] ppid=10888 vsize=3024420 CPUtime=3.04 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (java) R 10888 10890 7296 0 -1 4202560 3126 0 1 0 299 5 0 0 20 0 19 0 338662721 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634407016944 139634236163115 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10893] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634390444840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10894] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10894/stat : 10894 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634389392040 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10895] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10895/stat : 10895 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634388339752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10896] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10896/stat : 10896 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634387286952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10897] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10897/stat : 10897 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634386233640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10898] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10898/stat : 10898 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634385180840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10899] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10899/stat : 10899 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662723 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634384128552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10900] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10900/stat : 10900 (java) S 10888 10890 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338662723 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634383075752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10901] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10901/stat : 10901 (java) S 10888 10890 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634370665192 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10902] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10902/stat : 10902 (java) S 10888 10890 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634369611256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10903] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10903/stat : 10903 (java) S 10888 10890 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634368558856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10904] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10904/stat : 10904 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634367507344 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10905] ppid=10888 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/10890/task/10905/stat : 10905 (java) S 10888 10890 7296 0 -1 4202560 5307 0 0 0 46 0 0 0 20 0 19 0 338662727 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634366453944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10906] ppid=10888 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/10890/task/10906/stat : 10906 (java) S 10888 10890 7296 0 -1 4202560 4409 0 0 0 47 0 0 0 20 0 19 0 338662727 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634365401144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10907] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10907/stat : 10907 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634364349048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10908] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10908/stat : 10908 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634363296456 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10911] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10911/stat : 10911 (java) S 10888 10890 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338662809 3097006080 55407 33554432000 1073741824 1073778376 140733596927696 139634361095848 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.02
Current children cumulated vsize (KiB) 3024420
[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 10911
/proc/meminfo: memFree=27506464/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=3024420 CPUtime=7.23 cores=1,3,5,7
/proc/10890/stat : 10890 (java) S 10888 10890 7296 0 -1 4202496 14146 0 1 0 713 10 0 0 20 0 19 0 338662719 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 140733596918832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10890/statm: 756105 102992 2271 9 0 746526 0
[pid=10890/tid=10892] ppid=10888 vsize=3024420 CPUtime=6.23 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (java) R 10888 10890 7296 0 -1 4202560 3222 0 1 0 615 8 0 0 20 0 19 0 338662721 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634407016944 139634236163119 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10893] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634390444840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10894] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10894/stat : 10894 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634389392040 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10895] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10895/stat : 10895 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634388339752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10896] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10896/stat : 10896 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634387286952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10897] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10897/stat : 10897 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634386233640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10898] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10898/stat : 10898 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662722 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634385180840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10899] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10899/stat : 10899 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662723 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634384128552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10900] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10900/stat : 10900 (java) S 10888 10890 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338662723 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634383075752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10901] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10901/stat : 10901 (java) S 10888 10890 7296 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634370665192 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10902] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10902/stat : 10902 (java) S 10888 10890 7296 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634369611256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10903] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10903/stat : 10903 (java) S 10888 10890 7296 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634368558856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10904] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10904/stat : 10904 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634367507344 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10905] ppid=10888 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/10890/task/10905/stat : 10905 (java) S 10888 10890 7296 0 -1 4202560 5307 0 0 0 46 0 0 0 20 0 19 0 338662727 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634366453944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10906] ppid=10888 vsize=3024420 CPUtime=0.48 cores=1,3,5,7
/proc/10890/task/10906/stat : 10906 (java) S 10888 10890 7296 0 -1 4202560 4409 0 0 0 48 0 0 0 20 0 19 0 338662727 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634365401144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10907] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10907/stat : 10907 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634364349048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10908] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10908/stat : 10908 (java) S 10888 10890 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634363296456 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10911] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10911/stat : 10911 (java) S 10888 10890 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338662809 3097006080 102992 33554432000 1073741824 1073778376 140733596927696 139634361095848 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 3024420
[startup+12.7008 s]
################
# More data... #
################
/proc/10890/task/10900/stat : 10900 (java) S 10888 10890 7296 0 -1 4202560 52 0 0 0 12 4 0 0 20 0 19 0 338662723 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634383075752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10901] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10901/stat : 10901 (java) S 10888 10890 7296 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634370665192 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10902] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10902/stat : 10902 (java) S 10888 10890 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634369611256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10903] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10903/stat : 10903 (java) S 10888 10890 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634368558856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10904] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10904/stat : 10904 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634367507344 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10905] ppid=10888 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/10890/task/10905/stat : 10905 (java) S 10888 10890 7296 0 -1 4202560 5310 0 0 0 49 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634366453944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10906] ppid=10888 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/10890/task/10906/stat : 10906 (java) S 10888 10890 7296 0 -1 4202560 4409 0 0 0 49 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634365401144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10907] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10907/stat : 10907 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634364349048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10908] ppid=10888 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/10890/task/10908/stat : 10908 (java) S 10888 10890 7296 0 -1 4202560 18 0 0 0 5 5 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634363296456 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10911] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10911/stat : 10911 (java) S 10888 10890 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338662809 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634361095848 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 286.69
Current children cumulated vsize (KiB) 3024420
[startup+285.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 10915
/proc/meminfo: memFree=27106532/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=3024420 CPUtime=287.09 cores=1,3,5,7
/proc/10890/stat : 10890 (java) S 10888 10890 7296 0 -1 4202496 14674 0 1 0 28663 46 0 0 20 0 19 0 338662719 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 140733596918832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10890/statm: 756105 182407 2283 9 0 746526 0
[pid=10890/tid=10892] ppid=10888 vsize=3024420 CPUtime=283.9 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (java) R 10888 10890 7296 0 -1 4202560 3299 0 1 0 28376 14 0 0 20 0 19 0 338662721 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634407017760 139634236154088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10888 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (java) S 10888 10890 7296 0 -1 4202560 68 0 0 0 15 5 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634390444840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10894] ppid=10888 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/10890/task/10894/stat : 10894 (java) S 10888 10890 7296 0 -1 4202560 60 0 0 0 11 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634389392040 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10895] ppid=10888 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/10890/task/10895/stat : 10895 (java) S 10888 10890 7296 0 -1 4202560 57 0 0 0 11 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634388339752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10896] ppid=10888 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/10890/task/10896/stat : 10896 (java) S 10888 10890 7296 0 -1 4202560 67 0 0 0 12 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634387286952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10897] ppid=10888 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/10890/task/10897/stat : 10897 (java) S 10888 10890 7296 0 -1 4202560 51 0 0 0 11 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634386233640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10898] ppid=10888 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/10890/task/10898/stat : 10898 (java) S 10888 10890 7296 0 -1 4202560 35 0 0 0 10 3 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634385180840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10899] ppid=10888 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/10890/task/10899/stat : 10899 (java) S 10888 10890 7296 0 -1 4202560 33 0 0 0 9 3 0 0 20 0 19 0 338662723 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634384128552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10900] ppid=10888 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/10890/task/10900/stat : 10900 (java) S 10888 10890 7296 0 -1 4202560 52 0 0 0 12 4 0 0 20 0 19 0 338662723 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634383075752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10901] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10901/stat : 10901 (java) S 10888 10890 7296 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634370665192 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10902] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10902/stat : 10902 (java) S 10888 10890 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634369611256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10903] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10903/stat : 10903 (java) S 10888 10890 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634368558856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10904] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10904/stat : 10904 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634367507344 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10905] ppid=10888 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/10890/task/10905/stat : 10905 (java) S 10888 10890 7296 0 -1 4202560 5310 0 0 0 49 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634366453944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10906] ppid=10888 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/10890/task/10906/stat : 10906 (java) S 10888 10890 7296 0 -1 4202560 4409 0 0 0 49 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634365401144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10907] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10907/stat : 10907 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634364349048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10908] ppid=10888 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/10890/task/10908/stat : 10908 (java) S 10888 10890 7296 0 -1 4202560 18 0 0 0 5 5 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634363296456 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10911] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10911/stat : 10911 (java) S 10888 10890 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338662809 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634361095848 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 287.09
Current children cumulated vsize (KiB) 3024420
[startup+285.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 10915
/proc/meminfo: memFree=27106532/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=3024420 CPUtime=287.29 cores=1,3,5,7
/proc/10890/stat : 10890 (java) S 10888 10890 7296 0 -1 4202496 14674 0 1 0 28683 46 0 0 20 0 19 0 338662719 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 140733596918832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10890/statm: 756105 182407 2283 9 0 746526 0
[pid=10890/tid=10892] ppid=10888 vsize=3024420 CPUtime=284.1 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (java) R 10888 10890 7296 0 -1 4202560 3299 0 1 0 28396 14 0 0 20 0 19 0 338662721 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634407017760 139634236013620 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10888 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (java) S 10888 10890 7296 0 -1 4202560 68 0 0 0 15 5 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634390444840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10894] ppid=10888 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/10890/task/10894/stat : 10894 (java) S 10888 10890 7296 0 -1 4202560 60 0 0 0 11 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634389392040 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10895] ppid=10888 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/10890/task/10895/stat : 10895 (java) S 10888 10890 7296 0 -1 4202560 57 0 0 0 11 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634388339752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10896] ppid=10888 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/10890/task/10896/stat : 10896 (java) S 10888 10890 7296 0 -1 4202560 67 0 0 0 12 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634387286952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10897] ppid=10888 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/10890/task/10897/stat : 10897 (java) S 10888 10890 7296 0 -1 4202560 51 0 0 0 11 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634386233640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10898] ppid=10888 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/10890/task/10898/stat : 10898 (java) S 10888 10890 7296 0 -1 4202560 35 0 0 0 10 3 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634385180840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10899] ppid=10888 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/10890/task/10899/stat : 10899 (java) S 10888 10890 7296 0 -1 4202560 33 0 0 0 9 3 0 0 20 0 19 0 338662723 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634384128552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10900] ppid=10888 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/10890/task/10900/stat : 10900 (java) S 10888 10890 7296 0 -1 4202560 52 0 0 0 12 4 0 0 20 0 19 0 338662723 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634383075752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10901] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10901/stat : 10901 (java) S 10888 10890 7296 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634370665192 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10902] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10902/stat : 10902 (java) S 10888 10890 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634369611256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10903] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10903/stat : 10903 (java) S 10888 10890 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634368558856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10904] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10904/stat : 10904 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634367507344 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10905] ppid=10888 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/10890/task/10905/stat : 10905 (java) S 10888 10890 7296 0 -1 4202560 5310 0 0 0 49 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634366453944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10906] ppid=10888 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/10890/task/10906/stat : 10906 (java) S 10888 10890 7296 0 -1 4202560 4409 0 0 0 49 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634365401144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10907] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10907/stat : 10907 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634364349048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10908] ppid=10888 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/10890/task/10908/stat : 10908 (java) S 10888 10890 7296 0 -1 4202560 18 0 0 0 5 5 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634363296456 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10911] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10911/stat : 10911 (java) S 10888 10890 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338662809 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634361095848 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 287.29
Current children cumulated vsize (KiB) 3024420
[startup+285.401 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 10915
/proc/meminfo: memFree=27106532/32873844 swapFree=6088/6088
[pid=10890] ppid=10888 vsize=3024420 CPUtime=287.39 cores=1,3,5,7
/proc/10890/stat : 10890 (java) S 10888 10890 7296 0 -1 4202496 14674 0 1 0 28693 46 0 0 20 0 19 0 338662719 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 140733596918832 226333065277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10890/statm: 756105 182407 2283 9 0 746526 0
[pid=10890/tid=10892] ppid=10888 vsize=3024420 CPUtime=284.2 cores=1,3,5,7
/proc/10890/task/10892/stat : 10892 (java) R 10888 10890 7296 0 -1 4202560 3299 0 1 0 28406 14 0 0 20 0 19 0 338662721 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634407017760 139634236200075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10893] ppid=10888 vsize=3024420 CPUtime=0.2 cores=1,3,5,7
/proc/10890/task/10893/stat : 10893 (java) S 10888 10890 7296 0 -1 4202560 68 0 0 0 15 5 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634390444840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10894] ppid=10888 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/10890/task/10894/stat : 10894 (java) S 10888 10890 7296 0 -1 4202560 60 0 0 0 11 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634389392040 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10895] ppid=10888 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/10890/task/10895/stat : 10895 (java) S 10888 10890 7296 0 -1 4202560 57 0 0 0 11 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634388339752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10896] ppid=10888 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/10890/task/10896/stat : 10896 (java) S 10888 10890 7296 0 -1 4202560 67 0 0 0 12 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634387286952 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10897] ppid=10888 vsize=3024420 CPUtime=0.15 cores=1,3,5,7
/proc/10890/task/10897/stat : 10897 (java) S 10888 10890 7296 0 -1 4202560 51 0 0 0 11 4 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634386233640 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10898] ppid=10888 vsize=3024420 CPUtime=0.13 cores=1,3,5,7
/proc/10890/task/10898/stat : 10898 (java) S 10888 10890 7296 0 -1 4202560 35 0 0 0 10 3 0 0 20 0 19 0 338662722 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634385180840 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10899] ppid=10888 vsize=3024420 CPUtime=0.12 cores=1,3,5,7
/proc/10890/task/10899/stat : 10899 (java) S 10888 10890 7296 0 -1 4202560 33 0 0 0 9 3 0 0 20 0 19 0 338662723 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634384128552 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10900] ppid=10888 vsize=3024420 CPUtime=0.16 cores=1,3,5,7
/proc/10890/task/10900/stat : 10900 (java) S 10888 10890 7296 0 -1 4202560 52 0 0 0 12 4 0 0 20 0 19 0 338662723 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634383075752 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10901] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10901/stat : 10901 (java) S 10888 10890 7296 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634370665192 226333079465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10902] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10902/stat : 10902 (java) S 10888 10890 7296 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634369611256 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10903] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10903/stat : 10903 (java) S 10888 10890 7296 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338662724 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634368558856 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10904] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10904/stat : 10904 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634367507344 226333087520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10905] ppid=10888 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/10890/task/10905/stat : 10905 (java) S 10888 10890 7296 0 -1 4202560 5310 0 0 0 49 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634366453944 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10890/tid=10906] ppid=10888 vsize=3024420 CPUtime=0.49 cores=1,3,5,7
/proc/10890/task/10906/stat : 10906 (java) S 10888 10890 7296 0 -1 4202560 4409 0 0 0 49 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634365401144 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10890/tid=10907] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10907/stat : 10907 (java) S 10888 10890 7296 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634364349048 226333078588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10890/tid=10908] ppid=10888 vsize=3024420 CPUtime=0.1 cores=1,3,5,7
/proc/10890/task/10908/stat : 10908 (java) S 10888 10890 7296 0 -1 4202560 18 0 0 0 5 5 0 0 20 0 19 0 338662727 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634363296456 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10890/tid=10911] ppid=10888 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/10890/task/10911/stat : 10911 (java) S 10888 10890 7296 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338662809 3097006080 182407 33554432000 1073741824 1073778376 140733596927696 139634361095848 226333079465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 287.39
Current children cumulated vsize (KiB) 3024420
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10890 and gives
# childrusage.ru_utime.tv_sec=286
# childrusage.ru_utime.tv_usec=188492
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=650901
# CPU time returned by wait4() is 286.839
# while last known CPU time is 287.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 285.441
CPU time (s): 287.39
CPU user time (s): 286.93
CPU system time (s): 0.46
CPU usage (%): 100.683
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 286.188
system time used= 0.650901
maximum resident set size= 729672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14693
page faults= 1
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7010
involuntary context switches= 4477
runsolver used 1.21781 second user time and 3.10453 second system time
The end