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-3742175-1338764510/watcher-3742175-1338764510 -o /tmp/evaluation-result-3742175-1338764510/solver-3742175-1338764510 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3742175-1338764510.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.89 3.89 3.84 4/198 15802
/proc/meminfo: memFree=28270700/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/15802/stat : 15802 (java) D 15800 15802 13088 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 342575923 9515008 182 33554432000 1073741824 1073778376 140736419556864 140736419547896 240565173941 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/15802/statm: 2323 182 140 9 0 71 0
[startup+0.031006 s]
/proc/loadavg: 3.89 3.89 3.84 4/198 15802
/proc/meminfo: memFree=28270700/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=10510056 CPUtime=0 cores=1,3,5,7
/proc/15802/stat : 15802 (java) S 15800 15802 13088 0 -1 4202496 2990 0 1 0 0 0 0 0 20 0 2 0 342575923 10762297344 6759 33554432000 1073741824 1073778376 140736200993136 140736200984272 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15802/statm: 2627514 6778 942 9 0 2618623 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10510056
[startup+0.100262 s]
/proc/loadavg: 3.89 3.89 3.84 4/198 15802
/proc/meminfo: memFree=28270700/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/15802/stat : 15802 (java) S 15800 15802 13088 0 -1 4202496 4472 0 1 0 6 1 0 0 20 0 18 0 342575923 11864465408 12835 33554432000 1073741824 1073778376 140736200993136 140736200984272 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15802/statm: 2896598 12835 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.30023 s]
/proc/loadavg: 3.89 3.89 3.84 4/198 15802
/proc/meminfo: memFree=28270700/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=11586392 CPUtime=0.54 cores=1,3,5,7
/proc/15802/stat : 15802 (java) S 15800 15802 13088 0 -1 4202496 8058 0 1 0 51 3 0 0 20 0 18 0 342575923 11864465408 17995 33554432000 1073741824 1073778376 140736200993136 140736200984272 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15802/statm: 2896598 17995 2222 9 0 2887285 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 11586392
[startup+0.700195 s]
/proc/loadavg: 3.89 3.89 3.84 4/198 15802
/proc/meminfo: memFree=28270700/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=11852648 CPUtime=1.81 cores=1,3,5,7
/proc/15802/stat : 15802 (java) S 15800 15802 13088 0 -1 4202496 10071 0 1 0 177 4 0 0 20 0 22 0 342575923 12137111552 28778 33554432000 1073741824 1073778376 140736200993136 140736200984272 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15802/statm: 2963162 28778 2263 9 0 2953849 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 11852648
[startup+1.50077 s]
/proc/loadavg: 3.90 3.90 3.84 7/220 15824
/proc/meminfo: memFree=28159804/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=11852648 CPUtime=4.03 cores=1,3,5,7
/proc/15802/stat : 15802 (java) S 15800 15802 13088 0 -1 4202496 14357 0 1 0 397 6 0 0 20 0 22 0 342575923 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140736200984272 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15802/statm: 2963162 59506 2267 9 0 2953849 0
[pid=15802/tid=15804] ppid=15800 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/15802/task/15804/stat : 15804 (java) S 15800 15802 13088 0 -1 4202560 3403 0 1 0 40 3 0 0 20 0 22 0 342575924 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140109106574488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108942854952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108941802152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108940749864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108939697064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108938643752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108937590952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108936538664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108935485864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108923288296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 13088 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108922234360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108921181960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108920130448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=11852648 CPUtime=0.68 cores=1,3,5,7
/proc/15802/task/15817/stat : 15817 (java) S 15800 15802 13088 0 -1 4202560 2856 0 0 0 68 0 0 0 20 0 22 0 342575931 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108919077048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15818] ppid=15800 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/15802/task/15818/stat : 15818 (java) S 15800 15802 13088 0 -1 4202560 6738 0 0 0 83 0 0 0 20 0 22 0 342575931 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108918024248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15819] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15819/stat : 15819 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108916972152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15820] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15820/stat : 15820 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108915919560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15821] ppid=15800 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/15802/task/15821/stat : 15821 (java) R 15800 15802 13088 0 -1 4202560 25 0 0 0 100 0 0 0 20 0 22 0 342575970 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108914865032 140108964331361 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15822] ppid=15800 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/15802/task/15822/stat : 15822 (java) R 15800 15802 13088 0 -1 4202560 133 0 0 0 99 2 0 0 20 0 22 0 342575970 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108913811960 140108964543733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15823] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15823/stat : 15823 (java) S 15800 15802 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108912760488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15824] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15824/stat : 15824 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 59506 33554432000 1073741824 1073778376 140736200993136 140108911707688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 11852648
[startup+3.10076 s]
/proc/loadavg: 3.90 3.90 3.84 6/220 15824
/proc/meminfo: memFree=27836408/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=11852648 CPUtime=7.79 cores=1,3,5,7
/proc/15802/stat : 15802 (java) S 15800 15802 13088 0 -1 4202496 21099 0 1 0 766 13 0 0 20 0 22 0 342575923 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140736200984272 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15802/statm: 2963162 115585 2291 9 0 2953849 0
[pid=15802/tid=15804] ppid=15800 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/15802/task/15804/stat : 15804 (java) S 15800 15802 13088 0 -1 4202560 3403 0 1 0 40 3 0 0 20 0 22 0 342575924 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140109106574488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108942854952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108941802152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108940749864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108939697064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108938643752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 13088 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108937590952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108936538664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108935485864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 13088 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 342575928 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108923288296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108922234360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108921181960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108920130448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=11852648 CPUtime=1.19 cores=1,3,5,7
/proc/15802/task/15817/stat : 15817 (java) R 15800 15802 13088 0 -1 4202560 9108 0 0 0 117 2 0 0 20 0 22 0 342575931 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108919066024 140109113560615 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15818] ppid=15800 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/15802/task/15818/stat : 15818 (java) S 15800 15802 13088 0 -1 4202560 7066 0 0 0 91 0 0 0 20 0 22 0 342575931 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108918024248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15819] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15819/stat : 15819 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108916972152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15820] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15820/stat : 15820 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108915919560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15821] ppid=15800 vsize=11852648 CPUtime=2.53 cores=1,3,5,7
/proc/15802/task/15821/stat : 15821 (java) R 15800 15802 13088 0 -1 4202560 28 0 0 0 253 0 0 0 20 0 22 0 342575970 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108914862592 140108964288588 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15822] ppid=15800 vsize=11852648 CPUtime=2.56 cores=1,3,5,7
/proc/15802/task/15822/stat : 15822 (java) R 15800 15802 13088 0 -1 4202560 223 0 0 0 251 5 0 0 20 0 22 0 342575970 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108913810264 140108964491673 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15823] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15823/stat : 15823 (java) S 15800 15802 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108912760488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15824] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15824/stat : 15824 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 115585 33554432000 1073741824 1073778376 140736200993136 140108911707688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.79
Current children cumulated vsize (KiB) 11852648
[startup+6.30088 s]
/proc/loadavg: 3.90 3.90 3.84 5/220 15824
/proc/meminfo: memFree=27634672/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=11852648 CPUtime=14.31 cores=1,3,5,7
/proc/15802/stat : 15802 (java) S 15800 15802 13088 0 -1 4202496 21327 0 1 0 1411 20 0 0 20 0 22 0 342575923 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140736200984272 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15802/statm: 2963162 202687 2291 9 0 2953849 0
[pid=15802/tid=15804] ppid=15800 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/15802/task/15804/stat : 15804 (java) S 15800 15802 13088 0 -1 4202560 3403 0 1 0 40 3 0 0 20 0 22 0 342575924 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140109106574488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 13088 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108942854952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108941802152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 13088 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 342575926 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108940749864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 13088 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 342575926 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108939697064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 13088 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108938643752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108937590952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108936538664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 13088 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 342575926 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108935485864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=11852648 CPUtime=0.12 cores=1,3,5,7
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 13088 0 -1 4202560 39 0 0 0 12 0 0 0 20 0 22 0 342575928 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108923288296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108922234360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108921181960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108920130448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/15802/task/15817/stat : 15817 (java) S 15800 15802 13088 0 -1 4202560 9129 0 0 0 136 2 0 0 20 0 22 0 342575931 12137111552 202687 33554432000 1073741824 1073778376 140736200993136 140108919077048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/15802/statm: 2963162 964619 2292 9 0 2953849 0
[pid=15802/tid=15804] ppid=15800 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/15802/task/15804/stat : 15804 (java) S 15800 15802 13088 0 -1 4202560 3493 0 1 0 43 5 0 0 20 0 22 0 342575924 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140109106574488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=11852648 CPUtime=1.41 cores=1,3,5,7
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 13088 0 -1 4202560 132 0 0 0 137 4 0 0 20 0 22 0 342575926 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108942854952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=11852648 CPUtime=1.38 cores=1,3,5,7
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 13088 0 -1 4202560 91 0 0 0 135 3 0 0 20 0 22 0 342575926 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108941802152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=11852648 CPUtime=1.44 cores=1,3,5,7
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 13088 0 -1 4202560 134 0 0 0 139 5 0 0 20 0 22 0 342575926 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108940749864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=11852648 CPUtime=1.45 cores=1,3,5,7
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 13088 0 -1 4202560 117 0 0 0 141 4 0 0 20 0 22 0 342575926 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108939697064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=11852648 CPUtime=1.6 cores=1,3,5,7
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 13088 0 -1 4202560 112 0 0 0 156 4 0 0 20 0 22 0 342575926 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108938643752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=11852648 CPUtime=1.36 cores=1,3,5,7
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 13088 0 -1 4202560 102 0 0 0 134 2 0 0 20 0 22 0 342575926 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108937590952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 13088 0 -1 4202560 105 0 0 0 149 3 0 0 20 0 22 0 342575926 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108936538664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 13088 0 -1 4202560 95 0 0 0 143 3 0 0 20 0 22 0 342575926 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108935485864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=11852648 CPUtime=53.93 cores=1,3,5,7
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 13088 0 -1 4202560 268 0 0 0 5387 6 0 0 20 0 22 0 342575928 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108923288296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108922234360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108921181960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108920130448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=11852648 CPUtime=2.05 cores=1,3,5,7
/proc/15802/task/15817/stat : 15817 (java) S 15800 15802 13088 0 -1 4202560 10630 0 0 0 203 2 0 0 20 0 22 0 342575931 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108919077048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15818] ppid=15800 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/15802/task/15818/stat : 15818 (java) S 15800 15802 13088 0 -1 4202560 7066 0 0 0 98 0 0 0 20 0 22 0 342575931 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108918024248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15819] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15819/stat : 15819 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108916972152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15820] ppid=15800 vsize=11852648 CPUtime=0.46 cores=1,3,5,7
/proc/15802/task/15820/stat : 15820 (java) S 15800 15802 13088 0 -1 4202560 51 0 0 0 23 23 0 0 20 0 22 0 342575931 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108915919560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15821] ppid=15800 vsize=11852648 CPUtime=822.11 cores=1,3,5,7
/proc/15802/task/15821/stat : 15821 (java) R 15800 15802 13088 0 -1 4202560 90 0 0 0 82198 13 0 0 20 0 22 0 342575970 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108914864848 140108964251653 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15822] ppid=15800 vsize=11852648 CPUtime=822.19 cores=1,3,5,7
/proc/15802/task/15822/stat : 15822 (java) R 15800 15802 13088 0 -1 4202560 1638 0 0 0 82155 64 0 0 20 0 22 0 342575970 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108913810032 140108964465964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15823] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15823/stat : 15823 (java) S 15800 15802 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108912760488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15824] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15824/stat : 15824 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 964619 33554432000 1073741824 1073778376 140736200993136 140108911707688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1718.05
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+925.701 s]
/proc/loadavg: 3.83 3.86 3.84 5/219 15893
/proc/meminfo: memFree=23549612/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=11852648 CPUtime=1800.21 cores=1,3,5,7
/proc/15802/stat : 15802 (java) S 15800 15802 13088 0 -1 4202496 25364 0 1 0 179900 121 0 0 20 0 22 0 342575923 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140736200984272 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15802/statm: 2963162 968747 2292 9 0 2953849 0
[pid=15802/tid=15804] ppid=15800 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/15802/task/15804/stat : 15804 (java) S 15800 15802 13088 0 -1 4202560 3501 0 1 0 43 5 0 0 20 0 22 0 342575924 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140109106574488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 13088 0 -1 4202560 135 0 0 0 148 4 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108942854952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 13088 0 -1 4202560 95 0 0 0 144 3 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108941802152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 13088 0 -1 4202560 140 0 0 0 148 5 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108940749864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 13088 0 -1 4202560 117 0 0 0 153 4 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108939697064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 13088 0 -1 4202560 116 0 0 0 166 4 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108938643752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 13088 0 -1 4202560 108 0 0 0 144 2 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108937590952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=11852648 CPUtime=1.61 cores=1,3,5,7
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 13088 0 -1 4202560 109 0 0 0 158 3 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108936538664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=11852648 CPUtime=1.54 cores=1,3,5,7
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 13088 0 -1 4202560 100 0 0 0 151 3 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108935485864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=11852648 CPUtime=58.91 cores=1,3,5,7
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 13088 0 -1 4202560 278 0 0 0 5884 7 0 0 20 0 22 0 342575928 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108923288296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108922234360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108921181960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108920130448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=11852648 CPUtime=2.05 cores=1,3,5,7
/proc/15802/task/15817/stat : 15817 (java) S 15800 15802 13088 0 -1 4202560 10630 0 0 0 203 2 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108919077048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15818] ppid=15800 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/15802/task/15818/stat : 15818 (java) S 15800 15802 13088 0 -1 4202560 7066 0 0 0 98 0 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108918024248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15819] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15819/stat : 15819 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108916972152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15820] ppid=15800 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/15802/task/15820/stat : 15820 (java) S 15800 15802 13088 0 -1 4202560 53 0 0 0 24 24 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108915919560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15821] ppid=15800 vsize=11852648 CPUtime=860.21 cores=1,3,5,7
/proc/15802/task/15821/stat : 15821 (java) R 15800 15802 13088 0 -1 4202560 90 0 0 0 86007 14 0 0 20 0 22 0 342575970 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108914864848 140108964331434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15822] ppid=15800 vsize=11852648 CPUtime=860.26 cores=1,3,5,7
/proc/15802/task/15822/stat : 15822 (java) R 15800 15802 13088 0 -1 4202560 1638 0 0 0 85961 65 0 0 20 0 22 0 342575970 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108913810032 140108964464065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15823] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15823/stat : 15823 (java) S 15800 15802 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108912760488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15824] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15824/stat : 15824 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108911707688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+925.701 s]
/proc/loadavg: 3.83 3.86 3.84 5/219 15893
/proc/meminfo: memFree=23549612/32873844 swapFree=7116/7116
[pid=15802] ppid=15800 vsize=11852648 CPUtime=1800.21 cores=1,3,5,7
/proc/15802/stat : 15802 (java) S 15800 15802 13088 0 -1 4202496 25364 0 1 0 179900 121 0 0 20 0 22 0 342575923 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140736200984272 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/15802/statm: 2963162 968747 2292 9 0 2953849 0
[pid=15802/tid=15804] ppid=15800 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/15802/task/15804/stat : 15804 (java) S 15800 15802 13088 0 -1 4202560 3501 0 1 0 43 5 0 0 20 0 22 0 342575924 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140109106574488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15805] ppid=15800 vsize=11852648 CPUtime=1.52 cores=1,3,5,7
/proc/15802/task/15805/stat : 15805 (java) S 15800 15802 13088 0 -1 4202560 135 0 0 0 148 4 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108942854952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15806] ppid=15800 vsize=11852648 CPUtime=1.47 cores=1,3,5,7
/proc/15802/task/15806/stat : 15806 (java) S 15800 15802 13088 0 -1 4202560 95 0 0 0 144 3 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108941802152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15807] ppid=15800 vsize=11852648 CPUtime=1.53 cores=1,3,5,7
/proc/15802/task/15807/stat : 15807 (java) S 15800 15802 13088 0 -1 4202560 140 0 0 0 148 5 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108940749864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15808] ppid=15800 vsize=11852648 CPUtime=1.57 cores=1,3,5,7
/proc/15802/task/15808/stat : 15808 (java) S 15800 15802 13088 0 -1 4202560 117 0 0 0 153 4 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108939697064 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15809] ppid=15800 vsize=11852648 CPUtime=1.7 cores=1,3,5,7
/proc/15802/task/15809/stat : 15809 (java) S 15800 15802 13088 0 -1 4202560 116 0 0 0 166 4 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108938643752 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15810] ppid=15800 vsize=11852648 CPUtime=1.46 cores=1,3,5,7
/proc/15802/task/15810/stat : 15810 (java) S 15800 15802 13088 0 -1 4202560 108 0 0 0 144 2 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108937590952 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15811] ppid=15800 vsize=11852648 CPUtime=1.61 cores=1,3,5,7
/proc/15802/task/15811/stat : 15811 (java) S 15800 15802 13088 0 -1 4202560 109 0 0 0 158 3 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108936538664 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15812] ppid=15800 vsize=11852648 CPUtime=1.54 cores=1,3,5,7
/proc/15802/task/15812/stat : 15812 (java) S 15800 15802 13088 0 -1 4202560 100 0 0 0 151 3 0 0 20 0 22 0 342575926 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108935485864 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15802/tid=15813] ppid=15800 vsize=11852648 CPUtime=58.91 cores=1,3,5,7
/proc/15802/task/15813/stat : 15813 (java) S 15800 15802 13088 0 -1 4202560 278 0 0 0 5884 7 0 0 20 0 22 0 342575928 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108923288296 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15814] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15814/stat : 15814 (java) S 15800 15802 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108922234360 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15815] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15815/stat : 15815 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575928 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108921181960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15816] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15816/stat : 15816 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108920130448 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15802/tid=15817] ppid=15800 vsize=11852648 CPUtime=2.05 cores=1,3,5,7
/proc/15802/task/15817/stat : 15817 (java) S 15800 15802 13088 0 -1 4202560 10630 0 0 0 203 2 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108919077048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15818] ppid=15800 vsize=11852648 CPUtime=0.98 cores=1,3,5,7
/proc/15802/task/15818/stat : 15818 (java) S 15800 15802 13088 0 -1 4202560 7066 0 0 0 98 0 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108918024248 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15819] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15819/stat : 15819 (java) S 15800 15802 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108916972152 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15820] ppid=15800 vsize=11852648 CPUtime=0.48 cores=1,3,5,7
/proc/15802/task/15820/stat : 15820 (java) S 15800 15802 13088 0 -1 4202560 53 0 0 0 24 24 0 0 20 0 22 0 342575931 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108915919560 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15821] ppid=15800 vsize=11852648 CPUtime=860.21 cores=1,3,5,7
/proc/15802/task/15821/stat : 15821 (java) R 15800 15802 13088 0 -1 4202560 90 0 0 0 86007 14 0 0 20 0 22 0 342575970 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108914864848 140108964331434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15802/tid=15822] ppid=15800 vsize=11852648 CPUtime=860.26 cores=1,3,5,7
/proc/15802/task/15822/stat : 15822 (java) R 15800 15802 13088 0 -1 4202560 1638 0 0 0 85961 65 0 0 20 0 22 0 342575970 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108913810032 140108964464065 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15823] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15823/stat : 15823 (java) S 15800 15802 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108912760488 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15802/tid=15824] ppid=15800 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/15802/task/15824/stat : 15824 (java) S 15800 15802 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342575971 12137111552 968747 33554432000 1073741824 1073778376 140736200993136 140108911707688 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 11852648
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15802 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=580182
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=623753
# CPU time returned by wait4() is 1796.2
# while last known CPU time is 1800.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 925.756
CPU time (s): 1800.21
CPU user time (s): 1799
CPU system time (s): 1.21
CPU usage (%): 194.458
Max. virtual memory (cumulated for all children) (KiB): 11853280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.58
system time used= 1.62375
maximum resident set size= 3877160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25397
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26642
involuntary context switches= 32249
runsolver used 4.10138 second user time and 8.70568 second system time
The end