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-3733038-1338741289/watcher-3733038-1338741289 -o /tmp/evaluation-result-3733038-1338741289/solver-3733038-1338741289 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3733038-1338741289.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.64 3.82 3.60 4/197 18244
/proc/meminfo: memFree=27876644/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/18244/stat : 18244 (java) R 18242 18244 17063 0 -1 4202496 755 0 0 0 0 0 0 0 20 0 1 0 340253274 23793664 483 33554432000 1073741824 1073778376 140734354567312 140734354556376 209874631233 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 5809 494 373 9 0 128 0
[startup+0.080135 s]
/proc/loadavg: 3.64 3.82 3.60 4/197 18244
/proc/meminfo: memFree=27876644/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=2699928 CPUtime=0.06 cores=1,3,5,7
/proc/18244/stat : 18244 (java) S 18242 18244 17063 0 -1 4202496 3954 0 1 0 5 1 0 0 20 0 18 0 340253274 2764726272 5162 33554432000 1073741824 1073778376 140734354567312 140734354558448 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 674982 5162 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2699928
[startup+0.100308 s]
/proc/loadavg: 3.64 3.82 3.60 4/197 18244
/proc/meminfo: memFree=27876644/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/18244/stat : 18244 (java) S 18242 18244 17063 0 -1 4202496 4792 0 1 0 9 1 0 0 20 0 18 0 340253274 2764726272 5975 33554432000 1073741824 1073778376 140734354567312 140734354558448 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 674982 5975 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300241 s]
/proc/loadavg: 3.64 3.82 3.60 4/197 18244
/proc/meminfo: memFree=27876644/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=2699928 CPUtime=0.47 cores=1,3,5,7
/proc/18244/stat : 18244 (java) S 18242 18244 17063 0 -1 4202496 5887 0 1 0 45 2 0 0 20 0 18 0 340253274 2764726272 8683 33554432000 1073741824 1073778376 140734354567312 140734354558448 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 674982 8683 2216 9 0 665676 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2699928
[startup+0.700274 s]
/proc/loadavg: 3.64 3.82 3.60 4/197 18244
/proc/meminfo: memFree=27876644/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=2966184 CPUtime=1.14 cores=1,3,5,7
/proc/18244/stat : 18244 (java) S 18242 18244 17063 0 -1 4202496 12716 0 1 0 108 6 0 0 20 0 20 0 340253274 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140734354558448 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 741546 22256 2242 9 0 732240 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2966184
[startup+1.5007 s]
/proc/loadavg: 3.64 3.82 3.60 1/215 18266
/proc/meminfo: memFree=27796332/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=2966184 CPUtime=1.14 cores=1,3,5,7
/proc/18244/stat : 18244 (java) S 18242 18244 17063 0 -1 4202496 12716 0 1 0 108 6 0 0 20 0 20 0 340253274 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140734354558448 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 741546 22256 2242 9 0 732240 0
[pid=18244/tid=18246] ppid=18242 vsize=2966184 CPUtime=0.48 cores=1,3,5,7
/proc/18244/task/18246/stat : 18246 (java) S 18242 18244 17063 0 -1 4202560 2864 0 1 0 46 2 0 0 20 0 20 0 340253275 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387851547800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18247] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18247/stat : 18247 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387785497128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18248] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18248/stat : 18248 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387716950440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18249] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18249/stat : 18249 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387715897640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18250] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18250/stat : 18250 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387714844840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18251] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18251/stat : 18251 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387713793064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18252] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18252/stat : 18252 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387712740264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18253] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18253/stat : 18253 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387711687464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18254] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18254/stat : 18254 (java) S 18242 18244 17063 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387710634664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18255] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18255/stat : 18255 (java) S 18242 18244 17063 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340253277 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387698436584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18256] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18256/stat : 18256 (java) S 18242 18244 17063 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340253277 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387697382648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18257] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18257/stat : 18257 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340253277 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387696329736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18258] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18258/stat : 18258 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253280 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387695278224 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18259] ppid=18242 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/18244/task/18259/stat : 18259 (java) S 18242 18244 17063 0 -1 4202560 4619 0 0 0 28 1 0 0 20 0 20 0 340253280 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387694226360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18260] ppid=18242 vsize=2966184 CPUtime=0.3 cores=1,3,5,7
/proc/18244/task/18260/stat : 18260 (java) S 18242 18244 17063 0 -1 4202560 3995 0 0 0 28 2 0 0 20 0 20 0 340253280 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387693173560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18261] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18261/stat : 18261 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253280 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387692120952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18262] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18262/stat : 18262 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253280 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387691068360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18265] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18265/stat : 18265 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340253327 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387687879592 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18266] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18266/stat : 18266 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340253327 3037372416 22256 33554432000 1073741824 1073778376 140734354567312 140387686826792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 2966184
[startup+3.10066 s]
/proc/loadavg: 3.64 3.82 3.60 3/217 18270
/proc/meminfo: memFree=27781576/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=2966184 CPUtime=1.58 cores=1,3,5,7
/proc/18244/stat : 18244 (java) S 18242 18244 17063 0 -1 4202496 13461 0 1 0 147 11 0 0 20 0 20 0 340253274 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140734354558448 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 741546 25034 2252 9 0 732240 0
[pid=18244/tid=18246] ppid=18242 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/18244/task/18246/stat : 18246 (java) S 18242 18244 17063 0 -1 4202560 2865 0 1 0 47 2 0 0 20 0 20 0 340253275 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387851547800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18247] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18247/stat : 18247 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387785497128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18248] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18248/stat : 18248 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387716950440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18249] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18249/stat : 18249 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387715897640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18250] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18250/stat : 18250 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387714844840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18251] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18251/stat : 18251 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387713793064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18252] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18252/stat : 18252 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387712740264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18253] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18253/stat : 18253 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387711687464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18254] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18254/stat : 18254 (java) S 18242 18244 17063 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 340253276 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387710634664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18255] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18255/stat : 18255 (java) S 18242 18244 17063 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340253277 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387698436584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18256] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18256/stat : 18256 (java) S 18242 18244 17063 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 340253277 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387697382648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18257] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18257/stat : 18257 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340253277 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387696329736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18258] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18258/stat : 18258 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253280 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387695278224 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18259] ppid=18242 vsize=2966184 CPUtime=0.4 cores=1,3,5,7
/proc/18244/task/18259/stat : 18259 (java) S 18242 18244 17063 0 -1 4202560 4771 0 0 0 39 1 0 0 20 0 20 0 340253280 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387694226360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18260] ppid=18242 vsize=2966184 CPUtime=0.43 cores=1,3,5,7
/proc/18244/task/18260/stat : 18260 (java) S 18242 18244 17063 0 -1 4202560 4519 0 0 0 41 2 0 0 20 0 20 0 340253280 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387693173560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18261] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18261/stat : 18261 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253280 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387692120952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18262] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18262/stat : 18262 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253280 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387691068360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18265] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18265/stat : 18265 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340253327 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387687879592 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18266] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18266/stat : 18266 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 340253327 3037372416 25034 33554432000 1073741824 1073778376 140734354567312 140387686826792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 2966184
heavy processes:
[startup+6.30072 s]
/proc/loadavg: 3.59 3.81 3.60 5/219 18274
/proc/meminfo: memFree=27540652/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=2966184 CPUtime=7.85 cores=1,3,5,7
/proc/18244/stat : 18244 (java) S 18242 18244 17063 0 -1 4202496 21298 0 1 0 764 21 0 0 20 0 20 0 340253274 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140734354558448 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 741546 89090 2286 9 0 732240 0
[pid=18244/tid=18246] ppid=18242 vsize=2966184 CPUtime=0.49 cores=1,3,5,7
/proc/18244/task/18246/stat : 18246 (java) S 18242 18244 17063 0 -1 4202560 2866 0 1 0 47 2 0 0 20 0 20 0 340253275 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387851547800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18247] ppid=18242 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18244/task/18247/stat : 18247 (java) S 18242 18244 17063 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 20 0 340253276 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387785497128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18248] ppid=18242 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18244/task/18248/stat : 18248 (java) S 18242 18244 17063 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 20 0 340253276 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387716950440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18249] ppid=18242 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18244/task/18249/stat : 18249 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 20 0 340253276 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387715897640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18250] ppid=18242 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18244/task/18250/stat : 18250 (java) S 18242 18244 17063 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 20 0 340253276 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387714844840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18251] ppid=18242 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18244/task/18251/stat : 18251 (java) S 18242 18244 17063 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 20 0 340253276 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387713793064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18252] ppid=18242 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18244/task/18252/stat : 18252 (java) S 18242 18244 17063 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 20 0 340253276 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387712740264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18253] ppid=18242 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/18244/task/18253/stat : 18253 (java) S 18242 18244 17063 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 20 0 340253276 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387711687464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18254] ppid=18242 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/18244/task/18254/stat : 18254 (java) S 18242 18244 17063 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 20 0 340253276 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387710634664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18255] ppid=18242 vsize=2966184 CPUtime=0.16 cores=1,3,5,7
/proc/18244/task/18255/stat : 18255 (java) S 18242 18244 17063 0 -1 4202560 51 0 0 0 15 1 0 0 20 0 20 0 340253277 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387698436584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18256] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18256/stat : 18256 (java) S 18242 18244 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 340253277 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387697382648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18257] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18257/stat : 18257 (java) S 18242 18244 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 340253277 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387696329736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18258] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18258/stat : 18258 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253280 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387695278224 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18259] ppid=18242 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/18244/task/18259/stat : 18259 (java) S 18242 18244 17063 0 -1 4202560 8259 0 0 0 93 2 0 0 20 0 20 0 340253280 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387694226360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18260] ppid=18242 vsize=2966184 CPUtime=1.11 cores=1,3,5,7
/proc/18244/task/18260/stat : 18260 (java) S 18242 18244 17063 0 -1 4202560 8628 0 0 0 108 3 0 0 20 0 20 0 340253280 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387693173560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18261] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18261/stat : 18261 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 340253280 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387692120952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18262] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18262/stat : 18262 (java) S 18242 18244 17063 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 340253280 3037372416 89090 33554432000 1073741824 1073778376 140734354567312 140387691068360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18265] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=18244/tid=18250] ppid=18242 vsize=2966184 CPUtime=3.87 cores=1,3,5,7
/proc/18244/task/18250/stat : 18250 (java) S 18242 18244 17063 0 -1 4202560 347 0 0 0 380 7 0 0 20 0 22 0 340253276 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387714844840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18251] ppid=18242 vsize=2966184 CPUtime=3.73 cores=1,3,5,7
/proc/18244/task/18251/stat : 18251 (java) S 18242 18244 17063 0 -1 4202560 320 0 0 0 368 5 0 0 20 0 22 0 340253276 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387713793064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18252] ppid=18242 vsize=2966184 CPUtime=3.95 cores=1,3,5,7
/proc/18244/task/18252/stat : 18252 (java) S 18242 18244 17063 0 -1 4202560 350 0 0 0 387 8 0 0 20 0 22 0 340253276 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387712740264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18253] ppid=18242 vsize=2966184 CPUtime=3.65 cores=1,3,5,7
/proc/18244/task/18253/stat : 18253 (java) S 18242 18244 17063 0 -1 4202560 292 0 0 0 360 5 0 0 20 0 22 0 340253276 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387711687464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18254] ppid=18242 vsize=2966184 CPUtime=3.83 cores=1,3,5,7
/proc/18244/task/18254/stat : 18254 (java) S 18242 18244 17063 0 -1 4202560 271 0 0 0 377 6 0 0 20 0 22 0 340253276 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387710634664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18255] ppid=18242 vsize=2966184 CPUtime=53.98 cores=1,3,5,7
/proc/18244/task/18255/stat : 18255 (java) S 18242 18244 17063 0 -1 4202560 161 0 0 0 5377 21 0 0 20 0 22 0 340253277 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387698436584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18256] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18256/stat : 18256 (java) S 18242 18244 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340253277 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387697382648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18257] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18257/stat : 18257 (java) S 18242 18244 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340253277 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387696329736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18258] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18258/stat : 18258 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340253280 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387695278224 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18259] ppid=18242 vsize=2966184 CPUtime=1.75 cores=1,3,5,7
/proc/18244/task/18259/stat : 18259 (java) S 18242 18244 17063 0 -1 4202560 10690 0 0 0 172 3 0 0 20 0 22 0 340253280 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387694226360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18260] ppid=18242 vsize=2966184 CPUtime=1.31 cores=1,3,5,7
/proc/18244/task/18260/stat : 18260 (java) S 18242 18244 17063 0 -1 4202560 8647 0 0 0 128 3 0 0 20 0 22 0 340253280 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387693173560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18261] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18261/stat : 18261 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340253280 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387692120952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18262] ppid=18242 vsize=2966184 CPUtime=0.42 cores=1,3,5,7
/proc/18244/task/18262/stat : 18262 (java) S 18242 18244 17063 0 -1 4202560 47 0 0 0 17 25 0 0 20 0 22 0 340253280 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387691068360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18265] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18265/stat : 18265 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340253327 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387687879592 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18266] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18266/stat : 18266 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340253327 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387686826792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18277] ppid=18242 vsize=2966184 CPUtime=674.55 cores=1,3,5,7
/proc/18244/task/18277/stat : 18277 (java) R 18242 18244 17063 0 -1 4202560 112 0 0 0 67444 11 0 0 20 0 22 0 340262055 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387689984960 140387792033224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18278] ppid=18242 vsize=2966184 CPUtime=674.6 cores=1,3,5,7
/proc/18244/task/18278/stat : 18278 (java) R 18242 18244 17063 0 -1 4202560 122 0 0 0 67449 11 0 0 20 0 22 0 340262055 3037372416 232446 33554432000 1073741824 1073778376 140734354567312 140387688930368 140387792073025 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1597.07
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.93 3.89 3.74 5/219 18285
/proc/meminfo: memFree=26471772/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=2966184 CPUtime=1714.69 cores=1,3,5,7
/proc/18244/stat : 18244 (java) S 18242 18244 17063 0 -1 4202496 26824 0 1 0 171341 128 0 0 20 0 22 0 340253274 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140734354558448 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 741546 238689 2287 9 0 732240 0
[pid=18244/tid=18246] ppid=18242 vsize=2966184 CPUtime=0.52 cores=1,3,5,7
/proc/18244/task/18246/stat : 18246 (java) S 18242 18244 17063 0 -1 4202560 2907 0 1 0 48 4 0 0 20 0 22 0 340253275 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387851547800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18247] ppid=18242 vsize=2966184 CPUtime=4.2 cores=1,3,5,7
/proc/18244/task/18247/stat : 18247 (java) S 18242 18244 17063 0 -1 4202560 332 0 0 0 414 6 0 0 20 0 22 0 340253276 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387785497128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18248] ppid=18242 vsize=2966184 CPUtime=4.28 cores=1,3,5,7
/proc/18244/task/18248/stat : 18248 (java) S 18242 18244 17063 0 -1 4202560 335 0 0 0 422 6 0 0 20 0 22 0 340253276 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387716950440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18249] ppid=18242 vsize=2966184 CPUtime=4.33 cores=1,3,5,7
/proc/18244/task/18249/stat : 18249 (java) S 18242 18244 17063 0 -1 4202560 318 0 0 0 427 6 0 0 20 0 22 0 340253276 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387715897640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18250] ppid=18242 vsize=2966184 CPUtime=4.11 cores=1,3,5,7
/proc/18244/task/18250/stat : 18250 (java) S 18242 18244 17063 0 -1 4202560 349 0 0 0 403 8 0 0 20 0 22 0 340253276 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387714844840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18251] ppid=18242 vsize=2966184 CPUtime=4.05 cores=1,3,5,7
/proc/18244/task/18251/stat : 18251 (java) S 18242 18244 17063 0 -1 4202560 345 0 0 0 399 6 0 0 20 0 22 0 340253276 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387713793064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18252] ppid=18242 vsize=2966184 CPUtime=4.17 cores=1,3,5,7
/proc/18244/task/18252/stat : 18252 (java) S 18242 18244 17063 0 -1 4202560 352 0 0 0 409 8 0 0 20 0 22 0 340253276 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387712740264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18253] ppid=18242 vsize=2966184 CPUtime=4 cores=1,3,5,7
/proc/18244/task/18253/stat : 18253 (java) S 18242 18244 17063 0 -1 4202560 298 0 0 0 395 5 0 0 20 0 22 0 340253276 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387711687464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18254] ppid=18242 vsize=2966184 CPUtime=4.14 cores=1,3,5,7
/proc/18244/task/18254/stat : 18254 (java) S 18242 18244 17063 0 -1 4202560 277 0 0 0 408 6 0 0 20 0 22 0 340253276 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387710634664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18255] ppid=18242 vsize=2966184 CPUtime=57.45 cores=1,3,5,7
/proc/18244/task/18255/stat : 18255 (java) S 18242 18244 17063 0 -1 4202560 165 0 0 0 5722 23 0 0 20 0 22 0 340253277 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387698436584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18256] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18256/stat : 18256 (java) S 18242 18244 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340253277 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387697382648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18257] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18257/stat : 18257 (java) S 18242 18244 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340253277 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387696329736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18258] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18258/stat : 18258 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340253280 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387695278224 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18259] ppid=18242 vsize=2966184 CPUtime=1.75 cores=1,3,5,7
/proc/18244/task/18259/stat : 18259 (java) S 18242 18244 17063 0 -1 4202560 10691 0 0 0 172 3 0 0 20 0 22 0 340253280 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387694226360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18260] ppid=18242 vsize=2966184 CPUtime=1.31 cores=1,3,5,7
/proc/18244/task/18260/stat : 18260 (java) S 18242 18244 17063 0 -1 4202560 8647 0 0 0 128 3 0 0 20 0 22 0 340253280 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387693173560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18261] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18261/stat : 18261 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340253280 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387692120952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18262] ppid=18242 vsize=2966184 CPUtime=0.45 cores=1,3,5,7
/proc/18244/task/18262/stat : 18262 (java) S 18242 18244 17063 0 -1 4202560 51 0 0 0 19 26 0 0 20 0 22 0 340253280 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387691068360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18265] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18265/stat : 18265 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340253327 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387687879592 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18266] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18266/stat : 18266 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340253327 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387686826792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18277] ppid=18242 vsize=2966184 CPUtime=730.26 cores=1,3,5,7
/proc/18244/task/18277/stat : 18277 (java) R 18242 18244 17063 0 -1 4202560 118 0 0 0 73014 12 0 0 20 0 22 0 340262055 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387689983200 140387792056075 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18278] ppid=18242 vsize=2966184 CPUtime=730.31 cores=1,3,5,7
/proc/18244/task/18278/stat : 18278 (java) R 18242 18244 17063 0 -1 4202560 135 0 0 0 73019 12 0 0 20 0 22 0 340262055 3037372416 238689 33554432000 1073741824 1073778376 140734354567312 140387688931152 140387792073012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1714.69
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+926.208 s]
/proc/loadavg: 4.02 3.93 3.76 6/216 18346
/proc/meminfo: memFree=27385012/32873844 swapFree=7632/7632
[pid=18244] ppid=18242 vsize=2966184 CPUtime=1799.96 cores=1,3,5,7
/proc/18244/stat : 18244 (java) S 18242 18244 17063 0 -1 4202496 26879 0 1 0 179865 131 0 0 20 0 22 0 340253274 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140734354558448 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/18244/statm: 741546 240763 2287 9 0 732240 0
[pid=18244/tid=18246] ppid=18242 vsize=2966184 CPUtime=0.53 cores=1,3,5,7
/proc/18244/task/18246/stat : 18246 (java) S 18242 18244 17063 0 -1 4202560 2911 0 1 0 49 4 0 0 20 0 22 0 340253275 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387851547800 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18247] ppid=18242 vsize=2966184 CPUtime=4.37 cores=1,3,5,7
/proc/18244/task/18247/stat : 18247 (java) S 18242 18244 17063 0 -1 4202560 340 0 0 0 431 6 0 0 20 0 22 0 340253276 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387785497128 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18248] ppid=18242 vsize=2966184 CPUtime=4.53 cores=1,3,5,7
/proc/18244/task/18248/stat : 18248 (java) S 18242 18244 17063 0 -1 4202560 338 0 0 0 447 6 0 0 20 0 22 0 340253276 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387716950440 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18249] ppid=18242 vsize=2966184 CPUtime=4.56 cores=1,3,5,7
/proc/18244/task/18249/stat : 18249 (java) S 18242 18244 17063 0 -1 4202560 318 0 0 0 450 6 0 0 20 0 22 0 340253276 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387715897640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18250] ppid=18242 vsize=2966184 CPUtime=4.42 cores=1,3,5,7
/proc/18244/task/18250/stat : 18250 (java) S 18242 18244 17063 0 -1 4202560 351 0 0 0 434 8 0 0 20 0 22 0 340253276 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387714844840 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18251] ppid=18242 vsize=2966184 CPUtime=4.24 cores=1,3,5,7
/proc/18244/task/18251/stat : 18251 (java) S 18242 18244 17063 0 -1 4202560 345 0 0 0 418 6 0 0 20 0 22 0 340253276 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387713793064 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18252] ppid=18242 vsize=2966184 CPUtime=4.41 cores=1,3,5,7
/proc/18244/task/18252/stat : 18252 (java) S 18242 18244 17063 0 -1 4202560 353 0 0 0 433 8 0 0 20 0 22 0 340253276 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387712740264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18253] ppid=18242 vsize=2966184 CPUtime=4.22 cores=1,3,5,7
/proc/18244/task/18253/stat : 18253 (java) S 18242 18244 17063 0 -1 4202560 301 0 0 0 417 5 0 0 20 0 22 0 340253276 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387711687464 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18254] ppid=18242 vsize=2966184 CPUtime=4.39 cores=1,3,5,7
/proc/18244/task/18254/stat : 18254 (java) S 18242 18244 17063 0 -1 4202560 296 0 0 0 432 7 0 0 20 0 22 0 340253276 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387710634664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18255] ppid=18242 vsize=2966184 CPUtime=60.85 cores=1,3,5,7
/proc/18244/task/18255/stat : 18255 (java) S 18242 18244 17063 0 -1 4202560 167 0 0 0 6062 23 0 0 20 0 22 0 340253277 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387698436584 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18256] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18256/stat : 18256 (java) S 18242 18244 17063 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340253277 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387697382648 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18257] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18257/stat : 18257 (java) S 18242 18244 17063 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340253277 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387696329736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18258] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18258/stat : 18258 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340253280 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387695278224 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18259] ppid=18242 vsize=2966184 CPUtime=1.75 cores=1,3,5,7
/proc/18244/task/18259/stat : 18259 (java) S 18242 18244 17063 0 -1 4202560 10691 0 0 0 172 3 0 0 20 0 22 0 340253280 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387694226360 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18260] ppid=18242 vsize=2966184 CPUtime=1.31 cores=1,3,5,7
/proc/18244/task/18260/stat : 18260 (java) S 18242 18244 17063 0 -1 4202560 8647 0 0 0 128 3 0 0 20 0 22 0 340253280 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387693173560 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18261] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18261/stat : 18261 (java) S 18242 18244 17063 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340253280 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387692120952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18244/tid=18262] ppid=18242 vsize=2966184 CPUtime=0.48 cores=1,3,5,7
/proc/18244/task/18262/stat : 18262 (java) S 18242 18244 17063 0 -1 4202560 53 0 0 0 20 28 0 0 20 0 22 0 340253280 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387691068360 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18244/tid=18265] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18265/stat : 18265 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340253327 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387687879592 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18244/tid=18266] ppid=18242 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/18244/task/18266/stat : 18266 (java) S 18242 18244 17063 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340253327 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387686826792 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18277] ppid=18242 vsize=2966184 CPUtime=770.16 cores=1,3,5,7
/proc/18244/task/18277/stat : 18277 (java) R 18242 18244 17063 0 -1 4202560 122 0 0 0 77004 12 0 0 20 0 22 0 340262055 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387689983200 140387791991669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18244/tid=18278] ppid=18242 vsize=2966184 CPUtime=770.2 cores=1,3,5,7
/proc/18244/task/18278/stat : 18278 (java) R 18242 18244 17063 0 -1 4202560 142 0 0 0 77008 12 0 0 20 0 22 0 340262055 3037372416 240763 33554432000 1073741824 1073778376 140734354567312 140387688931384 140387792072739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.96
Current children cumulated vsize (KiB) 2966184
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 18244 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=680167
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=709740
# CPU time returned by wait4() is 1796.39
# while last known CPU time is 1799.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.110001
# lost CPU user time (s): 0.130005
# lost CPU system time (s): -0.02
Real time (s): 926.263
CPU time (s): 1800.07
CPU user time (s): 1798.78
CPU system time (s): 1.29
CPU usage (%): 194.337
Max. virtual memory (cumulated for all children) (KiB): 2967424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.68
system time used= 1.70974
maximum resident set size= 963168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26912
page faults= 1
swaps= 0
block input operations= 0
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30751
involuntary context switches= 78773
runsolver used 3.64145 second user time and 9.06262 second system time
The end