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-3735348-1338706941/watcher-3735348-1338706941 -o /tmp/evaluation-result-3735348-1338706941/solver-3735348-1338706941 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735348-1338706941.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.20 2.09 2.06 3/194 21530
/proc/meminfo: memFree=28255432/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21530/stat : 21530 (java) D 21528 21530 7849 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 336819748 9515008 183 33554432000 1073741824 1073778376 140734273709568 140734273700600 214369648309 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/21530/statm: 2323 183 140 9 0 71 0
[startup+0.00895098 s]
/proc/loadavg: 2.20 2.09 2.06 3/194 21530
/proc/meminfo: memFree=28255432/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/21530/stat : 21530 (java) R 21528 21530 7849 0 -1 4202496 944 0 0 0 0 0 0 0 20 0 1 0 336819748 23793664 672 33554432000 1073741824 1073778376 140736766480160 140736766469224 214360439361 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 5809 692 508 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236
[startup+0.100217 s]
/proc/loadavg: 2.20 2.09 2.06 3/194 21530
/proc/meminfo: memFree=28255432/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/21530/stat : 21530 (java) S 21528 21530 7849 0 -1 4202496 4193 0 1 0 6 1 0 0 20 0 18 0 336819748 3028844544 5400 33554432000 1073741824 1073778376 140736766480160 140736766471296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 739464 5400 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300226 s]
/proc/loadavg: 2.20 2.09 2.06 3/194 21530
/proc/meminfo: memFree=28255432/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=2957856 CPUtime=0.41 cores=0,2,4,6
/proc/21530/stat : 21530 (java) S 21528 21530 7849 0 -1 4202496 5631 0 1 0 39 2 0 0 20 0 18 0 336819748 3028844544 8255 33554432000 1073741824 1073778376 140736766480160 140736766471296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 739464 8255 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 2957856
[startup+0.70024 s]
/proc/loadavg: 2.20 2.09 2.06 3/194 21530
/proc/meminfo: memFree=28255432/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=2957856 CPUtime=1.09 cores=0,2,4,6
/proc/21530/stat : 21530 (java) S 21528 21530 7849 0 -1 4202496 8979 0 1 0 105 4 0 0 20 0 18 0 336819748 3028844544 39008 33554432000 1073741824 1073778376 140736766480160 140736766471296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 739464 39008 2250 9 0 729885 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 2957856
[startup+1.50067 s]
/proc/loadavg: 2.20 2.09 2.06 3/213 21549
/proc/meminfo: memFree=28091032/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=3024420 CPUtime=2.2 cores=0,2,4,6
/proc/21530/stat : 21530 (java) S 21528 21530 7849 0 -1 4202496 9266 0 1 0 216 4 0 0 20 0 19 0 336819748 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 140736766471296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 756105 43743 2271 9 0 746526 0
[pid=21530/tid=21532] ppid=21528 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/21530/task/21532/stat : 21532 (java) R 21528 21530 7849 0 -1 4202560 3162 0 1 0 143 3 0 0 20 0 19 0 336819749 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841923711320 139841795812453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21533] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21533/stat : 21533 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841789725480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21534] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21534/stat : 21534 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841788672680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21535] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21535/stat : 21535 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841787620392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21536] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21536/stat : 21536 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841585015720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21537] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21537/stat : 21537 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841583962408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21538] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21538/stat : 21538 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841582909608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21539] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21539/stat : 21539 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841581857320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21540] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21540/stat : 21540 (java) S 21528 21530 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841580804520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21541] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21541/stat : 21541 (java) S 21528 21530 7849 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 336819752 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841568606952 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21542] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21542/stat : 21542 (java) S 21528 21530 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841567553016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21543] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21543/stat : 21543 (java) S 21528 21530 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841566500616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21544] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21544/stat : 21544 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841565449104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21545] ppid=21528 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/21530/task/21545/stat : 21545 (java) S 21528 21530 7849 0 -1 4202560 2495 0 0 0 37 0 0 0 20 0 19 0 336819755 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841564395704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21546] ppid=21528 vsize=3024420 CPUtime=0.33 cores=0,2,4,6
/proc/21530/task/21546/stat : 21546 (java) S 21528 21530 7849 0 -1 4202560 2410 0 0 0 33 0 0 0 20 0 19 0 336819755 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841563342904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21547] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21547/stat : 21547 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841562290808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21548] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21548/stat : 21548 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841561238216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21549] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21549/stat : 21549 (java) S 21528 21530 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336819829 3097006080 43743 33554432000 1073741824 1073778376 140736766480160 139841559037352 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 3024420
[startup+3.10066 s]
/proc/loadavg: 2.19 2.08 2.06 3/213 21549
/proc/meminfo: memFree=28088480/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=3024420 CPUtime=3.92 cores=0,2,4,6
/proc/21530/stat : 21530 (java) S 21528 21530 7849 0 -1 4202496 9478 0 1 0 388 4 0 0 20 0 19 0 336819748 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 140736766471296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 756105 44813 2271 9 0 746526 0
[pid=21530/tid=21532] ppid=21528 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/21530/task/21532/stat : 21532 (java) R 21528 21530 7849 0 -1 4202560 3166 0 1 0 302 3 0 0 20 0 19 0 336819749 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841923709464 139841795812488 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21533] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21533/stat : 21533 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841789725480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21534] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21534/stat : 21534 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841788672680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21535] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21535/stat : 21535 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841787620392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21536] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21536/stat : 21536 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841585015720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21537] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21537/stat : 21537 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841583962408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21538] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21538/stat : 21538 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841582909608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21539] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21539/stat : 21539 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841581857320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21540] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21540/stat : 21540 (java) S 21528 21530 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841580804520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21541] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21541/stat : 21541 (java) S 21528 21530 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336819752 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841568606952 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21542] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21542/stat : 21542 (java) S 21528 21530 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841567553016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21543] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21543/stat : 21543 (java) S 21528 21530 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841566500616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21544] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21544/stat : 21544 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841565449104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21545] ppid=21528 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/21530/task/21545/stat : 21545 (java) S 21528 21530 7849 0 -1 4202560 2589 0 0 0 45 0 0 0 20 0 19 0 336819755 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841564395704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21546] ppid=21528 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/21530/task/21546/stat : 21546 (java) S 21528 21530 7849 0 -1 4202560 2523 0 0 0 37 0 0 0 20 0 19 0 336819755 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841563342904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21547] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21547/stat : 21547 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841562290808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21548] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21548/stat : 21548 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841561238216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21549] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21549/stat : 21549 (java) S 21528 21530 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336819829 3097006080 44813 33554432000 1073741824 1073778376 140736766480160 139841559037352 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 3024420
[startup+6.30066 s]
/proc/loadavg: 2.19 2.08 2.06 3/213 21550
/proc/meminfo: memFree=28078124/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=3024420 CPUtime=7.12 cores=0,2,4,6
/proc/21530/stat : 21530 (java) S 21528 21530 7849 0 -1 4202496 9483 0 1 0 708 4 0 0 20 0 19 0 336819748 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 140736766471296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 756105 46606 2271 9 0 746526 0
[pid=21530/tid=21532] ppid=21528 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/21530/task/21532/stat : 21532 (java) R 21528 21530 7849 0 -1 4202560 3171 0 1 0 621 3 0 0 20 0 19 0 336819749 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841923709344 139841795812453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21533] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21533/stat : 21533 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841789725480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21534] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21534/stat : 21534 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841788672680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21535] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21535/stat : 21535 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841787620392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21536] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21536/stat : 21536 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841585015720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21537] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21537/stat : 21537 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841583962408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21538] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21538/stat : 21538 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841582909608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21539] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21539/stat : 21539 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841581857320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21540] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21540/stat : 21540 (java) S 21528 21530 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336819751 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841580804520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21541] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21541/stat : 21541 (java) S 21528 21530 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 336819752 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841568606952 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21542] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21542/stat : 21542 (java) S 21528 21530 7849 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841567553016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21543] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21543/stat : 21543 (java) S 21528 21530 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841566500616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21544] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21544/stat : 21544 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841565449104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21545] ppid=21528 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/21530/task/21545/stat : 21545 (java) S 21528 21530 7849 0 -1 4202560 2589 0 0 0 45 0 0 0 20 0 19 0 336819755 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841564395704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21546] ppid=21528 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/21530/task/21546/stat : 21546 (java) S 21528 21530 7849 0 -1 4202560 2523 0 0 0 37 0 0 0 20 0 19 0 336819755 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841563342904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21547] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21547/stat : 21547 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841562290808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21548] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21548/stat : 21548 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841561238216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21549] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21549/stat : 21549 (java) S 21528 21530 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336819829 3097006080 46606 33554432000 1073741824 1073778376 140736766480160 139841559037352 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.12
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
/proc/21530/task/21540/stat : 21540 (java) S 21528 21530 7849 0 -1 4202560 291 0 0 0 31 18 0 0 20 0 19 0 336819751 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841580804520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21541] ppid=21528 vsize=3024420 CPUtime=2.62 cores=0,2,4,6
/proc/21530/task/21541/stat : 21541 (java) R 21528 21530 7849 0 -1 4202560 170 0 0 0 258 4 0 0 20 0 19 0 336819752 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841568607112 214369321244 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21542] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21542/stat : 21542 (java) S 21528 21530 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841567553016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21543] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21543/stat : 21543 (java) S 21528 21530 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841566500616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21544] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21544/stat : 21544 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841565449104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21545] ppid=21528 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/21530/task/21545/stat : 21545 (java) S 21528 21530 7849 0 -1 4202560 2646 0 0 0 51 0 0 0 20 0 19 0 336819755 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841564395704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21546] ppid=21528 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/21530/task/21546/stat : 21546 (java) S 21528 21530 7849 0 -1 4202560 9329 0 0 0 62 2 0 0 20 0 19 0 336819755 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841563342904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21547] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21547/stat : 21547 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841562290808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21548] ppid=21528 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/21530/task/21548/stat : 21548 (java) S 21528 21530 7849 0 -1 4202560 73 0 0 0 12 11 0 0 20 0 19 0 336819755 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841561238216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21549] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21549/stat : 21549 (java) S 21528 21530 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336819829 3097006080 422431 33554432000 1073741824 1073778376 140736766480160 139841559037352 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1263.16
Current children cumulated vsize (KiB) 3024420
[startup+1260.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21677
/proc/meminfo: memFree=25808356/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=3024420 CPUtime=1264.76 cores=0,2,4,6
/proc/21530/stat : 21530 (java) S 21528 21530 7849 0 -1 4202496 18899 0 1 0 126332 144 0 0 20 0 19 0 336819748 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 140736766471296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 756105 422436 2303 9 0 746526 0
[pid=21530/tid=21532] ppid=21528 vsize=3024420 CPUtime=1252.2 cores=0,2,4,6
/proc/21530/task/21532/stat : 21532 (java) S 21528 21530 7849 0 -1 4202560 3355 0 1 0 125193 27 0 0 20 0 19 0 336819749 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841923708152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21533] ppid=21528 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/21530/task/21533/stat : 21533 (java) S 21528 21530 7849 0 -1 4202560 288 0 0 0 32 16 0 0 20 0 19 0 336819751 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841789725480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21534] ppid=21528 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/21530/task/21534/stat : 21534 (java) S 21528 21530 7849 0 -1 4202560 286 0 0 0 38 17 0 0 20 0 19 0 336819751 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841788672680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21535] ppid=21528 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/21530/task/21535/stat : 21535 (java) S 21528 21530 7849 0 -1 4202560 257 0 0 0 35 17 0 0 20 0 19 0 336819751 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841787620392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21536] ppid=21528 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/21530/task/21536/stat : 21536 (java) S 21528 21530 7849 0 -1 4202560 315 0 0 0 39 17 0 0 20 0 19 0 336819751 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841585015720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21537] ppid=21528 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/21530/task/21537/stat : 21537 (java) S 21528 21530 7849 0 -1 4202560 232 0 0 0 35 15 0 0 20 0 19 0 336819751 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841583962408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21538] ppid=21528 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/21530/task/21538/stat : 21538 (java) S 21528 21530 7849 0 -1 4202560 227 0 0 0 33 13 0 0 20 0 19 0 336819751 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841582909608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21539] ppid=21528 vsize=3024420 CPUtime=0.42 cores=0,2,4,6
/proc/21530/task/21539/stat : 21539 (java) S 21528 21530 7849 0 -1 4202560 237 0 0 0 29 13 0 0 20 0 19 0 336819751 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841581857320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21540] ppid=21528 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/21530/task/21540/stat : 21540 (java) S 21528 21530 7849 0 -1 4202560 291 0 0 0 31 18 0 0 20 0 19 0 336819751 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841580804520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21541] ppid=21528 vsize=3024420 CPUtime=4.02 cores=0,2,4,6
/proc/21530/task/21541/stat : 21541 (java) R 21528 21530 7849 0 -1 4202560 173 0 0 0 398 4 0 0 20 0 19 0 336819752 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841568607072 139841930567081 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21542] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21542/stat : 21542 (java) S 21528 21530 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841567553016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21543] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21543/stat : 21543 (java) S 21528 21530 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336819753 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841566497864 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21544] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21544/stat : 21544 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841565449104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21545] ppid=21528 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/21530/task/21545/stat : 21545 (java) S 21528 21530 7849 0 -1 4202560 2646 0 0 0 51 0 0 0 20 0 19 0 336819755 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841564395704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21546] ppid=21528 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/21530/task/21546/stat : 21546 (java) S 21528 21530 7849 0 -1 4202560 9329 0 0 0 62 2 0 0 20 0 19 0 336819755 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841563342904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21547] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21547/stat : 21547 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336819755 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841562290808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21548] ppid=21528 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/21530/task/21548/stat : 21548 (java) S 21528 21530 7849 0 -1 4202560 73 0 0 0 12 11 0 0 20 0 19 0 336819755 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841561238216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21549] ppid=21528 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21549/stat : 21549 (java) S 21528 21530 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 336819829 3097006080 422436 33554432000 1073741824 1073778376 140736766480160 139841559037352 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1264.76
Current children cumulated vsize (KiB) 3024420
[startup+1261.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21677
/proc/meminfo: memFree=25808356/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=3090984 CPUtime=1265.16 cores=0,2,4,6
/proc/21530/stat : 21530 (java) S 21528 21530 7849 0 -1 4202496 18914 0 1 0 126372 144 0 0 20 0 20 0 336819748 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 140736766471296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 772746 422447 2303 9 0 763167 0
[pid=21530/tid=21532] ppid=21528 vsize=3090984 CPUtime=1252.2 cores=0,2,4,6
/proc/21530/task/21532/stat : 21532 (java) S 21528 21530 7849 0 -1 4202560 3357 0 1 0 125193 27 0 0 20 0 20 0 336819749 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841923712184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21533] ppid=21528 vsize=3090984 CPUtime=0.48 cores=0,2,4,6
/proc/21530/task/21533/stat : 21533 (java) S 21528 21530 7849 0 -1 4202560 288 0 0 0 32 16 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841789725480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21534] ppid=21528 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/21530/task/21534/stat : 21534 (java) S 21528 21530 7849 0 -1 4202560 286 0 0 0 38 17 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841788672680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21535] ppid=21528 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/21530/task/21535/stat : 21535 (java) S 21528 21530 7849 0 -1 4202560 257 0 0 0 35 17 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841787620392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21536] ppid=21528 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/21530/task/21536/stat : 21536 (java) S 21528 21530 7849 0 -1 4202560 315 0 0 0 39 17 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841585015720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21537] ppid=21528 vsize=3090984 CPUtime=0.5 cores=0,2,4,6
/proc/21530/task/21537/stat : 21537 (java) S 21528 21530 7849 0 -1 4202560 232 0 0 0 35 15 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841583962408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21538] ppid=21528 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/21530/task/21538/stat : 21538 (java) S 21528 21530 7849 0 -1 4202560 227 0 0 0 33 13 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841582909608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21539] ppid=21528 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/21530/task/21539/stat : 21539 (java) S 21528 21530 7849 0 -1 4202560 237 0 0 0 29 13 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841581857320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21540] ppid=21528 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/21530/task/21540/stat : 21540 (java) S 21528 21530 7849 0 -1 4202560 291 0 0 0 31 18 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841580804520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21541] ppid=21528 vsize=3090984 CPUtime=4.42 cores=0,2,4,6
/proc/21530/task/21541/stat : 21541 (java) R 21528 21530 7849 0 -1 4202560 175 0 0 0 438 4 0 0 20 0 20 0 336819752 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841568606952 139841927872828 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21542] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21542/stat : 21542 (java) S 21528 21530 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336819753 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841567553016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21543] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21543/stat : 21543 (java) S 21528 21530 7849 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 336819753 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841566500616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21544] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21544/stat : 21544 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841565449104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21545] ppid=21528 vsize=3090984 CPUtime=0.51 cores=0,2,4,6
/proc/21530/task/21545/stat : 21545 (java) S 21528 21530 7849 0 -1 4202560 2646 0 0 0 51 0 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841564395704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21546] ppid=21528 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/21530/task/21546/stat : 21546 (java) S 21528 21530 7849 0 -1 4202560 9329 0 0 0 62 2 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841563342904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21547] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21547/stat : 21547 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841562290808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21548] ppid=21528 vsize=3090984 CPUtime=0.23 cores=0,2,4,6
/proc/21530/task/21548/stat : 21548 (java) S 21528 21530 7849 0 -1 4202560 73 0 0 0 12 11 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841561238216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21549] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21549/stat : 21549 (java) S 21528 21530 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 336819829 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841559037352 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1265.16
Current children cumulated vsize (KiB) 3090984
[startup+1261.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 21677
/proc/meminfo: memFree=25808356/32873844 swapFree=7632/7632
[pid=21530] ppid=21528 vsize=3090984 CPUtime=1265.36 cores=0,2,4,6
/proc/21530/stat : 21530 (java) S 21528 21530 7849 0 -1 4202496 18914 0 1 0 126392 144 0 0 20 0 20 0 336819748 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 140736766471296 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21530/statm: 772746 422447 2303 9 0 763167 0
[pid=21530/tid=21532] ppid=21528 vsize=3090984 CPUtime=1252.2 cores=0,2,4,6
/proc/21530/task/21532/stat : 21532 (java) S 21528 21530 7849 0 -1 4202560 3357 0 1 0 125193 27 0 0 20 0 20 0 336819749 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841923712184 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21533] ppid=21528 vsize=3090984 CPUtime=0.48 cores=0,2,4,6
/proc/21530/task/21533/stat : 21533 (java) S 21528 21530 7849 0 -1 4202560 288 0 0 0 32 16 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841789725480 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21534] ppid=21528 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/21530/task/21534/stat : 21534 (java) S 21528 21530 7849 0 -1 4202560 286 0 0 0 38 17 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841788672680 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21535] ppid=21528 vsize=3090984 CPUtime=0.52 cores=0,2,4,6
/proc/21530/task/21535/stat : 21535 (java) S 21528 21530 7849 0 -1 4202560 257 0 0 0 35 17 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841787620392 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21536] ppid=21528 vsize=3090984 CPUtime=0.56 cores=0,2,4,6
/proc/21530/task/21536/stat : 21536 (java) S 21528 21530 7849 0 -1 4202560 315 0 0 0 39 17 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841585015720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21537] ppid=21528 vsize=3090984 CPUtime=0.5 cores=0,2,4,6
/proc/21530/task/21537/stat : 21537 (java) S 21528 21530 7849 0 -1 4202560 232 0 0 0 35 15 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841583962408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21538] ppid=21528 vsize=3090984 CPUtime=0.46 cores=0,2,4,6
/proc/21530/task/21538/stat : 21538 (java) S 21528 21530 7849 0 -1 4202560 227 0 0 0 33 13 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841582909608 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21539] ppid=21528 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/21530/task/21539/stat : 21539 (java) S 21528 21530 7849 0 -1 4202560 237 0 0 0 29 13 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841581857320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21540] ppid=21528 vsize=3090984 CPUtime=0.49 cores=0,2,4,6
/proc/21530/task/21540/stat : 21540 (java) S 21528 21530 7849 0 -1 4202560 291 0 0 0 31 18 0 0 20 0 20 0 336819751 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841580804520 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21530/tid=21541] ppid=21528 vsize=3090984 CPUtime=4.62 cores=0,2,4,6
/proc/21530/task/21541/stat : 21541 (java) R 21528 21530 7849 0 -1 4202560 175 0 0 0 458 4 0 0 20 0 20 0 336819752 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841568607112 214369321252 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21542] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21542/stat : 21542 (java) S 21528 21530 7849 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 20 0 336819753 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841567553016 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21543] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21543/stat : 21543 (java) S 21528 21530 7849 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 20 0 336819753 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841566500616 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21544] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21544/stat : 21544 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841565449104 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21545] ppid=21528 vsize=3090984 CPUtime=0.51 cores=0,2,4,6
/proc/21530/task/21545/stat : 21545 (java) S 21528 21530 7849 0 -1 4202560 2646 0 0 0 51 0 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841564395704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21530/tid=21546] ppid=21528 vsize=3090984 CPUtime=0.64 cores=0,2,4,6
/proc/21530/task/21546/stat : 21546 (java) S 21528 21530 7849 0 -1 4202560 9329 0 0 0 62 2 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841563342904 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21547] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21547/stat : 21547 (java) S 21528 21530 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841562290808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21530/tid=21548] ppid=21528 vsize=3090984 CPUtime=0.23 cores=0,2,4,6
/proc/21530/task/21548/stat : 21548 (java) S 21528 21530 7849 0 -1 4202560 73 0 0 0 12 11 0 0 20 0 20 0 336819755 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841561238216 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21530/tid=21549] ppid=21528 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21530/task/21549/stat : 21549 (java) S 21528 21530 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 20 0 336819829 3165167616 422447 33554432000 1073741824 1073778376 140736766480160 139841559037352 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1265.36
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21530 and gives
# childrusage.ru_utime.tv_sec=1260
# childrusage.ru_utime.tv_usec=621356
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=830721
# CPU time returned by wait4() is 1262.45
# while last known CPU time is 1265.36
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1261.32
CPU time (s): 1265.36
CPU user time (s): 1263.92
CPU system time (s): 1.44
CPU usage (%): 100.32
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1260.62
system time used= 1.83072
maximum resident set size= 1689808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18924
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27327
involuntary context switches= 15092
runsolver used 6.07208 second user time and 7.60684 second system time
The end