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-4103898-1466249186/watcher-4103898-1466249186 -o /tmp/evaluation-result-4103898-1466249186/solver-4103898-1466249186 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22108 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103898-1466249186.opb
pid=24477
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: 2.98 2.67 2.94 4/197 24480
/proc/meminfo: memFree=27380352/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24480/stat : 24480 (java) D 24477 24480 22091 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 26964155 9515008 176 33554432000 1073741824 1073778376 140735930594384 140735930577112 239873115024 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/24480/statm: 2323 176 133 9 0 71 0
[startup+0.100058 s]
/proc/loadavg: 2.98 2.67 2.94 4/197 24480
/proc/meminfo: memFree=27380352/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/24480/stat : 24480 (java) S 24477 24480 22091 0 -1 4202496 4336 0 1 0 7 1 0 0 20 0 18 0 26964155 9787879424 5447 33554432000 1073741824 1073778376 140735306998352 140735306989488 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24480/statm: 2389619 5450 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200229 s]
/proc/loadavg: 2.98 2.67 2.94 4/197 24480
/proc/meminfo: memFree=27380352/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/24480/stat : 24480 (java) S 24477 24480 22091 0 -1 4202496 5121 0 1 0 26 2 0 0 20 0 18 0 26964155 9787879424 7075 33554432000 1073741824 1073778376 140735306998352 140735306989488 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24480/statm: 2389619 7075 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300248 s]
/proc/loadavg: 2.98 2.67 2.94 4/197 24480
/proc/meminfo: memFree=27380352/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/24480/stat : 24480 (java) S 24477 24480 22091 0 -1 4202496 9659 0 1 0 50 2 0 0 20 0 18 0 26964155 9787879424 12731 33554432000 1073741824 1073778376 140735306998352 140735306989488 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24480/statm: 2389619 12731 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700212 s]
/proc/loadavg: 2.98 2.67 2.94 4/197 24480
/proc/meminfo: memFree=27380352/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/24480/stat : 24480 (java) S 24477 24480 22091 0 -1 4202496 21190 0 1 0 197 5 0 0 20 0 22 0 26964155 10060525568 19737 33554432000 1073741824 1073778376 140735306998352 140735306989488 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24480/statm: 2456183 19737 2259 9 0 2446860 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9824732
[startup+1.50098 s]
/proc/loadavg: 2.98 2.67 2.94 6/219 24502
/proc/meminfo: memFree=27250092/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9824732 CPUtime=4.67 cores=1,3,5,7
/proc/24480/stat : 24480 (java) S 24477 24480 22091 0 -1 4202496 24060 0 1 0 459 8 0 0 20 0 22 0 26964155 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 140735306989488 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24480/statm: 2456183 46615 2285 9 0 2446860 0
[pid=24480/tid=24482] ppid=24477 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/24480/task/24482/stat : 24482 (java) S 24477 24480 22091 0 -1 4202560 2435 0 1 0 34 2 0 0 20 0 22 0 26964156 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858206831480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24483] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24483/stat : 24483 (java) S 24477 24480 22091 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 26964158 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858168323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24484] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24484/stat : 24484 (java) S 24477 24480 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26964158 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858167270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24485] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24485/stat : 24485 (java) S 24477 24480 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26964158 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858166217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24486] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24486/stat : 24486 (java) S 24477 24480 22091 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 26964158 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858165164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24487] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24487/stat : 24487 (java) S 24477 24480 22091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 26964158 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858164111912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24488] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24488/stat : 24488 (java) S 24477 24480 22091 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 26964158 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858163059112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24489] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24489/stat : 24489 (java) S 24477 24480 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26964158 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858162006312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24490] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24490/stat : 24490 (java) S 24477 24480 22091 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 26964158 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858043463848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24491] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24491/stat : 24491 (java) S 24477 24480 22091 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858031053800 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24492] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24492/stat : 24492 (java) S 24477 24480 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858029999864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24493] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24493/stat : 24493 (java) S 24477 24480 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858028946952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24494] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24494/stat : 24494 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139858027895440 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24495] ppid=24477 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/24480/task/24495/stat : 24495 (java) S 24477 24480 22091 0 -1 4202560 9120 0 0 0 103 2 0 0 20 0 22 0 26964162 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139857288489400 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24496] ppid=24477 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/24480/task/24496/stat : 24496 (java) S 24477 24480 22091 0 -1 4202560 11018 0 0 0 98 2 0 0 20 0 22 0 26964162 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139857287436600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24497] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24497/stat : 24497 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139857286383992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24498] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24498/stat : 24498 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139857285331400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24499] ppid=24477 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/24480/task/24499/stat : 24499 (java) R 24477 24480 22091 0 -1 4202560 21 0 0 0 106 0 0 0 20 0 22 0 26964195 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139857284277184 139858044296180 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24500] ppid=24477 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/24480/task/24500/stat : 24500 (java) R 24477 24480 22091 0 -1 4202560 83 0 0 0 104 2 0 0 20 0 22 0 26964195 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139857283223736 139858044249254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24501] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24501/stat : 24501 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139857282172328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24502] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24502/stat : 24502 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 46615 33554432000 1073741824 1073778376 140735306998352 139857281119528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 9824732
[startup+3.10095 s]
/proc/loadavg: 2.98 2.67 2.94 5/219 24502
/proc/meminfo: memFree=27179956/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9824732 CPUtime=8.09 cores=1,3,5,7
/proc/24480/stat : 24480 (java) S 24477 24480 22091 0 -1 4202496 24329 0 1 0 795 14 0 0 20 0 22 0 26964155 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 140735306989488 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24480/statm: 2456183 87704 2285 9 0 2446860 0
[pid=24480/tid=24482] ppid=24477 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/24480/task/24482/stat : 24482 (java) S 24477 24480 22091 0 -1 4202560 2435 0 1 0 34 2 0 0 20 0 22 0 26964156 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858206831480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24483] ppid=24477 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24480/task/24483/stat : 24483 (java) S 24477 24480 22091 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 26964158 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858168323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24484] ppid=24477 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24480/task/24484/stat : 24484 (java) S 24477 24480 22091 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 26964158 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858167270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24485] ppid=24477 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24480/task/24485/stat : 24485 (java) S 24477 24480 22091 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 26964158 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858166217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24486] ppid=24477 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24480/task/24486/stat : 24486 (java) S 24477 24480 22091 0 -1 4202560 31 0 0 0 4 1 0 0 20 0 22 0 26964158 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858165164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24487] ppid=24477 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24480/task/24487/stat : 24487 (java) S 24477 24480 22091 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 26964158 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858164111912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24488] ppid=24477 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24480/task/24488/stat : 24488 (java) S 24477 24480 22091 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 26964158 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858163059112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24489] ppid=24477 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24480/task/24489/stat : 24489 (java) S 24477 24480 22091 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 26964158 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858162006312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24490] ppid=24477 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/24480/task/24490/stat : 24490 (java) S 24477 24480 22091 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 26964158 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858043463848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24491] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24491/stat : 24491 (java) S 24477 24480 22091 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858031053800 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24492] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24492/stat : 24492 (java) S 24477 24480 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858029999864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24493] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24493/stat : 24493 (java) S 24477 24480 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858028946952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24494] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24494/stat : 24494 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139858027895440 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24495] ppid=24477 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/24480/task/24495/stat : 24495 (java) S 24477 24480 22091 0 -1 4202560 9120 0 0 0 108 2 0 0 20 0 22 0 26964162 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139857288489400 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24496] ppid=24477 vsize=9824732 CPUtime=1.08 cores=1,3,5,7
/proc/24480/task/24496/stat : 24496 (java) S 24477 24480 22091 0 -1 4202560 11018 0 0 0 106 2 0 0 20 0 22 0 26964162 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139857287436600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24497] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24497/stat : 24497 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139857286383992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24498] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24498/stat : 24498 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139857285331400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24499] ppid=24477 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/24480/task/24499/stat : 24499 (java) R 24477 24480 22091 0 -1 4202560 23 0 0 0 260 0 0 0 20 0 22 0 26964195 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139857284275504 139858044386464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24500] ppid=24477 vsize=9824732 CPUtime=2.6 cores=1,3,5,7
/proc/24480/task/24500/stat : 24500 (java) R 24477 24480 22091 0 -1 4202560 140 0 0 0 257 3 0 0 20 0 22 0 26964195 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139857283223304 139858044249172 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24501] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24501/stat : 24501 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139857282172328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24502] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24502/stat : 24502 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 87704 33554432000 1073741824 1073778376 140735306998352 139857281119528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 9824732
[startup+6.30098 s]
/proc/loadavg: 3.06 2.69 2.95 11/219 24502
/proc/meminfo: memFree=26664004/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9824732 CPUtime=14.79 cores=1,3,5,7
/proc/24480/stat : 24480 (java) S 24477 24480 22091 0 -1 4202496 26020 0 1 0 1455 24 0 0 20 0 22 0 26964155 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 140735306989488 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24480/statm: 2456183 158774 2285 9 0 2446860 0
[pid=24480/tid=24482] ppid=24477 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/24480/task/24482/stat : 24482 (java) S 24477 24480 22091 0 -1 4202560 2435 0 1 0 34 2 0 0 20 0 22 0 26964156 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858206831480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24483] ppid=24477 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24480/task/24483/stat : 24483 (java) S 24477 24480 22091 0 -1 4202560 55 0 0 0 4 1 0 0 20 0 22 0 26964158 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858168323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24484] ppid=24477 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/24480/task/24484/stat : 24484 (java) S 24477 24480 22091 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 22 0 26964158 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858167270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24485] ppid=24477 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24480/task/24485/stat : 24485 (java) S 24477 24480 22091 0 -1 4202560 71 0 0 0 4 1 0 0 20 0 22 0 26964158 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858166217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24486] ppid=24477 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/24480/task/24486/stat : 24486 (java) S 24477 24480 22091 0 -1 4202560 69 0 0 0 9 2 0 0 20 0 22 0 26964158 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858165164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24487] ppid=24477 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24480/task/24487/stat : 24487 (java) S 24477 24480 22091 0 -1 4202560 29 0 0 0 3 2 0 0 20 0 22 0 26964158 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858164111912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24488] ppid=24477 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24480/task/24488/stat : 24488 (java) S 24477 24480 22091 0 -1 4202560 41 0 0 0 4 1 0 0 20 0 22 0 26964158 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858163059112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24489] ppid=24477 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/24480/task/24489/stat : 24489 (java) S 24477 24480 22091 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 22 0 26964158 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858162006312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24490] ppid=24477 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24480/task/24490/stat : 24490 (java) S 24477 24480 22091 0 -1 4202560 42 0 0 0 5 1 0 0 20 0 22 0 26964158 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858043463848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24491] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24491/stat : 24491 (java) S 24477 24480 22091 0 -1 4202560 467 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858031053800 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24492] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24492/stat : 24492 (java) S 24477 24480 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858029999864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24493] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24493/stat : 24493 (java) S 24477 24480 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858028946952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24494] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24494/stat : 24494 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 158774 33554432000 1073741824 1073778376 140735306998352 139858027895440 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24495] ppid=24477 vsize=9824732 CPUtime=1.14 cores=1,3,5,7
################
# More data... #
################
/proc/24480/task/24485/stat : 24485 (java) S 24477 24480 22091 0 -1 4202560 912 0 0 0 181 18 0 0 20 0 22 0 26964158 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858166217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24486] ppid=24477 vsize=9824732 CPUtime=2.03 cores=1,3,5,7
/proc/24480/task/24486/stat : 24486 (java) S 24477 24480 22091 0 -1 4202560 508 0 0 0 188 15 0 0 20 0 22 0 26964158 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858165164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24487] ppid=24477 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/24480/task/24487/stat : 24487 (java) S 24477 24480 22091 0 -1 4202560 540 0 0 0 183 19 0 0 20 0 22 0 26964158 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858164111912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24488] ppid=24477 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/24480/task/24488/stat : 24488 (java) S 24477 24480 22091 0 -1 4202560 624 0 0 0 178 16 0 0 20 0 22 0 26964158 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858163059112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24489] ppid=24477 vsize=9824732 CPUtime=1.84 cores=1,3,5,7
/proc/24480/task/24489/stat : 24489 (java) S 24477 24480 22091 0 -1 4202560 587 0 0 0 169 15 0 0 20 0 22 0 26964158 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858162006312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24490] ppid=24477 vsize=9824732 CPUtime=1.78 cores=1,3,5,7
/proc/24480/task/24490/stat : 24490 (java) S 24477 24480 22091 0 -1 4202560 444 0 0 0 163 15 0 0 20 0 22 0 26964158 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858043463848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24491] ppid=24477 vsize=9824732 CPUtime=3.42 cores=1,3,5,7
/proc/24480/task/24491/stat : 24491 (java) S 24477 24480 22091 0 -1 4202560 2629 0 0 0 329 13 0 0 20 0 22 0 26964159 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858031053800 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24492] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24492/stat : 24492 (java) S 24477 24480 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858029999864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24493] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24493/stat : 24493 (java) S 24477 24480 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858028946952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24494] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24494/stat : 24494 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139858027895440 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24495] ppid=24477 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/24480/task/24495/stat : 24495 (java) S 24477 24480 22091 0 -1 4202560 9137 0 0 0 117 2 0 0 20 0 22 0 26964162 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139857288489400 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24496] ppid=24477 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/24480/task/24496/stat : 24496 (java) S 24477 24480 22091 0 -1 4202560 15341 0 0 0 177 3 0 0 20 0 22 0 26964162 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139857287436600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24497] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24497/stat : 24497 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139857286383992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24498] ppid=24477 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/24480/task/24498/stat : 24498 (java) S 24477 24480 22091 0 -1 4202560 46 0 0 0 12 21 0 0 20 0 22 0 26964162 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139857285331400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24499] ppid=24477 vsize=9824732 CPUtime=811.71 cores=1,3,5,7
/proc/24480/task/24499/stat : 24499 (java) R 24477 24480 22091 0 -1 4202560 118 0 0 0 81156 15 0 0 20 0 22 0 26964195 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139857284275504 139858044227331 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24500] ppid=24477 vsize=9824732 CPUtime=811.72 cores=1,3,5,7
/proc/24480/task/24500/stat : 24500 (java) R 24477 24480 22091 0 -1 4202560 3275 0 0 0 81113 59 0 0 20 0 22 0 26964195 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139857283223408 139858044227331 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24501] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24501/stat : 24501 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139857282172328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24502] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24502/stat : 24502 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 842758 33554432000 1073741824 1073778376 140735306998352 139857281119528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1650.28
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.27 4.18 3.74 5/219 24600
/proc/meminfo: memFree=24064944/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9824732 CPUtime=1770.71 cores=1,3,5,7
/proc/24480/stat : 24480 (java) S 24477 24480 22091 0 -1 4202496 39071 0 1 0 176852 219 0 0 20 0 22 0 26964155 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 140735306989488 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24480/statm: 2456183 822154 2294 9 0 2446860 0
[pid=24480/tid=24482] ppid=24477 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/24480/task/24482/stat : 24482 (java) S 24477 24480 22091 0 -1 4202560 2447 0 1 0 36 4 0 0 20 0 22 0 26964156 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858206831480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24483] ppid=24477 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/24480/task/24483/stat : 24483 (java) S 24477 24480 22091 0 -1 4202560 562 0 0 0 191 17 0 0 20 0 22 0 26964158 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858168323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24484] ppid=24477 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/24480/task/24484/stat : 24484 (java) S 24477 24480 22091 0 -1 4202560 532 0 0 0 197 18 0 0 20 0 22 0 26964158 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858167270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24485] ppid=24477 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/24480/task/24485/stat : 24485 (java) S 24477 24480 22091 0 -1 4202560 913 0 0 0 192 18 0 0 20 0 22 0 26964158 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858166217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24486] ppid=24477 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/24480/task/24486/stat : 24486 (java) S 24477 24480 22091 0 -1 4202560 534 0 0 0 205 15 0 0 20 0 22 0 26964158 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858165164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24487] ppid=24477 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/24480/task/24487/stat : 24487 (java) S 24477 24480 22091 0 -1 4202560 555 0 0 0 198 19 0 0 20 0 22 0 26964158 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858164111912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24488] ppid=24477 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/24480/task/24488/stat : 24488 (java) S 24477 24480 22091 0 -1 4202560 639 0 0 0 188 16 0 0 20 0 22 0 26964158 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858163059112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24489] ppid=24477 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/24480/task/24489/stat : 24489 (java) S 24477 24480 22091 0 -1 4202560 588 0 0 0 179 16 0 0 20 0 22 0 26964158 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858162006312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24490] ppid=24477 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/24480/task/24490/stat : 24490 (java) S 24477 24480 22091 0 -1 4202560 459 0 0 0 178 15 0 0 20 0 22 0 26964158 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858043463848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24491] ppid=24477 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/24480/task/24491/stat : 24491 (java) S 24477 24480 22091 0 -1 4202560 2647 0 0 0 329 15 0 0 20 0 22 0 26964159 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858031053800 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24492] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24492/stat : 24492 (java) S 24477 24480 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858029999864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24493] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24493/stat : 24493 (java) S 24477 24480 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858028946952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24494] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24494/stat : 24494 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139858027895440 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24495] ppid=24477 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/24480/task/24495/stat : 24495 (java) S 24477 24480 22091 0 -1 4202560 9137 0 0 0 117 2 0 0 20 0 22 0 26964162 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139857288489400 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24496] ppid=24477 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/24480/task/24496/stat : 24496 (java) S 24477 24480 22091 0 -1 4202560 15341 0 0 0 177 3 0 0 20 0 22 0 26964162 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139857287436600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24497] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24497/stat : 24497 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139857286383992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24498] ppid=24477 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/24480/task/24498/stat : 24498 (java) S 24477 24480 22091 0 -1 4202560 50 0 0 0 14 22 0 0 20 0 22 0 26964162 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139857285331400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24499] ppid=24477 vsize=9824732 CPUtime=871.23 cores=1,3,5,7
/proc/24480/task/24499/stat : 24499 (java) R 24477 24480 22091 0 -1 4202560 126 0 0 0 87107 16 0 0 20 0 22 0 26964195 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139857284276288 139858044227331 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24500] ppid=24477 vsize=9824732 CPUtime=871.26 cores=1,3,5,7
/proc/24480/task/24500/stat : 24500 (java) R 24477 24480 22091 0 -1 4202560 3277 0 0 0 87065 61 0 0 20 0 22 0 26964195 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139857283221872 139858044248801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24501] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24501/stat : 24501 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139857282172328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24502] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24502/stat : 24502 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 822154 33554432000 1073741824 1073778376 140735306998352 139857281119528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1770.71
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.001 s]
/proc/loadavg: 4.29 4.19 3.75 5/219 24610
/proc/meminfo: memFree=24058236/32872528 swapFree=1459628/1655852
[pid=24480] ppid=24477 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7
/proc/24480/stat : 24480 (java) S 24477 24480 22091 0 -1 4202496 39095 0 1 0 179794 220 0 0 20 0 22 0 26964155 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 140735306989488 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24480/statm: 2456183 820622 2294 9 0 2446860 0
[pid=24480/tid=24482] ppid=24477 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/24480/task/24482/stat : 24482 (java) S 24477 24480 22091 0 -1 4202560 2447 0 1 0 36 4 0 0 20 0 22 0 26964156 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858206831480 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24483] ppid=24477 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/24480/task/24483/stat : 24483 (java) S 24477 24480 22091 0 -1 4202560 562 0 0 0 192 17 0 0 20 0 22 0 26964158 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858168323112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24484] ppid=24477 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/24480/task/24484/stat : 24484 (java) S 24477 24480 22091 0 -1 4202560 532 0 0 0 198 18 0 0 20 0 22 0 26964158 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858167270312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24485] ppid=24477 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/24480/task/24485/stat : 24485 (java) S 24477 24480 22091 0 -1 4202560 913 0 0 0 194 18 0 0 20 0 22 0 26964158 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858166217512 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24486] ppid=24477 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/24480/task/24486/stat : 24486 (java) S 24477 24480 22091 0 -1 4202560 534 0 0 0 206 15 0 0 20 0 22 0 26964158 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858165164712 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24487] ppid=24477 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/24480/task/24487/stat : 24487 (java) S 24477 24480 22091 0 -1 4202560 578 0 0 0 199 19 0 0 20 0 22 0 26964158 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858164111912 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24488] ppid=24477 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/24480/task/24488/stat : 24488 (java) S 24477 24480 22091 0 -1 4202560 639 0 0 0 189 16 0 0 20 0 22 0 26964158 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858163059112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24489] ppid=24477 vsize=9824732 CPUtime=1.96 cores=1,3,5,7
/proc/24480/task/24489/stat : 24489 (java) S 24477 24480 22091 0 -1 4202560 588 0 0 0 180 16 0 0 20 0 22 0 26964158 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858162006312 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24490] ppid=24477 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/24480/task/24490/stat : 24490 (java) S 24477 24480 22091 0 -1 4202560 459 0 0 0 179 15 0 0 20 0 22 0 26964158 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858043463848 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24491] ppid=24477 vsize=9824732 CPUtime=3.44 cores=1,3,5,7
/proc/24480/task/24491/stat : 24491 (java) S 24477 24480 22091 0 -1 4202560 2647 0 0 0 329 15 0 0 20 0 22 0 26964159 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858031053800 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24480/tid=24492] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24492/stat : 24492 (java) S 24477 24480 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858029999864 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24493] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24493/stat : 24493 (java) S 24477 24480 22091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26964159 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858028946952 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24494] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24494/stat : 24494 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139858027895440 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24495] ppid=24477 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/24480/task/24495/stat : 24495 (java) S 24477 24480 22091 0 -1 4202560 9137 0 0 0 117 2 0 0 20 0 22 0 26964162 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139857288489400 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24496] ppid=24477 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/24480/task/24496/stat : 24496 (java) S 24477 24480 22091 0 -1 4202560 15341 0 0 0 177 3 0 0 20 0 22 0 26964162 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139857287436600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24497] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24497/stat : 24497 (java) S 24477 24480 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26964162 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139857286383992 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24480/tid=24498] ppid=24477 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24480/task/24498/stat : 24498 (java) S 24477 24480 22091 0 -1 4202560 50 0 0 0 14 23 0 0 20 0 22 0 26964162 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139857285331400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24499] ppid=24477 vsize=9824732 CPUtime=885.86 cores=1,3,5,7
/proc/24480/task/24499/stat : 24499 (java) R 24477 24480 22091 0 -1 4202560 127 0 0 0 88570 16 0 0 20 0 22 0 26964195 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139857284276240 139858044387539 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24480/tid=24500] ppid=24477 vsize=9824732 CPUtime=885.89 cores=1,3,5,7
/proc/24480/task/24500/stat : 24500 (java) R 24477 24480 22091 0 -1 4202560 3277 0 0 0 88528 61 0 0 20 0 22 0 26964195 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139857283222320 139858044501656 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24501] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24501/stat : 24501 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139857282172328 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24480/tid=24502] ppid=24477 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24480/task/24502/stat : 24502 (java) S 24477 24480 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26964199 10060525568 820622 33554432000 1073741824 1073778376 140735306998352 139857281119528 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
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 24480 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 24480 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=319374
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=751581
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1800.14
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 897.063
CPU time (s): 1800.14
CPU user time (s): 1797.94
CPU system time (s): 2.2
CPU usage (%): 200.67
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.32
system time used= 2.75158
maximum resident set size= 3377256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39137
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26067
involuntary context switches= 39694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38188 second user time and 5.99609 second system time
The end