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-3732535-1338685873/watcher-3732535-1338685873 -o /tmp/evaluation-result-3732535-1338685873/solver-3732535-1338685873 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732535-1338685873.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.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=20596 CPUtime=0 cores=1,3,5,7
/proc/8924/stat : 8924 (java) R 8922 8924 5561 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 334711679 21090304 187 33554432000 1073741824 1073778376 140733302986176 140733302975240 209874681416 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 5149 190 145 9 0 128 0
[startup+0.03318 s]
/proc/loadavg: 3.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11042732 CPUtime=0.01 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 2916 0 1 0 1 0 0 0 20 0 10 0 334711679 11307757568 10262 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2760683 10265 1026 9 0 2751792 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11042732
[startup+0.100209 s]
/proc/loadavg: 3.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 4729 0 1 0 8 1 0 0 20 0 18 0 334711679 11864465408 13577 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2896598 13579 2106 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392
[startup+0.300194 s]
/proc/loadavg: 3.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11586392 CPUtime=0.47 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 5931 0 1 0 46 1 0 0 20 0 18 0 334711679 11864465408 16440 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2896598 16440 2224 9 0 2887285 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11586392
[startup+0.7002 s]
/proc/loadavg: 3.39 3.53 3.56 3/198 8924
/proc/meminfo: memFree=25741860/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=1.79 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 9856 0 1 0 176 3 0 0 20 0 22 0 334711679 12137111552 29289 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 29289 2262 9 0 2953849 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 11852648
[startup+1.50085 s]
/proc/loadavg: 3.39 3.53 3.56 5/220 8946
/proc/meminfo: memFree=25577644/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=3.5 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 10148 0 1 0 345 5 0 0 20 0 22 0 334711679 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 66187 2263 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2882 0 1 0 40 2 0 0 20 0 22 0 334711680 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334711683 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 2799 0 0 0 50 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3091 0 0 0 44 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 24 0 0 0 103 0 0 0 20 0 22 0 334711724 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591567795032 140591678273628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 150 0 0 0 101 2 0 0 20 0 22 0 334711724 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591566740024 140591678378467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 66187 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 11852648
[startup+3.10089 s]
/proc/loadavg: 3.39 3.53 3.56 5/220 8946
/proc/meminfo: memFree=25368128/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=6.71 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 10297 0 1 0 660 11 0 0 20 0 22 0 334711679 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 142475 2263 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2882 0 1 0 40 2 0 0 20 0 22 0 334711680 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334711683 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=0.51 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 2799 0 0 0 51 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3091 0 0 0 44 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=2.63 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 25 0 0 0 263 0 0 0 20 0 22 0 334711724 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591567794584 140591678330500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=2.63 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 298 0 0 0 255 8 0 0 20 0 22 0 334711724 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591566739904 140591678372838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 142475 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 11852648
[startup+6.3008 s]
/proc/loadavg: 3.44 3.54 3.57 5/220 8946
/proc/meminfo: memFree=24893504/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=13.69 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 17843 0 1 0 1351 18 0 0 20 0 22 0 334711679 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 211684 2289 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2882 0 1 0 40 2 0 0 20 0 22 0 334711680 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334711682 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 334711683 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 34 0 0 0 2 0 0 0 20 0 22 0 334711684 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=1.08 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 10157 0 0 0 105 3 0 0 20 0 22 0 334711686 12137111552 211684 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
/proc/8924/statm: 2963162 750900 2290 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2897 0 1 0 43 4 0 0 20 0 22 0 334711680 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 29 0 0 0 18 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 20 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0.16 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 23 0 0 0 16 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 29 0 0 0 17 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 31 0 0 0 17 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 35 0 0 0 17 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 17 0 0 0 20 0 22 0 334711682 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 30 0 0 0 15 0 0 0 20 0 22 0 334711683 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=6.26 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 137 0 0 0 621 5 0 0 20 0 22 0 334711684 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 12515 0 0 0 148 3 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3162 0 0 0 62 0 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 47 0 0 0 22 20 0 0 20 0 22 0 334711686 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=812.85 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 70 0 0 0 81273 12 0 0 20 0 22 0 334711724 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591567794624 140591678330560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=812.91 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 1441 0 0 0 81235 56 0 0 20 0 22 0 334711724 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591566739952 140591678373035 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 750900 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1640.79
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.92 3.90 3.76 5/219 9256
/proc/meminfo: memFree=23966152/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=1760.14 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 21704 0 1 0 175920 94 0 0 20 0 22 0 334711679 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 753986 2290 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2899 0 1 0 43 4 0 0 20 0 22 0 334711680 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 36 0 0 0 21 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 20 0 0 0 21 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 23 0 0 0 18 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 33 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 31 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 38 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 30 0 0 0 17 0 0 0 20 0 22 0 334711683 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=6.97 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 147 0 0 0 691 6 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 12515 0 0 0 148 3 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3162 0 0 0 62 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0.44 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 51 0 0 0 23 21 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=871.94 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 72 0 0 0 87181 13 0 0 20 0 22 0 334711724 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591567792720 140591678273623 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=871.97 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 1442 0 0 0 87140 57 0 0 20 0 22 0 334711724 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591566741824 140591678344717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1760.14
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.401 s]
/proc/loadavg: 3.94 3.91 3.77 5/219 9256
/proc/meminfo: memFree=23959884/32873844 swapFree=7632/7632
[pid=8924] ppid=8922 vsize=11852648 CPUtime=1800.15 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5561 0 -1 4202496 21705 0 1 0 179921 94 0 0 20 0 22 0 334711679 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140733302977312 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8924/statm: 2963162 753986 2290 9 0 2953849 0
[pid=8924/tid=8926] ppid=8922 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/8924/task/8926/stat : 8926 (java) S 8922 8924 5561 0 -1 4202560 2900 0 1 0 43 4 0 0 20 0 22 0 334711680 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591826764952 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5561 0 -1 4202560 36 0 0 0 21 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591663909416 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5561 0 -1 4202560 20 0 0 0 22 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591662856616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5561 0 -1 4202560 23 0 0 0 18 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591593679144 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=11852648 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5561 0 -1 4202560 33 0 0 0 20 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591592626344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=11852648 CPUtime=0.2 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5561 0 -1 4202560 31 0 0 0 20 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591591574568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5561 0 -1 4202560 38 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591590521768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=11852648 CPUtime=0.19 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 19 0 0 0 20 0 22 0 334711682 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591589468968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=11852648 CPUtime=0.17 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5561 0 -1 4202560 30 0 0 0 17 0 0 0 20 0 22 0 334711683 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591588416168 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=11852648 CPUtime=7.16 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5561 0 -1 4202560 147 0 0 0 710 6 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591576218088 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591575164152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711684 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591574111240 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591573059728 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=11852648 CPUtime=1.51 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5561 0 -1 4202560 12515 0 0 0 148 3 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591572007864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5561 0 -1 4202560 3162 0 0 0 62 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591570955064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591569902456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5561 0 -1 4202560 51 0 0 0 24 21 0 0 20 0 22 0 334711686 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591568849864 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=11852648 CPUtime=891.79 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5561 0 -1 4202560 72 0 0 0 89166 13 0 0 20 0 22 0 334711724 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591567794624 140591678330526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=11852648 CPUtime=891.82 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5561 0 -1 4202560 1442 0 0 0 89125 57 0 0 20 0 22 0 334711724 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591566739952 140591677802033 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591565689768 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5561 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 334711728 12137111552 753986 33554432000 1073741824 1073778376 140733302986176 140591564636968 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
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
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8924 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=530189
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=210815
# CPU time returned by wait4() is 1795.74
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 902.451
CPU time (s): 1800.15
CPU user time (s): 1799.21
CPU system time (s): 0.94
CPU usage (%): 199.473
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.53
system time used= 1.21081
maximum resident set size= 3016064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21737
page faults= 1
swaps= 0
block input operations= 0
block output operations= 912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23605
involuntary context switches= 11973
runsolver used 3.39048 second user time and 8.5757 second system time
The end