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-3744392-1338799171/watcher-3744392-1338799171 -o /tmp/evaluation-result-3744392-1338799171/solver-3744392-1338799171 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3744392-1338799171.opb
running on 4 cores: 0,2,4,6
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.22 2.11 2.06 3/194 9195
/proc/meminfo: memFree=27516356/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/9195/stat : 9195 (runsolver) D 9193 9195 6470 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 346041602 12095488 51 33554432000 4194304 5436572 140734980428736 140734980425032 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/9195/statm: 2953 51 31 304 0 2645 0
[startup+0.00638096 s]
/proc/loadavg: 2.22 2.11 2.06 3/194 9195
/proc/meminfo: memFree=27516356/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/9195/stat : 9195 (runsolver) D 9193 9195 6470 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 1 0 346041602 12095488 56 33554432000 4194304 5436572 140734980428736 140734980424616 5057063 0 0 4096 24578 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/9195/statm: 2953 56 36 304 0 2645 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11812
[startup+0.100142 s]
/proc/loadavg: 2.22 2.11 2.06 3/194 9195
/proc/meminfo: memFree=27516356/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/9195/stat : 9195 (java) S 9193 9195 6470 0 -1 4202496 4807 0 1 0 7 1 0 0 20 0 18 0 346041602 3028844544 6003 33554432000 1073741824 1073778376 140734105111920 140734105103056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9195/statm: 739464 6003 2055 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856
[startup+0.300166 s]
/proc/loadavg: 2.22 2.11 2.06 3/194 9195
/proc/meminfo: memFree=27516356/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/9195/stat : 9195 (java) S 9193 9195 6470 0 -1 4202496 6152 0 1 0 46 2 0 0 20 0 18 0 346041602 3028844544 10311 33554432000 1073741824 1073778376 140734105111920 140734105103056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9195/statm: 739464 10311 2240 9 0 729885 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 2957856
[startup+0.700184 s]
/proc/loadavg: 2.22 2.11 2.06 3/194 9195
/proc/meminfo: memFree=27516356/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=2957856 CPUtime=1.53 cores=0,2,4,6
/proc/9195/stat : 9195 (java) S 9193 9195 6470 0 -1 4202496 14698 0 1 0 149 4 0 0 20 0 18 0 346041602 3028844544 37531 33554432000 1073741824 1073778376 140734105111920 140734105103056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9195/statm: 739464 37531 2261 9 0 729885 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 2957856
[startup+1.50075 s]
/proc/loadavg: 2.28 2.12 2.06 5/213 9214
/proc/meminfo: memFree=27349276/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=3024420 CPUtime=2.87 cores=0,2,4,6
/proc/9195/stat : 9195 (java) S 9193 9195 6470 0 -1 4202496 16849 0 1 0 280 7 0 0 20 0 19 0 346041602 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 140734105103056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9195/statm: 756105 67831 2280 9 0 746526 0
[pid=9195/tid=9197] ppid=9193 vsize=3024420 CPUtime=1.45 cores=0,2,4,6
/proc/9195/task/9197/stat : 9197 (java) R 9193 9195 6470 0 -1 4202560 3201 0 1 0 142 3 0 0 20 0 19 0 346041604 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942646283480 139942587025963 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9198] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9198/stat : 9198 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942585014952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9199] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9199/stat : 9199 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942511110952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9200] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9200/stat : 9200 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942510058408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9201] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9201/stat : 9201 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942509005864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9202] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9202/stat : 9202 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942507952296 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9203] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9203/stat : 9203 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942506899752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9204] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9204/stat : 9204 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942505847208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9205] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9205/stat : 9205 (java) S 9193 9195 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942504794664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9206] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9206/stat : 9206 (java) S 9193 9195 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346041606 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942492383848 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9207] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9207/stat : 9207 (java) S 9193 9195 6470 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 346041607 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942491330168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9208] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9208/stat : 9208 (java) S 9193 9195 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346041607 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942490277512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9209] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9209/stat : 9209 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942489226256 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9210] ppid=9193 vsize=3024420 CPUtime=0.67 cores=0,2,4,6
/proc/9195/task/9210/stat : 9210 (java) S 9193 9195 6470 0 -1 4202560 7247 0 0 0 66 1 0 0 20 0 19 0 346041609 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942488172600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9211] ppid=9193 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/9195/task/9211/stat : 9211 (java) S 9193 9195 6470 0 -1 4202560 5207 0 0 0 67 1 0 0 20 0 19 0 346041609 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942487120056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9212] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9212/stat : 9212 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942486067704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9213] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9213/stat : 9213 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942485015368 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9214] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9214/stat : 9214 (java) S 9193 9195 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346041687 3097006080 67831 33554432000 1073741824 1073778376 140734105111920 139942482883880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 3024420
[startup+3.10071 s]
/proc/loadavg: 2.28 2.12 2.06 3/213 9214
/proc/meminfo: memFree=27099040/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=3024420 CPUtime=4.54 cores=0,2,4,6
/proc/9195/stat : 9195 (java) S 9193 9195 6470 0 -1 4202496 16991 0 1 0 443 11 0 0 20 0 19 0 346041602 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 140734105103056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9195/statm: 756105 117520 2293 9 0 746526 0
[pid=9195/tid=9197] ppid=9193 vsize=3024420 CPUtime=3.04 cores=0,2,4,6
/proc/9195/task/9197/stat : 9197 (java) R 9193 9195 6470 0 -1 4202560 3296 0 1 0 297 7 0 0 20 0 19 0 346041604 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942646283672 139942586960938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9198] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9198/stat : 9198 (java) S 9193 9195 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942585014952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9199] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9199/stat : 9199 (java) S 9193 9195 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942511110952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9200] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9200/stat : 9200 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942510058408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9201] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9201/stat : 9201 (java) S 9193 9195 6470 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942509005864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9202] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9202/stat : 9202 (java) S 9193 9195 6470 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942507952296 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9203] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9203/stat : 9203 (java) S 9193 9195 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942506899752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9204] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9204/stat : 9204 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942505847208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9205] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9205/stat : 9205 (java) S 9193 9195 6470 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942504794664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9206] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9206/stat : 9206 (java) S 9193 9195 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346041606 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942492383848 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9207] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9207/stat : 9207 (java) S 9193 9195 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346041607 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942491330168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9208] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9208/stat : 9208 (java) S 9193 9195 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346041607 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942490277512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9209] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9209/stat : 9209 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942489226256 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9210] ppid=9193 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/9195/task/9210/stat : 9210 (java) S 9193 9195 6470 0 -1 4202560 7248 0 0 0 67 1 0 0 20 0 19 0 346041609 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942488172600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9211] ppid=9193 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/9195/task/9211/stat : 9211 (java) S 9193 9195 6470 0 -1 4202560 5212 0 0 0 70 1 0 0 20 0 19 0 346041609 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942487120056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9212] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9212/stat : 9212 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942486067704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9213] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9213/stat : 9213 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942485015368 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9214] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9214/stat : 9214 (java) S 9193 9195 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346041687 3097006080 117520 33554432000 1073741824 1073778376 140734105111920 139942482883880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 3024420
[startup+6.30072 s]
/proc/loadavg: 2.28 2.12 2.06 3/213 9214
/proc/meminfo: memFree=27039900/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=3024420 CPUtime=7.77 cores=0,2,4,6
/proc/9195/stat : 9195 (java) S 9193 9195 6470 0 -1 4202496 17020 0 1 0 764 13 0 0 20 0 19 0 346041602 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 140734105103056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9195/statm: 756105 120782 2293 9 0 746526 0
[pid=9195/tid=9197] ppid=9193 vsize=3024420 CPUtime=6.22 cores=0,2,4,6
/proc/9195/task/9197/stat : 9197 (java) R 9193 9195 6470 0 -1 4202560 3299 0 1 0 615 7 0 0 20 0 19 0 346041604 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942646283584 139942587025888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9198] ppid=9193 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/9195/task/9198/stat : 9198 (java) S 9193 9195 6470 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 346041605 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942585014952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9199] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9199/stat : 9199 (java) S 9193 9195 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942511110952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9200] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9200/stat : 9200 (java) S 9193 9195 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942510058408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9201] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9201/stat : 9201 (java) S 9193 9195 6470 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942509005864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9202] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9202/stat : 9202 (java) S 9193 9195 6470 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942507952296 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9203] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9203/stat : 9203 (java) S 9193 9195 6470 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942506899752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9204] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9204/stat : 9204 (java) S 9193 9195 6470 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942505847208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9205] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9205/stat : 9205 (java) S 9193 9195 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 346041605 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942504794664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9206] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9206/stat : 9206 (java) S 9193 9195 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346041606 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942492383848 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9207] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9207/stat : 9207 (java) S 9193 9195 6470 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346041607 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942491330168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9208] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9208/stat : 9208 (java) S 9193 9195 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346041607 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942490277512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9209] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9209/stat : 9209 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942489226256 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9210] ppid=9193 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/9195/task/9210/stat : 9210 (java) S 9193 9195 6470 0 -1 4202560 7248 0 0 0 67 1 0 0 20 0 19 0 346041609 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942488172600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9211] ppid=9193 vsize=3024420 CPUtime=0.71 cores=0,2,4,6
/proc/9195/task/9211/stat : 9211 (java) S 9193 9195 6470 0 -1 4202560 5212 0 0 0 70 1 0 0 20 0 19 0 346041609 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942487120056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9212] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9212/stat : 9212 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942486067704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9213] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9213/stat : 9213 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942485015368 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9214] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9214/stat : 9214 (java) S 9193 9195 6470 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 346041687 3097006080 120782 33554432000 1073741824 1073778376 140734105111920 139942482883880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
/proc/9195/task/9208/stat : 9208 (java) S 9193 9195 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346041607 3097006080 422033 33554432000 1073741824 1073778376 140734105111920 139942490274808 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9209] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9209/stat : 9209 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 422033 33554432000 1073741824 1073778376 140734105111920 139942489226256 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9210] ppid=9193 vsize=3024420 CPUtime=0.73 cores=0,2,4,6
/proc/9195/task/9210/stat : 9210 (java) S 9193 9195 6470 0 -1 4202560 7252 0 0 0 72 1 0 0 20 0 19 0 346041609 3097006080 422033 33554432000 1073741824 1073778376 140734105111920 139942488172600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9211] ppid=9193 vsize=3024420 CPUtime=0.8 cores=0,2,4,6
/proc/9195/task/9211/stat : 9211 (java) S 9193 9195 6470 0 -1 4202560 5225 0 0 0 78 2 0 0 20 0 19 0 346041609 3097006080 422033 33554432000 1073741824 1073778376 140734105111920 139942487120056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9212] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9212/stat : 9212 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346041609 3097006080 422033 33554432000 1073741824 1073778376 140734105111920 139942486067704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9213] ppid=9193 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/9195/task/9213/stat : 9213 (java) S 9193 9195 6470 0 -1 4202560 23 0 0 0 6 7 0 0 20 0 19 0 346041609 3097006080 422033 33554432000 1073741824 1073778376 140734105111920 139942485015368 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9214] ppid=9193 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9214/stat : 9214 (java) S 9193 9195 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346041687 3097006080 422033 33554432000 1073741824 1073778376 140734105111920 139942482883880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 411.06
Current children cumulated vsize (KiB) 3024420
[startup+404.701 s]
/proc/loadavg: 2.06 2.07 2.06 3/214 9219
/proc/meminfo: memFree=25460224/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=3090984 CPUtime=412.67 cores=0,2,4,6
/proc/9195/stat : 9195 (java) S 9193 9195 6470 0 -1 4202496 20407 0 1 0 41124 143 0 0 20 0 20 0 346041602 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 140734105103056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9195/statm: 772746 422046 2309 9 0 763167 0
[pid=9195/tid=9197] ppid=9193 vsize=3090984 CPUtime=386.82 cores=0,2,4,6
/proc/9195/task/9197/stat : 9197 (java) S 9193 9195 6470 0 -1 4202560 3477 0 1 0 38669 13 0 0 20 0 20 0 346041604 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942646285496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9198] ppid=9193 vsize=3090984 CPUtime=1.32 cores=0,2,4,6
/proc/9195/task/9198/stat : 9198 (java) S 9193 9195 6470 0 -1 4202560 534 0 0 0 111 21 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942585014952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9199] ppid=9193 vsize=3090984 CPUtime=1.2 cores=0,2,4,6
/proc/9195/task/9199/stat : 9199 (java) S 9193 9195 6470 0 -1 4202560 515 0 0 0 101 19 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942511110952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9200] ppid=9193 vsize=3090984 CPUtime=1 cores=0,2,4,6
/proc/9195/task/9200/stat : 9200 (java) S 9193 9195 6470 0 -1 4202560 252 0 0 0 88 12 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942510058408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9201] ppid=9193 vsize=3090984 CPUtime=1.2 cores=0,2,4,6
/proc/9195/task/9201/stat : 9201 (java) S 9193 9195 6470 0 -1 4202560 437 0 0 0 105 15 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942509005864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9202] ppid=9193 vsize=3090984 CPUtime=1.02 cores=0,2,4,6
/proc/9195/task/9202/stat : 9202 (java) S 9193 9195 6470 0 -1 4202560 368 0 0 0 88 14 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942507952296 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9203] ppid=9193 vsize=3090984 CPUtime=1.04 cores=0,2,4,6
/proc/9195/task/9203/stat : 9203 (java) S 9193 9195 6470 0 -1 4202560 413 0 0 0 91 13 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942506899752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9204] ppid=9193 vsize=3090984 CPUtime=1.01 cores=0,2,4,6
/proc/9195/task/9204/stat : 9204 (java) S 9193 9195 6470 0 -1 4202560 360 0 0 0 82 19 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942505847208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9205] ppid=9193 vsize=3090984 CPUtime=1.11 cores=0,2,4,6
/proc/9195/task/9205/stat : 9205 (java) S 9193 9195 6470 0 -1 4202560 290 0 0 0 96 15 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942504794664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9206] ppid=9193 vsize=3090984 CPUtime=14.17 cores=0,2,4,6
/proc/9195/task/9206/stat : 9206 (java) R 9193 9195 6470 0 -1 4202560 65 0 0 0 1416 1 0 0 20 0 20 0 346041606 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942492384008 139942653140244 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9207] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9207/stat : 9207 (java) S 9193 9195 6470 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 346041607 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942491330168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9208] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9208/stat : 9208 (java) S 9193 9195 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346041607 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942490277512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9209] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9209/stat : 9209 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942489226256 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9210] ppid=9193 vsize=3090984 CPUtime=0.73 cores=0,2,4,6
/proc/9195/task/9210/stat : 9210 (java) S 9193 9195 6470 0 -1 4202560 7252 0 0 0 72 1 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942488172600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9211] ppid=9193 vsize=3090984 CPUtime=0.8 cores=0,2,4,6
/proc/9195/task/9211/stat : 9211 (java) S 9193 9195 6470 0 -1 4202560 5225 0 0 0 78 2 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942487120056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9212] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9212/stat : 9212 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942486067704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9213] ppid=9193 vsize=3090984 CPUtime=0.13 cores=0,2,4,6
/proc/9195/task/9213/stat : 9213 (java) S 9193 9195 6470 0 -1 4202560 23 0 0 0 6 7 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942485015368 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9214] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9214/stat : 9214 (java) S 9193 9195 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346041687 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942482883880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9219] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9219/stat : 9219 (java) S 9193 9195 6470 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 346082001 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942481829848 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 412.67
Current children cumulated vsize (KiB) 3090984
[startup+405.101 s]
/proc/loadavg: 2.06 2.07 2.06 3/214 9219
/proc/meminfo: memFree=25460224/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=3090984 CPUtime=413.06 cores=0,2,4,6
/proc/9195/stat : 9195 (java) S 9193 9195 6470 0 -1 4202496 20408 0 1 0 41163 143 0 0 20 0 20 0 346041602 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 140734105103056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9195/statm: 772746 422046 2309 9 0 763167 0
[pid=9195/tid=9197] ppid=9193 vsize=3090984 CPUtime=386.82 cores=0,2,4,6
/proc/9195/task/9197/stat : 9197 (java) S 9193 9195 6470 0 -1 4202560 3477 0 1 0 38669 13 0 0 20 0 20 0 346041604 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942646285496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9198] ppid=9193 vsize=3090984 CPUtime=1.32 cores=0,2,4,6
/proc/9195/task/9198/stat : 9198 (java) S 9193 9195 6470 0 -1 4202560 534 0 0 0 111 21 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942585014952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9199] ppid=9193 vsize=3090984 CPUtime=1.2 cores=0,2,4,6
/proc/9195/task/9199/stat : 9199 (java) S 9193 9195 6470 0 -1 4202560 515 0 0 0 101 19 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942511110952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9200] ppid=9193 vsize=3090984 CPUtime=1 cores=0,2,4,6
/proc/9195/task/9200/stat : 9200 (java) S 9193 9195 6470 0 -1 4202560 252 0 0 0 88 12 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942510058408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9201] ppid=9193 vsize=3090984 CPUtime=1.2 cores=0,2,4,6
/proc/9195/task/9201/stat : 9201 (java) S 9193 9195 6470 0 -1 4202560 437 0 0 0 105 15 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942509005864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9202] ppid=9193 vsize=3090984 CPUtime=1.02 cores=0,2,4,6
/proc/9195/task/9202/stat : 9202 (java) S 9193 9195 6470 0 -1 4202560 368 0 0 0 88 14 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942507952296 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9203] ppid=9193 vsize=3090984 CPUtime=1.04 cores=0,2,4,6
/proc/9195/task/9203/stat : 9203 (java) S 9193 9195 6470 0 -1 4202560 413 0 0 0 91 13 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942506899752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9204] ppid=9193 vsize=3090984 CPUtime=1.01 cores=0,2,4,6
/proc/9195/task/9204/stat : 9204 (java) S 9193 9195 6470 0 -1 4202560 360 0 0 0 82 19 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942505847208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9205] ppid=9193 vsize=3090984 CPUtime=1.11 cores=0,2,4,6
/proc/9195/task/9205/stat : 9205 (java) S 9193 9195 6470 0 -1 4202560 290 0 0 0 96 15 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942504794664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9206] ppid=9193 vsize=3090984 CPUtime=14.56 cores=0,2,4,6
/proc/9195/task/9206/stat : 9206 (java) R 9193 9195 6470 0 -1 4202560 65 0 0 0 1455 1 0 0 20 0 20 0 346041606 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942492383848 212072939792 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9207] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9207/stat : 9207 (java) S 9193 9195 6470 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 346041607 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942491330168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9208] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9208/stat : 9208 (java) S 9193 9195 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346041607 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942490277512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9209] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9209/stat : 9209 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942489226256 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9210] ppid=9193 vsize=3090984 CPUtime=0.73 cores=0,2,4,6
/proc/9195/task/9210/stat : 9210 (java) S 9193 9195 6470 0 -1 4202560 7252 0 0 0 72 1 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942488172600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9211] ppid=9193 vsize=3090984 CPUtime=0.8 cores=0,2,4,6
/proc/9195/task/9211/stat : 9211 (java) S 9193 9195 6470 0 -1 4202560 5225 0 0 0 78 2 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942487120056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9212] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9212/stat : 9212 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942486067704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9213] ppid=9193 vsize=3090984 CPUtime=0.13 cores=0,2,4,6
/proc/9195/task/9213/stat : 9213 (java) S 9193 9195 6470 0 -1 4202560 23 0 0 0 6 7 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942485015368 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9214] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9214/stat : 9214 (java) S 9193 9195 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346041687 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942482883880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9219] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9219/stat : 9219 (java) S 9193 9195 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 346082001 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942481829864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 413.06
Current children cumulated vsize (KiB) 3090984
[startup+405.301 s]
/proc/loadavg: 2.06 2.07 2.06 3/214 9219
/proc/meminfo: memFree=25460224/32873648 swapFree=7388/7388
[pid=9195] ppid=9193 vsize=3090984 CPUtime=413.26 cores=0,2,4,6
/proc/9195/stat : 9195 (java) S 9193 9195 6470 0 -1 4202496 20408 0 1 0 41183 143 0 0 20 0 20 0 346041602 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 140734105103056 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9195/statm: 772746 422046 2309 9 0 763167 0
[pid=9195/tid=9197] ppid=9193 vsize=3090984 CPUtime=386.82 cores=0,2,4,6
/proc/9195/task/9197/stat : 9197 (java) S 9193 9195 6470 0 -1 4202560 3477 0 1 0 38669 13 0 0 20 0 20 0 346041604 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942646285496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9198] ppid=9193 vsize=3090984 CPUtime=1.32 cores=0,2,4,6
/proc/9195/task/9198/stat : 9198 (java) S 9193 9195 6470 0 -1 4202560 534 0 0 0 111 21 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942585014952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9199] ppid=9193 vsize=3090984 CPUtime=1.2 cores=0,2,4,6
/proc/9195/task/9199/stat : 9199 (java) S 9193 9195 6470 0 -1 4202560 515 0 0 0 101 19 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942511110952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9200] ppid=9193 vsize=3090984 CPUtime=1 cores=0,2,4,6
/proc/9195/task/9200/stat : 9200 (java) S 9193 9195 6470 0 -1 4202560 252 0 0 0 88 12 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942510058408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9201] ppid=9193 vsize=3090984 CPUtime=1.2 cores=0,2,4,6
/proc/9195/task/9201/stat : 9201 (java) S 9193 9195 6470 0 -1 4202560 437 0 0 0 105 15 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942509005864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9202] ppid=9193 vsize=3090984 CPUtime=1.02 cores=0,2,4,6
/proc/9195/task/9202/stat : 9202 (java) S 9193 9195 6470 0 -1 4202560 368 0 0 0 88 14 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942507952296 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9203] ppid=9193 vsize=3090984 CPUtime=1.04 cores=0,2,4,6
/proc/9195/task/9203/stat : 9203 (java) S 9193 9195 6470 0 -1 4202560 413 0 0 0 91 13 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942506899752 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9204] ppid=9193 vsize=3090984 CPUtime=1.01 cores=0,2,4,6
/proc/9195/task/9204/stat : 9204 (java) S 9193 9195 6470 0 -1 4202560 360 0 0 0 82 19 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942505847208 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9205] ppid=9193 vsize=3090984 CPUtime=1.11 cores=0,2,4,6
/proc/9195/task/9205/stat : 9205 (java) S 9193 9195 6470 0 -1 4202560 290 0 0 0 96 15 0 0 20 0 20 0 346041605 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942504794664 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9195/tid=9206] ppid=9193 vsize=3090984 CPUtime=14.76 cores=0,2,4,6
/proc/9195/task/9206/stat : 9206 (java) R 9193 9195 6470 0 -1 4202560 65 0 0 0 1475 1 0 0 20 0 20 0 346041606 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942492383848 212072939812 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9207] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9207/stat : 9207 (java) S 9193 9195 6470 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 20 0 346041607 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942491330168 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9208] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9208/stat : 9208 (java) S 9193 9195 6470 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 346041607 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942490277512 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9209] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9209/stat : 9209 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942489226256 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9195/tid=9210] ppid=9193 vsize=3090984 CPUtime=0.73 cores=0,2,4,6
/proc/9195/task/9210/stat : 9210 (java) S 9193 9195 6470 0 -1 4202560 7252 0 0 0 72 1 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942488172600 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9211] ppid=9193 vsize=3090984 CPUtime=0.8 cores=0,2,4,6
/proc/9195/task/9211/stat : 9211 (java) S 9193 9195 6470 0 -1 4202560 5225 0 0 0 78 2 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942487120056 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9212] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9212/stat : 9212 (java) S 9193 9195 6470 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942486067704 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9195/tid=9213] ppid=9193 vsize=3090984 CPUtime=0.13 cores=0,2,4,6
/proc/9195/task/9213/stat : 9213 (java) S 9193 9195 6470 0 -1 4202560 23 0 0 0 6 7 0 0 20 0 20 0 346041609 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942485015368 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9214] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9214/stat : 9214 (java) S 9193 9195 6470 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 346041687 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942482883880 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9195/tid=9219] ppid=9193 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/9195/task/9219/stat : 9219 (java) S 9193 9195 6470 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 346082001 3165167616 422046 33554432000 1073741824 1073778376 140734105111920 139942481829864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 413.26
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9195 and gives
# childrusage.ru_utime.tv_sec=410
# childrusage.ru_utime.tv_usec=748556
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=654748
# CPU time returned by wait4() is 412.403
# while last known CPU time is 413.26
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 405.319
CPU time (s): 413.26
CPU user time (s): 411.83
CPU system time (s): 1.43
CPU usage (%): 101.959
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 410.749
system time used= 1.65475
maximum resident set size= 1688188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20413
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12824
involuntary context switches= 14860
runsolver used 0.812876 second user time and 2.15667 second system time
The end