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-3741568-1338774555/watcher-3741568-1338774555 -o /tmp/evaluation-result-3741568-1338774555/solver-3741568-1338774555 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3741568-1338774555.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: 2.00 2.00 2.00 3/192 6323
/proc/meminfo: memFree=21012088/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/6323/stat : 6323 (java6) D 6321 6323 3438 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 343584043 9515008 182 33554432000 1073741824 1073778376 140734295890416 140734295881448 235374722741 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/6323/statm: 2323 182 140 9 0 71 0
[startup+0.0750331 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 6323
/proc/meminfo: memFree=21012088/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2648548 CPUtime=0.05 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 3796 0 1 0 4 1 0 0 20 0 18 0 343584043 2712113152 5516 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 662137 5516 1753 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648548
[startup+0.100306 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 6323
/proc/meminfo: memFree=21012088/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 4150 0 1 0 6 1 0 0 20 0 18 0 343584043 2712133632 5870 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 662142 5881 1979 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.300309 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 6323
/proc/meminfo: memFree=21012088/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2648568 CPUtime=0.53 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 7362 0 1 0 51 2 0 0 20 0 18 0 343584043 2712133632 11217 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 662142 11217 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2648568
[startup+0.70024 s]
/proc/loadavg: 2.00 2.00 2.00 3/192 6323
/proc/meminfo: memFree=21012088/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2715132 CPUtime=1.29 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 8478 0 1 0 127 2 0 0 20 0 19 0 343584043 2780295168 12740 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 678783 12740 2244 9 0 669476 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 2715132
[startup+1.50068 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6342
/proc/meminfo: memFree=20968176/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2715132 CPUtime=2.13 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 8487 0 1 0 211 2 0 0 20 0 19 0 343584043 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 678783 13770 2249 9 0 669476 0
[pid=6323/tid=6325] ppid=6321 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) R 6321 6323 3438 0 -1 4202560 2763 0 1 0 144 2 0 0 20 0 19 0 343584044 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509883822504 140509738355089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6326] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509868272296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6327] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509867219752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6328] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509866167208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6323/tid=6329] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509865114664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6330] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509864061096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6331] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509863008552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6332] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509861956008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6333] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6323 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509860903464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6334] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6323 3438 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509730273896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6335] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6323 3438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509729220216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6336] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6323 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509728167560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6337] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509727116304 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6338] ppid=6321 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/6323/task/6338/stat : 6338 (java) S 6321 6323 3438 0 -1 4202560 2103 0 0 0 28 0 0 0 20 0 19 0 343584050 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509726062648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6339] ppid=6321 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/6323/task/6339/stat : 6339 (java) S 6321 6323 3438 0 -1 4202560 2422 0 0 0 35 0 0 0 20 0 19 0 343584050 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509725010104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6340] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6340/stat : 6340 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509723957752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6341] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6341/stat : 6341 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140509722905416 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6342] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6342/stat : 6342 (java) S 6321 6323 3438 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343584078 2780295168 13770 33554432000 1073741824 1073778376 140734579849136 140508714231080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 2715132
[startup+3.10066 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6342
/proc/meminfo: memFree=20963336/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2715132 CPUtime=3.76 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 8490 0 1 0 374 2 0 0 20 0 19 0 343584043 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 678783 14794 2249 9 0 669476 0
[pid=6323/tid=6325] ppid=6321 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) R 6321 6323 3438 0 -1 4202560 2766 0 1 0 304 2 0 0 20 0 19 0 343584044 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509883822456 140509738280366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6326] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509868272296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6327] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509867219752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6328] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509866167208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6323/tid=6329] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509865114664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6330] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509864061096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6331] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509863008552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6332] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509861956008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6333] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6323 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509860903464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6334] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6323 3438 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509730273896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6335] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6323 3438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509729220216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6336] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6323 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509728167560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6337] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509727116304 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6338] ppid=6321 vsize=2715132 CPUtime=0.29 cores=1,3,5,7
/proc/6323/task/6338/stat : 6338 (java) S 6321 6323 3438 0 -1 4202560 2103 0 0 0 29 0 0 0 20 0 19 0 343584050 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509726062648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6339] ppid=6321 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/6323/task/6339/stat : 6339 (java) S 6321 6323 3438 0 -1 4202560 2422 0 0 0 38 0 0 0 20 0 19 0 343584050 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509725010104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6340] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6340/stat : 6340 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509723957752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6341] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6341/stat : 6341 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140509722905416 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6342] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6342/stat : 6342 (java) S 6321 6323 3438 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343584078 2780295168 14794 33554432000 1073741824 1073778376 140734579849136 140508714231080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 2715132
[startup+6.30076 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6342
/proc/meminfo: memFree=20952848/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2715132 CPUtime=7 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 8499 0 1 0 698 2 0 0 20 0 19 0 343584043 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 678783 17250 2250 9 0 669476 0
[pid=6323/tid=6325] ppid=6321 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) R 6321 6323 3438 0 -1 4202560 2774 0 1 0 624 2 0 0 20 0 19 0 343584044 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509883820672 140509738218431 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6326] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509868272296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6327] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509867219752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6328] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509866167208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6323/tid=6329] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509865114664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6330] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509864061096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6331] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509863008552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6332] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509861956008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6333] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6323 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343584046 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509860903464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6334] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6323 3438 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509730273896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6335] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6323 3438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509729220216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6336] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6323 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509728167560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6337] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509727116304 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6338] ppid=6321 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/6323/task/6338/stat : 6338 (java) S 6321 6323 3438 0 -1 4202560 2103 0 0 0 31 0 0 0 20 0 19 0 343584050 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509726062648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6339] ppid=6321 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/6323/task/6339/stat : 6339 (java) S 6321 6323 3438 0 -1 4202560 2422 0 0 0 40 0 0 0 20 0 19 0 343584050 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509725010104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6340] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6340/stat : 6340 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509723957752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6341] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6341/stat : 6341 (java) S 6321 6323 3438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140509722905416 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6342] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6342/stat : 6342 (java) S 6321 6323 3438 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343584078 2780295168 17250 33554432000 1073741824 1073778376 140734579849136 140508714231080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=6323/tid=6331] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6323 3438 0 -1 4202560 68 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509863008552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6332] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6323 3438 0 -1 4202560 68 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509861956008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6333] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6323 3438 0 -1 4202560 70 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509860903464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6334] ppid=6321 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6323 3438 0 -1 4202560 13 0 0 0 2 1 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509730273896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6335] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6323 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509729220216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6336] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6323 3438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509728167560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6337] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509727116304 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6338] ppid=6321 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/6323/task/6338/stat : 6338 (java) S 6321 6323 3438 0 -1 4202560 2451 0 0 0 34 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509726062648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6339] ppid=6321 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/6323/task/6339/stat : 6339 (java) S 6321 6323 3438 0 -1 4202560 2798 0 0 0 47 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509725010104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6340] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6340/stat : 6340 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509723957752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6341] ppid=6321 vsize=2715132 CPUtime=0.83 cores=1,3,5,7
/proc/6323/task/6341/stat : 6341 (java) S 6321 6323 3438 0 -1 4202560 98 0 0 0 50 33 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509722905416 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6342] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6342/stat : 6342 (java) S 6321 6323 3438 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343584078 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140508714231080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1664.42
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6493
/proc/meminfo: memFree=20424376/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2715132 CPUtime=1724.46 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 10039 0 1 0 172345 101 0 0 20 0 19 0 343584043 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 678783 161883 2265 9 0 669476 0
[pid=6323/tid=6325] ppid=6321 vsize=2715132 CPUtime=1721.85 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) R 6321 6323 3438 0 -1 4202560 2927 0 1 0 172151 34 0 0 20 0 19 0 343584044 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509883821528 140509738252063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6326] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6323 3438 0 -1 4202560 77 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509868272296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6327] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6323 3438 0 -1 4202560 70 0 0 0 2 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509867219752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6328] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6323 3438 0 -1 4202560 66 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509866167208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6323/tid=6329] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6323 3438 0 -1 4202560 80 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509865114664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6330] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6323 3438 0 -1 4202560 66 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509864061096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6323/tid=6331] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6323 3438 0 -1 4202560 68 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509863008552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6332] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6323 3438 0 -1 4202560 68 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509861956008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6333] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6323 3438 0 -1 4202560 70 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509860903464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6334] ppid=6321 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6323 3438 0 -1 4202560 13 0 0 0 2 1 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509730273896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6335] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6323 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509729220216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6336] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6323 3438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509728167560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6337] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509727116304 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6338] ppid=6321 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/6323/task/6338/stat : 6338 (java) S 6321 6323 3438 0 -1 4202560 2451 0 0 0 34 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509726062648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6339] ppid=6321 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/6323/task/6339/stat : 6339 (java) S 6321 6323 3438 0 -1 4202560 2798 0 0 0 47 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509725010104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6340] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6340/stat : 6340 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509723957752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6341] ppid=6321 vsize=2715132 CPUtime=0.86 cores=1,3,5,7
/proc/6323/task/6341/stat : 6341 (java) S 6321 6323 3438 0 -1 4202560 100 0 0 0 52 34 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509722905416 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6342] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6342/stat : 6342 (java) S 6321 6323 3438 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343584078 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140508714231080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1724.46
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6493
/proc/meminfo: memFree=20424252/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2715132 CPUtime=1784.5 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 10043 0 1 0 178348 102 0 0 20 0 19 0 343584043 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 678783 161883 2265 9 0 669476 0
[pid=6323/tid=6325] ppid=6321 vsize=2715132 CPUtime=1781.85 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) R 6321 6323 3438 0 -1 4202560 2927 0 1 0 178150 35 0 0 20 0 19 0 343584044 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509883821528 140509738251992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6326] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6323 3438 0 -1 4202560 77 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509868272296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6327] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6323 3438 0 -1 4202560 70 0 0 0 2 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509867219752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6328] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6323 3438 0 -1 4202560 66 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509866167208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6323/tid=6329] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6323 3438 0 -1 4202560 80 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509865114664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6330] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6323 3438 0 -1 4202560 66 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509864061096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6323/tid=6331] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6323 3438 0 -1 4202560 68 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509863008552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6332] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6323 3438 0 -1 4202560 68 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509861956008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6333] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6323 3438 0 -1 4202560 70 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509860903464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6334] ppid=6321 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6323 3438 0 -1 4202560 13 0 0 0 2 1 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509730273896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6335] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6323 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509729220216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6336] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6323 3438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509728167560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6337] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509727116304 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6338] ppid=6321 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/6323/task/6338/stat : 6338 (java) S 6321 6323 3438 0 -1 4202560 2451 0 0 0 34 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509726062648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6339] ppid=6321 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/6323/task/6339/stat : 6339 (java) S 6321 6323 3438 0 -1 4202560 2798 0 0 0 47 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509725010104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6340] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6340/stat : 6340 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509723957752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6341] ppid=6321 vsize=2715132 CPUtime=0.89 cores=1,3,5,7
/proc/6323/task/6341/stat : 6341 (java) S 6321 6323 3438 0 -1 4202560 104 0 0 0 55 34 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509722905416 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6342] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6342/stat : 6342 (java) S 6321 6323 3438 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343584078 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140508714231080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6493
/proc/meminfo: memFree=20424252/32873844 swapFree=7112/7112
[pid=6323] ppid=6321 vsize=2715132 CPUtime=1800.03 cores=1,3,5,7
/proc/6323/stat : 6323 (java) S 6321 6323 3438 0 -1 4202496 10043 0 1 0 179900 103 0 0 20 0 19 0 343584043 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140734579840272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/6323/statm: 678783 161883 2265 9 0 669476 0
[pid=6323/tid=6325] ppid=6321 vsize=2715132 CPUtime=1797.36 cores=1,3,5,7
/proc/6323/task/6325/stat : 6325 (java) R 6321 6323 3438 0 -1 4202560 2927 0 1 0 179701 35 0 0 20 0 19 0 343584044 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509883821528 140509738252230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6326] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6326/stat : 6326 (java) S 6321 6323 3438 0 -1 4202560 77 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509868272296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6327] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6327/stat : 6327 (java) S 6321 6323 3438 0 -1 4202560 70 0 0 0 2 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509867219752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6328] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6328/stat : 6328 (java) S 6321 6323 3438 0 -1 4202560 66 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509866167208 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6323/tid=6329] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6329/stat : 6329 (java) S 6321 6323 3438 0 -1 4202560 80 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509865114664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6330] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6330/stat : 6330 (java) S 6321 6323 3438 0 -1 4202560 66 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509864061096 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6323/tid=6331] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6331/stat : 6331 (java) S 6321 6323 3438 0 -1 4202560 68 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509863008552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6332] ppid=6321 vsize=2715132 CPUtime=0.09 cores=1,3,5,7
/proc/6323/task/6332/stat : 6332 (java) S 6321 6323 3438 0 -1 4202560 68 0 0 0 3 6 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509861956008 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6333] ppid=6321 vsize=2715132 CPUtime=0.08 cores=1,3,5,7
/proc/6323/task/6333/stat : 6333 (java) S 6321 6323 3438 0 -1 4202560 70 0 0 0 3 5 0 0 20 0 19 0 343584046 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509860903464 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6334] ppid=6321 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/6323/task/6334/stat : 6334 (java) S 6321 6323 3438 0 -1 4202560 13 0 0 0 2 1 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509730273896 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6335] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6335/stat : 6335 (java) S 6321 6323 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509729220216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6336] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6336/stat : 6336 (java) S 6321 6323 3438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343584047 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509728167560 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6337] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6337/stat : 6337 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509727116304 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6338] ppid=6321 vsize=2715132 CPUtime=0.34 cores=1,3,5,7
/proc/6323/task/6338/stat : 6338 (java) S 6321 6323 3438 0 -1 4202560 2451 0 0 0 34 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509726062648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6323/tid=6339] ppid=6321 vsize=2715132 CPUtime=0.47 cores=1,3,5,7
/proc/6323/task/6339/stat : 6339 (java) S 6321 6323 3438 0 -1 4202560 2798 0 0 0 47 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509725010104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6340] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6340/stat : 6340 (java) S 6321 6323 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509723957752 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6323/tid=6341] ppid=6321 vsize=2715132 CPUtime=0.9 cores=1,3,5,7
/proc/6323/task/6341/stat : 6341 (java) S 6321 6323 3438 0 -1 4202560 104 0 0 0 55 35 0 0 20 0 19 0 343584050 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140509722905416 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6323/tid=6342] ppid=6321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/6323/task/6342/stat : 6342 (java) S 6321 6323 3438 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 343584078 2780295168 161883 33554432000 1073741824 1073778376 140734579849136 140508714231080 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.87
CPU time (s): 1800.17
CPU user time (s): 1798.86
CPU system time (s): 1.3118
CPU usage (%): 100.128
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.86
system time used= 1.3118
maximum resident set size= 647688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10086
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37994
involuntary context switches= 14482
runsolver used 7.82181 second user time and 14.5708 second system time
The end