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-3718148-1338250594/watcher-3718148-1338250594 -o /tmp/evaluation-result-3718148-1338250594/solver-3718148-1338250594 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718148-1338250594.wbo
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.90 2/194 9682
/proc/meminfo: memFree=31167932/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9682/stat : 9682 (java) D 9680 9682 6647 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291183719 9515008 183 33554432000 1073741824 1073778376 140736362599296 140736362590328 209883840181 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/9682/statm: 2323 183 140 9 0 71 0
[startup+0.0328449 s]
/proc/loadavg: 2.00 1.99 1.90 2/194 9682
/proc/meminfo: memFree=31167932/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9016616 CPUtime=0.01 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 2774 0 1 0 1 0 0 0 20 0 10 0 291183719 9233014784 3474 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2254154 3474 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616
[startup+0.100248 s]
/proc/loadavg: 2.00 1.99 1.90 2/194 9682
/proc/meminfo: memFree=31167932/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 4255 0 1 0 7 1 0 0 20 0 18 0 291183719 9787817984 5462 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2389604 5462 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416
[startup+0.300211 s]
/proc/loadavg: 2.00 1.99 1.90 2/194 9682
/proc/meminfo: memFree=31167932/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 6261 0 1 0 46 2 0 0 20 0 19 0 291183719 9855979520 7657 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2406245 7657 2223 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624980
[startup+0.700187 s]
/proc/loadavg: 2.00 1.99 1.90 2/194 9682
/proc/meminfo: memFree=31167932/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9624980 CPUtime=0.99 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 6793 0 1 0 97 2 0 0 20 0 19 0 291183719 9855979520 10416 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2406245 10416 2254 9 0 2396937 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9624980
[startup+1.50068 s]
/proc/loadavg: 2.00 1.99 1.90 3/213 9701
/proc/meminfo: memFree=31130408/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9624980 CPUtime=1.83 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 6819 0 1 0 180 3 0 0 20 0 19 0 291183719 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2406245 13499 2262 9 0 2396937 0
[pid=9682/tid=9684] ppid=9680 vsize=9624980 CPUtime=1.44 cores=0,2,4,6
/proc/9682/task/9684/stat : 9684 (java) R 9680 9682 6647 0 -1 4202560 2460 0 1 0 142 2 0 0 20 0 19 0 291183720 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140513173912 140140370956885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9685] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9685/stat : 9685 (java) S 9680 9682 6647 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140491275048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9686] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9686/stat : 9686 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140490222248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9687] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9687/stat : 9687 (java) S 9680 9682 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140489169960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9688] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9688/stat : 9688 (java) S 9680 9682 6647 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140152351656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9689] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9689/stat : 9689 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140151298344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9690] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9690/stat : 9690 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140150245544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9691] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9691/stat : 9691 (java) S 9680 9682 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140149193256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9692] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9692/stat : 9692 (java) S 9680 9682 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140148140456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9693] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9693/stat : 9693 (java) S 9680 9682 6647 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140135942888 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9694] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9694/stat : 9694 (java) S 9680 9682 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140134888952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9695] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9695/stat : 9695 (java) S 9680 9682 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140133836552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9696] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9696/stat : 9696 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140132785040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9697] ppid=9680 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/9682/task/9697/stat : 9697 (java) S 9680 9682 6647 0 -1 4202560 1255 0 0 0 18 0 0 0 20 0 19 0 291183726 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140131731640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9698] ppid=9680 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/9682/task/9698/stat : 9698 (java) S 9680 9682 6647 0 -1 4202560 1850 0 0 0 13 0 0 0 20 0 19 0 291183726 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140130678840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9699] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9699/stat : 9699 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140129626744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9700] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9700/stat : 9700 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140128574152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9701] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9701/stat : 9701 (java) S 9680 9682 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291183737 9855979520 13499 33554432000 1073741824 1073778376 140736532256960 140140127483304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9624980
[startup+3.10053 s]
/proc/loadavg: 2.00 1.99 1.90 3/213 9701
/proc/meminfo: memFree=31121472/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9624980 CPUtime=3.45 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 6835 0 1 0 341 4 0 0 20 0 19 0 291183719 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2406245 15041 2262 9 0 2396937 0
[pid=9682/tid=9684] ppid=9680 vsize=9624980 CPUtime=3.02 cores=0,2,4,6
/proc/9682/task/9684/stat : 9684 (java) R 9680 9682 6647 0 -1 4202560 2461 0 1 0 300 2 0 0 20 0 19 0 291183720 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140513173792 140140370915281 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9685] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9685/stat : 9685 (java) S 9680 9682 6647 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140491275048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9686] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9686/stat : 9686 (java) S 9680 9682 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140490222248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9687] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9687/stat : 9687 (java) S 9680 9682 6647 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140489169960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9688] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9688/stat : 9688 (java) S 9680 9682 6647 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140152351656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9689] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9689/stat : 9689 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140151298344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9690] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9690/stat : 9690 (java) S 9680 9682 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140150245544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9691] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9691/stat : 9691 (java) S 9680 9682 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140149193256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9692] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9692/stat : 9692 (java) S 9680 9682 6647 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140148140456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9693] ppid=9680 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9682/task/9693/stat : 9693 (java) S 9680 9682 6647 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 291183723 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140135942888 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9694] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9694/stat : 9694 (java) S 9680 9682 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140134888952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9695] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9695/stat : 9695 (java) S 9680 9682 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140133836552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9696] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9696/stat : 9696 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140132785040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9697] ppid=9680 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/9682/task/9697/stat : 9697 (java) S 9680 9682 6647 0 -1 4202560 1255 0 0 0 19 0 0 0 20 0 19 0 291183726 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140131731640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9698] ppid=9680 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/9682/task/9698/stat : 9698 (java) S 9680 9682 6647 0 -1 4202560 1851 0 0 0 13 0 0 0 20 0 19 0 291183726 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140130678840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9699] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9699/stat : 9699 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140129626744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9700] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9700/stat : 9700 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140128574152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9701] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9701/stat : 9701 (java) S 9680 9682 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291183737 9855979520 15041 33554432000 1073741824 1073778376 140736532256960 140140127483304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9624980
[startup+6.30069 s]
/proc/loadavg: 2.00 1.99 1.90 3/213 9701
/proc/meminfo: memFree=31100884/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9624980 CPUtime=6.72 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 6872 0 1 0 666 6 0 0 20 0 19 0 291183719 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2406245 19119 2264 9 0 2396937 0
[pid=9682/tid=9684] ppid=9680 vsize=9624980 CPUtime=6.16 cores=0,2,4,6
/proc/9682/task/9684/stat : 9684 (java) R 9680 9682 6647 0 -1 4202560 2466 0 1 0 614 2 0 0 20 0 19 0 291183720 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140513173928 140140371073124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9685] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9685/stat : 9685 (java) S 9680 9682 6647 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140491275048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9686] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9686/stat : 9686 (java) S 9680 9682 6647 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140490222248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9687] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9687/stat : 9687 (java) S 9680 9682 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140489169960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9688] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9688/stat : 9688 (java) S 9680 9682 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140152351656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9689] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9689/stat : 9689 (java) S 9680 9682 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140151298344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9690] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9690/stat : 9690 (java) S 9680 9682 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140150245544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9691] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9691/stat : 9691 (java) S 9680 9682 6647 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291183722 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140149193256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9692] ppid=9680 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9682/task/9692/stat : 9692 (java) S 9680 9682 6647 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 291183722 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140148140456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9693] ppid=9680 vsize=9624980 CPUtime=0.04 cores=0,2,4,6
/proc/9682/task/9693/stat : 9693 (java) S 9680 9682 6647 0 -1 4202560 37 0 0 0 4 0 0 0 20 0 19 0 291183723 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140135942888 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9694] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9694/stat : 9694 (java) S 9680 9682 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140134888952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9695] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9695/stat : 9695 (java) S 9680 9682 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140133836552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9696] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9696/stat : 9696 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140132785040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9697] ppid=9680 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/9682/task/9697/stat : 9697 (java) S 9680 9682 6647 0 -1 4202560 1257 0 0 0 22 0 0 0 20 0 19 0 291183726 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140131731640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9698] ppid=9680 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/9682/task/9698/stat : 9698 (java) S 9680 9682 6647 0 -1 4202560 1851 0 0 0 14 0 0 0 20 0 19 0 291183726 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140130678840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9699] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9699/stat : 9699 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140129626744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9700] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9700/stat : 9700 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140128574152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9701] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9701/stat : 9701 (java) S 9680 9682 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291183737 9855979520 19119 33554432000 1073741824 1073778376 140736532256960 140140127483304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 9624980
[startup+12.7007 s]
################
# More data... #
################
[pid=9682/tid=9697] ppid=9680 vsize=9624980 CPUtime=0.24 cores=0,2,4,6
/proc/9682/task/9697/stat : 9697 (java) S 9680 9682 6647 0 -1 4202560 1537 0 0 0 24 0 0 0 20 0 19 0 291183726 9855979520 83449 33554432000 1073741824 1073778376 140736532256960 140140131731640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9698] ppid=9680 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/9682/task/9698/stat : 9698 (java) S 9680 9682 6647 0 -1 4202560 1851 0 0 0 14 0 0 0 20 0 19 0 291183726 9855979520 83449 33554432000 1073741824 1073778376 140736532256960 140140130678840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9699] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9699/stat : 9699 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 83449 33554432000 1073741824 1073778376 140736532256960 140140129626744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9700] ppid=9680 vsize=9624980 CPUtime=0.66 cores=0,2,4,6
/proc/9682/task/9700/stat : 9700 (java) S 9680 9682 6647 0 -1 4202560 94 0 0 0 29 37 0 0 20 0 19 0 291183726 9855979520 83449 33554432000 1073741824 1073778376 140736532256960 140140128574152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9701] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9701/stat : 9701 (java) S 9680 9682 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291183737 9855979520 83449 33554432000 1073741824 1073778376 140736532256960 140140127483304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1665.81
Current children cumulated vsize (KiB) 9624980
[startup+1722.3 s]
/proc/loadavg: 2.10 2.06 1.97 3/213 9774
/proc/meminfo: memFree=30440188/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9624980 CPUtime=1726.04 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 9467 0 1 0 172555 49 0 0 20 0 19 0 291183719 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2406245 83503 2265 9 0 2396937 0
[pid=9682/tid=9684] ppid=9680 vsize=9624980 CPUtime=1713.48 cores=0,2,4,6
/proc/9682/task/9684/stat : 9684 (java) R 9680 9682 6647 0 -1 4202560 2581 0 1 0 171319 29 0 0 20 0 19 0 291183720 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140513173792 140140370956852 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9685] ppid=9680 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/9682/task/9685/stat : 9685 (java) S 9680 9682 6647 0 -1 4202560 282 0 0 0 51 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140491275048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9686] ppid=9680 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/9682/task/9686/stat : 9686 (java) S 9680 9682 6647 0 -1 4202560 142 0 0 0 52 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140490222248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9687] ppid=9680 vsize=9624980 CPUtime=0.64 cores=0,2,4,6
/proc/9682/task/9687/stat : 9687 (java) S 9680 9682 6647 0 -1 4202560 234 0 0 0 61 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140489169960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9688] ppid=9680 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/9682/task/9688/stat : 9688 (java) S 9680 9682 6647 0 -1 4202560 353 0 0 0 59 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140152351656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9689] ppid=9680 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/9682/task/9689/stat : 9689 (java) S 9680 9682 6647 0 -1 4202560 178 0 0 0 57 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140151298344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9690] ppid=9680 vsize=9624980 CPUtime=0.54 cores=0,2,4,6
/proc/9682/task/9690/stat : 9690 (java) S 9680 9682 6647 0 -1 4202560 228 0 0 0 50 4 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140150245544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9691] ppid=9680 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/9682/task/9691/stat : 9691 (java) S 9680 9682 6647 0 -1 4202560 290 0 0 0 53 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140149193256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9692] ppid=9680 vsize=9624980 CPUtime=0.53 cores=0,2,4,6
/proc/9682/task/9692/stat : 9692 (java) S 9680 9682 6647 0 -1 4202560 353 0 0 0 49 4 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140148140456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9693] ppid=9680 vsize=9624980 CPUtime=3.03 cores=0,2,4,6
/proc/9682/task/9693/stat : 9693 (java) S 9680 9682 6647 0 -1 4202560 160 0 0 0 300 3 0 0 20 0 19 0 291183723 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140135942888 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9694] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9694/stat : 9694 (java) S 9680 9682 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140134888952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9695] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9695/stat : 9695 (java) S 9680 9682 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140133836552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9696] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9696/stat : 9696 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140132785040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9697] ppid=9680 vsize=9624980 CPUtime=0.24 cores=0,2,4,6
/proc/9682/task/9697/stat : 9697 (java) S 9680 9682 6647 0 -1 4202560 1537 0 0 0 24 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140131731640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9698] ppid=9680 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/9682/task/9698/stat : 9698 (java) S 9680 9682 6647 0 -1 4202560 1851 0 0 0 14 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140130678840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9699] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9699/stat : 9699 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140129626744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9700] ppid=9680 vsize=9624980 CPUtime=0.68 cores=0,2,4,6
/proc/9682/task/9700/stat : 9700 (java) S 9680 9682 6647 0 -1 4202560 98 0 0 0 30 38 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140128574152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9701] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9701/stat : 9701 (java) S 9680 9682 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291183737 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140127483304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.04
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 1.97 3/213 9774
/proc/meminfo: memFree=30446508/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9624980 CPUtime=1786.13 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 9474 0 1 0 178563 50 0 0 20 0 19 0 291183719 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2406245 83503 2265 9 0 2396937 0
[pid=9682/tid=9684] ppid=9680 vsize=9624980 CPUtime=1773.23 cores=0,2,4,6
/proc/9682/task/9684/stat : 9684 (java) R 9680 9682 6647 0 -1 4202560 2582 0 1 0 177294 29 0 0 20 0 19 0 291183720 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140513173792 140140370956890 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9685] ppid=9680 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/9682/task/9685/stat : 9685 (java) S 9680 9682 6647 0 -1 4202560 282 0 0 0 52 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140491275048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9686] ppid=9680 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/9682/task/9686/stat : 9686 (java) S 9680 9682 6647 0 -1 4202560 142 0 0 0 54 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140490222248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9687] ppid=9680 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/9682/task/9687/stat : 9687 (java) S 9680 9682 6647 0 -1 4202560 234 0 0 0 62 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140489169960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9688] ppid=9680 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/9682/task/9688/stat : 9688 (java) S 9680 9682 6647 0 -1 4202560 353 0 0 0 60 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140152351656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9689] ppid=9680 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/9682/task/9689/stat : 9689 (java) S 9680 9682 6647 0 -1 4202560 178 0 0 0 58 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140151298344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9690] ppid=9680 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/9682/task/9690/stat : 9690 (java) S 9680 9682 6647 0 -1 4202560 228 0 0 0 51 4 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140150245544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9691] ppid=9680 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/9682/task/9691/stat : 9691 (java) S 9680 9682 6647 0 -1 4202560 290 0 0 0 54 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140149193256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9692] ppid=9680 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/9682/task/9692/stat : 9692 (java) S 9680 9682 6647 0 -1 4202560 353 0 0 0 52 4 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140148140456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9693] ppid=9680 vsize=9624980 CPUtime=3.1 cores=0,2,4,6
/proc/9682/task/9693/stat : 9693 (java) S 9680 9682 6647 0 -1 4202560 162 0 0 0 307 3 0 0 20 0 19 0 291183723 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140135942888 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9694] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9694/stat : 9694 (java) S 9680 9682 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140134888952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9695] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9695/stat : 9695 (java) S 9680 9682 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140133836552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9696] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9696/stat : 9696 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140132785040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9697] ppid=9680 vsize=9624980 CPUtime=0.24 cores=0,2,4,6
/proc/9682/task/9697/stat : 9697 (java) S 9680 9682 6647 0 -1 4202560 1537 0 0 0 24 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140131731640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9698] ppid=9680 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/9682/task/9698/stat : 9698 (java) S 9680 9682 6647 0 -1 4202560 1851 0 0 0 14 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140130678840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9699] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9699/stat : 9699 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140129626744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9700] ppid=9680 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/9682/task/9700/stat : 9700 (java) S 9680 9682 6647 0 -1 4202560 102 0 0 0 32 39 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140128574152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9701] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9701/stat : 9701 (java) S 9680 9682 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291183737 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140127483304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.13
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.02 2.04 1.97 3/213 9774
/proc/meminfo: memFree=30431496/32873844 swapFree=7632/7632
[pid=9682] ppid=9680 vsize=9624980 CPUtime=1800.04 cores=0,2,4,6
/proc/9682/stat : 9682 (java) S 9680 9682 6647 0 -1 4202496 9474 0 1 0 179954 50 0 0 20 0 19 0 291183719 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140736532248096 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9682/statm: 2406245 83503 2265 9 0 2396937 0
[pid=9682/tid=9684] ppid=9680 vsize=9624980 CPUtime=1787.11 cores=0,2,4,6
/proc/9682/task/9684/stat : 9684 (java) R 9680 9682 6647 0 -1 4202560 2582 0 1 0 178681 30 0 0 20 0 19 0 291183720 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140513173792 140140370957677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9685] ppid=9680 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/9682/task/9685/stat : 9685 (java) S 9680 9682 6647 0 -1 4202560 282 0 0 0 52 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140491275048 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9686] ppid=9680 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/9682/task/9686/stat : 9686 (java) S 9680 9682 6647 0 -1 4202560 142 0 0 0 54 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140490222248 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9687] ppid=9680 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/9682/task/9687/stat : 9687 (java) S 9680 9682 6647 0 -1 4202560 234 0 0 0 62 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140489169960 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9688] ppid=9680 vsize=9624980 CPUtime=0.63 cores=0,2,4,6
/proc/9682/task/9688/stat : 9688 (java) S 9680 9682 6647 0 -1 4202560 353 0 0 0 60 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140152351656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9689] ppid=9680 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/9682/task/9689/stat : 9689 (java) S 9680 9682 6647 0 -1 4202560 178 0 0 0 58 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140151298344 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9682/tid=9690] ppid=9680 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/9682/task/9690/stat : 9690 (java) S 9680 9682 6647 0 -1 4202560 228 0 0 0 51 4 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140150245544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9691] ppid=9680 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/9682/task/9691/stat : 9691 (java) S 9680 9682 6647 0 -1 4202560 290 0 0 0 54 3 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140149193256 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9692] ppid=9680 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/9682/task/9692/stat : 9692 (java) S 9680 9682 6647 0 -1 4202560 353 0 0 0 52 4 0 0 20 0 19 0 291183722 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140148140456 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9693] ppid=9680 vsize=9624980 CPUtime=3.1 cores=0,2,4,6
/proc/9682/task/9693/stat : 9693 (java) S 9680 9682 6647 0 -1 4202560 162 0 0 0 307 3 0 0 20 0 19 0 291183723 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140135942888 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9694] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9694/stat : 9694 (java) S 9680 9682 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140134888952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9695] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9695/stat : 9695 (java) S 9680 9682 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291183723 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140133836552 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9696] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9696/stat : 9696 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140132785040 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9682/tid=9697] ppid=9680 vsize=9624980 CPUtime=0.24 cores=0,2,4,6
/proc/9682/task/9697/stat : 9697 (java) S 9680 9682 6647 0 -1 4202560 1537 0 0 0 24 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140131731640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9698] ppid=9680 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/9682/task/9698/stat : 9698 (java) S 9680 9682 6647 0 -1 4202560 1851 0 0 0 14 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140130678840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9699] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9699/stat : 9699 (java) S 9680 9682 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140129626744 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9682/tid=9700] ppid=9680 vsize=9624980 CPUtime=0.72 cores=0,2,4,6
/proc/9682/task/9700/stat : 9700 (java) S 9680 9682 6647 0 -1 4202560 102 0 0 0 32 40 0 0 20 0 19 0 291183726 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140128574152 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9682/tid=9701] ppid=9680 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9682/task/9701/stat : 9701 (java) S 9680 9682 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291183737 9855979520 83503 33554432000 1073741824 1073778376 140736532256960 140140127483304 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9624980
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 9682 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=229083
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=132827
# CPU time returned by wait4() is 1796.36
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1796.26
CPU time (s): 1800.04
CPU user time (s): 1799.54
CPU system time (s): 0.5
CPU usage (%): 100.211
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.23
system time used= 1.13283
maximum resident set size= 334356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9593
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40281
involuntary context switches= 12314
runsolver used 6.13907 second user time and 14.7938 second system time
The end