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-4261842-1502471080/watcher-4261842-1502471080 -o /tmp/evaluation-result-4261842-1502471080/solver-4261842-1502471080 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580 bin/concrete HOME/instance-4261842-1502471080.xml
pid=28548
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.21 1.96 1.91 2/201 28551
/proc/meminfo: memFree=26837580/32770624 swapFree=0/468472
[pid=28551] ppid=28548 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/28551/stat : 28551 (runsolver) D 28548 28551 13007 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 89019201 24240128 108 18446744073709551615 4194304 4338465 140730593651936 140730593649576 139880632459991 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 37883904 140730593657040 140730593657417 140730593657417 140730593660874 0
/proc/28551/statm: 5918 108 54 36 0 2156 0
[startup+0.10008 s]
/proc/loadavg: 2.21 1.96 1.91 2/201 28551
/proc/meminfo: memFree=26837580/32770624 swapFree=0/468472
[pid=28551] ppid=28548 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/28551/stat : 28551 (bash) S 28548 28551 13007 0 -1 4202496 683 1542 0 0 0 0 0 0 20 0 1 0 89019201 9736192 352 18446744073709551615 4194304 5098028 140721305532256 140721305529896 139663979445248 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 20213760 140721305539092 140721305539177 140721305539177 140721305542634 0
/proc/28551/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200322 s]
/proc/loadavg: 2.21 1.96 1.91 2/201 28551
/proc/meminfo: memFree=26837580/32770624 swapFree=0/468472
[pid=28551] ppid=28548 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/28551/stat : 28551 (bash) S 28548 28551 13007 0 -1 4202496 897 6478 0 0 0 0 0 1 20 0 1 0 89019201 9867264 377 18446744073709551615 4194304 5098028 140721305532256 140721305526264 139663979445248 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 20213760 140721305539092 140721305539177 140721305539177 140721305542634 0
/proc/28551/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300338 s]
/proc/loadavg: 2.21 1.96 1.91 2/201 28551
/proc/meminfo: memFree=26837580/32770624 swapFree=0/468472
[pid=28551] ppid=28548 vsize=13574488 CPUtime=0.12 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 4867 12662 0 0 3 1 5 3 20 0 9 0 89019201 13900275712 4055 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3393622 4055 2104 1 0 3383119 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13574488
[startup+0.700299 s]
/proc/loadavg: 2.21 1.96 1.91 2/201 28551
/proc/meminfo: memFree=26837580/32770624 swapFree=0/468472
[pid=28551] ppid=28548 vsize=13974784 CPUtime=0.59 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 13012 12662 0 0 46 5 5 3 20 0 15 0 89019201 14310178816 14311 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3493952 14311 3070 1 0 3483221 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 13974784
[startup+1.50062 s]
/proc/loadavg: 2.19 1.96 1.91 3/216 28614
/proc/meminfo: memFree=26748888/32770624 swapFree=0/468496
[pid=28551] ppid=28548 vsize=13985408 CPUtime=1.79 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 26408 12662 0 0 162 9 5 3 20 0 15 0 89019201 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3496352 33699 3331 1 0 3485525 0
[pid=28551/tid=28601] ppid=28548 vsize=13985408 CPUtime=1.25 cores=0,2,4,6
/proc/28551/task/28601/stat : 28601 (java) R 28548 28551 13007 0 -1 4202560 21379 12662 0 0 111 6 5 3 20 0 15 0 89019226 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777730035360 139777369445437 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28602] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28602/stat : 28602 (java) S 28548 28551 13007 0 -1 1077944384 1 12662 0 0 0 0 5 3 20 0 15 0 89019227 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777326180624 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28603] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28603/stat : 28603 (java) S 28548 28551 13007 0 -1 1077944384 1 12662 0 0 0 0 5 3 20 0 15 0 89019227 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777325128080 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28604] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28604/stat : 28604 (java) S 28548 28551 13007 0 -1 1077944384 1 12662 0 0 0 0 5 3 20 0 15 0 89019227 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777324075536 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28605] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28605/stat : 28605 (java) S 28548 28551 13007 0 -1 1077944384 2 12662 0 0 0 0 5 3 20 0 15 0 89019227 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777323022992 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28606] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28606/stat : 28606 (java) S 28548 28551 13007 0 -1 1077944384 5 12662 0 0 0 0 5 3 20 0 15 0 89019228 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777204353520 139777725827714 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28607] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28607/stat : 28607 (java) S 28548 28551 13007 0 -1 1077944384 33 12662 0 0 0 0 5 3 20 0 15 0 89019229 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777203299744 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28608] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28608/stat : 28608 (java) S 28548 28551 13007 0 -1 1077944384 21 12662 0 0 0 0 5 3 20 0 15 0 89019229 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777202247152 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28609] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28609/stat : 28609 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777201195728 139777725835163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28610] ppid=28548 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/28551/task/28610/stat : 28610 (java) S 28548 28551 13007 0 -1 1077944384 845 12662 0 0 13 0 5 3 20 0 15 0 89019232 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777200142320 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28611] ppid=28548 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/28551/task/28611/stat : 28611 (java) S 28548 28551 13007 0 -1 1077944384 767 12662 0 0 14 0 5 3 20 0 15 0 89019232 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777199089776 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28612] ppid=28548 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/28551/task/28612/stat : 28612 (java) S 28548 28551 13007 0 -1 1077944384 1184 12662 0 0 21 0 5 3 20 0 15 0 89019232 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777198037232 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28613] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28613/stat : 28613 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777196984928 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28614] ppid=28548 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28614/stat : 28614 (java) S 28548 28551 13007 0 -1 1077944384 10 12662 0 0 0 0 5 3 20 0 15 0 89019237 14321057792 33699 18446744073709551615 4194304 4196468 140726317685056 139777195932464 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 13985408
[startup+3.10068 s]
/proc/loadavg: 2.19 1.96 1.91 5/216 28614
/proc/meminfo: memFree=26669224/32770624 swapFree=0/468496
[pid=28551] ppid=28548 vsize=13997884 CPUtime=5.82 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 43045 12662 0 0 560 14 5 3 20 0 15 0 89019201 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3499471 53051 3444 1 0 3488085 0
[pid=28551/tid=28601] ppid=28548 vsize=13997884 CPUtime=2.82 cores=0,2,4,6
/proc/28551/task/28601/stat : 28601 (java) R 28548 28551 13007 0 -1 4202560 28876 12662 0 0 266 8 5 3 20 0 15 0 89019226 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777730048192 139777707380119 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28602] ppid=28548 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28602/stat : 28602 (java) S 28548 28551 13007 0 -1 1077944384 66 12662 0 0 0 0 5 3 20 0 15 0 89019227 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777326180624 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28603] ppid=28548 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28603/stat : 28603 (java) S 28548 28551 13007 0 -1 1077944384 188 12662 0 0 1 0 5 3 20 0 15 0 89019227 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777325128080 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28604] ppid=28548 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28604/stat : 28604 (java) S 28548 28551 13007 0 -1 1077944384 36 12662 0 0 1 0 5 3 20 0 15 0 89019227 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777324075536 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28605] ppid=28548 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28605/stat : 28605 (java) S 28548 28551 13007 0 -1 1077944384 53 12662 0 0 1 0 5 3 20 0 15 0 89019227 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777323022992 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28606] ppid=28548 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/28551/task/28606/stat : 28606 (java) S 28548 28551 13007 0 -1 1077944384 1478 12662 0 0 1 0 5 3 20 0 15 0 89019228 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777204353520 139777725827714 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28607] ppid=28548 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28607/stat : 28607 (java) S 28548 28551 13007 0 -1 1077944384 56 12662 0 0 0 0 5 3 20 0 15 0 89019229 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777203299744 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28608] ppid=28548 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28608/stat : 28608 (java) S 28548 28551 13007 0 -1 1077944384 45 12662 0 0 0 0 5 3 20 0 15 0 89019229 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777202247152 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28609] ppid=28548 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28609/stat : 28609 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777201195728 139777725835163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28610] ppid=28548 vsize=13997884 CPUtime=0.88 cores=0,2,4,6
/proc/28551/task/28610/stat : 28610 (java) R 28548 28551 13007 0 -1 4202560 2225 12662 0 0 80 0 5 3 20 0 15 0 89019232 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777200128200 139777707361129 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28611] ppid=28548 vsize=13997884 CPUtime=1.12 cores=0,2,4,6
/proc/28551/task/28611/stat : 28611 (java) R 28548 28551 13007 0 -1 4202560 4074 12662 0 0 104 0 5 3 20 0 15 0 89019232 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777199076592 139777707361238 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28612] ppid=28548 vsize=13997884 CPUtime=1.11 cores=0,2,4,6
/proc/28551/task/28612/stat : 28612 (java) S 28548 28551 13007 0 -1 1077944384 3777 12662 0 0 102 1 5 3 20 0 15 0 89019232 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777198037232 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28613] ppid=28548 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28613/stat : 28613 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777196984928 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28614] ppid=28548 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28614/stat : 28614 (java) S 28548 28551 13007 0 -1 1077944384 12 12662 0 0 0 0 5 3 20 0 15 0 89019237 14333833216 53051 18446744073709551615 4194304 4196468 140726317685056 139777195932464 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 13997884
[startup+6.30076 s]
/proc/loadavg: 2.19 1.96 1.91 5/216 28614
/proc/meminfo: memFree=26475640/32770624 swapFree=0/468504
[pid=28551] ppid=28548 vsize=14067516 CPUtime=14.47 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 84446 12662 0 0 1415 24 5 3 20 0 15 0 89019201 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3516879 109344 3471 1 0 3505493 0
[pid=28551/tid=28601] ppid=28548 vsize=14067516 CPUtime=5.94 cores=0,2,4,6
/proc/28551/task/28601/stat : 28601 (java) R 28548 28551 13007 0 -1 4202560 45119 12662 0 0 573 13 5 3 20 0 15 0 89019226 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777730047504 139777381871800 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28602] ppid=28548 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/28551/task/28602/stat : 28602 (java) S 28548 28551 13007 0 -1 1077944384 196 12662 0 0 3 0 5 3 20 0 15 0 89019227 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777326180624 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28603] ppid=28548 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/28551/task/28603/stat : 28603 (java) S 28548 28551 13007 0 -1 1077944384 1242 12662 0 0 4 0 5 3 20 0 15 0 89019227 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777325128080 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28604] ppid=28548 vsize=14067516 CPUtime=0.11 cores=0,2,4,6
/proc/28551/task/28604/stat : 28604 (java) S 28548 28551 13007 0 -1 1077944384 66 12662 0 0 3 0 5 3 20 0 15 0 89019227 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777324075536 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28605] ppid=28548 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/28551/task/28605/stat : 28605 (java) S 28548 28551 13007 0 -1 1077944384 500 12662 0 0 4 0 5 3 20 0 15 0 89019227 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777323022992 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28606] ppid=28548 vsize=14067516 CPUtime=0.12 cores=0,2,4,6
/proc/28551/task/28606/stat : 28606 (java) S 28548 28551 13007 0 -1 1077944384 2399 12662 0 0 4 0 5 3 20 0 15 0 89019228 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777204353520 139777725827714 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28607] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28607/stat : 28607 (java) S 28548 28551 13007 0 -1 1077944384 56 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777203299872 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28608] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28608/stat : 28608 (java) S 28548 28551 13007 0 -1 1077944384 45 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777202247168 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28609] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28609/stat : 28609 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777201195728 139777725835163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28610] ppid=28548 vsize=14067516 CPUtime=3.23 cores=0,2,4,6
/proc/28551/task/28610/stat : 28610 (java) S 28548 28551 13007 0 -1 1077944384 6863 12662 0 0 313 2 5 3 20 0 15 0 89019232 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777200142320 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28611] ppid=28548 vsize=14067516 CPUtime=3.62 cores=0,2,4,6
/proc/28551/task/28611/stat : 28611 (java) S 28548 28551 13007 0 -1 1077944384 18044 12662 0 0 352 2 5 3 20 0 15 0 89019232 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777199089776 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28612] ppid=28548 vsize=14067516 CPUtime=1.63 cores=0,2,4,6
/proc/28551/task/28612/stat : 28612 (java) S 28548 28551 13007 0 -1 1077944384 7680 12662 0 0 153 2 5 3 20 0 15 0 89019232 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777198037232 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28613] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28613/stat : 28613 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777196984928 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28614] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28614/stat : 28614 (java) S 28548 28551 13007 0 -1 1077944384 76 12662 0 0 0 0 5 3 20 0 15 0 89019237 14405136384 109344 18446744073709551615 4194304 4196468 140726317685056 139777195932464 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
Current children cumulated CPU time (s) 14.47
Current children cumulated vsize (KiB) 14067516
[startup+12.7007 s]
/proc/loadavg: 2.16 1.96 1.91 3/216 28614
/proc/meminfo: memFree=26117708/32770624 swapFree=0/468512
[pid=28551] ppid=28548 vsize=14067516 CPUtime=21.99 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 85536 12662 0 0 2158 33 5 3 20 0 15 0 89019201 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3516879 190620 3474 1 0 3505493 0
[pid=28551/tid=28601] ppid=28548 vsize=14067516 CPUtime=12.3 cores=0,2,4,6
/proc/28551/task/28601/stat : 28601 (java) R 28548 28551 13007 0 -1 4202560 45556 12662 0 0 1204 18 5 3 20 0 15 0 89019226 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 139777730048664 139777375070280 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28602] ppid=28548 vsize=14067516 CPUtime=0.14 cores=0,2,4,6
/proc/28551/task/28602/stat : 28602 (java) S 28548 28551 13007 0 -1 1077944384 211 12662 0 0 5 1 5 3 20 0 15 0 89019227 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 139777326180624 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28603] ppid=28548 vsize=14067516 CPUtime=0.14 cores=0,2,4,6
/proc/28551/task/28603/stat : 28603 (java) S 28548 28551 13007 0 -1 1077944384 1255 12662 0 0 5 1 5 3 20 0 15 0 89019227 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 139777325128080 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28604] ppid=28548 vsize=14067516 CPUtime=0.14 cores=0,2,4,6
/proc/28551/task/28604/stat : 28604 (java) S 28548 28551 13007 0 -1 1077944384 85 12662 0 0 5 1 5 3 20 0 15 0 89019227 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 139777324075536 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28605] ppid=28548 vsize=14067516 CPUtime=0.14 cores=0,2,4,6
/proc/28551/task/28605/stat : 28605 (java) S 28548 28551 13007 0 -1 1077944384 512 12662 0 0 5 1 5 3 20 0 15 0 89019227 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 139777323022992 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28606] ppid=28548 vsize=14067516 CPUtime=0.13 cores=0,2,4,6
/proc/28551/task/28606/stat : 28606 (java) S 28548 28551 13007 0 -1 1077944384 2544 12662 0 0 5 0 5 3 20 0 15 0 89019228 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 139777204353520 139777725827714 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28607] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28607/stat : 28607 (java) S 28548 28551 13007 0 -1 1077944384 56 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 139777203299872 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28608] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28608/stat : 28608 (java) S 28548 28551 13007 0 -1 1077944384 45 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 139777202247168 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28609] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28609/stat : 28609 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 190620 18446744073709551615 4194304 4196468 140726317685056 139777201195728 139777725835163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
################
# More data... #
################
/proc/28551/task/28613/stat : 28613 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777196984928 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28614] ppid=28548 vsize=14067516 CPUtime=1.69 cores=0,2,4,6
/proc/28551/task/28614/stat : 28614 (java) S 28548 28551 13007 0 -1 1077944384 1040 12662 0 0 84 77 5 3 20 0 15 0 89019237 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777195932464 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
Current children cumulated CPU time (s) 2365.55
Current children cumulated vsize (KiB) 14067516
[startup+2382.3 s]
/proc/loadavg: 1.33 1.47 1.49 3/217 28914
/proc/meminfo: memFree=24938204/32770624 swapFree=0/469068
[pid=28551] ppid=28548 vsize=14067516 CPUtime=2426.48 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 233057 12662 0 0 242266 374 5 3 20 0 15 0 89019201 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3516879 256995 3474 1 0 3505493 0
[pid=28551/tid=28601] ppid=28548 vsize=14067516 CPUtime=2354.34 cores=0,2,4,6
/proc/28551/task/28601/stat : 28601 (java) R 28548 28551 13007 0 -1 4202560 97420 12662 0 0 235370 56 5 3 20 0 15 0 89019226 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777730050896 139777371239820 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28602] ppid=28548 vsize=14067516 CPUtime=12.4 cores=0,2,4,6
/proc/28551/task/28602/stat : 28602 (java) S 28548 28551 13007 0 -1 1077944384 17915 12662 0 0 1172 60 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777326180624 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28603] ppid=28548 vsize=14067516 CPUtime=12.42 cores=0,2,4,6
/proc/28551/task/28603/stat : 28603 (java) S 28548 28551 13007 0 -1 1077944384 22836 12662 0 0 1168 66 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777325128080 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28604] ppid=28548 vsize=14067516 CPUtime=12.44 cores=0,2,4,6
/proc/28551/task/28604/stat : 28604 (java) S 28548 28551 13007 0 -1 1077944384 15975 12662 0 0 1174 62 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777324075536 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28605] ppid=28548 vsize=14067516 CPUtime=12.39 cores=0,2,4,6
/proc/28551/task/28605/stat : 28605 (java) S 28548 28551 13007 0 -1 1077944384 14413 12662 0 0 1172 59 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777323022992 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28606] ppid=28548 vsize=14067516 CPUtime=11.71 cores=0,2,4,6
/proc/28551/task/28606/stat : 28606 (java) S 28548 28551 13007 0 -1 1077944384 17665 12662 0 0 1103 60 5 3 20 0 15 0 89019228 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777204353520 139777725827714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28607] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28607/stat : 28607 (java) S 28548 28551 13007 0 -1 1077944384 56 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777203299872 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28608] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28608/stat : 28608 (java) S 28548 28551 13007 0 -1 1077944384 45 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777202247168 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28609] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28609/stat : 28609 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777201195728 139777725835163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28610] ppid=28548 vsize=14067516 CPUtime=3.76 cores=0,2,4,6
/proc/28551/task/28610/stat : 28610 (java) S 28548 28551 13007 0 -1 1077944384 8969 12662 0 0 365 3 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777200142320 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28611] ppid=28548 vsize=14067516 CPUtime=4.21 cores=0,2,4,6
/proc/28551/task/28611/stat : 28611 (java) S 28548 28551 13007 0 -1 1077944384 20025 12662 0 0 410 3 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777199089776 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28612] ppid=28548 vsize=14067516 CPUtime=1.69 cores=0,2,4,6
/proc/28551/task/28612/stat : 28612 (java) S 28548 28551 13007 0 -1 1077944384 14520 12662 0 0 158 3 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777198037232 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28613] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28613/stat : 28613 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777196984928 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28614] ppid=28548 vsize=14067516 CPUtime=1.73 cores=0,2,4,6
/proc/28551/task/28614/stat : 28614 (java) S 28548 28551 13007 0 -1 1077944384 1058 12662 0 0 86 79 5 3 20 0 15 0 89019237 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777195932464 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
Current children cumulated CPU time (s) 2426.48
Current children cumulated vsize (KiB) 14067516
[startup+2442.3 s]
/proc/loadavg: 1.32 1.44 1.48 3/218 28917
/proc/meminfo: memFree=24938516/32770624 swapFree=0/469080
[pid=28551] ppid=28548 vsize=14067516 CPUtime=2487.45 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 234558 12662 0 0 248354 383 5 3 20 0 15 0 89019201 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3516879 256995 3474 1 0 3505493 0
[pid=28551/tid=28601] ppid=28548 vsize=14067516 CPUtime=2413.63 cores=0,2,4,6
/proc/28551/task/28601/stat : 28601 (java) R 28548 28551 13007 0 -1 4202560 98313 12662 0 0 241298 57 5 3 20 0 15 0 89019226 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777730050912 139777368776992 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28602] ppid=28548 vsize=14067516 CPUtime=12.73 cores=0,2,4,6
/proc/28551/task/28602/stat : 28602 (java) S 28548 28551 13007 0 -1 1077944384 17947 12662 0 0 1203 62 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777326180624 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28603] ppid=28548 vsize=14067516 CPUtime=12.75 cores=0,2,4,6
/proc/28551/task/28603/stat : 28603 (java) S 28548 28551 13007 0 -1 1077944384 23105 12662 0 0 1199 68 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777325128080 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28604] ppid=28548 vsize=14067516 CPUtime=12.78 cores=0,2,4,6
/proc/28551/task/28604/stat : 28604 (java) S 28548 28551 13007 0 -1 1077944384 16097 12662 0 0 1206 64 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777324075536 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28605] ppid=28548 vsize=14067516 CPUtime=12.73 cores=0,2,4,6
/proc/28551/task/28605/stat : 28605 (java) S 28548 28551 13007 0 -1 1077944384 14421 12662 0 0 1204 61 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777323022992 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28606] ppid=28548 vsize=14067516 CPUtime=12.01 cores=0,2,4,6
/proc/28551/task/28606/stat : 28606 (java) S 28548 28551 13007 0 -1 1077944384 17824 12662 0 0 1132 61 5 3 20 0 15 0 89019228 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777204353520 139777725827714 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28607] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28607/stat : 28607 (java) S 28548 28551 13007 0 -1 1077944384 56 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777203299872 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28608] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28608/stat : 28608 (java) S 28548 28551 13007 0 -1 1077944384 45 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777202247168 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28609] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28609/stat : 28609 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777201195728 139777725835163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28610] ppid=28548 vsize=14067516 CPUtime=3.76 cores=0,2,4,6
/proc/28551/task/28610/stat : 28610 (java) S 28548 28551 13007 0 -1 1077944384 8969 12662 0 0 365 3 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777200142320 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28611] ppid=28548 vsize=14067516 CPUtime=4.22 cores=0,2,4,6
/proc/28551/task/28611/stat : 28611 (java) S 28548 28551 13007 0 -1 1077944384 20025 12662 0 0 411 3 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777199089776 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28612] ppid=28548 vsize=14067516 CPUtime=1.69 cores=0,2,4,6
/proc/28551/task/28612/stat : 28612 (java) S 28548 28551 13007 0 -1 1077944384 14520 12662 0 0 158 3 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777198037232 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28613] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28613/stat : 28613 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777196984928 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28614] ppid=28548 vsize=14067516 CPUtime=1.77 cores=0,2,4,6
/proc/28551/task/28614/stat : 28614 (java) S 28548 28551 13007 0 -1 1077944384 1076 12662 0 0 89 80 5 3 20 0 15 0 89019237 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777195932464 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
Current children cumulated CPU time (s) 2487.45
Current children cumulated vsize (KiB) 14067516
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2474.4 s]
/proc/loadavg: 1.31 1.43 1.47 3/215 28918
/proc/meminfo: memFree=24933216/32770624 swapFree=0/469080
[pid=28551] ppid=28548 vsize=14067516 CPUtime=2520.07 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 235033 12662 0 0 251612 387 5 3 20 0 15 0 89019201 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3516879 256995 3474 1 0 3505493 0
[pid=28551/tid=28601] ppid=28548 vsize=14067516 CPUtime=2445.34 cores=0,2,4,6
/proc/28551/task/28601/stat : 28601 (java) R 28548 28551 13007 0 -1 4202560 98733 12662 0 0 244469 57 5 3 20 0 15 0 89019226 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777730050928 139777375069560 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28602] ppid=28548 vsize=14067516 CPUtime=12.91 cores=0,2,4,6
/proc/28551/task/28602/stat : 28602 (java) S 28548 28551 13007 0 -1 1077944384 17949 12662 0 0 1220 63 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777326180624 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28603] ppid=28548 vsize=14067516 CPUtime=12.93 cores=0,2,4,6
/proc/28551/task/28603/stat : 28603 (java) S 28548 28551 13007 0 -1 1077944384 23116 12662 0 0 1217 68 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777325128080 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28604] ppid=28548 vsize=14067516 CPUtime=12.95 cores=0,2,4,6
/proc/28551/task/28604/stat : 28604 (java) S 28548 28551 13007 0 -1 1077944384 16104 12662 0 0 1223 64 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777324075536 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28605] ppid=28548 vsize=14067516 CPUtime=12.91 cores=0,2,4,6
/proc/28551/task/28605/stat : 28605 (java) S 28548 28551 13007 0 -1 1077944384 14438 12662 0 0 1221 62 5 3 20 0 15 0 89019227 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777323022992 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28606] ppid=28548 vsize=14067516 CPUtime=12.19 cores=0,2,4,6
/proc/28551/task/28606/stat : 28606 (java) S 28548 28551 13007 0 -1 1077944384 17834 12662 0 0 1149 62 5 3 20 0 15 0 89019228 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777204353520 139777725827714 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28607] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28607/stat : 28607 (java) S 28548 28551 13007 0 -1 1077944384 56 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777203299872 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28608] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28608/stat : 28608 (java) S 28548 28551 13007 0 -1 1077944384 45 12662 0 0 0 0 5 3 20 0 15 0 89019229 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777202247168 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28609] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28609/stat : 28609 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777201195728 139777725835163 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28610] ppid=28548 vsize=14067516 CPUtime=3.76 cores=0,2,4,6
/proc/28551/task/28610/stat : 28610 (java) S 28548 28551 13007 0 -1 1077944384 8971 12662 0 0 365 3 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777200142320 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28611] ppid=28548 vsize=14067516 CPUtime=4.22 cores=0,2,4,6
/proc/28551/task/28611/stat : 28611 (java) S 28548 28551 13007 0 -1 1077944384 20027 12662 0 0 411 3 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777199089776 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28612] ppid=28548 vsize=14067516 CPUtime=1.69 cores=0,2,4,6
/proc/28551/task/28612/stat : 28612 (java) S 28548 28551 13007 0 -1 1077944384 14522 12662 0 0 158 3 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777198037232 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28613] ppid=28548 vsize=14067516 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28613/stat : 28613 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 15 0 89019232 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777196984928 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28614] ppid=28548 vsize=14067516 CPUtime=1.79 cores=0,2,4,6
/proc/28551/task/28614/stat : 28614 (java) S 28548 28551 13007 0 -1 1077944384 1078 12662 0 0 90 81 5 3 20 0 15 0 89019237 14405136384 256995 18446744073709551615 4194304 4196468 140726317685056 139777195932464 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 14067516
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 28551 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2474.6 s]
/proc/loadavg: 1.31 1.43 1.47 3/215 28918
/proc/meminfo: memFree=24933216/32770624 swapFree=0/469080
[pid=28551] ppid=28548 vsize=14200644 CPUtime=2520.59 cores=0,2,4,6
/proc/28551/stat : 28551 (java) S 28548 28551 13007 0 -1 1077944320 241572 12662 0 0 251664 387 5 3 20 0 17 0 89019201 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 140726317667600 139777725816567 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
/proc/28551/statm: 3550161 259285 3474 1 0 3538775 0
[pid=28551/tid=28601] ppid=28548 vsize=14200644 CPUtime=2445.35 cores=0,2,4,6
/proc/28551/task/28601/stat : 28601 (java) S 28548 28551 13007 0 -1 1077944384 99060 12662 0 0 244470 57 5 3 20 0 17 0 89019226 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777730054272 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28602] ppid=28548 vsize=14200644 CPUtime=13.02 cores=0,2,4,6
/proc/28551/task/28602/stat : 28602 (java) R 28548 28551 13007 0 -1 4202560 17966 12662 0 0 1231 63 5 3 20 0 17 0 89019227 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777326180744 139777718444775 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28603] ppid=28548 vsize=14200644 CPUtime=13.04 cores=0,2,4,6
/proc/28551/task/28603/stat : 28603 (java) R 28548 28551 13007 0 -1 4202560 23126 12662 0 0 1228 68 5 3 20 0 17 0 89019227 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777325128080 139777711575384 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28604] ppid=28548 vsize=14200644 CPUtime=13.05 cores=0,2,4,6
/proc/28551/task/28604/stat : 28604 (java) R 28548 28551 13007 0 -1 4202560 16120 12662 0 0 1233 64 5 3 20 0 17 0 89019227 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777324075536 139777710515383 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28605] ppid=28548 vsize=14200644 CPUtime=13.02 cores=0,2,4,6
/proc/28551/task/28605/stat : 28605 (java) R 28548 28551 13007 0 -1 4202560 14500 12662 0 0 1232 62 5 3 20 0 17 0 89019227 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777323022992 139777718444775 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28606] ppid=28548 vsize=14200644 CPUtime=12.26 cores=0,2,4,6
/proc/28551/task/28606/stat : 28606 (java) S 28548 28551 13007 0 -1 1077944384 23619 12662 0 0 1156 62 5 3 20 0 17 0 89019228 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777204352144 139777725826773 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28607] ppid=28548 vsize=14200644 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28607/stat : 28607 (java) S 28548 28551 13007 0 -1 1077944384 59 12662 0 0 0 0 5 3 20 0 17 0 89019229 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777203299376 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28608] ppid=28548 vsize=14200644 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28608/stat : 28608 (java) S 28548 28551 13007 0 -1 1077944384 45 12662 0 0 0 0 5 3 20 0 17 0 89019229 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777202247168 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28609] ppid=28548 vsize=14200644 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28609/stat : 28609 (java) S 28548 28551 13007 0 -1 1077944384 102 12662 0 0 0 0 5 3 20 0 17 0 89019232 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777201195728 139777725835163 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28610] ppid=28548 vsize=14200644 CPUtime=3.76 cores=0,2,4,6
/proc/28551/task/28610/stat : 28610 (java) S 28548 28551 13007 0 -1 1077944384 8971 12662 0 0 365 3 5 3 20 0 17 0 89019232 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777200142320 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28611] ppid=28548 vsize=14200644 CPUtime=4.22 cores=0,2,4,6
/proc/28551/task/28611/stat : 28611 (java) S 28548 28551 13007 0 -1 1077944384 20027 12662 0 0 411 3 5 3 20 0 17 0 89019232 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777199089776 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28612] ppid=28548 vsize=14200644 CPUtime=1.69 cores=0,2,4,6
/proc/28551/task/28612/stat : 28612 (java) S 28548 28551 13007 0 -1 1077944384 14652 12662 0 0 158 3 5 3 20 0 17 0 89019232 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777198036800 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28613] ppid=28548 vsize=14200644 CPUtime=0.08 cores=0,2,4,6
/proc/28551/task/28613/stat : 28613 (java) S 28548 28551 13007 0 -1 1077944384 3 12662 0 0 0 0 5 3 20 0 17 0 89019232 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777196984928 139777725826773 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
[pid=28551/tid=28614] ppid=28548 vsize=14200644 CPUtime=1.79 cores=0,2,4,6
/proc/28551/task/28614/stat : 28614 (java) S 28548 28551 13007 0 -1 1077944384 1078 12662 0 0 90 81 5 3 20 0 17 0 89019237 14541459456 259285 18446744073709551615 4194304 4196468 140726317685056 139777195932464 139777725827714 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140726317692880 140726317695665 140726317695665 140726317699023 0
Current children cumulated CPU time (s) 2520.59
Current children cumulated vsize (KiB) 14200644
Child status: 143
Real time (s): 2474.63
CPU time (s): 2520.64
CPU user time (s): 2516.72
CPU system time (s): 3.91917
CPU usage (%): 101.859
Max. virtual memory (cumulated for all children) (KiB): 14200644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.72
system time used= 3.91917
maximum resident set size= 1094840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 313599
involuntary context switches= 9757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6666 second user time and 13.4526 second system time
The end