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-4110417-1466347397/watcher-4110417-1466347397 -o /tmp/evaluation-result-4110417-1466347397/solver-4110417-1466347397 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466341826-21759 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4110417-1466347397.wbo
pid=27248
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 1.99 1.97 3/196 27251
/proc/meminfo: memFree=30487064/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/27251/stat : 27251 (java) R 27248 27251 21743 0 -1 4202496 1023 0 0 0 0 0 0 0 20 0 1 0 36790191 23793664 673 33554432000 1073741824 1073778376 140735964535776 140735964524840 249640827457 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 5809 684 503 9 0 128 0
[startup+0.10006 s]
/proc/loadavg: 2.02 1.99 1.97 3/196 27251
/proc/meminfo: memFree=30487064/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/27251/stat : 27251 (java) S 27248 27251 21743 0 -1 4202496 4443 0 1 0 9 1 0 0 20 0 18 0 36790191 9787879424 6068 33554432000 1073741824 1073778376 140735964535776 140735964526912 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 2389619 6068 2141 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.20032 s]
/proc/loadavg: 2.02 1.99 1.97 3/196 27251
/proc/meminfo: memFree=30487064/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=9558476 CPUtime=0.23 cores=0,2,4,6
/proc/27251/stat : 27251 (java) S 27248 27251 21743 0 -1 4202496 4742 0 1 0 22 1 0 0 20 0 18 0 36790191 9787879424 6836 33554432000 1073741824 1073778376 140735964535776 140735964526912 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 2389619 6836 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300275 s]
/proc/loadavg: 2.02 1.99 1.97 3/196 27251
/proc/meminfo: memFree=30487064/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/27251/stat : 27251 (java) S 27248 27251 21743 0 -1 4202496 5757 0 1 0 46 2 0 0 20 0 18 0 36790191 9787879424 8953 33554432000 1073741824 1073778376 140735964535776 140735964526912 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 2389619 8953 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700183 s]
/proc/loadavg: 2.02 1.99 1.97 3/196 27251
/proc/meminfo: memFree=30487064/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/27251/stat : 27251 (java) S 27248 27251 21743 0 -1 4202496 11672 0 1 0 170 5 0 0 20 0 19 0 36790191 10060525568 14874 33554432000 1073741824 1073778376 140735964535776 140735964526912 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 2456183 14874 2267 9 0 2446860 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 9824732
[startup+1.50076 s]
/proc/loadavg: 2.02 1.99 1.97 2/215 27276
/proc/meminfo: memFree=30427196/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=9824732 CPUtime=2.57 cores=0,2,4,6
/proc/27251/stat : 27251 (java) S 27248 27251 21743 0 -1 4202496 15595 0 1 0 250 7 0 0 20 0 22 0 36790191 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140735964526912 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 2456183 21652 2273 9 0 2446860 0
[pid=27251/tid=27253] ppid=27248 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/27251/task/27253/stat : 27253 (java) S 27248 27251 21743 0 -1 4202560 2456 0 1 0 33 1 0 0 20 0 22 0 36790192 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140654058201976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27254] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27254/stat : 27254 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790192 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140654019693224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27255] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27255/stat : 27255 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790192 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140654018640680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27256] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27256/stat : 27256 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790192 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140654017588136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27257] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27257/stat : 27257 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790192 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140654016535592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27258] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27258/stat : 27258 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790192 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140654015482024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27259] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27259/stat : 27259 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790192 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140654014429480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27260] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27260/stat : 27260 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790192 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140654013376936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27261] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27261/stat : 27261 (java) S 27248 27251 21743 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 36790192 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140654012324392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27262] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27262/stat : 27262 (java) S 27248 27251 21743 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 36790193 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140653882219112 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27263] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27263/stat : 27263 (java) S 27248 27251 21743 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 36790194 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140653881165432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27264] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27264/stat : 27264 (java) S 27248 27251 21743 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36790194 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140653880112776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27265] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27265/stat : 27265 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790196 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140653879061520 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27266] ppid=27248 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/27251/task/27266/stat : 27266 (java) R 27248 27251 21743 0 -1 4202560 6407 0 0 0 73 0 0 0 20 0 22 0 36790196 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140653877995264 140654060812811 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27267] ppid=27248 vsize=9824732 CPUtime=0.71 cores=0,2,4,6
/proc/27251/task/27267/stat : 27267 (java) R 27248 27251 21743 0 -1 4202560 5378 0 0 0 71 0 0 0 20 0 22 0 36790196 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140653876955320 140654064356209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27268] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27268/stat : 27268 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790196 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140653875902968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27269] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27269/stat : 27269 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 36790196 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140653874850632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27272] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27272/stat : 27272 (java) S 27248 27251 21743 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 36790227 10060525568 21652 33554432000 1073741824 1073778376 140735964535776 140652729853480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 9824732
[startup+3.1009 s]
/proc/loadavg: 2.10 2.00 1.98 5/218 27279
/proc/meminfo: memFree=30373384/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=9824732 CPUtime=6.1 cores=0,2,4,6
/proc/27251/stat : 27251 (java) S 27248 27251 21743 0 -1 4202496 16301 0 1 0 599 11 0 0 20 0 20 0 36790191 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140735964526912 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 2456183 39509 2280 9 0 2446860 0
[pid=27251/tid=27253] ppid=27248 vsize=9824732 CPUtime=0.34 cores=0,2,4,6
/proc/27251/task/27253/stat : 27253 (java) S 27248 27251 21743 0 -1 4202560 2456 0 1 0 33 1 0 0 20 0 20 0 36790192 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140654058201976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27254] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27254/stat : 27254 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790192 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140654019693224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27255] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27255/stat : 27255 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790192 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140654018640680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27256] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27256/stat : 27256 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790192 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140654017588136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27257] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27257/stat : 27257 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790192 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140654016535592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27258] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27258/stat : 27258 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790192 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140654015482024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27259] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27259/stat : 27259 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790192 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140654014429480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27260] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27260/stat : 27260 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790192 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140654013376936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27261] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27261/stat : 27261 (java) S 27248 27251 21743 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 36790192 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140654012324392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27262] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27262/stat : 27262 (java) S 27248 27251 21743 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 36790193 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140653882219112 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27263] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27263/stat : 27263 (java) S 27248 27251 21743 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 20 0 36790194 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140653881165432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27264] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27264/stat : 27264 (java) S 27248 27251 21743 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 36790194 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140653880112776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27265] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27265/stat : 27265 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790196 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140653879061520 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27266] ppid=27248 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/27251/task/27266/stat : 27266 (java) S 27248 27251 21743 0 -1 4202560 6411 0 0 0 82 0 0 0 20 0 20 0 36790196 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140653878007864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27267] ppid=27248 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/27251/task/27267/stat : 27267 (java) S 27248 27251 21743 0 -1 4202560 6041 0 0 0 96 2 0 0 20 0 20 0 36790196 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140653876955320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27268] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27268/stat : 27268 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790196 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140653875902968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27269] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27269/stat : 27269 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 36790196 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140653874850632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27272] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27272/stat : 27272 (java) S 27248 27251 21743 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 36790227 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140652729853480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27278] ppid=27248 vsize=9824732 CPUtime=1.69 cores=0,2,4,6
/proc/27251/task/27278/stat : 27278 (java) R 27248 27251 21743 0 -1 4202560 44 0 0 0 168 1 0 0 20 0 20 0 36790328 10060525568 39509 33554432000 1073741824 1073778376 140735964535776 140653872740720 140653888276674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 9824732
[startup+6.30085 s]
/proc/loadavg: 2.10 2.00 1.98 5/218 27294
/proc/meminfo: memFree=30296700/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=9824732 CPUtime=7.26 cores=0,2,4,6
/proc/27251/stat : 27251 (java) S 27248 27251 21743 0 -1 4202496 16412 0 1 0 703 23 0 0 20 0 19 0 36790191 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140735964526912 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 2456183 45627 2294 9 0 2446860 0
[pid=27251/tid=27253] ppid=27248 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/27251/task/27253/stat : 27253 (java) S 27248 27251 21743 0 -1 4202560 2458 0 1 0 36 2 0 0 20 0 19 0 36790192 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140654058201976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27254] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27254/stat : 27254 (java) S 27248 27251 21743 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36790192 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140654019693224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27255] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27255/stat : 27255 (java) S 27248 27251 21743 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 36790192 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140654018640680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27256] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27256/stat : 27256 (java) S 27248 27251 21743 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36790192 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140654017588136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27257] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27257/stat : 27257 (java) S 27248 27251 21743 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 36790192 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140654016535592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27258] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27258/stat : 27258 (java) S 27248 27251 21743 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36790192 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140654015482024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27259] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27259/stat : 27259 (java) S 27248 27251 21743 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 36790192 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140654014429480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27260] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27260/stat : 27260 (java) S 27248 27251 21743 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36790192 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140654013376936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27261] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27261/stat : 27261 (java) S 27248 27251 21743 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36790192 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140654012324392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27262] ppid=27248 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/27251/task/27262/stat : 27262 (java) S 27248 27251 21743 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 19 0 36790193 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140653882219112 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27263] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27263/stat : 27263 (java) S 27248 27251 21743 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36790194 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140653881165432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27264] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27264/stat : 27264 (java) S 27248 27251 21743 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36790194 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140653880112776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27265] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27265/stat : 27265 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36790196 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140653879061520 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27266] ppid=27248 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/27251/task/27266/stat : 27266 (java) S 27248 27251 21743 0 -1 4202560 6411 0 0 0 90 0 0 0 20 0 19 0 36790196 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140653878007864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27267] ppid=27248 vsize=9824732 CPUtime=1.1 cores=0,2,4,6
/proc/27251/task/27267/stat : 27267 (java) S 27248 27251 21743 0 -1 4202560 6043 0 0 0 108 2 0 0 20 0 19 0 36790196 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140653876955320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27268] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27268/stat : 27268 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36790196 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140653875902968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27269] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27269/stat : 27269 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36790196 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140653874850632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27272] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27272/stat : 27272 (java) S 27248 27251 21743 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36790227 10060525568 45627 33554432000 1073741824 1073778376 140735964535776 140652729853480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
################
# More data... #
################
/proc/27251/task/27253/stat : 27253 (java) S 27248 27251 21743 0 -1 4202560 2551 0 1 0 95 21 0 0 20 0 21 0 36790192 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140654058202104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27254] ppid=27248 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/27251/task/27254/stat : 27254 (java) S 27248 27251 21743 0 -1 4202560 857 0 0 0 300 41 0 0 20 0 21 0 36790192 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140654019693224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27255] ppid=27248 vsize=9824732 CPUtime=3.14 cores=0,2,4,6
/proc/27251/task/27255/stat : 27255 (java) S 27248 27251 21743 0 -1 4202560 944 0 0 0 280 34 0 0 20 0 21 0 36790192 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140654018640680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27256] ppid=27248 vsize=9824732 CPUtime=3.3 cores=0,2,4,6
/proc/27251/task/27256/stat : 27256 (java) S 27248 27251 21743 0 -1 4202560 955 0 0 0 291 39 0 0 20 0 21 0 36790192 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140654017588136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27257] ppid=27248 vsize=9824732 CPUtime=3.02 cores=0,2,4,6
/proc/27251/task/27257/stat : 27257 (java) S 27248 27251 21743 0 -1 4202560 765 0 0 0 267 35 0 0 20 0 21 0 36790192 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140654016535592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27258] ppid=27248 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/27251/task/27258/stat : 27258 (java) S 27248 27251 21743 0 -1 4202560 990 0 0 0 290 37 0 0 20 0 21 0 36790192 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140654015482024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27259] ppid=27248 vsize=9824732 CPUtime=3.34 cores=0,2,4,6
/proc/27251/task/27259/stat : 27259 (java) S 27248 27251 21743 0 -1 4202560 894 0 0 0 298 36 0 0 20 0 21 0 36790192 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140654014429480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27260] ppid=27248 vsize=9824732 CPUtime=3.47 cores=0,2,4,6
/proc/27251/task/27260/stat : 27260 (java) S 27248 27251 21743 0 -1 4202560 895 0 0 0 305 42 0 0 20 0 21 0 36790192 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140654013376936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27261] ppid=27248 vsize=9824732 CPUtime=3.4 cores=0,2,4,6
/proc/27251/task/27261/stat : 27261 (java) S 27248 27251 21743 0 -1 4202560 881 0 0 0 302 38 0 0 20 0 21 0 36790192 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140654012324392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27262] ppid=27248 vsize=9824732 CPUtime=6.71 cores=0,2,4,6
/proc/27251/task/27262/stat : 27262 (java) S 27248 27251 21743 0 -1 4202560 3139 0 0 0 661 10 0 0 20 0 21 0 36790193 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653882219112 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27263] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27263/stat : 27263 (java) S 27248 27251 21743 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36790194 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653881165432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27264] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27264/stat : 27264 (java) S 27248 27251 21743 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 36790194 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653880112776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27265] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27265/stat : 27265 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36790196 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653879061520 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27266] ppid=27248 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/27251/task/27266/stat : 27266 (java) S 27248 27251 21743 0 -1 4202560 12308 0 0 0 186 2 0 0 20 0 21 0 36790196 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653878007864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27267] ppid=27248 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/27251/task/27267/stat : 27267 (java) S 27248 27251 21743 0 -1 4202560 6057 0 0 0 127 2 0 0 20 0 21 0 36790196 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653876955320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27268] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27268/stat : 27268 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36790196 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653875902968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27269] ppid=27248 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/27251/task/27269/stat : 27269 (java) S 27248 27251 21743 0 -1 4202560 97 0 0 0 18 19 0 0 20 0 21 0 36790196 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653874850632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27272] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27272/stat : 27272 (java) S 27248 27251 21743 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36790227 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140652729853480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27407] ppid=27248 vsize=9824732 CPUtime=1608.45 cores=0,2,4,6
/proc/27251/task/27407/stat : 27407 (java) R 27248 27251 21743 0 -1 4202560 555 0 0 0 160808 37 0 0 20 0 21 0 36793816 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653873794416 140653888276682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27408] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27408/stat : 27408 (java) S 27248 27251 21743 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36793819 10060525568 931473 33554432000 1073741824 1073778376 140735964535776 140653872743976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1688.48
Current children cumulated vsize (KiB) 9824732
[startup+1722.3 s]
/proc/loadavg: 1.04 1.35 1.93 2/190 27587
/proc/meminfo: memFree=27660040/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=9824732 CPUtime=1749.38 cores=0,2,4,6
/proc/27251/stat : 27251 (java) S 27248 27251 21743 0 -1 4202496 36416 0 1 0 174458 480 0 0 20 0 21 0 36790191 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140735964526912 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 2456183 957279 2302 9 0 2446860 0
[pid=27251/tid=27253] ppid=27248 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/27251/task/27253/stat : 27253 (java) S 27248 27251 21743 0 -1 4202560 2552 0 1 0 96 22 0 0 20 0 21 0 36790192 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140654058202104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27254] ppid=27248 vsize=9824732 CPUtime=3.63 cores=0,2,4,6
/proc/27251/task/27254/stat : 27254 (java) S 27248 27251 21743 0 -1 4202560 915 0 0 0 319 44 0 0 20 0 21 0 36790192 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140654019693224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27255] ppid=27248 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/27251/task/27255/stat : 27255 (java) S 27248 27251 21743 0 -1 4202560 982 0 0 0 291 36 0 0 20 0 21 0 36790192 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140654018640680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27256] ppid=27248 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/27251/task/27256/stat : 27256 (java) S 27248 27251 21743 0 -1 4202560 1135 0 0 0 304 40 0 0 20 0 21 0 36790192 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140654017588136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27257] ppid=27248 vsize=9824732 CPUtime=3.15 cores=0,2,4,6
/proc/27251/task/27257/stat : 27257 (java) S 27248 27251 21743 0 -1 4202560 1045 0 0 0 278 37 0 0 20 0 21 0 36790192 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140654016535592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27258] ppid=27248 vsize=9824732 CPUtime=3.39 cores=0,2,4,6
/proc/27251/task/27258/stat : 27258 (java) S 27248 27251 21743 0 -1 4202560 1047 0 0 0 301 38 0 0 20 0 21 0 36790192 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140654015482024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27259] ppid=27248 vsize=9824732 CPUtime=3.47 cores=0,2,4,6
/proc/27251/task/27259/stat : 27259 (java) S 27248 27251 21743 0 -1 4202560 1201 0 0 0 308 39 0 0 20 0 21 0 36790192 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140654014429480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27260] ppid=27248 vsize=9824732 CPUtime=3.62 cores=0,2,4,6
/proc/27251/task/27260/stat : 27260 (java) S 27248 27251 21743 0 -1 4202560 1039 0 0 0 318 44 0 0 20 0 21 0 36790192 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140654013376936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27261] ppid=27248 vsize=9824732 CPUtime=3.58 cores=0,2,4,6
/proc/27251/task/27261/stat : 27261 (java) S 27248 27251 21743 0 -1 4202560 1149 0 0 0 318 40 0 0 20 0 21 0 36790192 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140654012324392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27262] ppid=27248 vsize=9824732 CPUtime=9.14 cores=0,2,4,6
/proc/27251/task/27262/stat : 27262 (java) S 27248 27251 21743 0 -1 4202560 3979 0 0 0 903 11 0 0 20 0 21 0 36790193 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653882219112 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27263] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27263/stat : 27263 (java) S 27248 27251 21743 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36790194 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653881165432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27264] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27264/stat : 27264 (java) S 27248 27251 21743 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 36790194 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653880112776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27265] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27265/stat : 27265 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36790196 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653879061520 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27266] ppid=27248 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/27251/task/27266/stat : 27266 (java) S 27248 27251 21743 0 -1 4202560 12308 0 0 0 186 2 0 0 20 0 21 0 36790196 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653878007864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27267] ppid=27248 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/27251/task/27267/stat : 27267 (java) S 27248 27251 21743 0 -1 4202560 6057 0 0 0 127 2 0 0 20 0 21 0 36790196 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653876955320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27268] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27268/stat : 27268 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36790196 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653875902968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27269] ppid=27248 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/27251/task/27269/stat : 27269 (java) S 27248 27251 21743 0 -1 4202560 99 0 0 0 19 20 0 0 20 0 21 0 36790196 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653874850632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27272] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27272/stat : 27272 (java) S 27248 27251 21743 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36790227 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140652729853480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27407] ppid=27248 vsize=9824732 CPUtime=1665.55 cores=0,2,4,6
/proc/27251/task/27407/stat : 27407 (java) R 27248 27251 21743 0 -1 4202560 558 0 0 0 166517 38 0 0 20 0 21 0 36793816 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653873794800 140653888276725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27408] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27408/stat : 27408 (java) S 27248 27251 21743 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36793819 10060525568 957279 33554432000 1073741824 1073778376 140735964535776 140653872743976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1749.38
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1771.4 s]
/proc/loadavg: 1.06 1.31 1.89 2/190 27587
/proc/meminfo: memFree=27659684/32872528 swapFree=190484/190484
[pid=27251] ppid=27248 vsize=9824732 CPUtime=1800.03 cores=0,2,4,6
/proc/27251/stat : 27251 (java) S 27248 27251 21743 0 -1 4202496 36471 0 1 0 179520 483 0 0 20 0 21 0 36790191 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140735964526912 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/27251/statm: 2456183 957315 2302 9 0 2446860 0
[pid=27251/tid=27253] ppid=27248 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/27251/task/27253/stat : 27253 (java) S 27248 27251 21743 0 -1 4202560 2555 0 1 0 97 22 0 0 20 0 21 0 36790192 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140654058202104 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27254] ppid=27248 vsize=9824732 CPUtime=3.85 cores=0,2,4,6
/proc/27251/task/27254/stat : 27254 (java) S 27248 27251 21743 0 -1 4202560 920 0 0 0 341 44 0 0 20 0 21 0 36790192 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140654019693224 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27255] ppid=27248 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/27251/task/27255/stat : 27255 (java) S 27248 27251 21743 0 -1 4202560 988 0 0 0 312 36 0 0 20 0 21 0 36790192 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140654018640680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27256] ppid=27248 vsize=9824732 CPUtime=3.66 cores=0,2,4,6
/proc/27251/task/27256/stat : 27256 (java) S 27248 27251 21743 0 -1 4202560 1139 0 0 0 325 41 0 0 20 0 21 0 36790192 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140654017588136 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27257] ppid=27248 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/27251/task/27257/stat : 27257 (java) S 27248 27251 21743 0 -1 4202560 1052 0 0 0 320 37 0 0 20 0 21 0 36790192 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140654016535592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27258] ppid=27248 vsize=9824732 CPUtime=3.71 cores=0,2,4,6
/proc/27251/task/27258/stat : 27258 (java) S 27248 27251 21743 0 -1 4202560 1052 0 0 0 332 39 0 0 20 0 21 0 36790192 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140654015482024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27259] ppid=27248 vsize=9824732 CPUtime=3.7 cores=0,2,4,6
/proc/27251/task/27259/stat : 27259 (java) S 27248 27251 21743 0 -1 4202560 1207 0 0 0 331 39 0 0 20 0 21 0 36790192 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140654014429480 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27260] ppid=27248 vsize=9824732 CPUtime=3.78 cores=0,2,4,6
/proc/27251/task/27260/stat : 27260 (java) S 27248 27251 21743 0 -1 4202560 1042 0 0 0 334 44 0 0 20 0 21 0 36790192 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140654013376936 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27261] ppid=27248 vsize=9824732 CPUtime=3.83 cores=0,2,4,6
/proc/27251/task/27261/stat : 27261 (java) S 27248 27251 21743 0 -1 4202560 1151 0 0 0 343 40 0 0 20 0 21 0 36790192 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140654012324392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27262] ppid=27248 vsize=9824732 CPUtime=9.14 cores=0,2,4,6
/proc/27251/task/27262/stat : 27262 (java) S 27248 27251 21743 0 -1 4202560 3989 0 0 0 903 11 0 0 20 0 21 0 36790193 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653882219112 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27263] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27263/stat : 27263 (java) S 27248 27251 21743 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 36790194 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653881165432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27264] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27264/stat : 27264 (java) S 27248 27251 21743 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 21 0 36790194 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653880112776 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27265] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27265/stat : 27265 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36790196 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653879061520 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=27251/tid=27266] ppid=27248 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/27251/task/27266/stat : 27266 (java) S 27248 27251 21743 0 -1 4202560 12308 0 0 0 186 2 0 0 20 0 21 0 36790196 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653878007864 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27267] ppid=27248 vsize=9824732 CPUtime=1.29 cores=0,2,4,6
/proc/27251/task/27267/stat : 27267 (java) S 27248 27251 21743 0 -1 4202560 6057 0 0 0 127 2 0 0 20 0 21 0 36790196 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653876955320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27268] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27268/stat : 27268 (java) S 27248 27251 21743 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 36790196 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653875902968 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27269] ppid=27248 vsize=9824732 CPUtime=0.41 cores=0,2,4,6
/proc/27251/task/27269/stat : 27269 (java) S 27248 27251 21743 0 -1 4202560 103 0 0 0 20 21 0 0 20 0 21 0 36790196 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653874850632 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=27251/tid=27272] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27272/stat : 27272 (java) S 27248 27251 21743 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 36790227 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140652729853480 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=27251/tid=27407] ppid=27248 vsize=9824732 CPUtime=1714.01 cores=0,2,4,6
/proc/27251/task/27407/stat : 27407 (java) R 27248 27251 21743 0 -1 4202560 558 0 0 0 171362 39 0 0 20 0 21 0 36793816 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653873794800 140653888299268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=27251/tid=27408] ppid=27248 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/27251/task/27408/stat : 27408 (java) S 27248 27251 21743 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 36793819 10060525568 957315 33554432000 1073741824 1073778376 140735964535776 140653872743976 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 27251 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27251 and gives
# childrusage.ru_utime.tv_sec=1790
# childrusage.ru_utime.tv_usec=769761
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=301194
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1771.44
CPU time (s): 1800.03
CPU user time (s): 1795.2
CPU system time (s): 4.83
CPU usage (%): 101.614
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.77
system time used= 5.30119
maximum resident set size= 3829360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36507
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77207
involuntary context switches= 34636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.6222 second user time and 13.005 second system time
The end