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-4106437-1466271490/watcher-4106437-1466271490 -o /tmp/evaluation-result-4106437-1466271490/solver-4106437-1466271490 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466264503-28302 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4106437-1466271490.opb
pid=378
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.00 4.12 3.83 4/197 381
/proc/meminfo: memFree=28061964/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/381/stat : 381 (java) R 378 381 28285 0 -1 4202496 729 0 0 0 0 0 0 0 20 0 1 0 29197388 23793664 380 33554432000 1073741824 1073778376 140735700213536 140735700202600 217401309761 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/381/statm: 5809 391 299 9 0 128 0
[pid=381/tid=382] ppid=378 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) D 378 381 28285 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 29197389 95129600 927 33554432000 1073741824 1073778376 140735700213536 139860308430376 217401355559 0 0 4096 0 18446744072100588836 0 0 -1 3 0 0 0 0 0
[startup+0.100163 s]
/proc/loadavg: 4.00 4.12 3.83 4/197 381
/proc/meminfo: memFree=28061964/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 4488 0 1 0 9 1 0 0 20 0 18 0 29197388 9787879424 5606 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2389619 5606 2141 9 0 2380296 0
[pid=381/tid=382] ppid=378 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) R 378 381 28285 0 -1 4202560 2440 0 1 0 7 0 0 0 20 0 18 0 29197389 9787879424 5607 33554432000 1073741824 1073778376 140735700213536 139860308433672 217413903629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200283 s]
/proc/loadavg: 4.00 4.12 3.83 4/197 381
/proc/meminfo: memFree=28061964/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 4747 0 1 0 23 1 0 0 20 0 18 0 29197388 9787879424 6859 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2389619 6859 2217 9 0 2380296 0
[pid=381/tid=382] ppid=378 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) R 378 381 28285 0 -1 4202560 2460 0 1 0 16 1 0 0 20 0 18 0 29197389 9787879424 6859 33554432000 1073741824 1073778376 140735700213536 139860308433672 139860248209952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300294 s]
/proc/loadavg: 4.00 4.12 3.83 4/197 381
/proc/meminfo: memFree=28061964/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 7608 0 1 0 55 2 0 0 20 0 22 0 29197388 10060525568 10335 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2456183 10335 2242 9 0 2446860 0
[pid=381/tid=382] ppid=378 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) S 378 381 28285 0 -1 4202560 2473 0 1 0 20 1 0 0 20 0 22 0 29197389 10060525568 10335 33554432000 1073741824 1073778376 140735700213536 139860308435832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9824732
[startup+0.700246 s]
/proc/loadavg: 4.00 4.12 3.83 4/197 381
/proc/meminfo: memFree=28061964/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 18701 0 1 0 209 5 0 0 20 0 22 0 29197388 10060525568 23280 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2456183 23280 2256 9 0 2446860 0
[pid=381/tid=382] ppid=378 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) S 378 381 28285 0 -1 4202560 2473 0 1 0 20 1 0 0 20 0 22 0 29197389 10060525568 23280 33554432000 1073741824 1073778376 140735700213536 139860308435832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9824732
[startup+1.50093 s]
/proc/loadavg: 4.00 4.12 3.83 6/219 403
/proc/meminfo: memFree=27883712/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9824732 CPUtime=5.09 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 30033 0 1 0 500 9 0 0 20 0 22 0 29197388 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2456183 50809 2281 9 0 2446860 0
[pid=381/tid=382] ppid=378 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) S 378 381 28285 0 -1 4202560 2473 0 1 0 20 1 0 0 20 0 22 0 29197389 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860308435832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=384] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/384/stat : 384 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29197390 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860247165352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=385] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/385/stat : 385 (java) S 378 381 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29197390 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860246112808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=386] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/386/stat : 386 (java) S 378 381 28285 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 29197390 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860245059752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=387] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/387/stat : 387 (java) S 378 381 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29197390 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860244007208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=388] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/388/stat : 388 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29197390 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860242955176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=389] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/389/stat : 389 (java) S 378 381 28285 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 29197390 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860146601000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=390] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/390/stat : 390 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29197390 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860145547944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=391] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/391/stat : 391 (java) S 378 381 28285 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 29197390 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860144495400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=392] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/392/stat : 392 (java) S 378 381 28285 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 29197391 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860132297064 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=393] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/393/stat : 393 (java) S 378 381 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29197391 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860131243384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=394] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/394/stat : 394 (java) S 378 381 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29197391 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860130190216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=395] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/395/stat : 395 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29197394 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860129138960 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=396] ppid=378 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/381/task/396/stat : 396 (java) S 378 381 28285 0 -1 4202560 12888 0 0 0 115 3 0 0 20 0 22 0 29197394 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860128086840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=397] ppid=378 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/381/task/397/stat : 397 (java) S 378 381 28285 0 -1 4202560 13166 0 0 0 115 3 0 0 20 0 22 0 29197394 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860127034296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=398] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/398/stat : 398 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29197394 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860125981432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=399] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/399/stat : 399 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29197394 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860124929096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=400] ppid=378 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/381/task/400/stat : 400 (java) R 378 381 28285 0 -1 4202560 26 0 0 0 122 0 0 0 20 0 22 0 29197412 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860123873848 139860248640407 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=381/tid=401] ppid=378 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/381/task/401/stat : 401 (java) R 378 381 28285 0 -1 4202560 96 0 0 0 118 2 0 0 20 0 22 0 29197412 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860122820032 139860248640367 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=381/tid=402] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/402/stat : 402 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29197413 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860121768744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=403] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/403/stat : 403 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29197413 10060525568 50809 33554432000 1073741824 1073778376 140735700213536 139860120716200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.09
Current children cumulated vsize (KiB) 9824732
[startup+3.10102 s]
/proc/loadavg: 4.00 4.12 3.83 5/219 403
/proc/meminfo: memFree=27849960/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9824732 CPUtime=8.49 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 30811 0 1 0 834 15 0 0 20 0 22 0 29197388 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2456183 90354 2281 9 0 2446860 0
[pid=381/tid=382] ppid=378 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) S 378 381 28285 0 -1 4202560 2473 0 1 0 20 1 0 0 20 0 22 0 29197389 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860308435832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=384] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/384/stat : 384 (java) S 378 381 28285 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 29197390 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860247165352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=385] ppid=378 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/381/task/385/stat : 385 (java) S 378 381 28285 0 -1 4202560 162 0 0 0 2 0 0 0 20 0 22 0 29197390 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860246112808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=386] ppid=378 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/381/task/386/stat : 386 (java) S 378 381 28285 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 29197390 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860245059752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=387] ppid=378 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/381/task/387/stat : 387 (java) S 378 381 28285 0 -1 4202560 161 0 0 0 2 0 0 0 20 0 22 0 29197390 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860244007208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=388] ppid=378 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/381/task/388/stat : 388 (java) S 378 381 28285 0 -1 4202560 100 0 0 0 2 0 0 0 20 0 22 0 29197390 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860242955176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=389] ppid=378 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/381/task/389/stat : 389 (java) S 378 381 28285 0 -1 4202560 143 0 0 0 1 0 0 0 20 0 22 0 29197390 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860146601000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=390] ppid=378 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/381/task/390/stat : 390 (java) S 378 381 28285 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 29197390 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860145547944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=391] ppid=378 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/381/task/391/stat : 391 (java) S 378 381 28285 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 29197390 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860144495400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=392] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/392/stat : 392 (java) S 378 381 28285 0 -1 4202560 192 0 0 0 0 0 0 0 20 0 22 0 29197391 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860132297064 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=393] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/393/stat : 393 (java) S 378 381 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 29197391 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860131243384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=394] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/394/stat : 394 (java) S 378 381 28285 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 29197391 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860130190216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=395] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/395/stat : 395 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29197394 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860129138960 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=396] ppid=378 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/381/task/396/stat : 396 (java) S 378 381 28285 0 -1 4202560 12895 0 0 0 120 3 0 0 20 0 22 0 29197394 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860128086840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=397] ppid=378 vsize=9824732 CPUtime=1.26 cores=1,3,5,7
/proc/381/task/397/stat : 397 (java) S 378 381 28285 0 -1 4202560 13174 0 0 0 123 3 0 0 20 0 22 0 29197394 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860127034296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=398] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/398/stat : 398 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29197394 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860125981432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=399] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/399/stat : 399 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 29197394 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860124929096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=400] ppid=378 vsize=9824732 CPUtime=2.76 cores=1,3,5,7
/proc/381/task/400/stat : 400 (java) R 378 381 28285 0 -1 4202560 34 0 0 0 276 0 0 0 20 0 22 0 29197412 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860123872376 139860248729024 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=381/tid=401] ppid=378 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/381/task/401/stat : 401 (java) R 378 381 28285 0 -1 4202560 151 0 0 0 270 3 0 0 20 0 22 0 29197412 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860122820160 139860248753925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=381/tid=402] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/402/stat : 402 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29197413 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860121768744 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=403] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/403/stat : 403 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 29197413 10060525568 90354 33554432000 1073741824 1073778376 140735700213536 139860120716200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 9824732
[startup+6.30101 s]
/proc/loadavg: 4.00 4.12 3.83 5/219 403
/proc/meminfo: memFree=27432492/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9824732 CPUtime=15.81 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 35305 0 1 0 1558 23 0 0 20 0 22 0 29197388 10060525568 157147 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2456183 157147 2283 9 0 2446860 0
[pid=381/tid=382] ppid=378 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) S 378 381 28285 0 -1 4202560 2473 0 1 0 20 1 0 0 20 0 22 0 29197389 10060525568 157147 33554432000 1073741824 1073778376 140735700213536 139860308435832 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=384] ppid=378 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/381/task/384/stat : 384 (java) S 378 381 28285 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 22 0 29197390 10060525568 157147 33554432000 1073741824 1073778376 140735700213536 139860247165352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=385] ppid=378 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/381/task/385/stat : 385 (java) S 378 381 28285 0 -1 4202560 168 0 0 0 2 1 0 0 20 0 22 0 29197390 10060525568 157147 33554432000 1073741824 1073778376 140735700213536 139860246112808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=386] ppid=378 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/381/task/386/stat : 386 (java) S 378 381 28285 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 29197390 10060525568 157147 33554432000 1073741824 1073778376 140735700213536 139860245059752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=387] ppid=378 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/381/task/387/stat : 387 (java) S 378 381 28285 0 -1 4202560 177 0 0 0 4 1 0 0 20 0 22 0 29197390 10060525568 157147 33554432000 1073741824 1073778376 140735700213536 139860244007208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=388] ppid=378 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/381/task/388/stat : 388 (java) S 378 381 28285 0 -1 4202560 101 0 0 0 3 0 0 0 20 0 22 0 29197390 10060525568 157147 33554432000 1073741824 1073778376 140735700213536 139860242955176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=389] ppid=378 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/381/task/389/stat : 389 (java) S 378 381 28285 0 -1 4202560 144 0 0 0 1 0 0 0 20 0 22 0 29197390 10060525568 157147 33554432000 1073741824 1073778376 140735700213536 139860146601000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=390] ppid=378 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/381/task/390/stat : 390 (java) S 378 381 28285 0 -1 4202560 32 0 0 0 2 1 0 0 20 0 22 0 29197390 10060525568 157147 33554432000 1073741824 1073778376 140735700213536 139860145547944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=391] ppid=378 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
################
# More data... #
################
/proc/381/task/390/stat : 390 (java) S 378 381 28285 0 -1 4202560 788 0 0 0 154 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860145547944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=391] ppid=378 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/381/task/391/stat : 391 (java) S 378 381 28285 0 -1 4202560 517 0 0 0 145 11 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860144495400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=392] ppid=378 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/381/task/392/stat : 392 (java) S 378 381 28285 0 -1 4202560 1758 0 0 0 202 17 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860132297064 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=393] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/393/stat : 393 (java) S 378 381 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860131243384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=394] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/394/stat : 394 (java) S 378 381 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860130190216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=395] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/395/stat : 395 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860129138960 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=396] ppid=378 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/381/task/396/stat : 396 (java) S 378 381 28285 0 -1 4202560 18873 0 0 0 286 3 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860128086840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=397] ppid=378 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/381/task/397/stat : 397 (java) S 378 381 28285 0 -1 4202560 13174 0 0 0 130 3 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860127034296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=398] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/398/stat : 398 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860125981432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=399] ppid=378 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/381/task/399/stat : 399 (java) S 378 381 28285 0 -1 4202560 37 0 0 0 10 16 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860124929096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=403] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/403/stat : 403 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29197413 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860120716200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1246.27
Current children cumulated vsize (KiB) 9824732
[startup+624.001 s]
/proc/loadavg: 4.19 4.18 4.00 4/216 2687
/proc/meminfo: memFree=24724772/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9824732 CPUtime=1247.07 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 44501 0 1 0 124512 195 0 0 20 0 19 0 29197388 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2456183 626946 2293 9 0 2446860 0
[pid=381/tid=382] ppid=378 vsize=9824732 CPUtime=2.85 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) R 378 381 28285 0 -1 4202560 2484 0 1 0 282 3 0 0 20 0 19 0 29197389 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860308433456 139860249510583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=381/tid=384] ppid=378 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/381/task/384/stat : 384 (java) S 378 381 28285 0 -1 4202560 374 0 0 0 144 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860247165352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=385] ppid=378 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/381/task/385/stat : 385 (java) S 378 381 28285 0 -1 4202560 543 0 0 0 150 13 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860246112808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=386] ppid=378 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/381/task/386/stat : 386 (java) S 378 381 28285 0 -1 4202560 598 0 0 0 142 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860245059752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=387] ppid=378 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/381/task/387/stat : 387 (java) S 378 381 28285 0 -1 4202560 514 0 0 0 149 10 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860244007208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=388] ppid=378 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/381/task/388/stat : 388 (java) S 378 381 28285 0 -1 4202560 590 0 0 0 166 13 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860242955176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=389] ppid=378 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/381/task/389/stat : 389 (java) S 378 381 28285 0 -1 4202560 666 0 0 0 149 11 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860146601000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=390] ppid=378 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/381/task/390/stat : 390 (java) S 378 381 28285 0 -1 4202560 788 0 0 0 154 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860145547944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=391] ppid=378 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/381/task/391/stat : 391 (java) S 378 381 28285 0 -1 4202560 517 0 0 0 145 11 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860144495400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=392] ppid=378 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/381/task/392/stat : 392 (java) S 378 381 28285 0 -1 4202560 1758 0 0 0 202 17 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860132297064 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=393] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/393/stat : 393 (java) S 378 381 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860131243384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=394] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/394/stat : 394 (java) S 378 381 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860130190216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=395] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/395/stat : 395 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860129138960 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=396] ppid=378 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/381/task/396/stat : 396 (java) S 378 381 28285 0 -1 4202560 18873 0 0 0 286 3 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860128086840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=397] ppid=378 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/381/task/397/stat : 397 (java) S 378 381 28285 0 -1 4202560 13174 0 0 0 130 3 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860127034296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=398] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/398/stat : 398 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860125981432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=399] ppid=378 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/381/task/399/stat : 399 (java) S 378 381 28285 0 -1 4202560 37 0 0 0 10 16 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860124929096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=403] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/403/stat : 403 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29197413 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860120716200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1247.07
Current children cumulated vsize (KiB) 9824732
[startup+624.201 s]
/proc/loadavg: 4.19 4.18 4.00 4/216 2687
/proc/meminfo: memFree=24724772/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9824732 CPUtime=1247.27 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 44501 0 1 0 124532 195 0 0 20 0 19 0 29197388 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2456183 626946 2293 9 0 2446860 0
[pid=381/tid=382] ppid=378 vsize=9824732 CPUtime=3.05 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) R 378 381 28285 0 -1 4202560 2484 0 1 0 302 3 0 0 20 0 19 0 29197389 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860308433456 139860248393654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=381/tid=384] ppid=378 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/381/task/384/stat : 384 (java) S 378 381 28285 0 -1 4202560 374 0 0 0 144 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860247165352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=385] ppid=378 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/381/task/385/stat : 385 (java) S 378 381 28285 0 -1 4202560 543 0 0 0 150 13 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860246112808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=386] ppid=378 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/381/task/386/stat : 386 (java) S 378 381 28285 0 -1 4202560 598 0 0 0 142 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860245059752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=387] ppid=378 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/381/task/387/stat : 387 (java) S 378 381 28285 0 -1 4202560 514 0 0 0 149 10 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860244007208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=388] ppid=378 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/381/task/388/stat : 388 (java) S 378 381 28285 0 -1 4202560 590 0 0 0 166 13 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860242955176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=389] ppid=378 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/381/task/389/stat : 389 (java) S 378 381 28285 0 -1 4202560 666 0 0 0 149 11 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860146601000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=390] ppid=378 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/381/task/390/stat : 390 (java) S 378 381 28285 0 -1 4202560 788 0 0 0 154 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860145547944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=391] ppid=378 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/381/task/391/stat : 391 (java) S 378 381 28285 0 -1 4202560 517 0 0 0 145 11 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860144495400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=392] ppid=378 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/381/task/392/stat : 392 (java) S 378 381 28285 0 -1 4202560 1758 0 0 0 202 17 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860132297064 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=393] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/393/stat : 393 (java) S 378 381 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860131243384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=394] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/394/stat : 394 (java) S 378 381 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860130190216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=395] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/395/stat : 395 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860129138960 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=396] ppid=378 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/381/task/396/stat : 396 (java) S 378 381 28285 0 -1 4202560 18873 0 0 0 286 3 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860128086840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=397] ppid=378 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/381/task/397/stat : 397 (java) S 378 381 28285 0 -1 4202560 13174 0 0 0 130 3 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860127034296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=398] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/398/stat : 398 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860125981432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=399] ppid=378 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/381/task/399/stat : 399 (java) S 378 381 28285 0 -1 4202560 37 0 0 0 10 16 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860124929096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=403] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/403/stat : 403 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29197413 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860120716200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1247.27
Current children cumulated vsize (KiB) 9824732
[startup+624.301 s]
/proc/loadavg: 4.19 4.18 4.00 4/216 2687
/proc/meminfo: memFree=24724772/32872528 swapFree=1534436/1655032
[pid=381] ppid=378 vsize=9824732 CPUtime=1247.37 cores=1,3,5,7
/proc/381/stat : 381 (java) S 378 381 28285 0 -1 4202496 44501 0 1 0 124542 195 0 0 20 0 19 0 29197388 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 140735700204672 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/381/statm: 2456183 626946 2293 9 0 2446860 0
[pid=381/tid=382] ppid=378 vsize=9824732 CPUtime=3.15 cores=1,3,5,7
/proc/381/task/382/stat : 382 (java) R 378 381 28285 0 -1 4202560 2484 0 1 0 312 3 0 0 20 0 19 0 29197389 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860308433456 139860249510960 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=381/tid=384] ppid=378 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/381/task/384/stat : 384 (java) S 378 381 28285 0 -1 4202560 374 0 0 0 144 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860247165352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=385] ppid=378 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/381/task/385/stat : 385 (java) S 378 381 28285 0 -1 4202560 543 0 0 0 150 13 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860246112808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=386] ppid=378 vsize=9824732 CPUtime=1.54 cores=1,3,5,7
/proc/381/task/386/stat : 386 (java) S 378 381 28285 0 -1 4202560 598 0 0 0 142 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860245059752 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=387] ppid=378 vsize=9824732 CPUtime=1.59 cores=1,3,5,7
/proc/381/task/387/stat : 387 (java) S 378 381 28285 0 -1 4202560 514 0 0 0 149 10 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860244007208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=388] ppid=378 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/381/task/388/stat : 388 (java) S 378 381 28285 0 -1 4202560 590 0 0 0 166 13 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860242955176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=389] ppid=378 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/381/task/389/stat : 389 (java) S 378 381 28285 0 -1 4202560 666 0 0 0 149 11 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860146601000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=390] ppid=378 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/381/task/390/stat : 390 (java) S 378 381 28285 0 -1 4202560 788 0 0 0 154 12 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860145547944 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=391] ppid=378 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/381/task/391/stat : 391 (java) S 378 381 28285 0 -1 4202560 517 0 0 0 145 11 0 0 20 0 19 0 29197390 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860144495400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=392] ppid=378 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/381/task/392/stat : 392 (java) S 378 381 28285 0 -1 4202560 1758 0 0 0 202 17 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860132297064 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=393] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/393/stat : 393 (java) S 378 381 28285 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860131243384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=394] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/394/stat : 394 (java) S 378 381 28285 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29197391 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860130190216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=381/tid=395] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/395/stat : 395 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860129138960 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=381/tid=396] ppid=378 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/381/task/396/stat : 396 (java) S 378 381 28285 0 -1 4202560 18873 0 0 0 286 3 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860128086840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=397] ppid=378 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/381/task/397/stat : 397 (java) S 378 381 28285 0 -1 4202560 13174 0 0 0 130 3 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860127034296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=398] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/398/stat : 398 (java) S 378 381 28285 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860125981432 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=381/tid=399] ppid=378 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/381/task/399/stat : 399 (java) S 378 381 28285 0 -1 4202560 37 0 0 0 10 16 0 0 20 0 19 0 29197394 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860124929096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=381/tid=403] ppid=378 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/381/task/403/stat : 403 (java) S 378 381 28285 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29197413 10060525568 626946 33554432000 1073741824 1073778376 140735700213536 139860120716200 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1247.37
Current children cumulated vsize (KiB) 9824732
Child status: 30
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.63
# lost CPU user time (s): 2.79993
# lost CPU system time (s): -0.17
Real time (s): 624.379
CPU time (s): 1250.37
CPU user time (s): 1248.35
CPU system time (s): 2.02167
CPU usage (%): 200.259
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1245.55
system time used= 2.19167
maximum resident set size= 2871368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44509
page faults= 1
swaps= 0
block input operations= 0
block output operations= 720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20555
involuntary context switches= 29911
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38833 second user time and 5.78112 second system time
The end