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-4092188-1466088142/watcher-4092188-1466088142 -o /tmp/evaluation-result-4092188-1466088142/solver-4092188-1466088142 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466075234-14703 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092188-1466088142.wbo
pid=25135
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.65 2.02 2.11 4/196 25138
/proc/meminfo: memFree=29114120/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=91880 CPUtime=0 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 1265 0 0 0 0 0 0 0 20 0 2 0 10859620 94085120 906 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 22954 904 685 9 0 16769 0
[pid=25138/tid=25139] ppid=25135 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) D 25135 25138 11396 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 10859621 94019584 917 33554432000 1073741824 1073778376 140735579825088 140212703723048 211449638183 0 0 4096 0 18446744072100588836 0 0 -1 5 0 0 0 0 0
[startup+0.100063 s]
/proc/loadavg: 1.65 2.02 2.11 4/196 25138
/proc/meminfo: memFree=29114120/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 4455 0 1 0 9 0 0 0 20 0 18 0 10859620 9787879424 6082 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2389619 6082 2141 9 0 2380296 0
[pid=25138/tid=25139] ppid=25135 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) R 25135 25138 11396 0 -1 4202560 2409 0 1 0 7 0 0 0 20 0 18 0 10859621 9787879424 6082 33554432000 1073741824 1073778376 140735579825088 140212703726496 211462186253 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200369 s]
/proc/loadavg: 1.65 2.02 2.11 4/196 25138
/proc/meminfo: memFree=29114120/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 4725 0 1 0 23 1 0 0 20 0 18 0 10859620 9787879424 7325 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2389619 7325 2210 9 0 2380296 0
[pid=25138/tid=25139] ppid=25135 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) R 25135 25138 11396 0 -1 4202560 2427 0 1 0 17 0 0 0 20 0 18 0 10859621 9787879424 7325 33554432000 1073741824 1073778376 140735579825088 140212703726496 211462175800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.30033 s]
/proc/loadavg: 1.65 2.02 2.11 4/196 25138
/proc/meminfo: memFree=29114120/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 5266 0 1 0 42 3 0 0 20 0 19 0 10859620 10060525568 9128 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2456183 9128 2246 9 0 2446860 0
[pid=25138/tid=25139] ppid=25135 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) S 25135 25138 11396 0 -1 4202560 2447 0 1 0 22 0 0 0 20 0 19 0 10859621 10060525568 9128 33554432000 1073741824 1073778376 140735579825088 140212703728504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9824732
[startup+0.700255 s]
/proc/loadavg: 1.65 2.02 2.11 4/196 25138
/proc/meminfo: memFree=29114120/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 5266 0 1 0 42 3 0 0 20 0 19 0 10859620 10060525568 9128 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2456183 9128 2246 9 0 2446860 0
[pid=25138/tid=25139] ppid=25135 vsize=9824732 CPUtime=0.22 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) S 25135 25138 11396 0 -1 4202560 2447 0 1 0 22 0 0 0 20 0 19 0 10859621 10060525568 9128 33554432000 1073741824 1073778376 140735579825088 140212703728504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9824732
[startup+1.50073 s]
/proc/loadavg: 1.68 2.02 2.11 2/215 25163
/proc/meminfo: memFree=29076860/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 18805 0 1 0 110 10 0 0 20 0 19 0 10859620 10060525568 19629 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2456183 19629 2251 9 0 2446860 0
[pid=25138/tid=25139] ppid=25135 vsize=9824732 CPUtime=0.25 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) S 25135 25138 11396 0 -1 4202560 2456 0 1 0 25 0 0 0 20 0 19 0 10859621 10060525568 19629 33554432000 1073741824 1073778376 140735579825088 140212703728504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859621 10060525568 19629 33554432000 1073741824 1073778376 140735579825088 140212547730216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25142] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25142/stat : 25142 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859621 10060525568 19629 33554432000 1073741824 1073778376 140735579825088 140212546677416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25143] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25143/stat : 25143 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859621 10060525568 19629 33554432000 1073741824 1073778376 140735579825088 140212545625128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25144] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25144/stat : 25144 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859621 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212544572328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25145] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25145/stat : 25145 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859621 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212543519016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25146] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25146/stat : 25146 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859621 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212542466216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25147] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25147/stat : 25147 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859621 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212541413928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25148] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25148/stat : 25148 (java) S 25135 25138 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10859621 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212540361128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25149] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25149/stat : 25149 (java) S 25135 25138 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10859623 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212527950568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25150] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25150/stat : 25150 (java) S 25135 25138 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10859623 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212526896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25151] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25151/stat : 25151 (java) S 25135 25138 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10859623 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212525844232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25152] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25152/stat : 25152 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859625 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212524792720 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25153] ppid=25135 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/25138/task/25153/stat : 25153 (java) R 25135 25138 11396 0 -1 4202560 8465 0 0 0 31 2 0 0 20 0 19 0 10859625 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212523726560 140212707845546 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25154] ppid=25135 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/25138/task/25154/stat : 25154 (java) R 25135 25138 11396 0 -1 4202560 6539 0 0 0 33 2 0 0 20 0 19 0 10859625 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212522673800 211458843767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25155] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25155/stat : 25155 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859625 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212521634424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25156] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25156/stat : 25156 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10859625 10060525568 19586 33554432000 1073741824 1073778376 140735579825088 140212520581832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 9824732
[startup+3.10099 s]
/proc/loadavg: 1.68 2.02 2.11 6/218 25169
/proc/meminfo: memFree=29020716/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9824732 CPUtime=5.2 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 26525 0 1 0 507 13 0 0 20 0 22 0 10859620 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2456183 37783 2269 9 0 2446860 0
[pid=25138/tid=25139] ppid=25135 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) S 25135 25138 11396 0 -1 4202560 2456 0 1 0 26 0 0 0 20 0 22 0 10859621 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212703728504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212547730216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25142] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25142/stat : 25142 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212546677416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25143] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25143/stat : 25143 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212545625128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25144] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25144/stat : 25144 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212544572328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25145] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25145/stat : 25145 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212543519016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25146] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25146/stat : 25146 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212542466216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25147] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25147/stat : 25147 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212541413928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25148] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25148/stat : 25148 (java) S 25135 25138 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212540361128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25149] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25149/stat : 25149 (java) S 25135 25138 11396 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212527950568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25150] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25150/stat : 25150 (java) S 25135 25138 11396 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212526896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25151] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25151/stat : 25151 (java) S 25135 25138 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212525844232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25152] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25152/stat : 25152 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859625 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212524792720 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25153] ppid=25135 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/25138/task/25153/stat : 25153 (java) S 25135 25138 11396 0 -1 4202560 10820 0 0 0 101 3 0 0 20 0 22 0 10859625 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212523739320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25154] ppid=25135 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/25138/task/25154/stat : 25154 (java) S 25135 25138 11396 0 -1 4202560 11856 0 0 0 103 3 0 0 20 0 22 0 10859625 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212522686520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25155] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25155/stat : 25155 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859625 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212521634424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25156] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25156/stat : 25156 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859625 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212520581832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25166] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25166/stat : 25166 (java) S 25135 25138 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10859749 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212518475048 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25167] ppid=25135 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/25138/task/25167/stat : 25167 (java) R 25135 25138 11396 0 -1 4202560 9 0 0 0 127 0 0 0 20 0 22 0 10859799 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212519527752 140212575916167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25168] ppid=25135 vsize=9824732 CPUtime=1.27 cores=1,3,5,7
/proc/25138/task/25168/stat : 25168 (java) R 25135 25138 11396 0 -1 4202560 36 0 0 0 127 0 0 0 20 0 22 0 10859799 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212516367560 140212576211557 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25169] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25169/stat : 25169 (java) S 25135 25138 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10859800 10060525568 37783 33554432000 1073741824 1073778376 140735579825088 140212517421992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 9824732
[startup+6.30095 s]
/proc/loadavg: 1.68 2.02 2.11 4/218 25169
/proc/meminfo: memFree=28921456/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9824732 CPUtime=11.76 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 27070 0 1 0 1158 18 0 0 20 0 22 0 10859620 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2456183 55104 2282 9 0 2446860 0
[pid=25138/tid=25139] ppid=25135 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) S 25135 25138 11396 0 -1 4202560 2456 0 1 0 26 0 0 0 20 0 22 0 10859621 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212703728504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (java) S 25135 25138 11396 0 -1 4202560 131 0 0 0 1 0 0 0 20 0 22 0 10859621 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212547730216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25142] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25142/stat : 25142 (java) S 25135 25138 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212546677416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25143] ppid=25135 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25138/task/25143/stat : 25143 (java) S 25135 25138 11396 0 -1 4202560 130 0 0 0 1 1 0 0 20 0 22 0 10859621 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212545625128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25144] ppid=25135 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/25138/task/25144/stat : 25144 (java) S 25135 25138 11396 0 -1 4202560 107 0 0 0 2 0 0 0 20 0 22 0 10859621 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212544572328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25145] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25145/stat : 25145 (java) S 25135 25138 11396 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212543519016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25146] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25146/stat : 25146 (java) S 25135 25138 11396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212542466216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25147] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25147/stat : 25147 (java) S 25135 25138 11396 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212541413928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25148] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25148/stat : 25148 (java) S 25135 25138 11396 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 10859621 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212540361128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25149] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25149/stat : 25149 (java) S 25135 25138 11396 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212527950568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25150] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25150/stat : 25150 (java) S 25135 25138 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212526896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25151] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25151/stat : 25151 (java) S 25135 25138 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 55104 33554432000 1073741824 1073778376 140735579825088 140212525844232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25152] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+882.308 s]
/proc/loadavg: 3.57 3.64 3.07 4/216 25415
/proc/meminfo: memFree=26241400/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9824732 CPUtime=1767.67 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 38261 0 1 0 176515 252 0 0 20 0 22 0 10859620 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2456183 543620 2294 9 0 2446860 0
[pid=25138/tid=25139] ppid=25135 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) S 25135 25138 11396 0 -1 4202560 2463 0 1 0 28 3 0 0 20 0 22 0 10859621 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212703728504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (java) S 25135 25138 11396 0 -1 4202560 1189 0 0 0 190 24 0 0 20 0 22 0 10859621 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212547730216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25142] ppid=25135 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/25138/task/25142/stat : 25142 (java) S 25135 25138 11396 0 -1 4202560 761 0 0 0 185 24 0 0 20 0 22 0 10859621 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212546677416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25143] ppid=25135 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/25138/task/25143/stat : 25143 (java) S 25135 25138 11396 0 -1 4202560 1150 0 0 0 206 25 0 0 20 0 22 0 10859621 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212545625128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25144] ppid=25135 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/25138/task/25144/stat : 25144 (java) S 25135 25138 11396 0 -1 4202560 890 0 0 0 203 30 0 0 20 0 22 0 10859621 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212544572328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25145] ppid=25135 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/25138/task/25145/stat : 25145 (java) S 25135 25138 11396 0 -1 4202560 1346 0 0 0 197 27 0 0 20 0 22 0 10859621 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212543519016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25146] ppid=25135 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/25138/task/25146/stat : 25146 (java) S 25135 25138 11396 0 -1 4202560 791 0 0 0 184 23 0 0 20 0 22 0 10859621 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212542466216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25147] ppid=25135 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/25138/task/25147/stat : 25147 (java) S 25135 25138 11396 0 -1 4202560 1084 0 0 0 179 26 0 0 20 0 22 0 10859621 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212541413928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25148] ppid=25135 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/25138/task/25148/stat : 25148 (java) S 25135 25138 11396 0 -1 4202560 967 0 0 0 181 23 0 0 20 0 22 0 10859621 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212540361128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25149] ppid=25135 vsize=9824732 CPUtime=4.64 cores=1,3,5,7
/proc/25138/task/25149/stat : 25149 (java) S 25135 25138 11396 0 -1 4202560 1747 0 0 0 453 11 0 0 20 0 22 0 10859623 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212527950568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25150] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25150/stat : 25150 (java) S 25135 25138 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212526896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25151] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25151/stat : 25151 (java) S 25135 25138 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212525844232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25152] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25152/stat : 25152 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859625 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212524792720 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25153] ppid=25135 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/25138/task/25153/stat : 25153 (java) S 25135 25138 11396 0 -1 4202560 10842 0 0 0 177 3 0 0 20 0 22 0 10859625 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212523739320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25154] ppid=25135 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/25138/task/25154/stat : 25154 (java) S 25135 25138 11396 0 -1 4202560 11860 0 0 0 114 3 0 0 20 0 22 0 10859625 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212522686520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25155] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25155/stat : 25155 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859625 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212521634424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25156] ppid=25135 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/25138/task/25156/stat : 25156 (java) S 25135 25138 11396 0 -1 4202560 51 0 0 0 14 23 0 0 20 0 22 0 10859625 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212520581832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25166] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25166/stat : 25166 (java) S 25135 25138 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10859749 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212518475048 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25167] ppid=25135 vsize=9824732 CPUtime=871.11 cores=1,3,5,7
/proc/25138/task/25167/stat : 25167 (java) R 25135 25138 11396 0 -1 4202560 81 0 0 0 87095 16 0 0 20 0 22 0 10859799 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212519526416 140212575916162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25168] ppid=25135 vsize=9824732 CPUtime=871.04 cores=1,3,5,7
/proc/25138/task/25168/stat : 25168 (java) R 25135 25138 11396 0 -1 4202560 1703 0 0 0 87082 22 0 0 20 0 22 0 10859799 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212516366656 140212575858146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25169] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25169/stat : 25169 (java) S 25135 25138 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10859800 10060525568 543620 33554432000 1073741824 1073778376 140735579825088 140212517421992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1767.67
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+898.501 s]
/proc/loadavg: 3.60 3.64 3.07 5/219 25419
/proc/meminfo: memFree=26308584/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 38262 0 1 0 179764 252 0 0 20 0 22 0 10859620 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2456183 524174 2294 9 0 2446860 0
[pid=25138/tid=25139] ppid=25135 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) S 25135 25138 11396 0 -1 4202560 2463 0 1 0 28 3 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212703728504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (java) S 25135 25138 11396 0 -1 4202560 1189 0 0 0 192 24 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212547730216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25142] ppid=25135 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/25138/task/25142/stat : 25142 (java) S 25135 25138 11396 0 -1 4202560 761 0 0 0 187 24 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212546677416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25143] ppid=25135 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/25138/task/25143/stat : 25143 (java) S 25135 25138 11396 0 -1 4202560 1150 0 0 0 208 25 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212545625128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25144] ppid=25135 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/25138/task/25144/stat : 25144 (java) S 25135 25138 11396 0 -1 4202560 890 0 0 0 205 30 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212544572328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25145] ppid=25135 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/25138/task/25145/stat : 25145 (java) S 25135 25138 11396 0 -1 4202560 1346 0 0 0 203 27 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212543519016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25146] ppid=25135 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/25138/task/25146/stat : 25146 (java) S 25135 25138 11396 0 -1 4202560 791 0 0 0 190 23 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212542466216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25147] ppid=25135 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/25138/task/25147/stat : 25147 (java) S 25135 25138 11396 0 -1 4202560 1084 0 0 0 181 26 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212541413928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25148] ppid=25135 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/25138/task/25148/stat : 25148 (java) S 25135 25138 11396 0 -1 4202560 967 0 0 0 183 23 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212540361128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25149] ppid=25135 vsize=9824732 CPUtime=4.64 cores=1,3,5,7
/proc/25138/task/25149/stat : 25149 (java) S 25135 25138 11396 0 -1 4202560 1747 0 0 0 453 11 0 0 20 0 22 0 10859623 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212527950568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25150] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25150/stat : 25150 (java) S 25135 25138 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212526896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25151] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25151/stat : 25151 (java) S 25135 25138 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212525844232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25152] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25152/stat : 25152 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212524792720 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25153] ppid=25135 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/25138/task/25153/stat : 25153 (java) S 25135 25138 11396 0 -1 4202560 10842 0 0 0 177 3 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212523739320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25154] ppid=25135 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/25138/task/25154/stat : 25154 (java) S 25135 25138 11396 0 -1 4202560 11860 0 0 0 114 3 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212522686520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25155] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25155/stat : 25155 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212521634424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25156] ppid=25135 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/25138/task/25156/stat : 25156 (java) S 25135 25138 11396 0 -1 4202560 51 0 0 0 15 23 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212520581832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25166] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25166/stat : 25166 (java) S 25135 25138 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10859749 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212518475048 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25167] ppid=25135 vsize=9824732 CPUtime=887.24 cores=1,3,5,7
/proc/25138/task/25167/stat : 25167 (java) R 25135 25138 11396 0 -1 4202560 82 0 0 0 88708 16 0 0 20 0 22 0 10859799 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212519526528 140212575916162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25168] ppid=25135 vsize=9824732 CPUtime=887.16 cores=1,3,5,7
/proc/25138/task/25168/stat : 25168 (java) R 25135 25138 11396 0 -1 4202560 1703 0 0 0 88694 22 0 0 20 0 22 0 10859799 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212516367424 140212575858146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25169] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25169/stat : 25169 (java) S 25135 25138 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10859800 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212517421992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25138 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+898.501 s]
/proc/loadavg: 3.60 3.64 3.07 5/219 25419
/proc/meminfo: memFree=26308584/32872528 swapFree=496356/529060
[pid=25138] ppid=25135 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/25138/stat : 25138 (java) S 25135 25138 11396 0 -1 4202496 38262 0 1 0 179764 252 0 0 20 0 22 0 10859620 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140735579816224 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25138/statm: 2456183 524174 2294 9 0 2446860 0
[pid=25138/tid=25139] ppid=25135 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/25138/task/25139/stat : 25139 (java) S 25135 25138 11396 0 -1 4202560 2463 0 1 0 28 3 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212703728504 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25141] ppid=25135 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/25138/task/25141/stat : 25141 (java) S 25135 25138 11396 0 -1 4202560 1189 0 0 0 192 24 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212547730216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25142] ppid=25135 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/25138/task/25142/stat : 25142 (java) S 25135 25138 11396 0 -1 4202560 761 0 0 0 187 24 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212546677416 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25143] ppid=25135 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/25138/task/25143/stat : 25143 (java) S 25135 25138 11396 0 -1 4202560 1150 0 0 0 208 25 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212545625128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25144] ppid=25135 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/25138/task/25144/stat : 25144 (java) S 25135 25138 11396 0 -1 4202560 890 0 0 0 205 30 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212544572328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25145] ppid=25135 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/25138/task/25145/stat : 25145 (java) S 25135 25138 11396 0 -1 4202560 1346 0 0 0 203 27 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212543519016 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25146] ppid=25135 vsize=9824732 CPUtime=2.13 cores=1,3,5,7
/proc/25138/task/25146/stat : 25146 (java) S 25135 25138 11396 0 -1 4202560 791 0 0 0 190 23 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212542466216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25147] ppid=25135 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/25138/task/25147/stat : 25147 (java) S 25135 25138 11396 0 -1 4202560 1084 0 0 0 181 26 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212541413928 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25148] ppid=25135 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/25138/task/25148/stat : 25148 (java) S 25135 25138 11396 0 -1 4202560 967 0 0 0 183 23 0 0 20 0 22 0 10859621 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212540361128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25149] ppid=25135 vsize=9824732 CPUtime=4.64 cores=1,3,5,7
/proc/25138/task/25149/stat : 25149 (java) S 25135 25138 11396 0 -1 4202560 1747 0 0 0 453 11 0 0 20 0 22 0 10859623 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212527950568 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25150] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25150/stat : 25150 (java) S 25135 25138 11396 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212526896632 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25151] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25151/stat : 25151 (java) S 25135 25138 11396 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10859623 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212525844232 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25152] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25152/stat : 25152 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212524792720 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25153] ppid=25135 vsize=9824732 CPUtime=1.8 cores=1,3,5,7
/proc/25138/task/25153/stat : 25153 (java) S 25135 25138 11396 0 -1 4202560 10842 0 0 0 177 3 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212523739320 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25154] ppid=25135 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/25138/task/25154/stat : 25154 (java) S 25135 25138 11396 0 -1 4202560 11860 0 0 0 114 3 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212522686520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25138/tid=25155] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25155/stat : 25155 (java) S 25135 25138 11396 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212521634424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25156] ppid=25135 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/25138/task/25156/stat : 25156 (java) S 25135 25138 11396 0 -1 4202560 51 0 0 0 15 23 0 0 20 0 22 0 10859625 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212520581832 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25166] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25166/stat : 25166 (java) S 25135 25138 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10859749 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212518475048 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25138/tid=25167] ppid=25135 vsize=9824732 CPUtime=887.24 cores=1,3,5,7
/proc/25138/task/25167/stat : 25167 (java) R 25135 25138 11396 0 -1 4202560 82 0 0 0 88708 16 0 0 20 0 22 0 10859799 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212519526528 140212575916162 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25138/tid=25168] ppid=25135 vsize=9824732 CPUtime=887.16 cores=1,3,5,7
/proc/25138/task/25168/stat : 25168 (java) R 25135 25138 11396 0 -1 4202560 1703 0 0 0 88694 22 0 0 20 0 22 0 10859799 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212516367424 140212575858146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25138/tid=25169] ppid=25135 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/25138/task/25169/stat : 25169 (java) S 25135 25138 11396 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10859800 10060525568 524174 33554432000 1073741824 1073778376 140735579825088 140212517421992 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732
Child status: 143
Real time (s): 898.564
CPU time (s): 1800.85
CPU user time (s): 1797.79
CPU system time (s): 3.06253
CPU usage (%): 200.414
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.79
system time used= 3.06253
maximum resident set size= 2211432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38305
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24426
involuntary context switches= 28367
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.85211 second user time and 7.52486 second system time
The end