runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4119041-1467239853/watcher-4119041-1467239853 -o /tmp/evaluation-result-4119041-1467239853/solver-4119041-1467239853 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467233347-7541 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119041-1467239853.opb
pid=11245
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: 3.94 3.94 3.98 4/197 11248
/proc/meminfo: memFree=23266384/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/11248/stat : 11248 (java) R 11245 11248 5003 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 4940360 9515008 182 33554432000 1073741824 1073778376 140735208761088 140735208752120 214369648309 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2323 182 140 9 0 71 0
[startup+0.100114 s]
/proc/loadavg: 3.94 3.94 3.98 4/197 11248
/proc/meminfo: memFree=23266384/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/11248/stat : 11248 (java) S 11245 11248 5003 0 -1 4202496 4404 0 1 0 8 1 0 0 20 0 18 0 4940360 9787879424 6028 33554432000 1073741824 1073778376 140735933269488 140735933260624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2389619 6028 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200324 s]
/proc/loadavg: 3.94 3.94 3.98 4/197 11248
/proc/meminfo: memFree=23266384/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/11248/stat : 11248 (java) S 11245 11248 5003 0 -1 4202496 4690 0 1 0 22 1 0 0 20 0 18 0 4940360 9787879424 7268 33554432000 1073741824 1073778376 140735933269488 140735933260624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2389619 7268 2197 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300329 s]
/proc/loadavg: 3.94 3.94 3.98 4/197 11248
/proc/meminfo: memFree=23266384/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/11248/stat : 11248 (java) S 11245 11248 5003 0 -1 4202496 5376 0 1 0 35 3 0 0 20 0 19 0 4940360 10060525568 9361 33554432000 1073741824 1073778376 140735933269488 140735933260624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2456183 9361 2239 9 0 2446860 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 9824732
[startup+0.700262 s]
/proc/loadavg: 3.94 3.94 3.98 4/197 11248
/proc/meminfo: memFree=23266384/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/11248/stat : 11248 (java) S 11245 11248 5003 0 -1 4202496 5376 0 1 0 35 3 0 0 20 0 19 0 4940360 10060525568 9361 33554432000 1073741824 1073778376 140735933269488 140735933260624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2456183 9361 2239 9 0 2446860 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 9824732
[startup+1.50086 s]
/proc/loadavg: 3.94 3.94 3.98 3/216 11273
/proc/meminfo: memFree=23230604/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/11248/stat : 11248 (java) S 11245 11248 5003 0 -1 4202496 5975 0 1 0 52 7 0 0 20 0 19 0 4940360 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 140735933260624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2456183 12155 2250 9 0 2446860 0
[pid=11248/tid=11250] ppid=11245 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/11248/task/11250/stat : 11250 (java) S 11245 11248 5003 0 -1 4202560 2438 0 1 0 21 1 0 0 20 0 19 0 4940361 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734938055544 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11251] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11251/stat : 11251 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734899547176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11252] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11252/stat : 11252 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734898494376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11253] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11253/stat : 11253 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734897441576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11254] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11254/stat : 11254 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734896388776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11255] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11255/stat : 11255 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734895335976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11256] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11256/stat : 11256 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734894283176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11257] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11257/stat : 11257 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734893230376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11258] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11258/stat : 11258 (java) S 11245 11248 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734892177576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11259] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11259/stat : 11259 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4940364 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734761323496 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11260] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11260/stat : 11260 (java) S 11245 11248 5003 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4940364 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734760269560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11261] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11261/stat : 11261 (java) S 11245 11248 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4940364 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734759216648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11262] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11262/stat : 11262 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940367 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734758165136 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11263] ppid=11245 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/11248/task/11263/stat : 11263 (java) S 11245 11248 5003 0 -1 4202560 1031 0 0 0 10 0 0 0 20 0 19 0 4940367 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734757112248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11264] ppid=11245 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/11248/task/11264/stat : 11264 (java) S 11245 11248 5003 0 -1 4202560 1159 0 0 0 10 0 0 0 20 0 19 0 4940367 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734756059448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11265] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11265/stat : 11265 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940367 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734755006840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11266] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11266/stat : 11266 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940367 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734753954248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11273] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11273/stat : 11273 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4940436 10060525568 12155 33554432000 1073741824 1073778376 140735933269488 139734749741992 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9824732
[startup+3.10097 s]
/proc/loadavg: 3.79 3.91 3.97 7/219 11279
/proc/meminfo: memFree=23183684/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9824732 CPUtime=4.72 cores=0,2,4,6
/proc/11248/stat : 11248 (java) S 11245 11248 5003 0 -1 4202496 28223 0 1 0 456 16 0 0 20 0 19 0 4940360 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 140735933260624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2456183 44587 2285 9 0 2446860 0
[pid=11248/tid=11250] ppid=11245 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/11248/task/11250/stat : 11250 (java) S 11245 11248 5003 0 -1 4202560 2438 0 1 0 21 1 0 0 20 0 19 0 4940361 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734938055544 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11251] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11251/stat : 11251 (java) S 11245 11248 5003 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734899547176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11252] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11252/stat : 11252 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734898494376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11253] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11253/stat : 11253 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734897441576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11254] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11254/stat : 11254 (java) S 11245 11248 5003 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734896388776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11255] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11255/stat : 11255 (java) S 11245 11248 5003 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734895335976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11256] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11256/stat : 11256 (java) S 11245 11248 5003 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734894283176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11257] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11257/stat : 11257 (java) S 11245 11248 5003 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734893230376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11258] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11258/stat : 11258 (java) S 11245 11248 5003 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4940362 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734892177576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11259] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11259/stat : 11259 (java) S 11245 11248 5003 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4940364 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734761323496 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11260] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11260/stat : 11260 (java) S 11245 11248 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4940364 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734760269560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11261] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11261/stat : 11261 (java) S 11245 11248 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4940364 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734759216648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11262] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11262/stat : 11262 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940367 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734758165136 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11263] ppid=11245 vsize=9824732 CPUtime=1.02 cores=0,2,4,6
/proc/11248/task/11263/stat : 11263 (java) S 11245 11248 5003 0 -1 4202560 16248 0 0 0 98 4 0 0 20 0 19 0 4940367 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734757112248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11264] ppid=11245 vsize=9824732 CPUtime=0.84 cores=0,2,4,6
/proc/11248/task/11264/stat : 11264 (java) S 11245 11248 5003 0 -1 4202560 8061 0 0 0 83 1 0 0 20 0 19 0 4940367 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734756059448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11265] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11265/stat : 11265 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940367 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734755006840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11266] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11266/stat : 11266 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4940367 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734753954248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11279] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11279/stat : 11279 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4940536 10060525568 44587 33554432000 1073741824 1073778376 140735933269488 139734751847592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 9824732
[startup+6.30092 s]
/proc/loadavg: 3.79 3.91 3.97 4/217 11282
/proc/meminfo: memFree=22923896/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9824732 CPUtime=11.09 cores=0,2,4,6
/proc/11248/stat : 11248 (java) S 11245 11248 5003 0 -1 4202496 29060 0 1 0 1080 29 0 0 20 0 22 0 4940360 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 140735933260624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2456183 95787 2286 9 0 2446860 0
[pid=11248/tid=11250] ppid=11245 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/11248/task/11250/stat : 11250 (java) S 11245 11248 5003 0 -1 4202560 2438 0 1 0 22 1 0 0 20 0 22 0 4940361 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734938055544 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11251] ppid=11245 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/11248/task/11251/stat : 11251 (java) S 11245 11248 5003 0 -1 4202560 146 0 0 0 6 2 0 0 20 0 22 0 4940362 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734899547176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11252] ppid=11245 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/11248/task/11252/stat : 11252 (java) S 11245 11248 5003 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 4940362 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734898494376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11253] ppid=11245 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/11248/task/11253/stat : 11253 (java) S 11245 11248 5003 0 -1 4202560 123 0 0 0 6 1 0 0 20 0 22 0 4940362 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734897441576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11254] ppid=11245 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/11248/task/11254/stat : 11254 (java) S 11245 11248 5003 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 22 0 4940362 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734896388776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11255] ppid=11245 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/11248/task/11255/stat : 11255 (java) S 11245 11248 5003 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 22 0 4940362 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734895335976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11256] ppid=11245 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/11248/task/11256/stat : 11256 (java) S 11245 11248 5003 0 -1 4202560 131 0 0 0 4 2 0 0 20 0 22 0 4940362 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734894283176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11257] ppid=11245 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/11248/task/11257/stat : 11257 (java) S 11245 11248 5003 0 -1 4202560 118 0 0 0 8 3 0 0 20 0 22 0 4940362 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734893230376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11258] ppid=11245 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/11248/task/11258/stat : 11258 (java) S 11245 11248 5003 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 22 0 4940362 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734892177576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11259] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11259/stat : 11259 (java) S 11245 11248 5003 0 -1 4202560 211 0 0 0 0 0 0 0 20 0 22 0 4940364 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734761323496 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11260] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11260/stat : 11260 (java) S 11245 11248 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4940364 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734760269560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11261] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11261/stat : 11261 (java) S 11245 11248 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4940364 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734759216648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11262] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11262/stat : 11262 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4940367 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734758165136 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11263] ppid=11245 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/11248/task/11263/stat : 11263 (java) S 11245 11248 5003 0 -1 4202560 16249 0 0 0 100 4 0 0 20 0 22 0 4940367 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734757112248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11264] ppid=11245 vsize=9824732 CPUtime=0.89 cores=0,2,4,6
/proc/11248/task/11264/stat : 11264 (java) S 11245 11248 5003 0 -1 4202560 8062 0 0 0 87 2 0 0 20 0 22 0 4940367 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734756059448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11265] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11265/stat : 11265 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4940367 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734755006840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11266] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11266/stat : 11266 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4940367 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734753954248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11279] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11279/stat : 11279 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4940536 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734751847592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11280] ppid=11245 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/11248/task/11280/stat : 11280 (java) R 11245 11248 5003 0 -1 4202560 13 0 0 0 285 0 0 0 20 0 22 0 4940687 10060525568 95787 33554432000 1073741824 1073778376 140735933269488 139734750793256 139734765052017 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11281] ppid=11245 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
################
# More data... #
################
/proc/11248/task/11253/stat : 11253 (java) S 11245 11248 5003 0 -1 4202560 354 0 0 0 34 12 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734897441576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11254] ppid=11245 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11248/task/11254/stat : 11254 (java) S 11245 11248 5003 0 -1 4202560 283 0 0 0 35 11 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734896388776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11255] ppid=11245 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/11248/task/11255/stat : 11255 (java) S 11245 11248 5003 0 -1 4202560 272 0 0 0 31 9 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734895335976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11256] ppid=11245 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/11248/task/11256/stat : 11256 (java) S 11245 11248 5003 0 -1 4202560 379 0 0 0 43 10 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734894283176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11257] ppid=11245 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/11248/task/11257/stat : 11257 (java) S 11245 11248 5003 0 -1 4202560 449 0 0 0 42 14 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734893230376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11258] ppid=11245 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11248/task/11258/stat : 11258 (java) S 11245 11248 5003 0 -1 4202560 301 0 0 0 35 11 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734892177576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11259] ppid=11245 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/11248/task/11259/stat : 11259 (java) S 11245 11248 5003 0 -1 4202560 1527 0 0 0 66 3 0 0 20 0 22 0 4940364 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734761323496 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11260] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11260/stat : 11260 (java) S 11245 11248 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4940364 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734760269560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11261] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11261/stat : 11261 (java) S 11245 11248 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4940364 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734759216648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11262] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11262/stat : 11262 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734758165136 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11263] ppid=11245 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/11248/task/11263/stat : 11263 (java) S 11245 11248 5003 0 -1 4202560 16249 0 0 0 100 4 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734757112248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11264] ppid=11245 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/11248/task/11264/stat : 11264 (java) S 11245 11248 5003 0 -1 4202560 8066 0 0 0 91 2 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734756059448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11265] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11265/stat : 11265 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734755006840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11266] ppid=11245 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/11248/task/11266/stat : 11266 (java) S 11245 11248 5003 0 -1 4202560 51 0 0 0 9 15 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734753954248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11279] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11279/stat : 11279 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4940536 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734751847592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11280] ppid=11245 vsize=9824732 CPUtime=875 cores=0,2,4,6
/proc/11248/task/11280/stat : 11280 (java) R 11245 11248 5003 0 -1 4202560 109 0 0 0 87484 16 0 0 20 0 22 0 4940687 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734750785424 139734765035991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11281] ppid=11245 vsize=9824732 CPUtime=874.92 cores=0,2,4,6
/proc/11248/task/11281/stat : 11281 (java) R 11245 11248 5003 0 -1 4202560 1129 0 0 0 87448 44 0 0 20 0 22 0 4940687 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734749738912 139734765049879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11282] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11282/stat : 11282 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4940687 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734752899880 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1763.78
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.501 s]
/proc/loadavg: 4.30 4.17 4.10 6/219 11404
/proc/meminfo: memFree=21112008/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/11248/stat : 11248 (java) S 11245 11248 5003 0 -1 4202496 33745 0 1 0 179861 155 0 0 20 0 22 0 4940360 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 140735933260624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2456183 662892 2295 9 0 2446860 0
[pid=11248/tid=11250] ppid=11245 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/11248/task/11250/stat : 11250 (java) S 11245 11248 5003 0 -1 4202560 2440 0 1 0 24 2 0 0 20 0 22 0 4940361 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734938055544 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11251] ppid=11245 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/11248/task/11251/stat : 11251 (java) S 11245 11248 5003 0 -1 4202560 397 0 0 0 37 11 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734899547176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11252] ppid=11245 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/11248/task/11252/stat : 11252 (java) S 11245 11248 5003 0 -1 4202560 316 0 0 0 29 12 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734898494376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11253] ppid=11245 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11248/task/11253/stat : 11253 (java) S 11245 11248 5003 0 -1 4202560 354 0 0 0 34 12 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734897441576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11254] ppid=11245 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11248/task/11254/stat : 11254 (java) S 11245 11248 5003 0 -1 4202560 283 0 0 0 35 11 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734896388776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11255] ppid=11245 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/11248/task/11255/stat : 11255 (java) S 11245 11248 5003 0 -1 4202560 272 0 0 0 31 9 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734895335976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11256] ppid=11245 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/11248/task/11256/stat : 11256 (java) S 11245 11248 5003 0 -1 4202560 379 0 0 0 43 10 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734894283176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11257] ppid=11245 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/11248/task/11257/stat : 11257 (java) S 11245 11248 5003 0 -1 4202560 449 0 0 0 42 14 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734893230376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11258] ppid=11245 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11248/task/11258/stat : 11258 (java) S 11245 11248 5003 0 -1 4202560 301 0 0 0 35 11 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734892177576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11259] ppid=11245 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/11248/task/11259/stat : 11259 (java) S 11245 11248 5003 0 -1 4202560 1527 0 0 0 66 3 0 0 20 0 22 0 4940364 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734761323496 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11260] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11260/stat : 11260 (java) S 11245 11248 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4940364 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734760269560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11261] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11261/stat : 11261 (java) S 11245 11248 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4940364 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734759216648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11262] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11262/stat : 11262 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734758165136 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11263] ppid=11245 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/11248/task/11263/stat : 11263 (java) S 11245 11248 5003 0 -1 4202560 16249 0 0 0 100 4 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734757112248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11264] ppid=11245 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/11248/task/11264/stat : 11264 (java) S 11245 11248 5003 0 -1 4202560 8066 0 0 0 91 2 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734756059448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11265] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11265/stat : 11265 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734755006840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11266] ppid=11245 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/11248/task/11266/stat : 11266 (java) S 11245 11248 5003 0 -1 4202560 53 0 0 0 10 15 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734753954248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11279] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11279/stat : 11279 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4940536 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734751847592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11280] ppid=11245 vsize=9824732 CPUtime=893.15 cores=0,2,4,6
/proc/11248/task/11280/stat : 11280 (java) R 11245 11248 5003 0 -1 4202560 109 0 0 0 89299 16 0 0 20 0 22 0 4940687 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734750785424 139734764987813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11281] ppid=11245 vsize=9824732 CPUtime=893.06 cores=0,2,4,6
/proc/11248/task/11281/stat : 11281 (java) R 11245 11248 5003 0 -1 4202560 1129 0 0 0 89261 45 0 0 20 0 22 0 4940687 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734749738912 139734765479902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11282] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11282/stat : 11282 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4940687 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734752899880 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11248 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+900.501 s]
/proc/loadavg: 4.30 4.17 4.10 6/219 11404
/proc/meminfo: memFree=21112008/32872528 swapFree=1268996/1432516
[pid=11248] ppid=11245 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/11248/stat : 11248 (java) S 11245 11248 5003 0 -1 4202496 33745 0 1 0 179861 155 0 0 20 0 22 0 4940360 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 140735933260624 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11248/statm: 2456183 662892 2295 9 0 2446860 0
[pid=11248/tid=11250] ppid=11245 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/11248/task/11250/stat : 11250 (java) S 11245 11248 5003 0 -1 4202560 2440 0 1 0 24 2 0 0 20 0 22 0 4940361 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734938055544 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11251] ppid=11245 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/11248/task/11251/stat : 11251 (java) S 11245 11248 5003 0 -1 4202560 397 0 0 0 37 11 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734899547176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11252] ppid=11245 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/11248/task/11252/stat : 11252 (java) S 11245 11248 5003 0 -1 4202560 316 0 0 0 29 12 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734898494376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11253] ppid=11245 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11248/task/11253/stat : 11253 (java) S 11245 11248 5003 0 -1 4202560 354 0 0 0 34 12 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734897441576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11254] ppid=11245 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11248/task/11254/stat : 11254 (java) S 11245 11248 5003 0 -1 4202560 283 0 0 0 35 11 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734896388776 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11255] ppid=11245 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/11248/task/11255/stat : 11255 (java) S 11245 11248 5003 0 -1 4202560 272 0 0 0 31 9 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734895335976 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11256] ppid=11245 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/11248/task/11256/stat : 11256 (java) S 11245 11248 5003 0 -1 4202560 379 0 0 0 43 10 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734894283176 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11257] ppid=11245 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/11248/task/11257/stat : 11257 (java) S 11245 11248 5003 0 -1 4202560 449 0 0 0 42 14 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734893230376 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11258] ppid=11245 vsize=9824732 CPUtime=0.46 cores=0,2,4,6
/proc/11248/task/11258/stat : 11258 (java) S 11245 11248 5003 0 -1 4202560 301 0 0 0 35 11 0 0 20 0 22 0 4940362 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734892177576 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11259] ppid=11245 vsize=9824732 CPUtime=0.69 cores=0,2,4,6
/proc/11248/task/11259/stat : 11259 (java) S 11245 11248 5003 0 -1 4202560 1527 0 0 0 66 3 0 0 20 0 22 0 4940364 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734761323496 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11260] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11260/stat : 11260 (java) S 11245 11248 5003 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4940364 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734760269560 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11261] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11261/stat : 11261 (java) S 11245 11248 5003 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 4940364 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734759216648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11262] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11262/stat : 11262 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734758165136 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11263] ppid=11245 vsize=9824732 CPUtime=1.04 cores=0,2,4,6
/proc/11248/task/11263/stat : 11263 (java) S 11245 11248 5003 0 -1 4202560 16249 0 0 0 100 4 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734757112248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11248/tid=11264] ppid=11245 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/11248/task/11264/stat : 11264 (java) S 11245 11248 5003 0 -1 4202560 8066 0 0 0 91 2 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734756059448 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11265] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11265/stat : 11265 (java) S 11245 11248 5003 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734755006840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11266] ppid=11245 vsize=9824732 CPUtime=0.25 cores=0,2,4,6
/proc/11248/task/11266/stat : 11266 (java) S 11245 11248 5003 0 -1 4202560 53 0 0 0 10 15 0 0 20 0 22 0 4940367 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734753954248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11248/tid=11279] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11279/stat : 11279 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4940536 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734751847592 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11280] ppid=11245 vsize=9824732 CPUtime=893.15 cores=0,2,4,6
/proc/11248/task/11280/stat : 11280 (java) R 11245 11248 5003 0 -1 4202560 109 0 0 0 89299 16 0 0 20 0 22 0 4940687 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734750785424 139734764987813 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=11248/tid=11281] ppid=11245 vsize=9824732 CPUtime=893.06 cores=0,2,4,6
/proc/11248/task/11281/stat : 11281 (java) R 11245 11248 5003 0 -1 4202560 1129 0 0 0 89261 45 0 0 20 0 22 0 4940687 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734749738912 139734765479902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=11248/tid=11282] ppid=11245 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/11248/task/11282/stat : 11282 (java) S 11245 11248 5003 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4940687 10060525568 662892 33554432000 1073741824 1073778376 140735933269488 139734752899880 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11248 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=60261
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=30691
# CPU time returned by wait4() is 1796.09
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.552
CPU time (s): 1800.16
CPU user time (s): 1798.61
CPU system time (s): 1.55
CPU usage (%): 199.895
Max. virtual memory (cumulated for all children) (KiB): 9825348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.06
system time used= 2.03069
maximum resident set size= 3124372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33789
page faults= 1
swaps= 0
block input operations= 0
block output operations= 640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21832
involuntary context switches= 17558
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74213 second user time and 7.2459 second system time
The end