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-3454698-1307192716/watcher-3454698-1307192716 -o /tmp/evaluation-result-3454698-1307192716/solver-3454698-1307192716 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454698-1307192716.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: 2.63 3.46 3.54 2/383 10285
/proc/meminfo: memFree=23602220/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/10285/stat : 10285 (java) R 10283 10285 6095 0 -1 4202496 957 0 0 0 0 0 0 0 22 0 1 0 830874413 23580672 700 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218365994472 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10285/statm: 5757 700 517 9 0 124 0
[pid=10285/tid=10286] ppid=10283 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) R 10283 10285 6095 0 -1 4202560 2594 0 1 0 0 0 0 0 23 0 2 0 830874414 10694979584 3410 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218370651195 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.041263 s]
/proc/loadavg: 2.63 3.46 3.54 2/383 10285
/proc/meminfo: memFree=23602220/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 11162 0 1 0 2 1 0 0 22 0 13 0 830874413 10718699520 10858 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2616870 10858 1655 9 0 2607618 0
[pid=10285/tid=10286] ppid=10283 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) R 10283 10285 6095 0 -1 4202560 10013 0 1 0 2 1 0 0 25 0 13 0 830874414 10718699520 10858 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 47200782237603 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100213 s]
/proc/loadavg: 2.63 3.46 3.54 2/383 10285
/proc/meminfo: memFree=23602220/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10540216 CPUtime=0.1 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 13065 0 1 0 9 1 0 0 22 0 18 0 830874413 10793181184 12722 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2635054 12723 2093 9 0 2625788 0
[pid=10285/tid=10286] ppid=10283 vsize=10540216 CPUtime=0.08 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) R 10283 10285 6095 0 -1 4202560 11112 0 1 0 7 1 0 0 18 0 18 0 830874414 10793181184 12723 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382783947 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540216
[startup+0.300215 s]
/proc/loadavg: 2.63 3.46 3.54 2/383 10285
/proc/meminfo: memFree=23602220/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10554096 CPUtime=0.57 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 22838 0 1 0 54 3 0 0 22 0 18 0 830874413 10807394304 20070 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2638524 20099 2202 9 0 2629258 0
[pid=10285/tid=10286] ppid=10283 vsize=10554096 CPUtime=0.28 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) R 10283 10285 6095 0 -1 4202560 12931 0 1 0 27 1 0 0 18 0 18 0 830874414 10807394304 20114 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 47200783066760 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10554096
[startup+0.701142 s]
/proc/loadavg: 2.63 3.46 3.54 2/383 10285
/proc/meminfo: memFree=23602220/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10552168 CPUtime=1.44 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 47574 0 1 0 138 6 0 0 22 0 18 0 830874413 10805420032 42716 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2638042 42720 2212 9 0 2628776 0
[pid=10285/tid=10286] ppid=10283 vsize=10552168 CPUtime=0.68 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) R 10283 10285 6095 0 -1 4202560 35425 0 1 0 64 4 0 0 18 0 18 0 830874414 10805420032 42721 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505804154 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10552168
[startup+1.50097 s]
/proc/loadavg: 2.63 3.46 3.54 4/425 10330
/proc/meminfo: memFree=23179612/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10557232 CPUtime=3.83 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 89788 0 1 0 371 12 0 0 22 0 22 0 830874413 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2639308 78274 2236 9 0 2630042 0
[pid=10285/tid=10286] ppid=10283 vsize=10557232 CPUtime=0.71 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) S 10283 10285 6095 0 -1 4202560 38368 0 1 0 66 5 0 0 15 0 22 0 830874414 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10288] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10288/stat : 10288 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830874416 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10289] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10289/stat : 10289 (java) S 10283 10285 6095 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830874416 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10290] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10290/stat : 10290 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10291] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10291/stat : 10291 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10292] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10292/stat : 10292 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10293] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10293/stat : 10293 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10294] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10294/stat : 10294 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10295] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10295/stat : 10295 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10296] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10296/stat : 10296 (java) S 10283 10285 6095 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830874417 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10297] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10297/stat : 10297 (java) S 10283 10285 6095 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830874417 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10298] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10298/stat : 10298 (java) S 10283 10285 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830874417 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10299] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10299/stat : 10299 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10300] ppid=10283 vsize=10557232 CPUtime=0.74 cores=1,3,5,7
/proc/10285/task/10300/stat : 10300 (java) S 10283 10285 6095 0 -1 4202560 5580 0 0 0 74 0 0 0 23 0 22 0 830874420 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10301] ppid=10283 vsize=10557232 CPUtime=0.82 cores=1,3,5,7
/proc/10285/task/10301/stat : 10301 (java) S 10283 10285 6095 0 -1 4202560 12451 0 0 0 81 1 0 0 15 0 22 0 830874420 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10302] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10302/stat : 10302 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10303] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10303/stat : 10303 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830874420 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10327] ppid=10283 vsize=10557232 CPUtime=0.76 cores=1,3,5,7
/proc/10285/task/10327/stat : 10327 (java) R 10283 10285 6095 0 -1 4202560 313 0 0 0 76 0 0 0 22 0 22 0 830874487 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505950791 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10285/tid=10328] ppid=10283 vsize=10557232 CPUtime=0.75 cores=1,3,5,7
/proc/10285/task/10328/stat : 10328 (java) R 10283 10285 6095 0 -1 4202560 31908 0 0 0 71 4 0 0 18 0 22 0 830874487 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505872445 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10285/tid=10329] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10329/stat : 10329 (java) S 10283 10285 6095 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830874487 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10330] ppid=10283 vsize=10557232 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10330/stat : 10330 (java) S 10283 10285 6095 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830874487 10810605568 78274 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 10557232
[startup+3.10069 s]
/proc/loadavg: 2.63 3.46 3.54 4/425 10330
/proc/meminfo: memFree=22481456/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10557068 CPUtime=7.3 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 192236 0 1 0 706 24 0 0 22 0 22 0 830874413 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2639267 179730 2239 9 0 2630001 0
[pid=10285/tid=10286] ppid=10283 vsize=10557068 CPUtime=0.71 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) S 10283 10285 6095 0 -1 4202560 38368 0 1 0 66 5 0 0 15 0 22 0 830874414 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10288] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10288/stat : 10288 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830874416 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10289] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10289/stat : 10289 (java) S 10283 10285 6095 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10290] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10290/stat : 10290 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10291] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10291/stat : 10291 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10292] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10292/stat : 10292 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10293] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10293/stat : 10293 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10294] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10294/stat : 10294 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10295] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10295/stat : 10295 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10296] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10296/stat : 10296 (java) S 10283 10285 6095 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830874417 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10297] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10297/stat : 10297 (java) S 10283 10285 6095 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830874417 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10298] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10298/stat : 10298 (java) S 10283 10285 6095 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830874417 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10299] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10299/stat : 10299 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10300] ppid=10283 vsize=10557068 CPUtime=0.98 cores=1,3,5,7
/proc/10285/task/10300/stat : 10300 (java) S 10283 10285 6095 0 -1 4202560 6522 0 0 0 98 0 0 0 15 0 22 0 830874420 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10301] ppid=10283 vsize=10557068 CPUtime=0.85 cores=1,3,5,7
/proc/10285/task/10301/stat : 10301 (java) S 10283 10285 6095 0 -1 4202560 12454 0 0 0 84 1 0 0 15 0 22 0 830874420 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10302] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10302/stat : 10302 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10303] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10303/stat : 10303 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830874420 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10327] ppid=10283 vsize=10557068 CPUtime=2.36 cores=1,3,5,7
/proc/10285/task/10327/stat : 10327 (java) R 10283 10285 6095 0 -1 4202560 413 0 0 0 236 0 0 0 25 0 22 0 830874487 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505976082 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10285/tid=10328] ppid=10283 vsize=10557068 CPUtime=2.35 cores=1,3,5,7
/proc/10285/task/10328/stat : 10328 (java) R 10283 10285 6095 0 -1 4202560 133311 0 0 0 219 16 0 0 22 0 22 0 830874487 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505872865 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10285/tid=10329] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10329/stat : 10329 (java) S 10283 10285 6095 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 830874487 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10330] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10330/stat : 10330 (java) S 10283 10285 6095 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830874487 10810437632 179730 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 10557068
[startup+6.30115 s]
/proc/loadavg: 2.74 3.47 3.54 5/429 10337
/proc/meminfo: memFree=21070572/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10557068 CPUtime=13.57 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 381084 0 1 0 1311 46 0 0 22 0 22 0 830874413 10810437632 368409 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2639267 368412 2242 9 0 2630001 0
[pid=10285/tid=10286] ppid=10283 vsize=10557068 CPUtime=0.72 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) S 10283 10285 6095 0 -1 4202560 38373 0 1 0 67 5 0 0 15 0 22 0 830874414 10810437632 368413 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10288] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10288/stat : 10288 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 22 0 830874416 10810437632 368414 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10289] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10289/stat : 10289 (java) S 10283 10285 6095 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 368416 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10290] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10290/stat : 10290 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 368417 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10291] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10291/stat : 10291 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 368418 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10292] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10292/stat : 10292 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 368420 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10293] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10293/stat : 10293 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 368421 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10294] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10294/stat : 10294 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 368423 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10295] ppid=10283 vsize=10557068 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10295/stat : 10295 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874416 10810437632 368424 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=16777036/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10559976 CPUtime=1626.86 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 797169 0 1 0 162591 95 0 0 22 0 22 0 830874413 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2639994 777787 2266 9 0 2630728 0
[pid=10285/tid=10286] ppid=10283 vsize=10559976 CPUtime=0.72 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) S 10283 10285 6095 0 -1 4202560 38418 0 1 0 67 5 0 0 15 0 22 0 830874414 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10288] ppid=10283 vsize=10559976 CPUtime=0.37 cores=1,3,5,7
/proc/10285/task/10288/stat : 10288 (java) S 10283 10285 6095 0 -1 4202560 1631 0 0 0 37 0 0 0 15 0 22 0 830874416 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10289] ppid=10283 vsize=10559976 CPUtime=0.48 cores=1,3,5,7
/proc/10285/task/10289/stat : 10289 (java) S 10283 10285 6095 0 -1 4202560 456 0 0 0 48 0 0 0 16 0 22 0 830874416 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10290] ppid=10283 vsize=10559976 CPUtime=0.4 cores=1,3,5,7
/proc/10285/task/10290/stat : 10290 (java) S 10283 10285 6095 0 -1 4202560 687 0 0 0 40 0 0 0 15 0 22 0 830874416 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10291] ppid=10283 vsize=10559976 CPUtime=0.43 cores=1,3,5,7
/proc/10285/task/10291/stat : 10291 (java) S 10283 10285 6095 0 -1 4202560 595 0 0 0 43 0 0 0 16 0 22 0 830874416 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10292] ppid=10283 vsize=10559976 CPUtime=0.4 cores=1,3,5,7
/proc/10285/task/10292/stat : 10292 (java) S 10283 10285 6095 0 -1 4202560 353 0 0 0 40 0 0 0 15 0 22 0 830874416 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10293] ppid=10283 vsize=10559976 CPUtime=0.56 cores=1,3,5,7
/proc/10285/task/10293/stat : 10293 (java) S 10283 10285 6095 0 -1 4202560 1647 0 0 0 56 0 0 0 15 0 22 0 830874416 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10294] ppid=10283 vsize=10559976 CPUtime=0.41 cores=1,3,5,7
/proc/10285/task/10294/stat : 10294 (java) S 10283 10285 6095 0 -1 4202560 1596 0 0 0 40 1 0 0 16 0 22 0 830874416 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10295] ppid=10283 vsize=10559976 CPUtime=0.52 cores=1,3,5,7
/proc/10285/task/10295/stat : 10295 (java) S 10283 10285 6095 0 -1 4202560 2217 0 0 0 52 0 0 0 15 0 22 0 830874416 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10296] ppid=10283 vsize=10559976 CPUtime=17.45 cores=1,3,5,7
/proc/10285/task/10296/stat : 10296 (java) S 10283 10285 6095 0 -1 4202560 32190 0 0 0 1741 4 0 0 15 0 22 0 830874417 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10297] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10297/stat : 10297 (java) S 10283 10285 6095 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830874417 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10298] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10298/stat : 10298 (java) S 10283 10285 6095 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830874417 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10299] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10299/stat : 10299 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10300] ppid=10283 vsize=10559976 CPUtime=2.1 cores=1,3,5,7
/proc/10285/task/10300/stat : 10300 (java) S 10283 10285 6095 0 -1 4202560 11793 0 0 0 209 1 0 0 16 0 22 0 830874420 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10301] ppid=10283 vsize=10559976 CPUtime=1.34 cores=1,3,5,7
/proc/10285/task/10301/stat : 10301 (java) S 10283 10285 6095 0 -1 4202560 15399 0 0 0 133 1 0 0 15 0 22 0 830874420 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10302] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10302/stat : 10302 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10303] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10303/stat : 10303 (java) S 10283 10285 6095 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830874420 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10330] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10330/stat : 10330 (java) S 10283 10285 6095 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830874487 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10365] ppid=10283 vsize=10559976 CPUtime=576.08 cores=1,3,5,7
/proc/10285/task/10365/stat : 10365 (java) R 10283 10285 6095 0 -1 4202560 2 0 0 0 57608 0 0 0 25 0 22 0 830897559 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505822728 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10285/tid=10366] ppid=10283 vsize=10559976 CPUtime=576.11 cores=1,3,5,7
/proc/10285/task/10366/stat : 10366 (java) R 10283 10285 6095 0 -1 4202560 34 0 0 0 57611 0 0 0 25 0 22 0 830897559 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505911361 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10285/tid=10367] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10367/stat : 10367 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830897562 10813415424 777787 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1626.86
Current children cumulated vsize (KiB) 10559976
[startup+882.301 s]
/proc/loadavg: 4.12 4.02 3.82 5/429 10384
/proc/meminfo: memFree=16761628/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10559976 CPUtime=1745.13 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 798693 0 1 0 174417 96 0 0 22 0 22 0 830874413 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2639994 778493 2266 9 0 2630728 0
[pid=10285/tid=10286] ppid=10283 vsize=10559976 CPUtime=0.72 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) S 10283 10285 6095 0 -1 4202560 38420 0 1 0 67 5 0 0 15 0 22 0 830874414 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10288] ppid=10283 vsize=10559976 CPUtime=0.41 cores=1,3,5,7
/proc/10285/task/10288/stat : 10288 (java) S 10283 10285 6095 0 -1 4202560 1642 0 0 0 41 0 0 0 16 0 22 0 830874416 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10289] ppid=10283 vsize=10559976 CPUtime=0.52 cores=1,3,5,7
/proc/10285/task/10289/stat : 10289 (java) S 10283 10285 6095 0 -1 4202560 468 0 0 0 52 0 0 0 15 0 22 0 830874416 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10290] ppid=10283 vsize=10559976 CPUtime=0.44 cores=1,3,5,7
/proc/10285/task/10290/stat : 10290 (java) S 10283 10285 6095 0 -1 4202560 708 0 0 0 44 0 0 0 16 0 22 0 830874416 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10291] ppid=10283 vsize=10559976 CPUtime=0.49 cores=1,3,5,7
/proc/10285/task/10291/stat : 10291 (java) S 10283 10285 6095 0 -1 4202560 604 0 0 0 49 0 0 0 16 0 22 0 830874416 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10292] ppid=10283 vsize=10559976 CPUtime=0.46 cores=1,3,5,7
/proc/10285/task/10292/stat : 10292 (java) S 10283 10285 6095 0 -1 4202560 383 0 0 0 46 0 0 0 15 0 22 0 830874416 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10293] ppid=10283 vsize=10559976 CPUtime=0.58 cores=1,3,5,7
/proc/10285/task/10293/stat : 10293 (java) S 10283 10285 6095 0 -1 4202560 1654 0 0 0 58 0 0 0 15 0 22 0 830874416 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10294] ppid=10283 vsize=10559976 CPUtime=0.42 cores=1,3,5,7
/proc/10285/task/10294/stat : 10294 (java) S 10283 10285 6095 0 -1 4202560 1596 0 0 0 41 1 0 0 15 0 22 0 830874416 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10295] ppid=10283 vsize=10559976 CPUtime=0.57 cores=1,3,5,7
/proc/10285/task/10295/stat : 10295 (java) S 10283 10285 6095 0 -1 4202560 2234 0 0 0 57 0 0 0 16 0 22 0 830874416 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10296] ppid=10283 vsize=10559976 CPUtime=19.29 cores=1,3,5,7
/proc/10285/task/10296/stat : 10296 (java) S 10283 10285 6095 0 -1 4202560 33595 0 0 0 1925 4 0 0 15 0 22 0 830874417 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10297] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10297/stat : 10297 (java) S 10283 10285 6095 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830874417 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10298] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10298/stat : 10298 (java) S 10283 10285 6095 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830874417 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10299] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10299/stat : 10299 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10300] ppid=10283 vsize=10559976 CPUtime=2.1 cores=1,3,5,7
/proc/10285/task/10300/stat : 10300 (java) S 10283 10285 6095 0 -1 4202560 11793 0 0 0 209 1 0 0 16 0 22 0 830874420 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10301] ppid=10283 vsize=10559976 CPUtime=1.36 cores=1,3,5,7
/proc/10285/task/10301/stat : 10301 (java) S 10283 10285 6095 0 -1 4202560 15400 0 0 0 135 1 0 0 15 0 22 0 830874420 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10302] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10302/stat : 10302 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10303] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10303/stat : 10303 (java) S 10283 10285 6095 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830874420 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10330] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10330/stat : 10330 (java) S 10283 10285 6095 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830874487 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10365] ppid=10283 vsize=10559976 CPUtime=634.11 cores=1,3,5,7
/proc/10285/task/10365/stat : 10365 (java) R 10283 10285 6095 0 -1 4202560 3 0 0 0 63411 0 0 0 25 0 22 0 830897559 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505822300 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10285/tid=10366] ppid=10283 vsize=10559976 CPUtime=634.15 cores=1,3,5,7
/proc/10285/task/10366/stat : 10366 (java) R 10283 10285 6095 0 -1 4202560 39 0 0 0 63415 0 0 0 25 0 22 0 830897559 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505910833 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10285/tid=10367] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10367/stat : 10367 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830897562 10813415424 778493 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1745.13
Current children cumulated vsize (KiB) 10559976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+910.101 s]
/proc/loadavg: 3.68 3.93 3.80 3/402 10405
/proc/meminfo: memFree=20489644/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=10559976 CPUtime=1800.07 cores=1,3,5,7
/proc/10285/stat : 10285 (java) S 10283 10285 6095 0 -1 4202496 799289 0 1 0 179911 96 0 0 22 0 22 0 830874413 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 2639994 779086 2266 9 0 2630728 0
[pid=10285/tid=10286] ppid=10283 vsize=10559976 CPUtime=0.72 cores=1,3,5,7
/proc/10285/task/10286/stat : 10286 (java) S 10283 10285 6095 0 -1 4202560 38423 0 1 0 67 5 0 0 15 0 22 0 830874414 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10288] ppid=10283 vsize=10559976 CPUtime=0.41 cores=1,3,5,7
/proc/10285/task/10288/stat : 10288 (java) S 10283 10285 6095 0 -1 4202560 1642 0 0 0 41 0 0 0 15 0 22 0 830874416 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10289] ppid=10283 vsize=10559976 CPUtime=0.55 cores=1,3,5,7
/proc/10285/task/10289/stat : 10289 (java) S 10283 10285 6095 0 -1 4202560 477 0 0 0 55 0 0 0 15 0 22 0 830874416 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10290] ppid=10283 vsize=10559976 CPUtime=0.45 cores=1,3,5,7
/proc/10285/task/10290/stat : 10290 (java) S 10283 10285 6095 0 -1 4202560 715 0 0 0 45 0 0 0 16 0 22 0 830874416 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10291] ppid=10283 vsize=10559976 CPUtime=0.5 cores=1,3,5,7
/proc/10285/task/10291/stat : 10291 (java) S 10283 10285 6095 0 -1 4202560 604 0 0 0 50 0 0 0 16 0 22 0 830874416 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10292] ppid=10283 vsize=10559976 CPUtime=0.46 cores=1,3,5,7
/proc/10285/task/10292/stat : 10292 (java) S 10283 10285 6095 0 -1 4202560 383 0 0 0 46 0 0 0 15 0 22 0 830874416 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10293] ppid=10283 vsize=10559976 CPUtime=0.6 cores=1,3,5,7
/proc/10285/task/10293/stat : 10293 (java) S 10283 10285 6095 0 -1 4202560 1667 0 0 0 60 0 0 0 16 0 22 0 830874416 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10294] ppid=10283 vsize=10559976 CPUtime=0.45 cores=1,3,5,7
/proc/10285/task/10294/stat : 10294 (java) S 10283 10285 6095 0 -1 4202560 1604 0 0 0 44 1 0 0 15 0 22 0 830874416 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10295] ppid=10283 vsize=10559976 CPUtime=0.6 cores=1,3,5,7
/proc/10285/task/10295/stat : 10295 (java) S 10283 10285 6095 0 -1 4202560 2234 0 0 0 60 0 0 0 16 0 22 0 830874416 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 7 0 0 0
[pid=10285/tid=10296] ppid=10283 vsize=10559976 CPUtime=19.99 cores=1,3,5,7
/proc/10285/task/10296/stat : 10296 (java) S 10283 10285 6095 0 -1 4202560 34151 0 0 0 1995 4 0 0 15 0 22 0 830874417 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 0 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10297] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10297/stat : 10297 (java) S 10283 10285 6095 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830874417 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10298] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10298/stat : 10298 (java) S 10283 10285 6095 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 830874417 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10299] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10299/stat : 10299 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382780849 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10300] ppid=10283 vsize=10559976 CPUtime=2.1 cores=1,3,5,7
/proc/10285/task/10300/stat : 10300 (java) S 10283 10285 6095 0 -1 4202560 11793 0 0 0 209 1 0 0 16 0 22 0 830874420 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10301] ppid=10283 vsize=10559976 CPUtime=1.36 cores=1,3,5,7
/proc/10285/task/10301/stat : 10301 (java) S 10283 10285 6095 0 -1 4202560 15400 0 0 0 135 1 0 0 15 0 22 0 830874420 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10302] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10302/stat : 10302 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830874420 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773145 0 4 0 16800975 18446604465031351040 0 0 -1 3 0 0 0
[pid=10285/tid=10303] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10303/stat : 10303 (java) S 10283 10285 6095 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830874420 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 5 0 0 0
[pid=10285/tid=10330] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10330/stat : 10330 (java) S 10283 10285 6095 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 830874487 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
[pid=10285/tid=10365] ppid=10283 vsize=10559976 CPUtime=661.17 cores=1,3,5,7
/proc/10285/task/10365/stat : 10365 (java) R 10283 10285 6095 0 -1 4202560 3 0 0 0 66117 0 0 0 25 0 22 0 830897559 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505822340 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10285/tid=10366] ppid=10283 vsize=10559976 CPUtime=661.2 cores=1,3,5,7
/proc/10285/task/10366/stat : 10366 (java) R 10283 10285 6095 0 -1 4202560 39 0 0 0 66120 0 0 0 25 0 22 0 830897559 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 46912505873414 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10285/tid=10367] ppid=10283 vsize=10559976 CPUtime=0 cores=1,3,5,7
/proc/10285/task/10367/stat : 10367 (java) S 10283 10285 6095 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830897562 10813415424 779086 33554432000 1073741824 1073778376 140736514619104 18446744073709551615 218382773760 0 4 0 16800975 18446604465031351040 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10559976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+910.221 s]
/proc/loadavg: 3.68 3.93 3.80 3/402 10405
/proc/meminfo: memFree=20489644/32951124 swapFree=49244120/67111528
[pid=10285] ppid=10283 vsize=0 CPUtime=1800.25 cores=1,3,5,7
/proc/10285/stat : 10285 (java) Z 10283 10285 6095 0 -1 4203548 799323 0 1 0 179922 103 0 0 17 0 2 0 830874413 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10285/statm: 0 0 0 0 0 0 0
[pid=10285/tid=10365] ppid=10283 vsize=0 CPUtime=661.25 cores=1,3,5,7
/proc/10285/task/10365/stat : 10365 (java) R 10283 10285 6095 0 -1 4203588 3 0 0 0 66119 6 0 0 25 0 2 0 830897559 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 910.278
CPU time (s): 1800.31
CPU user time (s): 1799.22
CPU system time (s): 1.08883
CPU usage (%): 197.776
Max. virtual memory (cumulated for all children) (KiB): 10569964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 1.08883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 799323
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= 24111
involuntary context switches= 27404
runsolver used 3.32349 second user time and 8.34973 second system time
The end