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-3737647-1338723545/watcher-3737647-1338723545 -o /tmp/evaluation-result-3737647-1338723545/solver-3737647-1338723545 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3737647-1338723545.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.01 3.82 3.74 4/197 28239
/proc/meminfo: memFree=25761356/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/28239/stat : 28239 (runsolver) D 28237 28239 25219 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 338479003 12095488 51 33554432000 4194304 5436572 140736019455040 140736019451336 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/28239/statm: 2953 51 31 304 0 2645 0
[startup+0.013594 s]
/proc/loadavg: 4.01 3.82 3.74 4/197 28239
/proc/meminfo: memFree=25761356/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/28239/stat : 28239 (java) R 28237 28239 25219 0 -1 4202496 456 0 0 0 0 0 0 0 20 0 1 0 338479003 9515008 185 33554432000 1073741824 1073778376 140736480208592 140736480197656 212064103719 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28239/statm: 5149 189 145 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9292
[startup+0.100236 s]
/proc/loadavg: 4.01 3.82 3.74 4/197 28239
/proc/meminfo: memFree=25761356/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=11586392 CPUtime=0.06 cores=0,2,4,6
/proc/28239/stat : 28239 (java) S 28237 28239 25219 0 -1 4202496 4528 0 1 0 5 1 0 0 20 0 18 0 338479003 11864465408 12379 33554432000 1073741824 1073778376 140736480208592 140736480199728 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28239/statm: 2896598 12380 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392
[startup+0.300224 s]
/proc/loadavg: 4.01 3.82 3.74 4/197 28239
/proc/meminfo: memFree=25761356/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=11586392 CPUtime=0.43 cores=0,2,4,6
/proc/28239/stat : 28239 (java) S 28237 28239 25219 0 -1 4202496 6628 0 1 0 41 2 0 0 20 0 18 0 338479003 11864465408 15449 33554432000 1073741824 1073778376 140736480208592 140736480199728 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28239/statm: 2896598 15449 2218 9 0 2887285 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 11586392
[startup+0.700237 s]
/proc/loadavg: 4.01 3.82 3.74 4/197 28239
/proc/meminfo: memFree=25761356/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=11586392 CPUtime=1.52 cores=0,2,4,6
/proc/28239/stat : 28239 (java) S 28237 28239 25219 0 -1 4202496 15783 0 1 0 147 5 0 0 20 0 18 0 338479003 11864465408 30876 33554432000 1073741824 1073778376 140736480208592 140736480199728 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28239/statm: 2896598 30876 2250 9 0 2887285 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 11586392
[startup+1.50069 s]
/proc/loadavg: 4.01 3.82 3.74 4/215 28257
/proc/meminfo: memFree=25398020/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=11586392 CPUtime=2.51 cores=0,2,4,6
/proc/28239/stat : 28239 (java) S 28237 28239 25219 0 -1 4202496 16331 0 1 0 229 22 0 0 20 0 18 0 338479003 11864465408 294077 33554432000 1073741824 1073778376 140736480208592 140736480199728 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28239/statm: 2896598 294077 2253 9 0 2887285 0
[pid=28239/tid=28241] ppid=28237 vsize=11586392 CPUtime=1.45 cores=0,2,4,6
/proc/28239/task/28241/stat : 28241 (java) R 28237 28239 25219 0 -1 4202560 3964 0 1 0 126 19 0 0 20 0 18 0 338479005 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188870192936 140188810658965 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28242] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28242/stat : 28242 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479007 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188808923304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28243] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28243/stat : 28243 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479007 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188807870760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28244] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28244/stat : 28244 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479007 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188704860584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28239/tid=28245] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28245/stat : 28245 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479007 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188703808040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28246] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28246/stat : 28246 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479007 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188702755496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28247] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28247/stat : 28247 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479007 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188701702952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28248] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28248/stat : 28248 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479007 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188700650408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28249] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28249/stat : 28249 (java) S 28237 28239 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 338479007 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188699597864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28250] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28250/stat : 28250 (java) S 28237 28239 25219 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 338479008 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188687399016 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28251] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28251/stat : 28251 (java) S 28237 28239 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 338479009 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188686345336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28252] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28252/stat : 28252 (java) S 28237 28239 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 338479009 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188685292680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28253] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28253/stat : 28253 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479011 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188684241424 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28254] ppid=28237 vsize=11586392 CPUtime=0.52 cores=0,2,4,6
/proc/28239/task/28254/stat : 28254 (java) S 28237 28239 25219 0 -1 4202560 5424 0 0 0 50 2 0 0 20 0 18 0 338479011 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188683188792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28255] ppid=28237 vsize=11586392 CPUtime=0.49 cores=0,2,4,6
/proc/28239/task/28255/stat : 28255 (java) S 28237 28239 25219 0 -1 4202560 5756 0 0 0 49 0 0 0 20 0 18 0 338479011 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188682136248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28256] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28256/stat : 28256 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479011 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188681083896 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28257] ppid=28237 vsize=11586392 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28257/stat : 28257 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 338479011 11864465408 294589 33554432000 1073741824 1073778376 140736480208592 140188680031560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 11586392
[startup+3.10081 s]
/proc/loadavg: 4.09 3.84 3.75 5/219 28261
/proc/meminfo: memFree=24393292/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=11852648 CPUtime=6.41 cores=0,2,4,6
/proc/28239/stat : 28239 (java) S 28237 28239 25219 0 -1 4202496 19942 0 1 0 613 28 0 0 20 0 22 0 338479003 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140736480199728 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28239/statm: 2963162 404359 2264 9 0 2953849 0
[pid=28239/tid=28241] ppid=28237 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/28239/task/28241/stat : 28241 (java) S 28237 28239 25219 0 -1 4202560 4021 0 1 0 132 20 0 0 20 0 22 0 338479005 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188870194328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28242] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28242/stat : 28242 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188808923304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28243] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28243/stat : 28243 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188807870760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28244] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28244/stat : 28244 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188704860584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28239/tid=28245] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28245/stat : 28245 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188703808040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28246] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28246/stat : 28246 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188702755496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28247] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28247/stat : 28247 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188701702952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28248] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28248/stat : 28248 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188700650408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28249] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28249/stat : 28249 (java) S 28237 28239 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188699597864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28250] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28250/stat : 28250 (java) S 28237 28239 25219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338479008 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188687399016 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28251] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28251/stat : 28251 (java) S 28237 28239 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188686345336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28252] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28252/stat : 28252 (java) S 28237 28239 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188685292680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28253] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28253/stat : 28253 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188684241424 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28254] ppid=28237 vsize=11852648 CPUtime=0.8 cores=0,2,4,6
/proc/28239/task/28254/stat : 28254 (java) S 28237 28239 25219 0 -1 4202560 5458 0 0 0 78 2 0 0 20 0 22 0 338479011 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188683188792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28255] ppid=28237 vsize=11852648 CPUtime=1 cores=0,2,4,6
/proc/28239/task/28255/stat : 28255 (java) S 28237 28239 25219 0 -1 4202560 9006 0 0 0 99 1 0 0 20 0 22 0 338479011 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188682136248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28239/tid=28256] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28256/stat : 28256 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188681083896 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28257] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28257/stat : 28257 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188680031560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28258] ppid=28237 vsize=11852648 CPUtime=1.51 cores=0,2,4,6
/proc/28239/task/28258/stat : 28258 (java) R 28237 28239 25219 0 -1 4202560 31 0 0 0 151 0 0 0 20 0 22 0 338479160 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188678973752 140188810886665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28259] ppid=28237 vsize=11852648 CPUtime=1.51 cores=0,2,4,6
/proc/28239/task/28259/stat : 28259 (java) R 28237 28239 25219 0 -1 4202560 223 0 0 0 146 5 0 0 20 0 22 0 338479160 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188677922696 140188811132426 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28260] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28260/stat : 28260 (java) S 28237 28239 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338479164 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188676871208 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28261] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28261/stat : 28261 (java) S 28237 28239 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338479164 12137111552 404359 33554432000 1073741824 1073778376 140736480208592 140188675818664 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 11852648
[startup+6.30074 s]
/proc/loadavg: 4.09 3.84 3.75 5/219 28264
/proc/meminfo: memFree=23680576/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=11852648 CPUtime=12.26 cores=0,2,4,6
/proc/28239/stat : 28239 (java) S 28237 28239 25219 0 -1 4202496 20331 0 1 0 1183 43 0 0 20 0 22 0 338479003 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140736480199728 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28239/statm: 2963162 576361 2267 9 0 2953849 0
[pid=28239/tid=28241] ppid=28237 vsize=11852648 CPUtime=1.58 cores=0,2,4,6
/proc/28239/task/28241/stat : 28241 (java) S 28237 28239 25219 0 -1 4202560 4022 0 1 0 138 20 0 0 20 0 22 0 338479005 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188870194328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28242] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28242/stat : 28242 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188808923304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28243] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28243/stat : 28243 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188807870760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28244] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28244/stat : 28244 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188704860584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28239/tid=28245] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28245/stat : 28245 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188703808040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28246] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28246/stat : 28246 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188702755496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28247] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28247/stat : 28247 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188701702952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28248] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28248/stat : 28248 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188700650408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28249] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28249/stat : 28249 (java) S 28237 28239 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338479007 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188699597864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28250] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28250/stat : 28250 (java) S 28237 28239 25219 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 338479008 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188687399016 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28251] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28251/stat : 28251 (java) S 28237 28239 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188686345336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28252] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28252/stat : 28252 (java) S 28237 28239 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188685292680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28253] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28253/stat : 28253 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188684241424 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28254] ppid=28237 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/28239/task/28254/stat : 28254 (java) S 28237 28239 25219 0 -1 4202560 5491 0 0 0 85 2 0 0 20 0 22 0 338479011 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188683188792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28255] ppid=28237 vsize=11852648 CPUtime=1.06 cores=0,2,4,6
/proc/28239/task/28255/stat : 28255 (java) S 28237 28239 25219 0 -1 4202560 9011 0 0 0 104 2 0 0 20 0 22 0 338479011 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188682136248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28256] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28256/stat : 28256 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188681083896 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28257] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28257/stat : 28257 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188680031560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28261] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28261/stat : 28261 (java) S 28237 28239 25219 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 338479164 12137111552 576361 33554432000 1073741824 1073778376 140736480208592 140188675818664 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
[pid=28239/tid=28245] ppid=28237 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/28239/task/28245/stat : 28245 (java) S 28237 28239 25219 0 -1 4202560 155 0 0 0 45 4 0 0 20 0 22 0 338479007 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188703808040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28246] ppid=28237 vsize=11852648 CPUtime=0.47 cores=0,2,4,6
/proc/28239/task/28246/stat : 28246 (java) S 28237 28239 25219 0 -1 4202560 137 0 0 0 43 4 0 0 20 0 22 0 338479007 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188702755496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28247] ppid=28237 vsize=11852648 CPUtime=0.45 cores=0,2,4,6
/proc/28239/task/28247/stat : 28247 (java) S 28237 28239 25219 0 -1 4202560 119 0 0 0 41 4 0 0 20 0 22 0 338479007 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188701702952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28248] ppid=28237 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/28239/task/28248/stat : 28248 (java) S 28237 28239 25219 0 -1 4202560 191 0 0 0 56 6 0 0 20 0 22 0 338479007 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188700650408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28239/tid=28249] ppid=28237 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/28239/task/28249/stat : 28249 (java) S 28237 28239 25219 0 -1 4202560 141 0 0 0 45 5 0 0 20 0 22 0 338479007 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188699597864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28250] ppid=28237 vsize=11852648 CPUtime=4.23 cores=0,2,4,6
/proc/28239/task/28250/stat : 28250 (java) S 28237 28239 25219 0 -1 4202560 159 0 0 0 416 7 0 0 20 0 22 0 338479008 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188687399016 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28251] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28251/stat : 28251 (java) S 28237 28239 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188686345336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28252] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28252/stat : 28252 (java) S 28237 28239 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188685292680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28253] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28253/stat : 28253 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188684241424 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28254] ppid=28237 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/28239/task/28254/stat : 28254 (java) S 28237 28239 25219 0 -1 4202560 5534 0 0 0 115 2 0 0 20 0 22 0 338479011 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188683188792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28255] ppid=28237 vsize=11852648 CPUtime=1.55 cores=0,2,4,6
/proc/28239/task/28255/stat : 28255 (java) S 28237 28239 25219 0 -1 4202560 9289 0 0 0 153 2 0 0 20 0 22 0 338479011 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188682136248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28256] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28256/stat : 28256 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188681083896 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28257] ppid=28237 vsize=11852648 CPUtime=0.3 cores=0,2,4,6
/proc/28239/task/28257/stat : 28257 (java) S 28237 28239 25219 0 -1 4202560 47 0 0 0 15 15 0 0 20 0 22 0 338479011 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188680031560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28294] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28294/stat : 28294 (java) S 28237 28239 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338481854 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188677924136 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28299] ppid=28237 vsize=11852648 CPUtime=590.28 cores=0,2,4,6
/proc/28239/task/28299/stat : 28299 (java) R 28237 28239 25219 0 -1 4202560 8 0 0 0 59017 11 0 0 20 0 22 0 338501708 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188676870864 140188810893852 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28300] ppid=28237 vsize=11852648 CPUtime=590.29 cores=0,2,4,6
/proc/28239/task/28300/stat : 28300 (java) R 28237 28239 25219 0 -1 4202560 77 0 0 0 59019 10 0 0 20 0 22 0 338501708 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188678974416 140188810949757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28301] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28301/stat : 28301 (java) S 28237 28239 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338501708 12137111552 875430 33554432000 1073741824 1073778376 140736480208592 140188675819176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1635.6
Current children cumulated vsize (KiB) 11852648
[startup+882.301 s]
/proc/loadavg: 3.91 3.93 3.85 5/219 28503
/proc/meminfo: memFree=22734856/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=11852648 CPUtime=1755.64 cores=0,2,4,6
/proc/28239/stat : 28239 (java) S 28237 28239 25219 0 -1 4202496 22467 0 1 0 175426 138 0 0 20 0 22 0 338479003 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140736480199728 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28239/statm: 2963162 875447 2292 9 0 2953849 0
[pid=28239/tid=28241] ppid=28237 vsize=11852648 CPUtime=2.03 cores=0,2,4,6
/proc/28239/task/28241/stat : 28241 (java) S 28237 28239 25219 0 -1 4202560 4029 0 1 0 181 22 0 0 20 0 22 0 338479005 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188870194328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28242] ppid=28237 vsize=11852648 CPUtime=0.59 cores=0,2,4,6
/proc/28239/task/28242/stat : 28242 (java) S 28237 28239 25219 0 -1 4202560 161 0 0 0 52 7 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188808923304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28243] ppid=28237 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/28239/task/28243/stat : 28243 (java) S 28237 28239 25219 0 -1 4202560 123 0 0 0 44 5 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188807870760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28239/tid=28244] ppid=28237 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/28239/task/28244/stat : 28244 (java) S 28237 28239 25219 0 -1 4202560 132 0 0 0 46 4 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188704860584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28245] ppid=28237 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/28239/task/28245/stat : 28245 (java) S 28237 28239 25219 0 -1 4202560 155 0 0 0 46 4 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188703808040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28246] ppid=28237 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/28239/task/28246/stat : 28246 (java) S 28237 28239 25219 0 -1 4202560 137 0 0 0 44 4 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188702755496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28247] ppid=28237 vsize=11852648 CPUtime=0.45 cores=0,2,4,6
/proc/28239/task/28247/stat : 28247 (java) S 28237 28239 25219 0 -1 4202560 119 0 0 0 41 4 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188701702952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28248] ppid=28237 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/28239/task/28248/stat : 28248 (java) S 28237 28239 25219 0 -1 4202560 198 0 0 0 56 6 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188700650408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28249] ppid=28237 vsize=11852648 CPUtime=0.51 cores=0,2,4,6
/proc/28239/task/28249/stat : 28249 (java) S 28237 28239 25219 0 -1 4202560 141 0 0 0 46 5 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188699597864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28250] ppid=28237 vsize=11852648 CPUtime=4.23 cores=0,2,4,6
/proc/28239/task/28250/stat : 28250 (java) S 28237 28239 25219 0 -1 4202560 161 0 0 0 416 7 0 0 20 0 22 0 338479008 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188687399016 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28251] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28251/stat : 28251 (java) S 28237 28239 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188686345336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28252] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28252/stat : 28252 (java) S 28237 28239 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188685292680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28253] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28253/stat : 28253 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188684241424 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28254] ppid=28237 vsize=11852648 CPUtime=1.17 cores=0,2,4,6
/proc/28239/task/28254/stat : 28254 (java) S 28237 28239 25219 0 -1 4202560 5534 0 0 0 115 2 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188683188792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28255] ppid=28237 vsize=11852648 CPUtime=1.55 cores=0,2,4,6
/proc/28239/task/28255/stat : 28255 (java) S 28237 28239 25219 0 -1 4202560 9289 0 0 0 153 2 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188682136248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28256] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28256/stat : 28256 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188681083896 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28257] ppid=28237 vsize=11852648 CPUtime=0.32 cores=0,2,4,6
/proc/28239/task/28257/stat : 28257 (java) S 28237 28239 25219 0 -1 4202560 51 0 0 0 16 16 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188680031560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28294] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28294/stat : 28294 (java) S 28237 28239 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338481854 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188677924136 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28299] ppid=28237 vsize=11852648 CPUtime=650.1 cores=0,2,4,6
/proc/28239/task/28299/stat : 28299 (java) R 28237 28239 25219 0 -1 4202560 8 0 0 0 64998 12 0 0 20 0 22 0 338501708 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188676868992 140188810832535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28300] ppid=28237 vsize=11852648 CPUtime=650.11 cores=0,2,4,6
/proc/28239/task/28300/stat : 28300 (java) R 28237 28239 25219 0 -1 4202560 78 0 0 0 65000 11 0 0 20 0 22 0 338501708 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188678975232 140188810949757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28301] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28301/stat : 28301 (java) S 28237 28239 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338501708 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188675819176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1755.64
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+904.207 s]
/proc/loadavg: 3.93 3.94 3.85 5/219 28503
/proc/meminfo: memFree=22730636/32873648 swapFree=7388/7388
[pid=28239] ppid=28237 vsize=11852648 CPUtime=1799.46 cores=0,2,4,6
/proc/28239/stat : 28239 (java) S 28237 28239 25219 0 -1 4202496 22469 0 1 0 179808 138 0 0 20 0 22 0 338479003 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140736480199728 212076625981 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28239/statm: 2963162 875447 2292 9 0 2953849 0
[pid=28239/tid=28241] ppid=28237 vsize=11852648 CPUtime=2.03 cores=0,2,4,6
/proc/28239/task/28241/stat : 28241 (java) S 28237 28239 25219 0 -1 4202560 4029 0 1 0 181 22 0 0 20 0 22 0 338479005 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188870194328 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28242] ppid=28237 vsize=11852648 CPUtime=0.59 cores=0,2,4,6
/proc/28239/task/28242/stat : 28242 (java) S 28237 28239 25219 0 -1 4202560 161 0 0 0 52 7 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188808923304 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28243] ppid=28237 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/28239/task/28243/stat : 28243 (java) S 28237 28239 25219 0 -1 4202560 123 0 0 0 44 5 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188807870760 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28239/tid=28244] ppid=28237 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/28239/task/28244/stat : 28244 (java) S 28237 28239 25219 0 -1 4202560 132 0 0 0 46 4 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188704860584 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28245] ppid=28237 vsize=11852648 CPUtime=0.5 cores=0,2,4,6
/proc/28239/task/28245/stat : 28245 (java) S 28237 28239 25219 0 -1 4202560 155 0 0 0 46 4 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188703808040 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28246] ppid=28237 vsize=11852648 CPUtime=0.48 cores=0,2,4,6
/proc/28239/task/28246/stat : 28246 (java) S 28237 28239 25219 0 -1 4202560 137 0 0 0 44 4 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188702755496 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28247] ppid=28237 vsize=11852648 CPUtime=0.45 cores=0,2,4,6
/proc/28239/task/28247/stat : 28247 (java) S 28237 28239 25219 0 -1 4202560 119 0 0 0 41 4 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188701702952 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28248] ppid=28237 vsize=11852648 CPUtime=0.62 cores=0,2,4,6
/proc/28239/task/28248/stat : 28248 (java) S 28237 28239 25219 0 -1 4202560 198 0 0 0 56 6 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188700650408 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28249] ppid=28237 vsize=11852648 CPUtime=0.51 cores=0,2,4,6
/proc/28239/task/28249/stat : 28249 (java) S 28237 28239 25219 0 -1 4202560 141 0 0 0 46 5 0 0 20 0 22 0 338479007 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188699597864 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28250] ppid=28237 vsize=11852648 CPUtime=4.23 cores=0,2,4,6
/proc/28239/task/28250/stat : 28250 (java) S 28237 28239 25219 0 -1 4202560 161 0 0 0 416 7 0 0 20 0 22 0 338479008 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188687399016 212076640169 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28251] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28251/stat : 28251 (java) S 28237 28239 25219 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188686345336 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28252] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28252/stat : 28252 (java) S 28237 28239 25219 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 338479009 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188685292680 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28253] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28253/stat : 28253 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188684241424 212076648224 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28254] ppid=28237 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/28239/task/28254/stat : 28254 (java) S 28237 28239 25219 0 -1 4202560 5536 0 0 0 116 2 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188683188792 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28255] ppid=28237 vsize=11852648 CPUtime=1.55 cores=0,2,4,6
/proc/28239/task/28255/stat : 28255 (java) S 28237 28239 25219 0 -1 4202560 9289 0 0 0 153 2 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188682136248 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28256] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28256/stat : 28256 (java) S 28237 28239 25219 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188681083896 212076639292 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28239/tid=28257] ppid=28237 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/28239/task/28257/stat : 28257 (java) S 28237 28239 25219 0 -1 4202560 51 0 0 0 16 17 0 0 20 0 22 0 338479011 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188680031560 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28294] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28294/stat : 28294 (java) S 28237 28239 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338481854 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188677924136 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28299] ppid=28237 vsize=11852648 CPUtime=671.95 cores=0,2,4,6
/proc/28239/task/28299/stat : 28299 (java) R 28237 28239 25219 0 -1 4202560 8 0 0 0 67182 13 0 0 20 0 22 0 338501708 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188676870912 140188810614763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=28239/tid=28300] ppid=28237 vsize=11852648 CPUtime=671.96 cores=0,2,4,6
/proc/28239/task/28300/stat : 28300 (java) R 28237 28239 25219 0 -1 4202560 78 0 0 0 67184 12 0 0 20 0 22 0 338501708 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188678975232 140188810949814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=28239/tid=28301] ppid=28237 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/28239/task/28301/stat : 28301 (java) S 28237 28239 25219 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 338501708 12137111552 875447 33554432000 1073741824 1073778376 140736480208592 140188675819176 212076640169 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 11852648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28239 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=758155
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=834721
# CPU time returned by wait4() is 1796.59
# while last known CPU time is 1799.46
#
# 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.730032
# lost CPU user time (s): 0.78002
# lost CPU system time (s): -0.05
Real time (s): 904.283
CPU time (s): 1800.19
CPU user time (s): 1798.86
CPU system time (s): 1.33
CPU usage (%): 199.074
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.76
system time used= 1.83472
maximum resident set size= 3501904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22500
page faults= 1
swaps= 0
block input operations= 0
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22298
involuntary context switches= 18227
runsolver used 3.50147 second user time and 7.93379 second system time
The end