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-4106576-1466271017/watcher-4106576-1466271017 -o /tmp/evaluation-result-4106576-1466271017/solver-4106576-1466271017 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466264639-24566 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106576-1466271017.opb
pid=28131
running on 4 cores: 0,2,4,6
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: 2.09 2.03 2.00 3/195 28134
/proc/meminfo: memFree=31166716/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/28134/stat : 28134 (java) D 28131 28134 24550 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 29148446 9515008 175 33554432000 1073741824 1073778376 140735730023440 140735730006168 242167399312 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2323 175 133 9 0 71 0
[startup+0.100062 s]
/proc/loadavg: 2.09 2.03 2.00 3/195 28134
/proc/meminfo: memFree=31166716/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 4409 0 1 0 8 1 0 0 20 0 18 0 29148446 9787879424 5528 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2389619 5528 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200207 s]
/proc/loadavg: 2.09 2.03 2.00 3/195 28134
/proc/meminfo: memFree=31166716/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 4690 0 1 0 23 1 0 0 20 0 18 0 29148446 9787879424 6769 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2389619 6769 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300219 s]
/proc/loadavg: 2.09 2.03 2.00 3/195 28134
/proc/meminfo: memFree=31166716/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 5249 0 1 0 42 1 0 0 20 0 18 0 29148446 9787879424 8176 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2389619 8176 2239 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476
[startup+0.700185 s]
/proc/loadavg: 2.09 2.03 2.00 3/195 28134
/proc/meminfo: memFree=31166716/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9558476 CPUtime=1.63 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 17797 0 1 0 160 3 0 0 20 0 18 0 29148446 9787879424 25599 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2389619 25599 2256 9 0 2380296 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476
[startup+1.50091 s]
/proc/loadavg: 2.09 2.03 2.00 5/214 28153
/proc/meminfo: memFree=31030144/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9625040 CPUtime=3.46 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 24443 0 1 0 340 6 0 0 20 0 19 0 29148446 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2406260 37948 2269 9 0 2396937 0
[pid=28134/tid=28136] ppid=28131 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/28134/task/28136/stat : 28136 (java) R 28131 28134 24550 0 -1 4202560 2464 0 1 0 144 2 0 0 20 0 19 0 29148446 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140400011678000 140399881532898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28137] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28137/stat : 28137 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140400000747816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28138] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28138/stat : 28138 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399999695016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28139] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28139/stat : 28139 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399852861992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28140] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28140/stat : 28140 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399851809192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28141] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28141/stat : 28141 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399850756904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28142] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28142/stat : 28142 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399849704104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28143] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28143/stat : 28143 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399848651816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28144] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28144/stat : 28144 (java) S 28131 28134 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399847599016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28145] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28145/stat : 28145 (java) S 28131 28134 24550 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399835400424 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28146] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28146/stat : 28146 (java) S 28131 28134 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399834346488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28147] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28147/stat : 28147 (java) S 28131 28134 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399833294088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28148] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28148/stat : 28148 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399832242576 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28149] ppid=28131 vsize=9625040 CPUtime=0.99 cores=0,2,4,6
/proc/28134/task/28149/stat : 28149 (java) S 28131 28134 24550 0 -1 4202560 11357 0 0 0 96 3 0 0 20 0 19 0 29148452 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399831190200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28150] ppid=28131 vsize=9625040 CPUtime=0.98 cores=0,2,4,6
/proc/28134/task/28150/stat : 28150 (java) S 28131 28134 24550 0 -1 4202560 9345 0 0 0 96 2 0 0 20 0 19 0 29148452 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399830137400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28151] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28151/stat : 28151 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399829085304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28152] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28152/stat : 28152 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399828032712 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28153] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28153/stat : 28153 (java) S 28131 28134 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29148530 9856040960 37948 33554432000 1073741824 1073778376 140735730023440 140399826977704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 9625040
[startup+3.10088 s]
/proc/loadavg: 2.09 2.03 2.00 3/214 28153
/proc/meminfo: memFree=31023628/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9625040 CPUtime=5.1 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 24445 0 1 0 504 6 0 0 20 0 19 0 29148446 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2406260 37949 2269 9 0 2396937 0
[pid=28134/tid=28136] ppid=28131 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/28134/task/28136/stat : 28136 (java) R 28131 28134 24550 0 -1 4202560 2465 0 1 0 304 2 0 0 20 0 19 0 29148446 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140400011684192 140399881573009 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28137] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28137/stat : 28137 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140400000747816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28138] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28138/stat : 28138 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399999695016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28139] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28139/stat : 28139 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399852861992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28140] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28140/stat : 28140 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399851809192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28141] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28141/stat : 28141 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399850756904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28142] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28142/stat : 28142 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399849704104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28143] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28143/stat : 28143 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399848651816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28144] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28144/stat : 28144 (java) S 28131 28134 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399847599016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28145] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28145/stat : 28145 (java) S 28131 28134 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399835400424 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28146] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28146/stat : 28146 (java) S 28131 28134 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399834346488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28147] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28147/stat : 28147 (java) S 28131 28134 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399833294088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28148] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28148/stat : 28148 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399832242576 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28149] ppid=28131 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/28134/task/28149/stat : 28149 (java) S 28131 28134 24550 0 -1 4202560 11357 0 0 0 98 3 0 0 20 0 19 0 29148452 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399831190200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28150] ppid=28131 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/28134/task/28150/stat : 28150 (java) S 28131 28134 24550 0 -1 4202560 9345 0 0 0 98 2 0 0 20 0 19 0 29148452 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399830137400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28151] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28151/stat : 28151 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399829085304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28152] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28152/stat : 28152 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399828032712 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28153] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28153/stat : 28153 (java) S 28131 28134 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29148530 9856040960 37949 33554432000 1073741824 1073778376 140735730023440 140399826977704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 9625040
[startup+6.30089 s]
/proc/loadavg: 2.08 2.03 2.00 3/214 28153
/proc/meminfo: memFree=31023264/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9625040 CPUtime=8.32 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 24446 0 1 0 826 6 0 0 20 0 19 0 29148446 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2406260 37863 2269 9 0 2396937 0
[pid=28134/tid=28136] ppid=28131 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/28134/task/28136/stat : 28136 (java) R 28131 28134 24550 0 -1 4202560 2466 0 1 0 624 2 0 0 20 0 19 0 29148446 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140400011686376 140399881650027 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28137] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28137/stat : 28137 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140400000747816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28138] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28138/stat : 28138 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399999695016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28139] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28139/stat : 28139 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399852861992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28140] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28140/stat : 28140 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399851809192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28141] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28141/stat : 28141 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399850756904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28142] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28142/stat : 28142 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399849704104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28143] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28143/stat : 28143 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399848651816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28144] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28144/stat : 28144 (java) S 28131 28134 24550 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399847599016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28145] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28145/stat : 28145 (java) S 28131 28134 24550 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399835400424 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28146] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28146/stat : 28146 (java) S 28131 28134 24550 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399834346488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28147] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28147/stat : 28147 (java) S 28131 28134 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399833294088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28148] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28148/stat : 28148 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399832242576 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28149] ppid=28131 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/28134/task/28149/stat : 28149 (java) S 28131 28134 24550 0 -1 4202560 11357 0 0 0 98 3 0 0 20 0 19 0 29148452 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399831190200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28150] ppid=28131 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/28134/task/28150/stat : 28150 (java) S 28131 28134 24550 0 -1 4202560 9345 0 0 0 99 2 0 0 20 0 19 0 29148452 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399830137400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28151] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28151/stat : 28151 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399829085304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28152] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28152/stat : 28152 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399828032712 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28153] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28153/stat : 28153 (java) S 28131 28134 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29148530 9856040960 37863 33554432000 1073741824 1073778376 140735730023440 140399826977704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 8.32
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=28134/tid=28146] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28146/stat : 28146 (java) S 28131 28134 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399834346488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28147] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28147/stat : 28147 (java) S 28131 28134 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399833294088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28148] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28148/stat : 28148 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399832242576 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28149] ppid=28131 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/28134/task/28149/stat : 28149 (java) S 28131 28134 24550 0 -1 4202560 11368 0 0 0 101 3 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399831190200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28150] ppid=28131 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/28134/task/28150/stat : 28150 (java) S 28131 28134 24550 0 -1 4202560 9353 0 0 0 116 2 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399830137400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28151] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28151/stat : 28151 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399829085304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28152] ppid=28131 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/28134/task/28152/stat : 28152 (java) S 28131 28134 24550 0 -1 4202560 101 0 0 0 44 38 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399828032712 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28153] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28153/stat : 28153 (java) S 28131 28134 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29148530 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399826977704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1725.03
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 28258
/proc/meminfo: memFree=30926584/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9625040 CPUtime=1785.05 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 24702 0 1 0 178463 42 0 0 20 0 19 0 29148446 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2406260 61253 2290 9 0 2396937 0
[pid=28134/tid=28136] ppid=28131 vsize=9625040 CPUtime=1782.28 cores=0,2,4,6
/proc/28134/task/28136/stat : 28136 (java) R 28131 28134 24550 0 -1 4202560 2498 0 1 0 178197 31 0 0 20 0 19 0 29148446 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140400011677392 140399881610384 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28137] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28137/stat : 28137 (java) S 28131 28134 24550 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140400000747816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28138] ppid=28131 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28134/task/28138/stat : 28138 (java) S 28131 28134 24550 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399999695016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28139] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28139/stat : 28139 (java) S 28131 28134 24550 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399852861992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28140] ppid=28131 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/28134/task/28140/stat : 28140 (java) S 28131 28134 24550 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399851809192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28141] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28141/stat : 28141 (java) S 28131 28134 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399850756904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28142] ppid=28131 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28134/task/28142/stat : 28142 (java) S 28131 28134 24550 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399849704104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28143] ppid=28131 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28134/task/28143/stat : 28143 (java) S 28131 28134 24550 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399848651816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28144] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28144/stat : 28144 (java) S 28131 28134 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399847599016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28145] ppid=28131 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/28134/task/28145/stat : 28145 (java) S 28131 28134 24550 0 -1 4202560 14 0 0 0 1 2 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399835400424 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28146] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28146/stat : 28146 (java) S 28131 28134 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399834346488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28147] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28147/stat : 28147 (java) S 28131 28134 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399833294088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28148] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28148/stat : 28148 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399832242576 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28149] ppid=28131 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/28134/task/28149/stat : 28149 (java) S 28131 28134 24550 0 -1 4202560 11368 0 0 0 101 3 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399831190200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28150] ppid=28131 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/28134/task/28150/stat : 28150 (java) S 28131 28134 24550 0 -1 4202560 9353 0 0 0 116 2 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399830137400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28151] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28151/stat : 28151 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399829085304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28152] ppid=28131 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/28134/task/28152/stat : 28152 (java) S 28131 28134 24550 0 -1 4202560 103 0 0 0 46 39 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399828032712 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28153] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28153/stat : 28153 (java) S 28131 28134 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29148530 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399826977704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1785.05
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/214 28262
/proc/meminfo: memFree=30926744/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 24704 0 1 0 179963 42 0 0 20 0 19 0 29148446 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2406260 61253 2290 9 0 2396937 0
[pid=28134/tid=28136] ppid=28131 vsize=9625040 CPUtime=1797.28 cores=0,2,4,6
/proc/28134/task/28136/stat : 28136 (java) R 28131 28134 24550 0 -1 4202560 2498 0 1 0 179697 31 0 0 20 0 19 0 29148446 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140400011677392 140399881610505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28137] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28137/stat : 28137 (java) S 28131 28134 24550 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140400000747816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28138] ppid=28131 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28134/task/28138/stat : 28138 (java) S 28131 28134 24550 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399999695016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28139] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28139/stat : 28139 (java) S 28131 28134 24550 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399852861992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28140] ppid=28131 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/28134/task/28140/stat : 28140 (java) S 28131 28134 24550 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399851809192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28141] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28141/stat : 28141 (java) S 28131 28134 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399850756904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28142] ppid=28131 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28134/task/28142/stat : 28142 (java) S 28131 28134 24550 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399849704104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28143] ppid=28131 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28134/task/28143/stat : 28143 (java) S 28131 28134 24550 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399848651816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28144] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28144/stat : 28144 (java) S 28131 28134 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399847599016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28145] ppid=28131 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/28134/task/28145/stat : 28145 (java) S 28131 28134 24550 0 -1 4202560 14 0 0 0 1 2 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399835400424 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28146] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28146/stat : 28146 (java) S 28131 28134 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399834346488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28147] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28147/stat : 28147 (java) S 28131 28134 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399833294088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28148] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28148/stat : 28148 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399832242576 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28149] ppid=28131 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/28134/task/28149/stat : 28149 (java) S 28131 28134 24550 0 -1 4202560 11368 0 0 0 101 3 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399831190200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28150] ppid=28131 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/28134/task/28150/stat : 28150 (java) S 28131 28134 24550 0 -1 4202560 9353 0 0 0 116 2 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399830137400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28151] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28151/stat : 28151 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399829085304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28152] ppid=28131 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/28134/task/28152/stat : 28152 (java) S 28131 28134 24550 0 -1 4202560 105 0 0 0 47 40 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399828032712 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28153] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28153/stat : 28153 (java) S 28131 28134 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29148530 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399826977704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
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 28134 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1797.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/214 28262
/proc/meminfo: memFree=30926744/32872528 swapFree=338416/354768
[pid=28134] ppid=28131 vsize=9625040 CPUtime=1800.05 cores=0,2,4,6
/proc/28134/stat : 28134 (java) S 28131 28134 24550 0 -1 4202496 24704 0 1 0 179963 42 0 0 20 0 19 0 29148446 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140735730014576 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28134/statm: 2406260 61253 2290 9 0 2396937 0
[pid=28134/tid=28136] ppid=28131 vsize=9625040 CPUtime=1797.28 cores=0,2,4,6
/proc/28134/task/28136/stat : 28136 (java) R 28131 28134 24550 0 -1 4202560 2498 0 1 0 179697 31 0 0 20 0 19 0 29148446 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140400011677392 140399881610505 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=28134/tid=28137] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28137/stat : 28137 (java) S 28131 28134 24550 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140400000747816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28138] ppid=28131 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28134/task/28138/stat : 28138 (java) S 28131 28134 24550 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399999695016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28139] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28139/stat : 28139 (java) S 28131 28134 24550 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399852861992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28140] ppid=28131 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/28134/task/28140/stat : 28140 (java) S 28131 28134 24550 0 -1 4202560 27 0 0 0 2 1 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399851809192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=28134/tid=28141] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28141/stat : 28141 (java) S 28131 28134 24550 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399850756904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28142] ppid=28131 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28134/task/28142/stat : 28142 (java) S 28131 28134 24550 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399849704104 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28143] ppid=28131 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/28134/task/28143/stat : 28143 (java) S 28131 28134 24550 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399848651816 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28144] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28144/stat : 28144 (java) S 28131 28134 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29148448 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399847599016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28145] ppid=28131 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/28134/task/28145/stat : 28145 (java) S 28131 28134 24550 0 -1 4202560 14 0 0 0 1 2 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399835400424 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28146] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28146/stat : 28146 (java) S 28131 28134 24550 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399834346488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28147] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28147/stat : 28147 (java) S 28131 28134 24550 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29148449 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399833294088 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28148] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28148/stat : 28148 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399832242576 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28149] ppid=28131 vsize=9625040 CPUtime=1.04 cores=0,2,4,6
/proc/28134/task/28149/stat : 28149 (java) S 28131 28134 24550 0 -1 4202560 11368 0 0 0 101 3 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399831190200 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=28134/tid=28150] ppid=28131 vsize=9625040 CPUtime=1.18 cores=0,2,4,6
/proc/28134/task/28150/stat : 28150 (java) S 28131 28134 24550 0 -1 4202560 9353 0 0 0 116 2 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399830137400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28151] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28151/stat : 28151 (java) S 28131 28134 24550 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399829085304 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28152] ppid=28131 vsize=9625040 CPUtime=0.87 cores=0,2,4,6
/proc/28134/task/28152/stat : 28152 (java) S 28131 28134 24550 0 -1 4202560 105 0 0 0 47 40 0 0 20 0 19 0 29148452 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399828032712 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=28134/tid=28153] ppid=28131 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/28134/task/28153/stat : 28153 (java) S 28131 28134 24550 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29148530 9856040960 61253 33554432000 1073741824 1073778376 140735730023440 140399826977704 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1797.34
CPU time (s): 1800.77
CPU user time (s): 1799.84
CPU system time (s): 0.931858
CPU usage (%): 100.191
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.931858
maximum resident set size= 245140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24743
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38055
involuntary context switches= 2038
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.03178 second user time and 9.11461 second system time
The end