runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456925-1307204596/watcher-3456925-1307204596 -o /tmp/evaluation-result-3456925-1307204596/solver-3456925-1307204596 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456925-1307204596.opb
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.02 1.01 0.95 1/394 16053
/proc/meminfo: memFree=29999508/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 2447 0 1 0 0 0 0 0 25 0 2 0 832059321 10681323520 2150 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2607745 2164 906 9 0 2598901 0
[pid=16053/tid=16054] ppid=16051 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 4527 0 1 0 0 0 0 0 25 0 2 0 832059322 10694979584 5343 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0343219 s]
/proc/loadavg: 1.02 1.01 0.95 1/394 16053
/proc/meminfo: memFree=29999508/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10465424 CPUtime=0.03 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 11011 0 1 0 2 1 0 0 25 0 11 0 832059321 10716594176 10711 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2616356 10712 1621 9 0 2607104 0
[pid=16053/tid=16054] ppid=16051 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 9890 0 1 0 1 0 0 0 25 0 11 0 832059322 10716594176 10713 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 47659793420293 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10465424
[startup+0.100312 s]
/proc/loadavg: 1.02 1.01 0.95 1/394 16053
/proc/meminfo: memFree=29999508/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10539916 CPUtime=0.1 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 13088 0 1 0 9 1 0 0 25 0 18 0 832059321 10792873984 12786 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2634979 12787 2093 9 0 2625713 0
[pid=16053/tid=16054] ppid=16051 vsize=10539916 CPUtime=0.09 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 11204 0 1 0 8 1 0 0 25 0 18 0 832059322 10792873984 12787 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 47659796485626 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539916
[startup+0.300277 s]
/proc/loadavg: 1.02 1.01 0.95 1/394 16053
/proc/meminfo: memFree=29999508/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10544804 CPUtime=0.53 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 20851 0 1 0 50 3 0 0 25 0 19 0 832059321 10797879296 18910 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2636201 18910 2214 9 0 2626935 0
[pid=16053/tid=16054] ppid=16051 vsize=10544804 CPUtime=0.29 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 14180 0 1 0 27 2 0 0 25 0 19 0 832059322 10797879296 18911 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 46912505586405 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10544804
[startup+0.700207 s]
/proc/loadavg: 1.02 1.01 0.95 1/394 16053
/proc/meminfo: memFree=29999508/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10555572 CPUtime=1.73 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 52402 0 1 0 166 7 0 0 25 0 19 0 832059321 10808905728 49786 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2638893 49793 2221 9 0 2629627 0
[pid=16053/tid=16054] ppid=16051 vsize=10555572 CPUtime=0.68 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 41600 0 1 0 63 5 0 0 25 0 19 0 832059322 10808905728 49795 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 46912505925751 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10555572
[startup+1.50106 s]
/proc/loadavg: 1.02 1.01 0.95 2/413 16072
/proc/meminfo: memFree=29666436/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10555572 CPUtime=2.67 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 145769 0 1 0 249 18 0 0 25 0 19 0 832059321 10808905728 143152 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2638893 143157 2225 9 0 2629627 0
[pid=16053/tid=16054] ppid=16051 vsize=10555572 CPUtime=1.48 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 134946 0 1 0 132 16 0 0 25 0 19 0 832059322 10808905728 143159 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 46912505366066 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16056/stat : 16056 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 143162 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16057/stat : 16057 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 143165 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16058] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16058/stat : 16058 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 143168 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16059] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16059/stat : 16059 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 143170 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16060] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16060/stat : 16060 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 143171 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16061] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16061/stat : 16061 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 143172 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16062] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16062/stat : 16062 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 143174 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16063] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16063/stat : 16063 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 143175 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16064] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16064/stat : 16064 (java) S 16051 16053 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832059324 10808905728 143179 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 0 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16065] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16065/stat : 16065 (java) S 16051 16053 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832059325 10808905728 143180 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16066] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16066/stat : 16066 (java) S 16051 16053 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832059325 10808905728 143181 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16067] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16067/stat : 16067 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 143185 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290703281 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16068] ppid=16051 vsize=10555572 CPUtime=0.58 cores=1,3,5,7
/proc/16053/task/16068/stat : 16068 (java) S 16051 16053 15661 0 -1 4202560 4805 0 0 0 58 0 0 0 15 0 19 0 832059327 10808905728 143186 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16069] ppid=16051 vsize=10555572 CPUtime=0.58 cores=1,3,5,7
/proc/16053/task/16069/stat : 16069 (java) S 16051 16053 15661 0 -1 4202560 4866 0 0 0 58 0 0 0 18 0 19 0 832059327 10808905728 143187 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16070] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16070/stat : 16070 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 143188 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16071] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16071/stat : 16071 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832059327 10808905728 143190 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16072] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16072/stat : 16072 (java) S 16051 16053 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832059338 10808905728 143191 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10555572
[startup+3.10078 s]
/proc/loadavg: 1.02 1.01 0.95 2/413 16072
/proc/meminfo: memFree=29215076/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10555572 CPUtime=4.3 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 289160 0 1 0 393 37 0 0 25 0 19 0 832059321 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2638893 286542 2225 9 0 2629627 0
[pid=16053/tid=16054] ppid=16051 vsize=10555572 CPUtime=3.09 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 278325 0 1 0 274 35 0 0 25 0 19 0 832059322 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 46912505968259 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16056/stat : 16056 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16057/stat : 16057 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16058] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16058/stat : 16058 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16059] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16059/stat : 16059 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16060] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16060/stat : 16060 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16061] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16061/stat : 16061 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16062] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16062/stat : 16062 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16063] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16063/stat : 16063 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16064] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16064/stat : 16064 (java) S 16051 16053 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832059324 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 0 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16065] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16065/stat : 16065 (java) S 16051 16053 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832059325 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16066] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16066/stat : 16066 (java) S 16051 16053 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832059325 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16067] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16067/stat : 16067 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290703281 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16068] ppid=16051 vsize=10555572 CPUtime=0.6 cores=1,3,5,7
/proc/16053/task/16068/stat : 16068 (java) S 16051 16053 15661 0 -1 4202560 4810 0 0 0 60 0 0 0 15 0 19 0 832059327 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16069] ppid=16051 vsize=10555572 CPUtime=0.58 cores=1,3,5,7
/proc/16053/task/16069/stat : 16069 (java) S 16051 16053 15661 0 -1 4202560 4866 0 0 0 58 0 0 0 18 0 19 0 832059327 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16070] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16070/stat : 16070 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16071] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16071/stat : 16071 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832059327 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16072] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16072/stat : 16072 (java) S 16051 16053 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832059338 10808905728 286542 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10555572
[startup+6.3012 s]
/proc/loadavg: 1.02 1.01 0.95 2/413 16072
/proc/meminfo: memFree=28528404/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10555572 CPUtime=7.5 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 382616 0 1 0 701 49 0 0 25 0 19 0 832059321 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2638893 379837 2226 9 0 2629627 0
[pid=16053/tid=16054] ppid=16051 vsize=10555572 CPUtime=6.29 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 371780 0 1 0 582 47 0 0 25 0 19 0 832059322 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 46912505968279 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16056/stat : 16056 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16057] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16057/stat : 16057 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16058] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16058/stat : 16058 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16059] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16059/stat : 16059 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16060] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16060/stat : 16060 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16061] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16061/stat : 16061 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16062] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16062/stat : 16062 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16063] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16063/stat : 16063 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059323 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16064] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16064/stat : 16064 (java) S 16051 16053 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832059324 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 0 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16065] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16065/stat : 16065 (java) S 16051 16053 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832059325 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16066] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16066/stat : 16066 (java) S 16051 16053 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832059325 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16067] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16067/stat : 16067 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290703281 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16068] ppid=16051 vsize=10555572 CPUtime=0.61 cores=1,3,5,7
/proc/16053/task/16068/stat : 16068 (java) S 16051 16053 15661 0 -1 4202560 4810 0 0 0 61 0 0 0 15 0 19 0 832059327 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16069] ppid=16051 vsize=10555572 CPUtime=0.58 cores=1,3,5,7
/proc/16053/task/16069/stat : 16069 (java) S 16051 16053 15661 0 -1 4202560 4866 0 0 0 58 0 0 0 18 0 19 0 832059327 10808905728 379837 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/16053/task/16066/stat : 16066 (java) S 16051 16053 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 832059325 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16067] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16067/stat : 16067 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290703281 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16068] ppid=16051 vsize=10555572 CPUtime=0.62 cores=1,3,5,7
/proc/16053/task/16068/stat : 16068 (java) S 16051 16053 15661 0 -1 4202560 4814 0 0 0 62 0 0 0 16 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16069] ppid=16051 vsize=10555572 CPUtime=0.58 cores=1,3,5,7
/proc/16053/task/16069/stat : 16069 (java) S 16051 16053 15661 0 -1 4202560 4869 0 0 0 58 0 0 0 18 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16070] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16070/stat : 16070 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16071] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16071/stat : 16071 (java) S 16051 16053 15661 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16072] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16072/stat : 16072 (java) S 16051 16053 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832059338 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1664.34
Current children cumulated vsize (KiB) 10555572
[startup+1722.3 s]
/proc/loadavg: 1.03 1.01 0.97 2/413 16118
/proc/meminfo: memFree=26188108/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10555572 CPUtime=1724.34 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 962477 0 1 0 172310 124 0 0 25 0 19 0 832059321 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2638893 952348 2239 9 0 2629627 0
[pid=16053/tid=16054] ppid=16051 vsize=10555572 CPUtime=1721.99 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 772535 0 1 0 172107 92 0 0 25 0 19 0 832059322 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 46912505835522 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16051 vsize=10555572 CPUtime=0.17 cores=1,3,5,7
/proc/16053/task/16056/stat : 16056 (java) S 16051 16053 15661 0 -1 4202560 25940 0 0 0 13 4 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16057] ppid=16051 vsize=10555572 CPUtime=0.16 cores=1,3,5,7
/proc/16053/task/16057/stat : 16057 (java) S 16051 16053 15661 0 -1 4202560 33499 0 0 0 12 4 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 7 0 0 0
[pid=16053/tid=16058] ppid=16051 vsize=10555572 CPUtime=0.12 cores=1,3,5,7
/proc/16053/task/16058/stat : 16058 (java) S 16051 16053 15661 0 -1 4202560 24867 0 0 0 9 3 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16059] ppid=16051 vsize=10555572 CPUtime=0.15 cores=1,3,5,7
/proc/16053/task/16059/stat : 16059 (java) S 16051 16053 15661 0 -1 4202560 23421 0 0 0 12 3 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16060] ppid=16051 vsize=10555572 CPUtime=0.1 cores=1,3,5,7
/proc/16053/task/16060/stat : 16060 (java) S 16051 16053 15661 0 -1 4202560 18073 0 0 0 8 2 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16061] ppid=16051 vsize=10555572 CPUtime=0.16 cores=1,3,5,7
/proc/16053/task/16061/stat : 16061 (java) S 16051 16053 15661 0 -1 4202560 29886 0 0 0 11 5 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16062] ppid=16051 vsize=10555572 CPUtime=0.05 cores=1,3,5,7
/proc/16053/task/16062/stat : 16062 (java) S 16051 16053 15661 0 -1 4202560 8345 0 0 0 4 1 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 7 0 0 0
[pid=16053/tid=16063] ppid=16051 vsize=10555572 CPUtime=0.09 cores=1,3,5,7
/proc/16053/task/16063/stat : 16063 (java) S 16051 16053 15661 0 -1 4202560 14932 0 0 0 7 2 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16064] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16064/stat : 16064 (java) S 16051 16053 15661 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 832059324 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 0 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16065] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16065/stat : 16065 (java) S 16051 16053 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 832059325 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16066] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16066/stat : 16066 (java) S 16051 16053 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 832059325 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16067] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16067/stat : 16067 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290703281 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16068] ppid=16051 vsize=10555572 CPUtime=0.62 cores=1,3,5,7
/proc/16053/task/16068/stat : 16068 (java) S 16051 16053 15661 0 -1 4202560 4814 0 0 0 62 0 0 0 16 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16069] ppid=16051 vsize=10555572 CPUtime=0.58 cores=1,3,5,7
/proc/16053/task/16069/stat : 16069 (java) S 16051 16053 15661 0 -1 4202560 4869 0 0 0 58 0 0 0 18 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16070] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16070/stat : 16070 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16071] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16071/stat : 16071 (java) S 16051 16053 15661 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16072] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16072/stat : 16072 (java) S 16051 16053 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832059338 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1724.34
Current children cumulated vsize (KiB) 10555572
[startup+1782.3 s]
/proc/loadavg: 1.01 1.01 0.97 2/413 16120
/proc/meminfo: memFree=26187340/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10555572 CPUtime=1784.34 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 962481 0 1 0 178310 124 0 0 25 0 19 0 832059321 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2638893 952348 2239 9 0 2629627 0
[pid=16053/tid=16054] ppid=16051 vsize=10555572 CPUtime=1782 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 772535 0 1 0 178108 92 0 0 25 0 19 0 832059322 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 46912505835466 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16051 vsize=10555572 CPUtime=0.17 cores=1,3,5,7
/proc/16053/task/16056/stat : 16056 (java) S 16051 16053 15661 0 -1 4202560 25940 0 0 0 13 4 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16057] ppid=16051 vsize=10555572 CPUtime=0.16 cores=1,3,5,7
/proc/16053/task/16057/stat : 16057 (java) S 16051 16053 15661 0 -1 4202560 33499 0 0 0 12 4 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 7 0 0 0
[pid=16053/tid=16058] ppid=16051 vsize=10555572 CPUtime=0.12 cores=1,3,5,7
/proc/16053/task/16058/stat : 16058 (java) S 16051 16053 15661 0 -1 4202560 24867 0 0 0 9 3 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16059] ppid=16051 vsize=10555572 CPUtime=0.15 cores=1,3,5,7
/proc/16053/task/16059/stat : 16059 (java) S 16051 16053 15661 0 -1 4202560 23421 0 0 0 12 3 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16060] ppid=16051 vsize=10555572 CPUtime=0.1 cores=1,3,5,7
/proc/16053/task/16060/stat : 16060 (java) S 16051 16053 15661 0 -1 4202560 18073 0 0 0 8 2 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16061] ppid=16051 vsize=10555572 CPUtime=0.16 cores=1,3,5,7
/proc/16053/task/16061/stat : 16061 (java) S 16051 16053 15661 0 -1 4202560 29886 0 0 0 11 5 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16062] ppid=16051 vsize=10555572 CPUtime=0.05 cores=1,3,5,7
/proc/16053/task/16062/stat : 16062 (java) S 16051 16053 15661 0 -1 4202560 8345 0 0 0 4 1 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 7 0 0 0
[pid=16053/tid=16063] ppid=16051 vsize=10555572 CPUtime=0.09 cores=1,3,5,7
/proc/16053/task/16063/stat : 16063 (java) S 16051 16053 15661 0 -1 4202560 14932 0 0 0 7 2 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16064] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16064/stat : 16064 (java) S 16051 16053 15661 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 832059324 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 0 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16065] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16065/stat : 16065 (java) S 16051 16053 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 832059325 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16066] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16066/stat : 16066 (java) S 16051 16053 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 832059325 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16067] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16067/stat : 16067 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290703281 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16068] ppid=16051 vsize=10555572 CPUtime=0.62 cores=1,3,5,7
/proc/16053/task/16068/stat : 16068 (java) S 16051 16053 15661 0 -1 4202560 4814 0 0 0 62 0 0 0 16 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16069] ppid=16051 vsize=10555572 CPUtime=0.58 cores=1,3,5,7
/proc/16053/task/16069/stat : 16069 (java) S 16051 16053 15661 0 -1 4202560 4869 0 0 0 58 0 0 0 18 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16070] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16070/stat : 16070 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16071] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16071/stat : 16071 (java) S 16051 16053 15661 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16072] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16072/stat : 16072 (java) S 16051 16053 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832059338 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1784.34
Current children cumulated vsize (KiB) 10555572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798 s]
/proc/loadavg: 1.01 1.00 0.97 2/413 16120
/proc/meminfo: memFree=26187828/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=10555572 CPUtime=1800.05 cores=1,3,5,7
/proc/16053/stat : 16053 (java) S 16051 16053 15661 0 -1 4202496 962481 0 1 0 179881 124 0 0 25 0 19 0 832059321 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 2638893 952348 2239 9 0 2629627 0
[pid=16053/tid=16054] ppid=16051 vsize=10555572 CPUtime=1797.71 cores=1,3,5,7
/proc/16053/task/16054/stat : 16054 (java) R 16051 16053 15661 0 -1 4202560 772535 0 1 0 179679 92 0 0 25 0 19 0 832059322 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 46912505968268 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=16053/tid=16056] ppid=16051 vsize=10555572 CPUtime=0.17 cores=1,3,5,7
/proc/16053/task/16056/stat : 16056 (java) S 16051 16053 15661 0 -1 4202560 25940 0 0 0 13 4 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16057] ppid=16051 vsize=10555572 CPUtime=0.16 cores=1,3,5,7
/proc/16053/task/16057/stat : 16057 (java) S 16051 16053 15661 0 -1 4202560 33499 0 0 0 12 4 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 7 0 0 0
[pid=16053/tid=16058] ppid=16051 vsize=10555572 CPUtime=0.12 cores=1,3,5,7
/proc/16053/task/16058/stat : 16058 (java) S 16051 16053 15661 0 -1 4202560 24867 0 0 0 9 3 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16059] ppid=16051 vsize=10555572 CPUtime=0.15 cores=1,3,5,7
/proc/16053/task/16059/stat : 16059 (java) S 16051 16053 15661 0 -1 4202560 23421 0 0 0 12 3 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16060] ppid=16051 vsize=10555572 CPUtime=0.1 cores=1,3,5,7
/proc/16053/task/16060/stat : 16060 (java) S 16051 16053 15661 0 -1 4202560 18073 0 0 0 8 2 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16061] ppid=16051 vsize=10555572 CPUtime=0.16 cores=1,3,5,7
/proc/16053/task/16061/stat : 16061 (java) S 16051 16053 15661 0 -1 4202560 29886 0 0 0 11 5 0 0 16 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16062] ppid=16051 vsize=10555572 CPUtime=0.05 cores=1,3,5,7
/proc/16053/task/16062/stat : 16062 (java) S 16051 16053 15661 0 -1 4202560 8345 0 0 0 4 1 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 7 0 0 0
[pid=16053/tid=16063] ppid=16051 vsize=10555572 CPUtime=0.09 cores=1,3,5,7
/proc/16053/task/16063/stat : 16063 (java) S 16051 16053 15661 0 -1 4202560 14932 0 0 0 7 2 0 0 15 0 19 0 832059323 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16064] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16064/stat : 16064 (java) S 16051 16053 15661 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 19 0 832059324 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 0 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16065] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16065/stat : 16065 (java) S 16051 16053 15661 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 832059325 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16066] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16066/stat : 16066 (java) S 16051 16053 15661 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 832059325 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16067] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16067/stat : 16067 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290703281 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16068] ppid=16051 vsize=10555572 CPUtime=0.62 cores=1,3,5,7
/proc/16053/task/16068/stat : 16068 (java) S 16051 16053 15661 0 -1 4202560 4814 0 0 0 62 0 0 0 16 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 3 0 0 0
[pid=16053/tid=16069] ppid=16051 vsize=10555572 CPUtime=0.58 cores=1,3,5,7
/proc/16053/task/16069/stat : 16069 (java) S 16051 16053 15661 0 -1 4202560 4869 0 0 0 58 0 0 0 18 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16070] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16070/stat : 16070 (java) S 16051 16053 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290695577 0 4 0 16800975 18446604466130512064 0 0 -1 5 0 0 0
[pid=16053/tid=16071] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16071/stat : 16071 (java) S 16051 16053 15661 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 832059327 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
[pid=16053/tid=16072] ppid=16051 vsize=10555572 CPUtime=0 cores=1,3,5,7
/proc/16053/task/16072/stat : 16072 (java) S 16051 16053 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832059338 10808905728 952348 33554432000 1073741824 1073778376 140734899429776 18446744073709551615 237290696192 0 4 0 16800975 18446604466130512064 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10555572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.12 s]
/proc/loadavg: 1.01 1.00 0.97 2/413 16120
/proc/meminfo: memFree=26187828/32950904 swapFree=56615552/67111528
[pid=16053] ppid=16051 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/16053/stat : 16053 (java) Z 16051 16053 15661 0 -1 4203548 962511 0 1 0 179883 133 0 0 17 0 2 0 832059321 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/16053/statm: 0 0 0 0 0 0 0
[pid=16053/tid=16064] ppid=16051 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/16053/task/16064/stat : 16064 (java) R 16051 16053 15661 0 -1 4202564 41 0 0 0 0 9 0 0 16 0 2 0 832059324 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1798.17
CPU time (s): 1800.22
CPU user time (s): 1798.83
CPU system time (s): 1.38779
CPU usage (%): 100.114
Max. virtual memory (cumulated for all children) (KiB): 10556708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.38779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 962511
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37162
involuntary context switches= 3018
runsolver used 6.33504 second user time and 16.2765 second system time
The end