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-4116758-1466979025/watcher-4116758-1466979025 -o /tmp/evaluation-result-4116758-1466979025/solver-4116758-1466979025 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466975440-23498 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116758-1466979025.opb
pid=24148
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.22 4.15 4.07 4/198 24151
/proc/meminfo: memFree=27305124/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24151/stat : 24151 (java) D 24148 24151 23481 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 30942292 9515008 182 33554432000 1073741824 1073778376 140736127384992 140736127376024 271787572917 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/24151/statm: 2323 182 140 9 0 71 0
[startup+0.100061 s]
/proc/loadavg: 4.22 4.15 4.07 4/198 24151
/proc/meminfo: memFree=27305124/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 4474 0 1 0 7 1 0 0 20 0 18 0 30942292 9787879424 5591 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2389619 5591 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200225 s]
/proc/loadavg: 4.22 4.15 4.07 4/198 24151
/proc/meminfo: memFree=27305124/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 4759 0 1 0 22 1 0 0 20 0 18 0 30942292 9787879424 6339 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2389619 6339 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300228 s]
/proc/loadavg: 4.22 4.15 4.07 4/198 24151
/proc/meminfo: memFree=27305124/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 5938 0 1 0 45 1 0 0 20 0 18 0 30942292 9787879424 8046 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2389619 8046 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700177 s]
/proc/loadavg: 4.22 4.15 4.07 4/198 24151
/proc/meminfo: memFree=27305124/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9824732 CPUtime=1.72 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 13790 0 1 0 168 4 0 0 20 0 22 0 30942292 10060525568 24090 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2456183 24090 2266 9 0 2446860 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 9824732
[startup+1.50093 s]
/proc/loadavg: 4.22 4.15 4.07 7/220 24173
/proc/meminfo: memFree=27150776/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9824732 CPUtime=4.74 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 24584 0 1 0 467 7 0 0 20 0 22 0 30942292 10060525568 48135 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2456183 48135 2292 9 0 2446860 0
[pid=24151/tid=24153] ppid=24148 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/24151/task/24153/stat : 24153 (java) S 24148 24151 23481 0 -1 4202560 2540 0 1 0 46 2 0 0 20 0 22 0 30942293 10060525568 48135 33554432000 1073741824 1073778376 140734108014720 139767096693624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24154] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24154/stat : 24154 (java) S 24148 24151 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30942294 10060525568 48135 33554432000 1073741824 1073778376 140734108014720 139766940620968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=24151/tid=24155] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24155/stat : 24155 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942294 10060525568 48135 33554432000 1073741824 1073778376 140734108014720 139766939568424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24156] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24156/stat : 24156 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942294 10060525568 48135 33554432000 1073741824 1073778376 140734108014720 139766938515880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24157] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24157/stat : 24157 (java) S 24148 24151 23481 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 30942294 10060525568 48135 33554432000 1073741824 1073778376 140734108014720 139766937463336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24158] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24158/stat : 24158 (java) S 24148 24151 23481 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 30942294 10060525568 48135 33554432000 1073741824 1073778376 140734108014720 139766936410792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24159] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24159/stat : 24159 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942294 10060525568 48135 33554432000 1073741824 1073778376 140734108014720 139766935358248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24160] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24160/stat : 24160 (java) S 24148 24151 23481 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30942294 10060525568 48135 33554432000 1073741824 1073778376 140734108014720 139766934305704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24161] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24161/stat : 24161 (java) S 24148 24151 23481 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 30942294 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766933253160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24162] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24162/stat : 24162 (java) S 24148 24151 23481 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 30942295 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766920841320 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24163] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24163/stat : 24163 (java) S 24148 24151 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766919787640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24164] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24164/stat : 24164 (java) S 24148 24151 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766918734984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24165] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24165/stat : 24165 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766917683728 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24166] ppid=24148 vsize=9824732 CPUtime=1.1 cores=1,3,5,7
/proc/24151/task/24166/stat : 24166 (java) S 24148 24151 23481 0 -1 4202560 9160 0 0 0 108 2 0 0 20 0 22 0 30942298 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766916631096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24167] ppid=24148 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/24151/task/24167/stat : 24167 (java) R 24148 24151 23481 0 -1 4202560 11423 0 0 0 116 2 0 0 20 0 22 0 30942298 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766915566256 271787242159 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24168] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24168/stat : 24168 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766914526200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24169] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24169/stat : 24169 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766913473864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24170] ppid=24148 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/24151/task/24170/stat : 24170 (java) R 24148 24151 23481 0 -1 4202560 18 0 0 0 91 0 0 0 20 0 22 0 30942344 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766912409248 139766969747340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24171] ppid=24148 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/24151/task/24171/stat : 24171 (java) R 24148 24151 23481 0 -1 4202560 74 0 0 0 91 0 0 0 20 0 22 0 30942344 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766911364224 139766969742335 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24172] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24172/stat : 24172 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766910313512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24173] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24173/stat : 24173 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 48143 33554432000 1073741824 1073778376 140734108014720 139766909260968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 9824732
[startup+3.10094 s]
/proc/loadavg: 4.22 4.15 4.07 4/211 24233
/proc/meminfo: memFree=30366624/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9824732 CPUtime=8.53 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 25695 0 1 0 837 16 0 0 20 0 22 0 30942292 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2456183 92406 2292 9 0 2446860 0
[pid=24151/tid=24153] ppid=24148 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/24151/task/24153/stat : 24153 (java) S 24148 24151 23481 0 -1 4202560 2540 0 1 0 46 2 0 0 20 0 22 0 30942293 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139767096693624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24154] ppid=24148 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24151/task/24154/stat : 24154 (java) S 24148 24151 23481 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 22 0 30942294 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766940620968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=24151/tid=24155] ppid=24148 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/24151/task/24155/stat : 24155 (java) S 24148 24151 23481 0 -1 4202560 16 0 0 0 1 2 0 0 20 0 22 0 30942294 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766939568424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24156] ppid=24148 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/24151/task/24156/stat : 24156 (java) S 24148 24151 23481 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 30942294 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766938515880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24157] ppid=24148 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/24151/task/24157/stat : 24157 (java) S 24148 24151 23481 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 30942294 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766937463336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24158] ppid=24148 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24151/task/24158/stat : 24158 (java) S 24148 24151 23481 0 -1 4202560 38 0 0 0 5 1 0 0 20 0 22 0 30942294 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766936410792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24159] ppid=24148 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24151/task/24159/stat : 24159 (java) S 24148 24151 23481 0 -1 4202560 43 0 0 0 3 1 0 0 20 0 22 0 30942294 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766935358248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24160] ppid=24148 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/24151/task/24160/stat : 24160 (java) S 24148 24151 23481 0 -1 4202560 28 0 0 0 3 1 0 0 20 0 22 0 30942294 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766934305704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24161] ppid=24148 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/24151/task/24161/stat : 24161 (java) S 24148 24151 23481 0 -1 4202560 15 0 0 0 2 1 0 0 20 0 22 0 30942294 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766933253160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24162] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24162/stat : 24162 (java) S 24148 24151 23481 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 30942295 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766920841320 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24163] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24163/stat : 24163 (java) S 24148 24151 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766919787640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24164] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24164/stat : 24164 (java) S 24148 24151 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766918734984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24165] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24165/stat : 24165 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766917683728 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24166] ppid=24148 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/24151/task/24166/stat : 24166 (java) S 24148 24151 23481 0 -1 4202560 9171 0 0 0 116 2 0 0 20 0 22 0 30942298 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766916631096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24167] ppid=24148 vsize=9824732 CPUtime=1.56 cores=1,3,5,7
/proc/24151/task/24167/stat : 24167 (java) S 24148 24151 23481 0 -1 4202560 12175 0 0 0 154 2 0 0 20 0 22 0 30942298 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766915578552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24168] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24168/stat : 24168 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766914526200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24169] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24169/stat : 24169 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766913473864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24170] ppid=24148 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/24151/task/24170/stat : 24170 (java) R 24148 24151 23481 0 -1 4202560 20 0 0 0 242 0 0 0 20 0 22 0 30942344 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766912418144 139766969722500 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24171] ppid=24148 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/24151/task/24171/stat : 24171 (java) R 24148 24151 23481 0 -1 4202560 133 0 0 0 239 3 0 0 20 0 22 0 30942344 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766911364128 139766969830417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24172] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24172/stat : 24172 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766910313512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24173] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24173/stat : 24173 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 92406 33554432000 1073741824 1073778376 140734108014720 139766909260968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.53
Current children cumulated vsize (KiB) 9824732
[startup+6.30097 s]
/proc/loadavg: 4.36 4.18 4.08 5/220 24242
/proc/meminfo: memFree=29692884/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9824732 CPUtime=15.08 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 26390 0 1 0 1481 27 0 0 20 0 22 0 30942292 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2456183 161410 2292 9 0 2446860 0
[pid=24151/tid=24153] ppid=24148 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/24151/task/24153/stat : 24153 (java) S 24148 24151 23481 0 -1 4202560 2540 0 1 0 46 2 0 0 20 0 22 0 30942293 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139767096693624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24154] ppid=24148 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24151/task/24154/stat : 24154 (java) S 24148 24151 23481 0 -1 4202560 47 0 0 0 5 1 0 0 20 0 22 0 30942294 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766940620968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 1 0 0
[pid=24151/tid=24155] ppid=24148 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/24151/task/24155/stat : 24155 (java) S 24148 24151 23481 0 -1 4202560 70 0 0 0 6 3 0 0 20 0 22 0 30942294 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766939568424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24156] ppid=24148 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24151/task/24156/stat : 24156 (java) S 24148 24151 23481 0 -1 4202560 51 0 0 0 4 1 0 0 20 0 22 0 30942294 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766938515880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24157] ppid=24148 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/24151/task/24157/stat : 24157 (java) S 24148 24151 23481 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 22 0 30942294 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766937463336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24158] ppid=24148 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/24151/task/24158/stat : 24158 (java) S 24148 24151 23481 0 -1 4202560 104 0 0 0 9 3 0 0 20 0 22 0 30942294 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766936410792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24159] ppid=24148 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/24151/task/24159/stat : 24159 (java) S 24148 24151 23481 0 -1 4202560 57 0 0 0 4 2 0 0 20 0 22 0 30942294 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766935358248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24160] ppid=24148 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/24151/task/24160/stat : 24160 (java) S 24148 24151 23481 0 -1 4202560 62 0 0 0 6 2 0 0 20 0 22 0 30942294 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766934305704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24161] ppid=24148 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/24151/task/24161/stat : 24161 (java) S 24148 24151 23481 0 -1 4202560 77 0 0 0 6 3 0 0 20 0 22 0 30942294 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766933253160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24162] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24162/stat : 24162 (java) S 24148 24151 23481 0 -1 4202560 464 0 0 0 0 0 0 0 20 0 22 0 30942295 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766920841320 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24163] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24163/stat : 24163 (java) S 24148 24151 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766919787640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24164] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24164/stat : 24164 (java) S 24148 24151 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766918734984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24165] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24165/stat : 24165 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 161410 33554432000 1073741824 1073778376 140734108014720 139766917683728 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24166] ppid=24148 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.14 4.21 4.14 5/219 24261
/proc/meminfo: memFree=24009472/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9824732 CPUtime=1655.47 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 39036 0 1 0 165360 187 0 0 20 0 22 0 30942292 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2456183 892589 2301 9 0 2446860 0
[pid=24151/tid=24153] ppid=24148 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/24151/task/24153/stat : 24153 (java) S 24148 24151 23481 0 -1 4202560 2546 0 1 0 49 4 0 0 20 0 22 0 30942293 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139767096693624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24154] ppid=24148 vsize=9824732 CPUtime=3 cores=1,3,5,7
/proc/24151/task/24154/stat : 24154 (java) S 24148 24151 23481 0 -1 4202560 557 0 0 0 287 13 0 0 20 0 22 0 30942294 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766940620968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 1 0 0
[pid=24151/tid=24155] ppid=24148 vsize=9824732 CPUtime=2.72 cores=1,3,5,7
/proc/24151/task/24155/stat : 24155 (java) S 24148 24151 23481 0 -1 4202560 529 0 0 0 260 12 0 0 20 0 22 0 30942294 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766939568424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24156] ppid=24148 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/24151/task/24156/stat : 24156 (java) S 24148 24151 23481 0 -1 4202560 571 0 0 0 306 18 0 0 20 0 22 0 30942294 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766938515880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24157] ppid=24148 vsize=9824732 CPUtime=3.31 cores=1,3,5,7
/proc/24151/task/24157/stat : 24157 (java) S 24148 24151 23481 0 -1 4202560 599 0 0 0 316 15 0 0 20 0 22 0 30942294 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766937463336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24158] ppid=24148 vsize=9824732 CPUtime=3.01 cores=1,3,5,7
/proc/24151/task/24158/stat : 24158 (java) S 24148 24151 23481 0 -1 4202560 841 0 0 0 282 19 0 0 20 0 22 0 30942294 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766936410792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24159] ppid=24148 vsize=9824732 CPUtime=3.06 cores=1,3,5,7
/proc/24151/task/24159/stat : 24159 (java) S 24148 24151 23481 0 -1 4202560 501 0 0 0 292 14 0 0 20 0 22 0 30942294 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766935358248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24160] ppid=24148 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/24151/task/24160/stat : 24160 (java) S 24148 24151 23481 0 -1 4202560 533 0 0 0 308 15 0 0 20 0 22 0 30942294 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766934305704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24161] ppid=24148 vsize=9824732 CPUtime=3.16 cores=1,3,5,7
/proc/24151/task/24161/stat : 24161 (java) S 24148 24151 23481 0 -1 4202560 532 0 0 0 300 16 0 0 20 0 22 0 30942294 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766933253160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24162] ppid=24148 vsize=9824732 CPUtime=3.59 cores=1,3,5,7
/proc/24151/task/24162/stat : 24162 (java) S 24148 24151 23481 0 -1 4202560 2273 0 0 0 348 11 0 0 20 0 22 0 30942295 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766920841320 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24163] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24163/stat : 24163 (java) S 24148 24151 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766919787640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24164] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24164/stat : 24164 (java) S 24148 24151 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766918734984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24165] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24165/stat : 24165 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766917683728 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24166] ppid=24148 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/24151/task/24166/stat : 24166 (java) S 24148 24151 23481 0 -1 4202560 9184 0 0 0 134 2 0 0 20 0 22 0 30942298 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766916631096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24167] ppid=24148 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/24151/task/24167/stat : 24167 (java) S 24148 24151 23481 0 -1 4202560 16369 0 0 0 216 3 0 0 20 0 22 0 30942298 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766915578552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24168] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24168/stat : 24168 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766914526200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24169] ppid=24148 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/24151/task/24169/stat : 24169 (java) S 24148 24151 23481 0 -1 4202560 47 0 0 0 15 19 0 0 20 0 22 0 30942298 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766913473864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24170] ppid=24148 vsize=9824732 CPUtime=811.5 cores=1,3,5,7
/proc/24151/task/24170/stat : 24170 (java) R 24148 24151 23481 0 -1 4202560 78 0 0 0 81138 12 0 0 20 0 22 0 30942344 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766912417008 139766969752880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24171] ppid=24148 vsize=9824732 CPUtime=811.49 cores=1,3,5,7
/proc/24151/task/24171/stat : 24171 (java) R 24148 24151 23481 0 -1 4202560 2610 0 0 0 81101 48 0 0 20 0 22 0 30942344 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766911365520 139766969768384 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24172] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24172/stat : 24172 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766910313512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24173] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24173/stat : 24173 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 892589 33554432000 1073741824 1073778376 140734108014720 139766909260968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1655.47
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.21 4.22 4.14 5/219 24262
/proc/meminfo: memFree=23970680/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9824732 CPUtime=1776.26 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 39101 0 1 0 177434 192 0 0 20 0 22 0 30942292 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2456183 902320 2301 9 0 2446860 0
[pid=24151/tid=24153] ppid=24148 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/24151/task/24153/stat : 24153 (java) S 24148 24151 23481 0 -1 4202560 2546 0 1 0 49 4 0 0 20 0 22 0 30942293 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139767096693624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24154] ppid=24148 vsize=9824732 CPUtime=3.27 cores=1,3,5,7
/proc/24151/task/24154/stat : 24154 (java) S 24148 24151 23481 0 -1 4202560 564 0 0 0 312 15 0 0 20 0 22 0 30942294 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766940620968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=24151/tid=24155] ppid=24148 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/24151/task/24155/stat : 24155 (java) S 24148 24151 23481 0 -1 4202560 532 0 0 0 275 12 0 0 20 0 22 0 30942294 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766939568424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24156] ppid=24148 vsize=9824732 CPUtime=3.52 cores=1,3,5,7
/proc/24151/task/24156/stat : 24156 (java) S 24148 24151 23481 0 -1 4202560 575 0 0 0 334 18 0 0 20 0 22 0 30942294 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766938515880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24157] ppid=24148 vsize=9824732 CPUtime=3.46 cores=1,3,5,7
/proc/24151/task/24157/stat : 24157 (java) S 24148 24151 23481 0 -1 4202560 604 0 0 0 331 15 0 0 20 0 22 0 30942294 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766937463336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24158] ppid=24148 vsize=9824732 CPUtime=3.2 cores=1,3,5,7
/proc/24151/task/24158/stat : 24158 (java) S 24148 24151 23481 0 -1 4202560 845 0 0 0 301 19 0 0 20 0 22 0 30942294 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766936410792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24159] ppid=24148 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/24151/task/24159/stat : 24159 (java) S 24148 24151 23481 0 -1 4202560 510 0 0 0 325 14 0 0 20 0 22 0 30942294 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766935358248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24160] ppid=24148 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/24151/task/24160/stat : 24160 (java) S 24148 24151 23481 0 -1 4202560 537 0 0 0 324 15 0 0 20 0 22 0 30942294 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766934305704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24161] ppid=24148 vsize=9824732 CPUtime=3.39 cores=1,3,5,7
/proc/24151/task/24161/stat : 24161 (java) S 24148 24151 23481 0 -1 4202560 539 0 0 0 323 16 0 0 20 0 22 0 30942294 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766933253160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24162] ppid=24148 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/24151/task/24162/stat : 24162 (java) S 24148 24151 23481 0 -1 4202560 2282 0 0 0 348 12 0 0 20 0 22 0 30942295 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766920841320 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24163] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24163/stat : 24163 (java) S 24148 24151 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766919787640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24164] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24164/stat : 24164 (java) S 24148 24151 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766918734984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24165] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24165/stat : 24165 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766917683728 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24166] ppid=24148 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/24151/task/24166/stat : 24166 (java) S 24148 24151 23481 0 -1 4202560 9184 0 0 0 134 2 0 0 20 0 22 0 30942298 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766916631096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24167] ppid=24148 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/24151/task/24167/stat : 24167 (java) S 24148 24151 23481 0 -1 4202560 16369 0 0 0 216 3 0 0 20 0 22 0 30942298 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766915578552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24168] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24168/stat : 24168 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766914526200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24169] ppid=24148 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/24151/task/24169/stat : 24169 (java) S 24148 24151 23481 0 -1 4202560 51 0 0 0 15 21 0 0 20 0 22 0 30942298 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766913473864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24170] ppid=24148 vsize=9824732 CPUtime=871 cores=1,3,5,7
/proc/24151/task/24170/stat : 24170 (java) R 24148 24151 23481 0 -1 4202560 81 0 0 0 87085 15 0 0 20 0 22 0 30942344 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766912417008 139766969533127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24171] ppid=24148 vsize=9824732 CPUtime=871.01 cores=1,3,5,7
/proc/24151/task/24171/stat : 24171 (java) R 24148 24151 23481 0 -1 4202560 2616 0 0 0 87052 49 0 0 20 0 22 0 30942344 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766911365592 139766969988945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24172] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24172/stat : 24172 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766910313512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24173] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24173/stat : 24173 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 902320 33554432000 1073741824 1073778376 140734108014720 139766909260968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1776.26
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+894.201 s]
/proc/loadavg: 4.18 4.21 4.14 5/219 24262
/proc/meminfo: memFree=23960444/32872528 swapFree=1094508/1184444
[pid=24151] ppid=24148 vsize=9824732 CPUtime=1800.18 cores=1,3,5,7
/proc/24151/stat : 24151 (java) S 24148 24151 23481 0 -1 4202496 39117 0 1 0 179826 192 0 0 20 0 22 0 30942292 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 140734108005856 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24151/statm: 2456183 904882 2301 9 0 2446860 0
[pid=24151/tid=24153] ppid=24148 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/24151/task/24153/stat : 24153 (java) S 24148 24151 23481 0 -1 4202560 2546 0 1 0 49 4 0 0 20 0 22 0 30942293 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139767096693624 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24154] ppid=24148 vsize=9824732 CPUtime=3.31 cores=1,3,5,7
/proc/24151/task/24154/stat : 24154 (java) S 24148 24151 23481 0 -1 4202560 565 0 0 0 316 15 0 0 20 0 22 0 30942294 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766940620968 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 1 0 0
[pid=24151/tid=24155] ppid=24148 vsize=9824732 CPUtime=2.88 cores=1,3,5,7
/proc/24151/task/24155/stat : 24155 (java) S 24148 24151 23481 0 -1 4202560 532 0 0 0 276 12 0 0 20 0 22 0 30942294 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766939568424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24156] ppid=24148 vsize=9824732 CPUtime=3.58 cores=1,3,5,7
/proc/24151/task/24156/stat : 24156 (java) S 24148 24151 23481 0 -1 4202560 577 0 0 0 340 18 0 0 20 0 22 0 30942294 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766938515880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24157] ppid=24148 vsize=9824732 CPUtime=3.53 cores=1,3,5,7
/proc/24151/task/24157/stat : 24157 (java) S 24148 24151 23481 0 -1 4202560 607 0 0 0 338 15 0 0 20 0 22 0 30942294 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766937463336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24158] ppid=24148 vsize=9824732 CPUtime=3.28 cores=1,3,5,7
/proc/24151/task/24158/stat : 24158 (java) S 24148 24151 23481 0 -1 4202560 849 0 0 0 309 19 0 0 20 0 22 0 30942294 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766936410792 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24159] ppid=24148 vsize=9824732 CPUtime=3.4 cores=1,3,5,7
/proc/24151/task/24159/stat : 24159 (java) S 24148 24151 23481 0 -1 4202560 510 0 0 0 326 14 0 0 20 0 22 0 30942294 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766935358248 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24160] ppid=24148 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/24151/task/24160/stat : 24160 (java) S 24148 24151 23481 0 -1 4202560 540 0 0 0 326 15 0 0 20 0 22 0 30942294 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766934305704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24161] ppid=24148 vsize=9824732 CPUtime=3.41 cores=1,3,5,7
/proc/24151/task/24161/stat : 24161 (java) S 24148 24151 23481 0 -1 4202560 539 0 0 0 325 16 0 0 20 0 22 0 30942294 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766933253160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24162] ppid=24148 vsize=9824732 CPUtime=3.6 cores=1,3,5,7
/proc/24151/task/24162/stat : 24162 (java) S 24148 24151 23481 0 -1 4202560 2284 0 0 0 348 12 0 0 20 0 22 0 30942295 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766920841320 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24163] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24163/stat : 24163 (java) S 24148 24151 23481 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766919787640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24164] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24164/stat : 24164 (java) S 24148 24151 23481 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 30942296 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766918734984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24165] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24165/stat : 24165 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766917683728 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24166] ppid=24148 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
/proc/24151/task/24166/stat : 24166 (java) S 24148 24151 23481 0 -1 4202560 9184 0 0 0 134 2 0 0 20 0 22 0 30942298 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766916631096 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24167] ppid=24148 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/24151/task/24167/stat : 24167 (java) S 24148 24151 23481 0 -1 4202560 16369 0 0 0 216 3 0 0 20 0 22 0 30942298 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766915578552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24151/tid=24168] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24168/stat : 24168 (java) S 24148 24151 23481 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 30942298 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766914526200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24169] ppid=24148 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/24151/task/24169/stat : 24169 (java) S 24148 24151 23481 0 -1 4202560 51 0 0 0 16 21 0 0 20 0 22 0 30942298 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766913473864 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24170] ppid=24148 vsize=9824732 CPUtime=882.82 cores=1,3,5,7
/proc/24151/task/24170/stat : 24170 (java) R 24148 24151 23481 0 -1 4202560 81 0 0 0 88267 15 0 0 20 0 22 0 30942344 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766912417008 139766969730754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24151/tid=24171] ppid=24148 vsize=9824732 CPUtime=882.81 cores=1,3,5,7
/proc/24151/task/24171/stat : 24171 (java) R 24148 24151 23481 0 -1 4202560 2617 0 0 0 88232 49 0 0 20 0 22 0 30942344 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766911365520 139766969989018 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24151/tid=24172] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24172/stat : 24172 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766910313512 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24151/tid=24173] ppid=24148 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/24151/task/24173/stat : 24173 (java) S 24148 24151 23481 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 30942345 10060525568 904882 33554432000 1073741824 1073778376 140734108014720 139766909260968 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
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 24151 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 894.268
CPU time (s): 1800.91
CPU user time (s): 1798.44
CPU system time (s): 2.46962
CPU usage (%): 201.383
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.44
system time used= 2.46962
maximum resident set size= 3619648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39150
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24307
involuntary context switches= 28336
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.23405 second user time and 8.35273 second system time
The end