runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3311340-1304121595/watcher-3311340-1304121595 -o /tmp/evaluation-result-3311340-1304121595/solver-3311340-1304121595 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311340-1304121595.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.51 7.92 7.89 6/198 8179
/proc/meminfo: memFree=30659508/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 1424 0 0 0 0 0 0 0 25 0 2 0 523758031 27824128 894 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 6793 894 684 9 0 381 0
[pid=8179/tid=8180] ppid=8177 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) R 8177 8179 7936 0 -1 4202560 99 0 0 0 0 0 0 0 25 0 2 0 523758031 31313920 925 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210199684864 0 0 4096 0 0 0 0 -1 4 0 0 0
[startup+0.0301689 s]
/proc/loadavg: 7.51 7.92 7.89 6/198 8179
/proc/meminfo: memFree=30659508/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15604116 CPUtime=0.01 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 3531 0 1 0 1 0 0 0 25 0 13 0 523758031 15978614784 2970 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3901029 2970 1657 9 0 3891777 0
[pid=8179/tid=8180] ppid=8177 vsize=15604116 CPUtime=0.01 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) R 8177 8179 7936 0 -1 4202560 2139 0 1 0 1 0 0 0 25 0 13 0 523758031 15978614784 2970 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 47445648052229 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604116
[startup+0.10116 s]
/proc/loadavg: 7.51 7.92 7.89 6/198 8179
/proc/meminfo: memFree=30659508/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15676520 CPUtime=0.1 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 5610 0 1 0 9 1 0 0 25 0 18 0 523758031 16052756480 5028 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3919130 5028 2117 9 0 3909849 0
[pid=8179/tid=8180] ppid=8177 vsize=15676520 CPUtime=0.08 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) R 8177 8179 7936 0 -1 4202560 3465 0 1 0 8 0 0 0 18 0 18 0 523758031 16052756480 5028 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216474059 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676520
[startup+0.303044 s]
/proc/loadavg: 7.51 7.92 7.89 6/198 8179
/proc/meminfo: memFree=30659508/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15683556 CPUtime=0.49 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 11038 0 1 0 47 2 0 0 25 0 22 0 523758031 16059961344 9745 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3920889 9745 2211 9 0 3911608 0
[pid=8179/tid=8180] ppid=8177 vsize=15683556 CPUtime=0.29 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) R 8177 8179 7936 0 -1 4202560 5850 0 1 0 28 1 0 0 18 0 22 0 523758031 16059961344 9745 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505212142 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 15683556
[startup+0.831587 s]
/proc/loadavg: 7.51 7.92 7.89 6/198 8179
/proc/meminfo: memFree=30659508/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15702156 CPUtime=2.48 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 34575 0 1 0 244 4 0 0 25 0 22 0 523758031 16079007744 28368 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3925539 28368 2254 9 0 3916258 0
[pid=8179/tid=8180] ppid=8177 vsize=15702156 CPUtime=0.32 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) S 8177 8179 7936 0 -1 4202560 6020 0 1 0 31 1 0 0 18 0 22 0 523758031 16079007744 28368 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 15702156
[startup+1.50088 s]
/proc/loadavg: 7.51 7.92 7.89 10/220 8201
/proc/meminfo: memFree=30472496/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15699816 CPUtime=5.14 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 59571 0 1 0 507 7 0 0 25 0 22 0 523758031 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3924954 50194 2271 9 0 3915673 0
[pid=8179/tid=8180] ppid=8177 vsize=15699816 CPUtime=0.32 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) S 8177 8179 7936 0 -1 4202560 6020 0 1 0 31 1 0 0 18 0 22 0 523758031 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8182] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8182/stat : 8182 (java) S 8177 8179 7936 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 523758032 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8183] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8183/stat : 8183 (java) S 8177 8179 7936 0 -1 4202560 82 0 0 0 0 0 0 0 16 0 22 0 523758032 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8184] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8184/stat : 8184 (java) S 8177 8179 7936 0 -1 4202560 418 0 0 0 0 0 0 0 16 0 22 0 523758032 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8185] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8185/stat : 8185 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523758032 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8186] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8186/stat : 8186 (java) S 8177 8179 7936 0 -1 4202560 526 0 0 0 0 0 0 0 15 0 22 0 523758032 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8187] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8187/stat : 8187 (java) S 8177 8179 7936 0 -1 4202560 966 0 0 0 0 0 0 0 15 0 22 0 523758032 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8188] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8188/stat : 8188 (java) S 8177 8179 7936 0 -1 4202560 848 0 0 0 0 0 0 0 15 0 22 0 523758032 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8189] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8189/stat : 8189 (java) S 8177 8179 7936 0 -1 4202560 256 0 0 0 0 0 0 0 15 0 22 0 523758032 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8190] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8190/stat : 8190 (java) S 8177 8179 7936 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 523758033 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 0 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8191] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8191/stat : 8191 (java) S 8177 8179 7936 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 523758034 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8192] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8192/stat : 8192 (java) S 8177 8179 7936 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 523758034 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8193] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8193/stat : 8193 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216470961 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8194] ppid=8177 vsize=15699816 CPUtime=0.88 cores=0,2,4,6
/proc/8179/task/8194/stat : 8194 (java) S 8177 8179 7936 0 -1 4202560 13834 0 0 0 87 1 0 0 17 0 22 0 523758036 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8195] ppid=8177 vsize=15699816 CPUtime=0.97 cores=0,2,4,6
/proc/8179/task/8195/stat : 8195 (java) S 8177 8179 7936 0 -1 4202560 5471 0 0 0 96 1 0 0 17 0 22 0 523758036 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8196] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8196/stat : 8196 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8197] ppid=8177 vsize=15699816 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8197/stat : 8197 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523758036 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8198] ppid=8177 vsize=15699816 CPUtime=1.08 cores=0,2,4,6
/proc/8179/task/8198/stat : 8198 (java) R 8177 8179 7936 0 -1 4202560 12712 0 0 0 108 0 0 0 17 0 22 0 523758055 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505506678 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8179/tid=8199] ppid=8177 vsize=15699816 CPUtime=0.42 cores=0,2,4,6
/proc/8179/task/8199/stat : 8199 (java) R 8177 8179 7936 0 -1 4202560 2389 0 0 0 42 0 0 0 16 0 22 0 523758055 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505802639 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8179/tid=8200] ppid=8177 vsize=15699816 CPUtime=0.39 cores=0,2,4,6
/proc/8179/task/8200/stat : 8200 (java) R 8177 8179 7936 0 -1 4202560 2909 0 0 0 39 0 0 0 18 0 22 0 523758055 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505947073 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=8179/tid=8201] ppid=8177 vsize=15699816 CPUtime=1.01 cores=0,2,4,6
/proc/8179/task/8201/stat : 8201 (java) R 8177 8179 7936 0 -1 4202560 11624 0 0 0 100 1 0 0 18 0 22 0 523758055 16076611584 50194 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505715372 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 15699816
[startup+3.10161 s]
/proc/loadavg: 7.51 7.92 7.89 9/220 8201
/proc/meminfo: memFree=30335848/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15700340 CPUtime=11.52 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 156084 0 1 0 1134 18 0 0 25 0 22 0 523758031 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3925085 145360 2277 9 0 3915804 0
[pid=8179/tid=8180] ppid=8177 vsize=15700340 CPUtime=0.32 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) S 8177 8179 7936 0 -1 4202560 6020 0 1 0 31 1 0 0 18 0 22 0 523758031 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8182] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8182/stat : 8182 (java) S 8177 8179 7936 0 -1 4202560 233 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8183] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8183/stat : 8183 (java) S 8177 8179 7936 0 -1 4202560 1998 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8184] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8184/stat : 8184 (java) S 8177 8179 7936 0 -1 4202560 418 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8185] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8185/stat : 8185 (java) S 8177 8179 7936 0 -1 4202560 1214 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8186] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8186/stat : 8186 (java) S 8177 8179 7936 0 -1 4202560 1587 0 0 0 0 0 0 0 16 0 22 0 523758032 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8187] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8187/stat : 8187 (java) S 8177 8179 7936 0 -1 4202560 1398 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8188] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8188/stat : 8188 (java) S 8177 8179 7936 0 -1 4202560 1358 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8189] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8189/stat : 8189 (java) S 8177 8179 7936 0 -1 4202560 689 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8190] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8190/stat : 8190 (java) S 8177 8179 7936 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 22 0 523758033 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 0 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8191] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8191/stat : 8191 (java) S 8177 8179 7936 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 523758034 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8192] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8192/stat : 8192 (java) S 8177 8179 7936 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 523758034 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8193] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8193/stat : 8193 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216470961 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8194] ppid=8177 vsize=15700340 CPUtime=0.94 cores=0,2,4,6
/proc/8179/task/8194/stat : 8194 (java) S 8177 8179 7936 0 -1 4202560 13848 0 0 0 93 1 0 0 15 0 22 0 523758036 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8195] ppid=8177 vsize=15700340 CPUtime=1.08 cores=0,2,4,6
/proc/8179/task/8195/stat : 8195 (java) S 8177 8179 7936 0 -1 4202560 5649 0 0 0 107 1 0 0 15 0 22 0 523758036 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8196] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8196/stat : 8196 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8197] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8197/stat : 8197 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523758036 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8198] ppid=8177 vsize=15700340 CPUtime=2.68 cores=0,2,4,6
/proc/8179/task/8198/stat : 8198 (java) R 8177 8179 7936 0 -1 4202560 36719 0 0 0 264 4 0 0 19 0 22 0 523758055 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505802420 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8179/tid=8199] ppid=8177 vsize=15700340 CPUtime=2.01 cores=0,2,4,6
/proc/8179/task/8199/stat : 8199 (java) R 8177 8179 7936 0 -1 4202560 27471 0 0 0 198 3 0 0 18 0 22 0 523758055 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505655608 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8179/tid=8200] ppid=8177 vsize=15700340 CPUtime=1.92 cores=0,2,4,6
/proc/8179/task/8200/stat : 8200 (java) R 8177 8179 7936 0 -1 4202560 26543 0 0 0 190 2 0 0 20 0 22 0 523758055 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505665851 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=8179/tid=8201] ppid=8177 vsize=15700340 CPUtime=2.48 cores=0,2,4,6
/proc/8179/task/8201/stat : 8201 (java) R 8177 8179 7936 0 -1 4202560 29364 0 0 0 245 3 0 0 19 0 22 0 523758055 16077148160 145360 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505523263 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 15700340
[startup+6.30108 s]
/proc/loadavg: 7.55 7.92 7.89 9/220 8201
/proc/meminfo: memFree=30098276/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15700340 CPUtime=24.28 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 157115 0 1 0 2409 19 0 0 25 0 22 0 523758031 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3925085 139646 2284 9 0 3915804 0
[pid=8179/tid=8180] ppid=8177 vsize=15700340 CPUtime=0.32 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) S 8177 8179 7936 0 -1 4202560 6020 0 1 0 31 1 0 0 18 0 22 0 523758031 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8182] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8182/stat : 8182 (java) S 8177 8179 7936 0 -1 4202560 274 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8183] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8183/stat : 8183 (java) S 8177 8179 7936 0 -1 4202560 2070 0 0 0 0 0 0 0 16 0 22 0 523758032 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8184] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8184/stat : 8184 (java) S 8177 8179 7936 0 -1 4202560 470 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8185] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8185/stat : 8185 (java) S 8177 8179 7936 0 -1 4202560 1242 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8186] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8186/stat : 8186 (java) S 8177 8179 7936 0 -1 4202560 1820 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8187] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8187/stat : 8187 (java) S 8177 8179 7936 0 -1 4202560 1666 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8188] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8188/stat : 8188 (java) S 8177 8179 7936 0 -1 4202560 1635 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8189] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8189/stat : 8189 (java) S 8177 8179 7936 0 -1 4202560 705 0 0 0 0 0 0 0 15 0 22 0 523758032 16077148160 139646 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=8179/tid=8199] ppid=8177 vsize=15700340 CPUtime=1107.7 cores=0,2,4,6
/proc/8179/task/8199/stat : 8199 (java) R 8177 8179 7936 0 -1 4202560 319214 0 0 0 110719 51 0 0 25 0 22 0 523758055 16077148160 94886 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 47445651873947 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8179/tid=8200] ppid=8177 vsize=15700340 CPUtime=1107.55 cores=0,2,4,6
/proc/8179/task/8200/stat : 8200 (java) R 8177 8179 7936 0 -1 4202560 318668 0 0 0 110710 45 0 0 25 0 22 0 523758055 16077148160 94886 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505802611 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8179/tid=8201] ppid=8177 vsize=15700340 CPUtime=1107.38 cores=0,2,4,6
/proc/8179/task/8201/stat : 8201 (java) R 8177 8179 7936 0 -1 4202560 317227 0 0 0 110687 51 0 0 25 0 22 0 523758055 16077148160 94886 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505523303 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4461.72
Current children cumulated vsize (KiB) 15700340
[startup+1182.3 s]
/proc/loadavg: 8.22 8.11 8.02 9/220 8244
/proc/meminfo: memFree=30525856/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15700340 CPUtime=4700.26 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 2267234 0 1 0 469550 476 0 0 25 0 22 0 523758031 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3925085 84664 2298 9 0 3915804 0
[pid=8179/tid=8180] ppid=8177 vsize=15700340 CPUtime=0.32 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) S 8177 8179 7936 0 -1 4202560 6020 0 1 0 31 1 0 0 18 0 22 0 523758031 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8182] ppid=8177 vsize=15700340 CPUtime=3.3 cores=0,2,4,6
/proc/8179/task/8182/stat : 8182 (java) S 8177 8179 7936 0 -1 4202560 108980 0 0 0 309 21 0 0 15 0 22 0 523758032 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8183] ppid=8177 vsize=15700340 CPUtime=3.35 cores=0,2,4,6
/proc/8179/task/8183/stat : 8183 (java) S 8177 8179 7936 0 -1 4202560 110412 0 0 0 313 22 0 0 15 0 22 0 523758032 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8184] ppid=8177 vsize=15700340 CPUtime=3.33 cores=0,2,4,6
/proc/8179/task/8184/stat : 8184 (java) S 8177 8179 7936 0 -1 4202560 109224 0 0 0 313 20 0 0 15 0 22 0 523758032 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8185] ppid=8177 vsize=15700340 CPUtime=3.38 cores=0,2,4,6
/proc/8179/task/8185/stat : 8185 (java) S 8177 8179 7936 0 -1 4202560 106129 0 0 0 317 21 0 0 15 0 22 0 523758032 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8186] ppid=8177 vsize=15700340 CPUtime=3.38 cores=0,2,4,6
/proc/8179/task/8186/stat : 8186 (java) S 8177 8179 7936 0 -1 4202560 112767 0 0 0 316 22 0 0 16 0 22 0 523758032 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8187] ppid=8177 vsize=15700340 CPUtime=3.34 cores=0,2,4,6
/proc/8179/task/8187/stat : 8187 (java) S 8177 8179 7936 0 -1 4202560 110424 0 0 0 311 23 0 0 15 0 22 0 523758032 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8188] ppid=8177 vsize=15700340 CPUtime=3.4 cores=0,2,4,6
/proc/8179/task/8188/stat : 8188 (java) S 8177 8179 7936 0 -1 4202560 110856 0 0 0 318 22 0 0 16 0 22 0 523758032 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8189] ppid=8177 vsize=15700340 CPUtime=3.31 cores=0,2,4,6
/proc/8179/task/8189/stat : 8189 (java) S 8177 8179 7936 0 -1 4202560 113392 0 0 0 311 20 0 0 16 0 22 0 523758032 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8190] ppid=8177 vsize=15700340 CPUtime=2.37 cores=0,2,4,6
/proc/8179/task/8190/stat : 8190 (java) S 8177 8179 7936 0 -1 4202560 5627 0 0 0 153 84 0 0 15 0 22 0 523758033 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 0 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8191] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8191/stat : 8191 (java) S 8177 8179 7936 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 523758034 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8192] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8192/stat : 8192 (java) S 8177 8179 7936 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 523758034 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8193] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8193/stat : 8193 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216470961 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8194] ppid=8177 vsize=15700340 CPUtime=1 cores=0,2,4,6
/proc/8179/task/8194/stat : 8194 (java) S 8177 8179 7936 0 -1 4202560 13861 0 0 0 99 1 0 0 15 0 22 0 523758036 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8195] ppid=8177 vsize=15700340 CPUtime=1.19 cores=0,2,4,6
/proc/8179/task/8195/stat : 8195 (java) S 8177 8179 7936 0 -1 4202560 5679 0 0 0 118 1 0 0 15 0 22 0 523758036 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8196] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8196/stat : 8196 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8197] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8197/stat : 8197 (java) S 8177 8179 7936 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 523758036 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8198] ppid=8177 vsize=15700340 CPUtime=1167.91 cores=0,2,4,6
/proc/8179/task/8198/stat : 8198 (java) R 8177 8179 7936 0 -1 4202560 346514 0 0 0 116736 55 0 0 25 0 22 0 523758055 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505742537 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=8179/tid=8199] ppid=8177 vsize=15700340 CPUtime=1166.9 cores=0,2,4,6
/proc/8179/task/8199/stat : 8199 (java) R 8177 8179 7936 0 -1 4202560 335550 0 0 0 116637 53 0 0 25 0 22 0 523758055 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505704712 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8179/tid=8200] ppid=8177 vsize=15700340 CPUtime=1166.89 cores=0,2,4,6
/proc/8179/task/8200/stat : 8200 (java) R 8177 8179 7936 0 -1 4202560 335911 0 0 0 116640 49 0 0 25 0 22 0 523758055 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505802298 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8179/tid=8201] ppid=8177 vsize=15700340 CPUtime=1166.72 cores=0,2,4,6
/proc/8179/task/8201/stat : 8201 (java) R 8177 8179 7936 0 -1 4202560 334432 0 0 0 116618 54 0 0 25 0 22 0 523758055 16077148160 84664 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505832355 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4700.26
Current children cumulated vsize (KiB) 15700340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1207.4 s]
/proc/loadavg: 7.59 7.98 7.98 10/220 8296
/proc/meminfo: memFree=30641844/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15700340 CPUtime=4800.05 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 2315748 0 1 0 479518 487 0 0 25 0 22 0 523758031 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3925085 84741 2298 9 0 3915804 0
[pid=8179/tid=8180] ppid=8177 vsize=15700340 CPUtime=0.32 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) S 8177 8179 7936 0 -1 4202560 6020 0 1 0 31 1 0 0 18 0 22 0 523758031 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8182] ppid=8177 vsize=15700340 CPUtime=3.37 cores=0,2,4,6
/proc/8179/task/8182/stat : 8182 (java) S 8177 8179 7936 0 -1 4202560 111643 0 0 0 316 21 0 0 16 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8183] ppid=8177 vsize=15700340 CPUtime=3.42 cores=0,2,4,6
/proc/8179/task/8183/stat : 8183 (java) S 8177 8179 7936 0 -1 4202560 111788 0 0 0 320 22 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8184] ppid=8177 vsize=15700340 CPUtime=3.4 cores=0,2,4,6
/proc/8179/task/8184/stat : 8184 (java) S 8177 8179 7936 0 -1 4202560 110445 0 0 0 320 20 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8185] ppid=8177 vsize=15700340 CPUtime=3.46 cores=0,2,4,6
/proc/8179/task/8185/stat : 8185 (java) S 8177 8179 7936 0 -1 4202560 107943 0 0 0 324 22 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8186] ppid=8177 vsize=15700340 CPUtime=3.45 cores=0,2,4,6
/proc/8179/task/8186/stat : 8186 (java) S 8177 8179 7936 0 -1 4202560 115021 0 0 0 322 23 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8187] ppid=8177 vsize=15700340 CPUtime=3.41 cores=0,2,4,6
/proc/8179/task/8187/stat : 8187 (java) S 8177 8179 7936 0 -1 4202560 112211 0 0 0 317 24 0 0 16 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8188] ppid=8177 vsize=15700340 CPUtime=3.46 cores=0,2,4,6
/proc/8179/task/8188/stat : 8188 (java) S 8177 8179 7936 0 -1 4202560 112762 0 0 0 324 22 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8189] ppid=8177 vsize=15700340 CPUtime=3.37 cores=0,2,4,6
/proc/8179/task/8189/stat : 8189 (java) S 8177 8179 7936 0 -1 4202560 115673 0 0 0 317 20 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8190] ppid=8177 vsize=15700340 CPUtime=2.44 cores=0,2,4,6
/proc/8179/task/8190/stat : 8190 (java) S 8177 8179 7936 0 -1 4202560 5751 0 0 0 158 86 0 0 15 0 22 0 523758033 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 0 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8191] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8191/stat : 8191 (java) S 8177 8179 7936 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 523758034 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8192] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8192/stat : 8192 (java) S 8177 8179 7936 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 523758034 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8193] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8193/stat : 8193 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216470961 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8194] ppid=8177 vsize=15700340 CPUtime=1 cores=0,2,4,6
/proc/8179/task/8194/stat : 8194 (java) S 8177 8179 7936 0 -1 4202560 13861 0 0 0 99 1 0 0 15 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8195] ppid=8177 vsize=15700340 CPUtime=1.19 cores=0,2,4,6
/proc/8179/task/8195/stat : 8195 (java) S 8177 8179 7936 0 -1 4202560 5679 0 0 0 118 1 0 0 15 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8196] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8196/stat : 8196 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8197] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8197/stat : 8197 (java) S 8177 8179 7936 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8198] ppid=8177 vsize=15700340 CPUtime=1192.71 cores=0,2,4,6
/proc/8179/task/8198/stat : 8198 (java) R 8177 8179 7936 0 -1 4202560 354621 0 0 0 119215 56 0 0 25 0 22 0 523758055 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8179/tid=8199] ppid=8177 vsize=15700340 CPUtime=1191.73 cores=0,2,4,6
/proc/8179/task/8199/stat : 8199 (java) R 8177 8179 7936 0 -1 4202560 343262 0 0 0 119119 54 0 0 25 0 22 0 523758055 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505716063 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8179/tid=8200] ppid=8177 vsize=15700340 CPUtime=1191.71 cores=0,2,4,6
/proc/8179/task/8200/stat : 8200 (java) R 8177 8179 7936 0 -1 4202560 345100 0 0 0 119121 50 0 0 25 0 22 0 523758055 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 18446744073699065971 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8179/tid=8201] ppid=8177 vsize=15700340 CPUtime=1191.44 cores=0,2,4,6
/proc/8179/task/8201/stat : 8201 (java) R 8177 8179 7936 0 -1 4202560 342510 0 0 0 119089 55 0 0 25 0 22 0 523758055 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505846352 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 15700340
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1207.4 s]
/proc/loadavg: 7.59 7.98 7.98 10/220 8296
/proc/meminfo: memFree=30641844/32951124 swapFree=67107188/67111528
[pid=8179] ppid=8177 vsize=15700340 CPUtime=4800.05 cores=0,2,4,6
/proc/8179/stat : 8179 (java) S 8177 8179 7936 0 -1 4202496 2315748 0 1 0 479518 487 0 0 25 0 22 0 523758031 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/8179/statm: 3925085 84741 2298 9 0 3915804 0
[pid=8179/tid=8180] ppid=8177 vsize=15700340 CPUtime=0.32 cores=0,2,4,6
/proc/8179/task/8180/stat : 8180 (java) S 8177 8179 7936 0 -1 4202560 6020 0 1 0 31 1 0 0 18 0 22 0 523758031 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8182] ppid=8177 vsize=15700340 CPUtime=3.37 cores=0,2,4,6
/proc/8179/task/8182/stat : 8182 (java) S 8177 8179 7936 0 -1 4202560 111643 0 0 0 316 21 0 0 16 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8183] ppid=8177 vsize=15700340 CPUtime=3.42 cores=0,2,4,6
/proc/8179/task/8183/stat : 8183 (java) S 8177 8179 7936 0 -1 4202560 111788 0 0 0 320 22 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8184] ppid=8177 vsize=15700340 CPUtime=3.4 cores=0,2,4,6
/proc/8179/task/8184/stat : 8184 (java) S 8177 8179 7936 0 -1 4202560 110445 0 0 0 320 20 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8185] ppid=8177 vsize=15700340 CPUtime=3.46 cores=0,2,4,6
/proc/8179/task/8185/stat : 8185 (java) S 8177 8179 7936 0 -1 4202560 107943 0 0 0 324 22 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8186] ppid=8177 vsize=15700340 CPUtime=3.45 cores=0,2,4,6
/proc/8179/task/8186/stat : 8186 (java) S 8177 8179 7936 0 -1 4202560 115021 0 0 0 322 23 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8187] ppid=8177 vsize=15700340 CPUtime=3.41 cores=0,2,4,6
/proc/8179/task/8187/stat : 8187 (java) S 8177 8179 7936 0 -1 4202560 112211 0 0 0 317 24 0 0 16 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8188] ppid=8177 vsize=15700340 CPUtime=3.46 cores=0,2,4,6
/proc/8179/task/8188/stat : 8188 (java) S 8177 8179 7936 0 -1 4202560 112762 0 0 0 324 22 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8189] ppid=8177 vsize=15700340 CPUtime=3.37 cores=0,2,4,6
/proc/8179/task/8189/stat : 8189 (java) S 8177 8179 7936 0 -1 4202560 115673 0 0 0 317 20 0 0 15 0 22 0 523758032 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8190] ppid=8177 vsize=15700340 CPUtime=2.44 cores=0,2,4,6
/proc/8179/task/8190/stat : 8190 (java) S 8177 8179 7936 0 -1 4202560 5751 0 0 0 158 86 0 0 15 0 22 0 523758033 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 0 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8191] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8191/stat : 8191 (java) S 8177 8179 7936 0 -1 4202560 18 0 0 0 0 0 0 0 17 0 22 0 523758034 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8192] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8192/stat : 8192 (java) S 8177 8179 7936 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 523758034 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8193] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8193/stat : 8193 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216470961 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8194] ppid=8177 vsize=15700340 CPUtime=1 cores=0,2,4,6
/proc/8179/task/8194/stat : 8194 (java) S 8177 8179 7936 0 -1 4202560 13861 0 0 0 99 1 0 0 15 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 6 0 0 0
[pid=8179/tid=8195] ppid=8177 vsize=15700340 CPUtime=1.19 cores=0,2,4,6
/proc/8179/task/8195/stat : 8195 (java) S 8177 8179 7936 0 -1 4202560 5679 0 0 0 118 1 0 0 15 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 2 0 0 0
[pid=8179/tid=8196] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8196/stat : 8196 (java) S 8177 8179 7936 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463257 0 4 0 16800975 18446604443091434432 0 0 -1 4 0 0 0
[pid=8179/tid=8197] ppid=8177 vsize=15700340 CPUtime=0 cores=0,2,4,6
/proc/8179/task/8197/stat : 8197 (java) S 8177 8179 7936 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 523758036 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 210216463872 0 4 0 16800975 18446604443091434432 0 0 -1 0 0 0 0
[pid=8179/tid=8198] ppid=8177 vsize=15700340 CPUtime=1192.71 cores=0,2,4,6
/proc/8179/task/8198/stat : 8198 (java) R 8177 8179 7936 0 -1 4202560 354621 0 0 0 119215 56 0 0 25 0 22 0 523758055 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 18446744073699066094 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=8179/tid=8199] ppid=8177 vsize=15700340 CPUtime=1191.73 cores=0,2,4,6
/proc/8179/task/8199/stat : 8199 (java) R 8177 8179 7936 0 -1 4202560 343262 0 0 0 119119 54 0 0 25 0 22 0 523758055 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505716063 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=8179/tid=8200] ppid=8177 vsize=15700340 CPUtime=1191.71 cores=0,2,4,6
/proc/8179/task/8200/stat : 8200 (java) R 8177 8179 7936 0 -1 4202560 345100 0 0 0 119121 50 0 0 25 0 22 0 523758055 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 18446744073699065971 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=8179/tid=8201] ppid=8177 vsize=15700340 CPUtime=1191.44 cores=0,2,4,6
/proc/8179/task/8201/stat : 8201 (java) R 8177 8179 7936 0 -1 4202560 342510 0 0 0 119089 55 0 0 25 0 22 0 523758055 16077148160 84741 33554432000 1073741824 1073778376 140733992394528 18446744073709551615 46912505846352 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 15700340
Child status: 143
Real time (s): 1207.43
CPU time (s): 4800.1
CPU user time (s): 4795.21
CPU system time (s): 4.89126
CPU usage (%): 397.546
Max. virtual memory (cumulated for all children) (KiB): 15702608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.21
system time used= 4.89126
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2315774
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 263904
involuntary context switches= 140465
runsolver used 1.9917 second user time and 4.64929 second system time
The end