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-3311969-1304076920/watcher-3311969-1304076920 -o /tmp/evaluation-result-3311969-1304076920/solver-3311969-1304076920 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311969-1304076920.cnf -hbr 2
running on 4 cores: 1,3,5,7
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: 5.87 6.64 6.77 5/198 32181
/proc/meminfo: memFree=25784728/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/32181/stat : 32181 (java) R 32179 32181 31842 0 -1 4202496 1019 0 0 0 0 0 0 0 25 0 1 0 519292748 23580672 505 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222916814592 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/32181/statm: 5757 517 394 9 0 124 0
[startup+0.028257 s]
/proc/loadavg: 5.87 6.64 6.77 5/198 32181
/proc/meminfo: memFree=25784728/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15604116 CPUtime=0.01 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 3448 0 1 0 1 0 0 0 25 0 13 0 519292748 15978614784 2888 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3901029 2891 1641 9 0 3891777 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604116
[startup+0.100232 s]
/proc/loadavg: 5.87 6.64 6.77 5/198 32181
/proc/meminfo: memFree=25784728/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15676432 CPUtime=0.1 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 5544 0 1 0 9 1 0 0 25 0 18 0 519292748 16052666368 4970 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3919108 4970 2117 9 0 3909827 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676432
[startup+0.300195 s]
/proc/loadavg: 5.87 6.64 6.77 5/198 32181
/proc/meminfo: memFree=25784728/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15677768 CPUtime=0.51 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 14641 0 1 0 49 2 0 0 25 0 18 0 519292748 16054034432 13078 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3919442 13085 2213 9 0 3910161 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15677768
[startup+0.701086 s]
/proc/loadavg: 5.87 6.64 6.77 5/198 32181
/proc/meminfo: memFree=25784728/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15681880 CPUtime=0.94 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 41882 0 1 0 88 6 0 0 25 0 22 0 519292748 16058245120 40315 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3920470 40315 2229 9 0 3911189 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 15681880
[startup+1.50097 s]
/proc/loadavg: 5.88 6.63 6.77 7/220 32203
/proc/meminfo: memFree=25620068/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15685732 CPUtime=2.73 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 54347 0 1 0 266 7 0 0 25 0 22 0 519292748 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3921433 47519 2265 9 0 3912152 0
[pid=32181/tid=32183] ppid=32179 vsize=15685732 CPUtime=1.47 cores=1,3,5,7
/proc/32181/task/32183/stat : 32183 (java) R 32179 32181 31842 0 -1 4202560 35619 0 1 0 143 4 0 0 21 0 22 0 519292749 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912505215960 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32181/tid=32184] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31842 0 -1 4202560 19 0 0 0 0 0 0 0 19 0 22 0 519292749 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32185] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519292749 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32186] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31842 0 -1 4202560 651 0 0 0 0 0 0 0 19 0 22 0 519292749 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32187] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31842 0 -1 4202560 64 0 0 0 0 0 0 0 19 0 22 0 519292749 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32188] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 519292749 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32189] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31842 0 -1 4202560 30 0 0 0 0 0 0 0 19 0 22 0 519292749 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32190] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32190/stat : 32190 (java) S 32179 32181 31842 0 -1 4202560 28 0 0 0 0 0 0 0 19 0 22 0 519292749 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32191] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32191/stat : 32191 (java) S 32179 32181 31842 0 -1 4202560 339 0 0 0 0 0 0 0 19 0 22 0 519292749 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32192] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32192/stat : 32192 (java) S 32179 32181 31842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 519292750 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 0 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32193] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32193/stat : 32193 (java) S 32179 32181 31842 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 519292751 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32194] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32194/stat : 32194 (java) S 32179 32181 31842 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 519292751 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32195] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32195/stat : 32195 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933600689 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32196] ppid=32179 vsize=15685732 CPUtime=0.36 cores=1,3,5,7
/proc/32181/task/32196/stat : 32196 (java) R 32179 32181 31842 0 -1 4202560 2031 0 0 0 36 0 0 0 16 0 22 0 519292753 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 47668537750280 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32181/tid=32197] ppid=32179 vsize=15685732 CPUtime=0.86 cores=1,3,5,7
/proc/32181/task/32197/stat : 32197 (java) R 32179 32181 31842 0 -1 4202560 14124 0 0 0 85 1 0 0 23 0 22 0 519292753 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 47668538820041 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32181/tid=32198] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32198/stat : 32198 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32199] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32199/stat : 32199 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519292753 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32200] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32200/stat : 32200 (java) S 32179 32181 31842 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 519292817 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32201] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32201/stat : 32201 (java) S 32179 32181 31842 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 519292817 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32202] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32202/stat : 32202 (java) S 32179 32181 31842 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 519292817 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32203] ppid=32179 vsize=15685732 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32203/stat : 32203 (java) S 32179 32181 31842 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 519292817 16062189568 47519 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 15685732
[startup+3.10068 s]
/proc/loadavg: 5.88 6.63 6.77 9/220 32203
/proc/meminfo: memFree=25540900/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15686260 CPUtime=6.24 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 70974 0 1 0 615 9 0 0 25 0 22 0 519292748 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3921565 62021 2276 9 0 3912284 0
[pid=32181/tid=32183] ppid=32179 vsize=15686260 CPUtime=2.01 cores=1,3,5,7
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31842 0 -1 4202560 35664 0 1 0 197 4 0 0 22 0 22 0 519292749 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32184] ppid=32179 vsize=15686260 CPUtime=0.01 cores=1,3,5,7
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31842 0 -1 4202560 2145 0 0 0 1 0 0 0 16 0 22 0 519292749 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32185] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31842 0 -1 4202560 1688 0 0 0 0 0 0 0 15 0 22 0 519292749 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32186] ppid=32179 vsize=15686260 CPUtime=0.01 cores=1,3,5,7
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31842 0 -1 4202560 3960 0 0 0 1 0 0 0 16 0 22 0 519292749 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32187] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31842 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 519292749 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32188] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31842 0 -1 4202560 2642 0 0 0 0 0 0 0 16 0 22 0 519292749 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32189] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31842 0 -1 4202560 702 0 0 0 0 0 0 0 15 0 22 0 519292749 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32190] ppid=32179 vsize=15686260 CPUtime=0.01 cores=1,3,5,7
/proc/32181/task/32190/stat : 32190 (java) S 32179 32181 31842 0 -1 4202560 2894 0 0 0 1 0 0 0 16 0 22 0 519292749 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32191] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32191/stat : 32191 (java) S 32179 32181 31842 0 -1 4202560 1661 0 0 0 0 0 0 0 15 0 22 0 519292749 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32192] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32192/stat : 32192 (java) S 32179 32181 31842 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 519292750 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 0 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32193] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32193/stat : 32193 (java) S 32179 32181 31842 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519292751 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32194] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32194/stat : 32194 (java) S 32179 32181 31842 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519292751 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32195] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32195/stat : 32195 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933600689 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32196] ppid=32179 vsize=15686260 CPUtime=0.83 cores=1,3,5,7
/proc/32181/task/32196/stat : 32196 (java) S 32179 32181 31842 0 -1 4202560 2235 0 0 0 83 0 0 0 15 0 22 0 519292753 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32197] ppid=32179 vsize=15686260 CPUtime=1.45 cores=1,3,5,7
/proc/32181/task/32197/stat : 32197 (java) S 32179 32181 31842 0 -1 4202560 15799 0 0 0 144 1 0 0 16 0 22 0 519292753 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32198] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32198/stat : 32198 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32199] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32199/stat : 32199 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 519292753 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32200] ppid=32179 vsize=15686260 CPUtime=0.34 cores=1,3,5,7
/proc/32181/task/32200/stat : 32200 (java) S 32179 32181 31842 0 -1 4202560 14 0 0 0 34 0 0 0 15 0 22 0 519292817 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32201] ppid=32179 vsize=15686260 CPUtime=0.22 cores=1,3,5,7
/proc/32181/task/32201/stat : 32201 (java) R 32179 32181 31842 0 -1 4202560 10 0 0 0 22 0 0 0 16 0 22 0 519292817 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912505993781 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32181/tid=32202] ppid=32179 vsize=15686260 CPUtime=0.63 cores=1,3,5,7
/proc/32181/task/32202/stat : 32202 (java) S 32179 32181 31842 0 -1 4202560 10 0 0 0 63 0 0 0 15 0 22 0 519292817 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32203] ppid=32179 vsize=15686260 CPUtime=0.62 cores=1,3,5,7
/proc/32181/task/32203/stat : 32203 (java) R 32179 32181 31842 0 -1 4202560 26 0 0 0 62 0 0 0 16 0 22 0 519292817 16062730240 62021 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 15686260
[startup+6.30106 s]
/proc/loadavg: 5.88 6.63 6.77 9/220 32204
/proc/meminfo: memFree=25037888/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15686260 CPUtime=18.54 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 214406 0 1 0 1822 32 0 0 25 0 22 0 519292748 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3921565 203875 2276 9 0 3912284 0
[pid=32181/tid=32183] ppid=32179 vsize=15686260 CPUtime=2.01 cores=1,3,5,7
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31842 0 -1 4202560 35664 0 1 0 197 4 0 0 22 0 22 0 519292749 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32184] ppid=32179 vsize=15686260 CPUtime=0.07 cores=1,3,5,7
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31842 0 -1 4202560 15453 0 0 0 5 2 0 0 16 0 22 0 519292749 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32185] ppid=32179 vsize=15686260 CPUtime=0.03 cores=1,3,5,7
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31842 0 -1 4202560 8233 0 0 0 2 1 0 0 15 0 22 0 519292749 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32186] ppid=32179 vsize=15686260 CPUtime=0.04 cores=1,3,5,7
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31842 0 -1 4202560 12186 0 0 0 3 1 0 0 16 0 22 0 519292749 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32187] ppid=32179 vsize=15686260 CPUtime=0.05 cores=1,3,5,7
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31842 0 -1 4202560 11345 0 0 0 3 2 0 0 15 0 22 0 519292749 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32188] ppid=32179 vsize=15686260 CPUtime=0.06 cores=1,3,5,7
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31842 0 -1 4202560 19574 0 0 0 3 3 0 0 16 0 22 0 519292749 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32189] ppid=32179 vsize=15686260 CPUtime=0.02 cores=1,3,5,7
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31842 0 -1 4202560 3281 0 0 0 2 0 0 0 15 0 22 0 519292749 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32190] ppid=32179 vsize=15686260 CPUtime=0.07 cores=1,3,5,7
/proc/32181/task/32190/stat : 32190 (java) S 32179 32181 31842 0 -1 4202560 19397 0 0 0 4 3 0 0 16 0 22 0 519292749 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32191] ppid=32179 vsize=15686260 CPUtime=0.05 cores=1,3,5,7
/proc/32181/task/32191/stat : 32191 (java) S 32179 32181 31842 0 -1 4202560 12885 0 0 0 3 2 0 0 15 0 22 0 519292749 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32192] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32192/stat : 32192 (java) S 32179 32181 31842 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 22 0 519292750 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 0 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32193] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32193/stat : 32193 (java) S 32179 32181 31842 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519292751 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32194] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32194/stat : 32194 (java) S 32179 32181 31842 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519292751 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32195] ppid=32179 vsize=15686260 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32195/stat : 32195 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933600689 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32196] ppid=32179 vsize=15686260 CPUtime=0.83 cores=1,3,5,7
/proc/32181/task/32196/stat : 32196 (java) S 32179 32181 31842 0 -1 4202560 2235 0 0 0 83 0 0 0 16 0 22 0 519292753 16062730240 203875 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=25591668/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15688088 CPUtime=4472.32 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 1797089 0 1 0 446962 270 0 0 25 0 22 0 519292748 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3922022 1380100 2300 9 0 3912741 0
[pid=32181/tid=32183] ppid=32179 vsize=15688088 CPUtime=2.01 cores=1,3,5,7
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31842 0 -1 4202560 35664 0 1 0 197 4 0 0 22 0 22 0 519292749 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32184] ppid=32179 vsize=15688088 CPUtime=3.29 cores=1,3,5,7
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31842 0 -1 4202560 124007 0 0 0 310 19 0 0 16 0 22 0 519292749 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32185] ppid=32179 vsize=15688088 CPUtime=3.58 cores=1,3,5,7
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31842 0 -1 4202560 152113 0 0 0 334 24 0 0 15 0 22 0 519292749 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32186] ppid=32179 vsize=15688088 CPUtime=3.68 cores=1,3,5,7
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31842 0 -1 4202560 166683 0 0 0 340 28 0 0 15 0 22 0 519292749 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32187] ppid=32179 vsize=15688088 CPUtime=3.28 cores=1,3,5,7
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31842 0 -1 4202560 137555 0 0 0 305 23 0 0 15 0 22 0 519292749 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32188] ppid=32179 vsize=15688088 CPUtime=3.42 cores=1,3,5,7
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31842 0 -1 4202560 110380 0 0 0 325 17 0 0 16 0 22 0 519292749 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32189] ppid=32179 vsize=15688088 CPUtime=3.45 cores=1,3,5,7
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31842 0 -1 4202560 130134 0 0 0 325 20 0 0 16 0 22 0 519292749 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32190] ppid=32179 vsize=15688088 CPUtime=3.18 cores=1,3,5,7
/proc/32181/task/32190/stat : 32190 (java) S 32179 32181 31842 0 -1 4202560 96844 0 0 0 302 16 0 0 16 0 22 0 519292749 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32191] ppid=32179 vsize=15688088 CPUtime=3.11 cores=1,3,5,7
/proc/32181/task/32191/stat : 32191 (java) S 32179 32181 31842 0 -1 4202560 94685 0 0 0 295 16 0 0 15 0 22 0 519292749 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32192] ppid=32179 vsize=15688088 CPUtime=0.9 cores=1,3,5,7
/proc/32181/task/32192/stat : 32192 (java) S 32179 32181 31842 0 -1 4202560 68752 0 0 0 75 15 0 0 15 0 22 0 519292750 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 0 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32193] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32193/stat : 32193 (java) S 32179 32181 31842 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519292751 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32194] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32194/stat : 32194 (java) S 32179 32181 31842 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519292751 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32195] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32195/stat : 32195 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933600689 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32196] ppid=32179 vsize=15688088 CPUtime=1.22 cores=1,3,5,7
/proc/32181/task/32196/stat : 32196 (java) S 32179 32181 31842 0 -1 4202560 2270 0 0 0 122 0 0 0 16 0 22 0 519292753 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32197] ppid=32179 vsize=15688088 CPUtime=2.02 cores=1,3,5,7
/proc/32181/task/32197/stat : 32197 (java) S 32179 32181 31842 0 -1 4202560 16197 0 0 0 201 1 0 0 15 0 22 0 519292753 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32198] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32198/stat : 32198 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32199] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32199/stat : 32199 (java) S 32179 32181 31842 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 519292753 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32200] ppid=32179 vsize=15688088 CPUtime=1110.26 cores=1,3,5,7
/proc/32181/task/32200/stat : 32200 (java) R 32179 32181 31842 0 -1 4202560 173452 0 0 0 111008 18 0 0 25 0 22 0 519292817 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912506315816 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32181/tid=32201] ppid=32179 vsize=15688088 CPUtime=1109.64 cores=1,3,5,7
/proc/32181/task/32201/stat : 32201 (java) R 32179 32181 31842 0 -1 4202560 165297 0 0 0 110945 19 0 0 25 0 22 0 519292817 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912506015921 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32181/tid=32202] ppid=32179 vsize=15688088 CPUtime=1109.8 cores=1,3,5,7
/proc/32181/task/32202/stat : 32202 (java) R 32179 32181 31842 0 -1 4202560 161667 0 0 0 110958 22 0 0 25 0 22 0 519292817 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912505966783 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32181/tid=32203] ppid=32179 vsize=15688088 CPUtime=1109.33 cores=1,3,5,7
/proc/32181/task/32203/stat : 32203 (java) R 32179 32181 31842 0 -1 4202560 159942 0 0 0 110914 19 0 0 25 0 22 0 519292817 16064602112 1380100 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912506553545 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4472.32
Current children cumulated vsize (KiB) 15688088
[startup+1182.3 s]
/proc/loadavg: 5.30 7.22 7.40 5/193 32255
/proc/meminfo: memFree=25597608/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15688088 CPUtime=4711.76 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 1825322 0 1 0 470902 274 0 0 25 0 22 0 519292748 16064602112 1389731 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3922022 1389741 2300 9 0 3912741 0
[pid=32181/tid=32183] ppid=32179 vsize=15688088 CPUtime=2.01 cores=1,3,5,7
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31842 0 -1 4202560 35664 0 1 0 197 4 0 0 22 0 22 0 519292749 16064602112 1389744 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32184] ppid=32179 vsize=15688088 CPUtime=3.39 cores=1,3,5,7
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31842 0 -1 4202560 125137 0 0 0 319 20 0 0 15 0 22 0 519292749 16064602112 1389747 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32185] ppid=32179 vsize=15688088 CPUtime=3.68 cores=1,3,5,7
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31842 0 -1 4202560 153800 0 0 0 344 24 0 0 15 0 22 0 519292749 16064602112 1389750 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32186] ppid=32179 vsize=15688088 CPUtime=3.75 cores=1,3,5,7
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31842 0 -1 4202560 167968 0 0 0 347 28 0 0 16 0 22 0 519292749 16064602112 1389755 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32187] ppid=32179 vsize=15688088 CPUtime=3.39 cores=1,3,5,7
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31842 0 -1 4202560 138537 0 0 0 316 23 0 0 16 0 22 0 519292749 16064602112 1389758 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32188] ppid=32179 vsize=15688088 CPUtime=3.51 cores=1,3,5,7
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31842 0 -1 4202560 111701 0 0 0 334 17 0 0 15 0 22 0 519292749 16064602112 1389760 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32189] ppid=32179 vsize=15688088 CPUtime=3.53 cores=1,3,5,7
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31842 0 -1 4202560 130138 0 0 0 333 20 0 0 15 0 22 0 519292749 16064602112 1389762 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32190] ppid=32179 vsize=15688088 CPUtime=3.28 cores=1,3,5,7
/proc/32181/task/32190/stat : 32190 (java) S 32179 32181 31842 0 -1 4202560 97751 0 0 0 312 16 0 0 16 0 22 0 519292749 16064602112 1389764 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32191] ppid=32179 vsize=15688088 CPUtime=3.22 cores=1,3,5,7
/proc/32181/task/32191/stat : 32191 (java) S 32179 32181 31842 0 -1 4202560 95341 0 0 0 306 16 0 0 16 0 22 0 519292749 16064602112 1389765 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32192] ppid=32179 vsize=15688088 CPUtime=0.96 cores=1,3,5,7
/proc/32181/task/32192/stat : 32192 (java) S 32179 32181 31842 0 -1 4202560 68858 0 0 0 81 15 0 0 15 0 22 0 519292750 16064602112 1389767 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 0 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32193] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32193/stat : 32193 (java) S 32179 32181 31842 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519292751 16064602112 1389769 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32194] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32194/stat : 32194 (java) S 32179 32181 31842 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519292751 16064602112 1389771 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32195] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32195/stat : 32195 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16064602112 1389772 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933600689 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32196] ppid=32179 vsize=15688088 CPUtime=1.22 cores=1,3,5,7
/proc/32181/task/32196/stat : 32196 (java) S 32179 32181 31842 0 -1 4202560 2270 0 0 0 122 0 0 0 16 0 22 0 519292753 16064602112 1389773 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32197] ppid=32179 vsize=15688088 CPUtime=2.02 cores=1,3,5,7
/proc/32181/task/32197/stat : 32197 (java) S 32179 32181 31842 0 -1 4202560 16197 0 0 0 201 1 0 0 15 0 22 0 519292753 16064602112 1389776 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32198] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32198/stat : 32198 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16064602112 1389777 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32199] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32199/stat : 32199 (java) S 32179 32181 31842 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 519292753 16064602112 1389778 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32200] ppid=32179 vsize=15688088 CPUtime=1169.78 cores=1,3,5,7
/proc/32181/task/32200/stat : 32200 (java) R 32179 32181 31842 0 -1 4202560 179556 0 0 0 116959 19 0 0 25 0 22 0 519292817 16064602112 1389779 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912505523432 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32181/tid=32201] ppid=32179 vsize=15688088 CPUtime=1169.25 cores=1,3,5,7
/proc/32181/task/32201/stat : 32201 (java) R 32179 32181 31842 0 -1 4202560 169799 0 0 0 116906 19 0 0 25 0 22 0 519292817 16064602112 1389779 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912505602664 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32181/tid=32202] ppid=32179 vsize=15688088 CPUtime=1169.53 cores=1,3,5,7
/proc/32181/task/32202/stat : 32202 (java) R 32179 32181 31842 0 -1 4202560 165512 0 0 0 116931 22 0 0 25 0 22 0 519292817 16064602112 1389780 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912505523440 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32181/tid=32203] ppid=32179 vsize=15688088 CPUtime=1169.07 cores=1,3,5,7
/proc/32181/task/32203/stat : 32203 (java) R 32179 32181 31842 0 -1 4202560 165691 0 0 0 116887 20 0 0 25 0 22 0 519292817 16064602112 1389780 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912505602664 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4711.76
Current children cumulated vsize (KiB) 15688088
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1204.4 s]
/proc/loadavg: 5.00 7.02 7.33 5/193 32256
/proc/meminfo: memFree=25251004/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=15688088 CPUtime=4800.05 cores=1,3,5,7
/proc/32181/stat : 32181 (java) S 32179 32181 31842 0 -1 4202496 1901044 0 1 0 479721 284 0 0 25 0 22 0 519292748 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 3922022 1465397 2300 9 0 3912741 0
[pid=32181/tid=32183] ppid=32179 vsize=15688088 CPUtime=2.01 cores=1,3,5,7
/proc/32181/task/32183/stat : 32183 (java) S 32179 32181 31842 0 -1 4202560 35664 0 1 0 197 4 0 0 22 0 22 0 519292749 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32184] ppid=32179 vsize=15688088 CPUtime=3.41 cores=1,3,5,7
/proc/32181/task/32184/stat : 32184 (java) S 32179 32181 31842 0 -1 4202560 127293 0 0 0 321 20 0 0 15 0 22 0 519292749 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32185] ppid=32179 vsize=15688088 CPUtime=3.7 cores=1,3,5,7
/proc/32181/task/32185/stat : 32185 (java) S 32179 32181 31842 0 -1 4202560 155593 0 0 0 346 24 0 0 16 0 22 0 519292749 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32186] ppid=32179 vsize=15688088 CPUtime=3.78 cores=1,3,5,7
/proc/32181/task/32186/stat : 32186 (java) S 32179 32181 31842 0 -1 4202560 169654 0 0 0 349 29 0 0 16 0 22 0 519292749 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32187] ppid=32179 vsize=15688088 CPUtime=3.41 cores=1,3,5,7
/proc/32181/task/32187/stat : 32187 (java) S 32179 32181 31842 0 -1 4202560 139801 0 0 0 318 23 0 0 16 0 22 0 519292749 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32188] ppid=32179 vsize=15688088 CPUtime=3.54 cores=1,3,5,7
/proc/32181/task/32188/stat : 32188 (java) S 32179 32181 31842 0 -1 4202560 114087 0 0 0 337 17 0 0 16 0 22 0 519292749 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32189] ppid=32179 vsize=15688088 CPUtime=3.55 cores=1,3,5,7
/proc/32181/task/32189/stat : 32189 (java) S 32179 32181 31842 0 -1 4202560 131358 0 0 0 335 20 0 0 15 0 22 0 519292749 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32190] ppid=32179 vsize=15688088 CPUtime=3.3 cores=1,3,5,7
/proc/32181/task/32190/stat : 32190 (java) S 32179 32181 31842 0 -1 4202560 98678 0 0 0 314 16 0 0 15 0 22 0 519292749 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32191] ppid=32179 vsize=15688088 CPUtime=3.23 cores=1,3,5,7
/proc/32181/task/32191/stat : 32191 (java) S 32179 32181 31842 0 -1 4202560 96568 0 0 0 307 16 0 0 16 0 22 0 519292749 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32192] ppid=32179 vsize=15688088 CPUtime=0.96 cores=1,3,5,7
/proc/32181/task/32192/stat : 32192 (java) S 32179 32181 31842 0 -1 4202560 69017 0 0 0 81 15 0 0 15 0 22 0 519292750 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 0 0 16800975 18446604471163246464 0 0 -1 1 0 0 0
[pid=32181/tid=32193] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32193/stat : 32193 (java) S 32179 32181 31842 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 519292751 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32194] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32194/stat : 32194 (java) S 32179 32181 31842 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 519292751 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32195] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32195/stat : 32195 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933600689 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32196] ppid=32179 vsize=15688088 CPUtime=1.22 cores=1,3,5,7
/proc/32181/task/32196/stat : 32196 (java) S 32179 32181 31842 0 -1 4202560 2270 0 0 0 122 0 0 0 16 0 22 0 519292753 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 3 0 0 0
[pid=32181/tid=32197] ppid=32179 vsize=15688088 CPUtime=2.02 cores=1,3,5,7
/proc/32181/task/32197/stat : 32197 (java) S 32179 32181 31842 0 -1 4202560 16197 0 0 0 201 1 0 0 15 0 22 0 519292753 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32198] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32198/stat : 32198 (java) S 32179 32181 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 519292753 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933592985 0 4 0 16800975 18446604471163246464 0 0 -1 5 0 0 0
[pid=32181/tid=32199] ppid=32179 vsize=15688088 CPUtime=0 cores=1,3,5,7
/proc/32181/task/32199/stat : 32199 (java) S 32179 32181 31842 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 519292753 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 222933593600 0 4 0 16800975 18446604471163246464 0 0 -1 7 0 0 0
[pid=32181/tid=32200] ppid=32179 vsize=15688088 CPUtime=1191.71 cores=1,3,5,7
/proc/32181/task/32200/stat : 32200 (java) R 32179 32181 31842 0 -1 4202560 198062 0 0 0 119149 22 0 0 25 0 22 0 519292817 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912506429136 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32181/tid=32201] ppid=32179 vsize=15688088 CPUtime=1191.32 cores=1,3,5,7
/proc/32181/task/32201/stat : 32201 (java) R 32179 32181 31842 0 -1 4202560 185353 0 0 0 119111 21 0 0 25 0 22 0 519292817 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912506383377 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32181/tid=32202] ppid=32179 vsize=15688088 CPUtime=1191.59 cores=1,3,5,7
/proc/32181/task/32202/stat : 32202 (java) R 32179 32181 31842 0 -1 4202560 180404 0 0 0 119135 24 0 0 25 0 22 0 519292817 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 46912506015983 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32181/tid=32203] ppid=32179 vsize=15688088 CPUtime=1191.12 cores=1,3,5,7
/proc/32181/task/32203/stat : 32203 (java) R 32179 32181 31842 0 -1 4202560 179594 0 0 0 119091 21 0 0 25 0 22 0 519292817 16064602112 1465397 33554432000 1073741824 1073778376 140734088916992 18446744073709551615 47668541815580 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 15688088
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1204.6 s]
/proc/loadavg: 5.00 7.02 7.33 5/193 32256
/proc/meminfo: memFree=25251004/32951124 swapFree=67110188/67111528
[pid=32181] ppid=32179 vsize=0 CPUtime=4800.26 cores=1,3,5,7
/proc/32181/stat : 32181 (java) Z 32179 32181 31842 0 -1 4203548 1901070 0 1 0 479724 302 0 0 17 0 2 0 519292748 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32181/statm: 0 0 0 0 0 0 0
[pid=32181/tid=32203] ppid=32179 vsize=0 CPUtime=1191.32 cores=1,3,5,7
/proc/32181/task/32203/stat : 32203 (java) R 32179 32181 31842 0 -1 4203588 179594 0 0 0 119092 40 0 0 25 0 2 0 519292817 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1204.63
CPU time (s): 4800.3
CPU user time (s): 4797.25
CPU system time (s): 3.04854
CPU usage (%): 398.488
Max. virtual memory (cumulated for all children) (KiB): 15688088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.25
system time used= 3.04854
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1901070
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= 43040
involuntary context switches= 71822
runsolver used 2.01269 second user time and 4.6183 second system time
The end