runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4092294-1466083130/watcher-4092294-1466083130 -o /tmp/evaluation-result-4092294-1466083130/solver-4092294-1466083130 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466074085-13482 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092294-1466083130.wbo
pid=19780
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.88 2.06 2.12 3/196 19783
/proc/meminfo: memFree=30989984/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/19783/stat : 19783 (java) R 19780 19783 11533 0 -1 4202496 429 0 0 0 0 0 0 0 20 0 1 0 10362896 9445376 97 33554432000 1073741824 1073778376 140734608143984 140734608141112 224913306720 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2290 87 65 9 0 38 0
[startup+0.10006 s]
/proc/loadavg: 1.88 2.06 2.12 3/196 19783
/proc/meminfo: memFree=30989984/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 4385 0 1 0 8 1 0 0 20 0 18 0 10362896 9787879424 6025 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2389619 6025 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200219 s]
/proc/loadavg: 1.88 2.06 2.12 3/196 19783
/proc/meminfo: memFree=30989984/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 4817 0 1 0 23 1 0 0 20 0 22 0 10362896 10060525568 7921 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2456183 7921 2221 9 0 2446860 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9824732
[startup+0.300211 s]
/proc/loadavg: 1.88 2.06 2.12 3/196 19783
/proc/meminfo: memFree=30989984/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9824732 CPUtime=0.62 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 7107 0 1 0 60 2 0 0 20 0 22 0 10362896 10060525568 9814 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2456183 9814 2245 9 0 2446860 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 9824732
[startup+0.700186 s]
/proc/loadavg: 1.88 2.06 2.12 3/196 19783
/proc/meminfo: memFree=30989984/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 14691 0 1 0 183 5 0 0 20 0 22 0 10362896 10060525568 17297 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2456183 17297 2257 9 0 2446860 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9824732
[startup+1.50076 s]
/proc/loadavg: 1.88 2.06 2.12 2/215 19808
/proc/meminfo: memFree=30926648/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 14703 0 1 0 190 5 0 0 20 0 19 0 10362896 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2456183 18771 2257 9 0 2446860 0
[pid=19783/tid=19785] ppid=19780 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/19783/task/19785/stat : 19785 (java) S 19780 19783 11533 0 -1 4202560 2417 0 1 0 14 2 0 0 20 0 19 0 10362897 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585740833656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19786] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19786/stat : 19786 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585702324392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19787] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19787/stat : 19787 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585701271848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19788] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19788/stat : 19788 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585700219304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19789] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19789/stat : 19789 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585699166760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19790] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19790/stat : 19790 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585698114216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19791] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19791/stat : 19791 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585697061672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19792] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19792/stat : 19792 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585696009128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19793] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19793/stat : 19793 (java) S 19780 19783 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585694956584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19794] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19794/stat : 19794 (java) S 19780 19783 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10362900 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585564342376 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19795] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19795/stat : 19795 (java) S 19780 19783 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10362900 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585563288696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19796] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19796/stat : 19796 (java) S 19780 19783 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10362900 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585562236040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19797] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19797/stat : 19797 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362902 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585561184784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19798] ppid=19780 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/19783/task/19798/stat : 19798 (java) S 19780 19783 11533 0 -1 4202560 5515 0 0 0 52 2 0 0 20 0 19 0 10362902 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585560132152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19799] ppid=19780 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/19783/task/19799/stat : 19799 (java) S 19780 19783 11533 0 -1 4202560 5419 0 0 0 55 0 0 0 20 0 19 0 10362902 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585559079608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19800] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19800/stat : 19800 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362903 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585558027256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19801] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19801/stat : 19801 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362903 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140585556974920 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19804] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19804/stat : 19804 (java) S 19780 19783 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10362916 10060525568 18771 33554432000 1073741824 1073778376 140734608143984 140584411976744 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 9824732
############
# WARNING:
# current cumulated CPU time (1.98 s) is less than in the last sample (1.99 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.00999999 s) to the 'lost time'.
[startup+2.70077 s]
/proc/loadavg: 1.81 2.05 2.12 4/218 19817
/proc/meminfo: memFree=30911808/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9824732 CPUtime=1.99 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 14730 0 1 0 193 6 0 0 20 0 22 0 10362896 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2456183 22362 2260 9 0 2446860 0
[pid=19783/tid=19785] ppid=19780 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/19783/task/19785/stat : 19785 (java) S 19780 19783 11533 0 -1 4202560 2418 0 1 0 15 2 0 0 20 0 22 0 10362897 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585740833656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19786] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19786/stat : 19786 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362899 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585702324392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19787] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19787/stat : 19787 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362899 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585701271848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19788] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19788/stat : 19788 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362899 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585700219304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19789] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19789/stat : 19789 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362899 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585699166760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19790] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19790/stat : 19790 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362899 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585698114216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19791] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19791/stat : 19791 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362899 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585697061672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19792] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19792/stat : 19792 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362899 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585696009128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19793] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19793/stat : 19793 (java) S 19780 19783 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10362899 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585694956584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19794] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19794/stat : 19794 (java) S 19780 19783 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10362900 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585564342376 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19795] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19795/stat : 19795 (java) S 19780 19783 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 10362900 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585563288696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19796] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19796/stat : 19796 (java) S 19780 19783 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10362900 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585562236040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19797] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19797/stat : 19797 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362902 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585561184784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19798] ppid=19780 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/19783/task/19798/stat : 19798 (java) S 19780 19783 11533 0 -1 4202560 5515 0 0 0 52 2 0 0 20 0 22 0 10362902 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585560132152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19799] ppid=19780 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/19783/task/19799/stat : 19799 (java) S 19780 19783 11533 0 -1 4202560 5422 0 0 0 56 0 0 0 20 0 22 0 10362902 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585559079608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19800] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19800/stat : 19800 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362903 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585558027256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19801] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19801/stat : 19801 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10362903 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140585556974920 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19804] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19804/stat : 19804 (java) S 19780 19783 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10362916 10060525568 22362 33554432000 1073741824 1073778376 140734608143984 140584411976744 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9824732
[startup+2.80078 s]
/proc/loadavg: 1.81 2.05 2.12 4/218 19817
/proc/meminfo: memFree=30911808/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 14734 0 1 0 192 6 0 0 20 0 19 0 10362896 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2456183 22870 2260 9 0 2446860 0
[pid=19783/tid=19785] ppid=19780 vsize=9824732 CPUtime=0.17 cores=0,2,4,6
/proc/19783/task/19785/stat : 19785 (java) S 19780 19783 11533 0 -1 4202560 2418 0 1 0 15 2 0 0 20 0 19 0 10362897 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585740833656 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19786] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19786/stat : 19786 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585702324392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19787] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19787/stat : 19787 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585701271848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19788] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19788/stat : 19788 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585700219304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19789] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19789/stat : 19789 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585699166760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19790] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19790/stat : 19790 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585698114216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19791] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19791/stat : 19791 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585697061672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19792] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19792/stat : 19792 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585696009128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19793] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19793/stat : 19793 (java) S 19780 19783 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 10362899 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585694956584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19794] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19794/stat : 19794 (java) S 19780 19783 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 10362900 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585564342376 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19795] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19795/stat : 19795 (java) S 19780 19783 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 10362900 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585563288696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19796] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19796/stat : 19796 (java) S 19780 19783 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 10362900 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585562236040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19797] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19797/stat : 19797 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362902 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585561184784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19798] ppid=19780 vsize=9824732 CPUtime=0.54 cores=0,2,4,6
/proc/19783/task/19798/stat : 19798 (java) S 19780 19783 11533 0 -1 4202560 5515 0 0 0 52 2 0 0 20 0 19 0 10362902 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585560132152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19799] ppid=19780 vsize=9824732 CPUtime=0.56 cores=0,2,4,6
/proc/19783/task/19799/stat : 19799 (java) S 19780 19783 11533 0 -1 4202560 5422 0 0 0 56 0 0 0 20 0 19 0 10362902 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585559079608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19800] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19800/stat : 19800 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 10362903 10060525568 22870 33554432000 1073741824 1073778376 140734608143984 140585558027256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=27520760/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9824732 CPUtime=1772.65 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 30369 0 1 0 177071 194 0 0 20 0 21 0 10362896 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2456183 291422 2287 9 0 2446860 0
[pid=19783/tid=19785] ppid=19780 vsize=9824732 CPUtime=0.73 cores=0,2,4,6
/proc/19783/task/19785/stat : 19785 (java) S 19780 19783 11533 0 -1 4202560 2447 0 1 0 58 15 0 0 20 0 21 0 10362897 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585740833672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19786] ppid=19780 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/19783/task/19786/stat : 19786 (java) S 19780 19783 11533 0 -1 4202560 328 0 0 0 22 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585702324392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19787] ppid=19780 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/19783/task/19787/stat : 19787 (java) S 19780 19783 11533 0 -1 4202560 71 0 0 0 19 3 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585701271848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19788] ppid=19780 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/19783/task/19788/stat : 19788 (java) S 19780 19783 11533 0 -1 4202560 74 0 0 0 19 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585700219304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19789] ppid=19780 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/19783/task/19789/stat : 19789 (java) S 19780 19783 11533 0 -1 4202560 127 0 0 0 20 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585699166760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19790] ppid=19780 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/19783/task/19790/stat : 19790 (java) S 19780 19783 11533 0 -1 4202560 169 0 0 0 23 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585698114216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19791] ppid=19780 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/19783/task/19791/stat : 19791 (java) S 19780 19783 11533 0 -1 4202560 77 0 0 0 19 2 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585697061672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19792] ppid=19780 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/19783/task/19792/stat : 19792 (java) S 19780 19783 11533 0 -1 4202560 206 0 0 0 19 5 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585696009128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19793] ppid=19780 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/19783/task/19793/stat : 19793 (java) S 19780 19783 11533 0 -1 4202560 147 0 0 0 23 5 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585694956584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19794] ppid=19780 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/19783/task/19794/stat : 19794 (java) S 19780 19783 11533 0 -1 4202560 528 0 0 0 1 7 0 0 20 0 21 0 10362900 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585564342376 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19795] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19795/stat : 19795 (java) S 19780 19783 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10362900 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585563288696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19796] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19796/stat : 19796 (java) S 19780 19783 11533 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 10362900 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585562236040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19797] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19797/stat : 19797 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10362902 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585561184784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19798] ppid=19780 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/19783/task/19798/stat : 19798 (java) S 19780 19783 11533 0 -1 4202560 8181 0 0 0 127 3 0 0 20 0 21 0 10362902 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585560132152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19799] ppid=19780 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/19783/task/19799/stat : 19799 (java) S 19780 19783 11533 0 -1 4202560 14314 0 0 0 179 2 0 0 20 0 21 0 10362902 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585559079608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19800] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19800/stat : 19800 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10362903 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585558027256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19801] ppid=19780 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/19783/task/19801/stat : 19801 (java) S 19780 19783 11533 0 -1 4202560 104 0 0 0 10 18 0 0 20 0 21 0 10362903 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585556974920 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19804] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19804/stat : 19804 (java) S 19780 19783 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10362916 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140584411976744 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=20184] ppid=19780 vsize=9824732 CPUtime=39.23 cores=0,2,4,6
/proc/19783/task/20184/stat : 20184 (java) R 19780 19783 11533 0 -1 4202560 42 0 0 0 3921 2 0 0 20 0 21 0 10537201 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140584410924248 140585571285557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=20185] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/20185/stat : 20185 (java) S 19780 19783 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10537220 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140584413029832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1772.65
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.7 s]
/proc/loadavg: 2.06 2.03 2.01 3/217 20187
/proc/meminfo: memFree=27395348/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 30371 0 1 0 179811 194 0 0 20 0 21 0 10362896 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2456183 291422 2287 9 0 2446860 0
[pid=19783/tid=19785] ppid=19780 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/19783/task/19785/stat : 19785 (java) S 19780 19783 11533 0 -1 4202560 2447 0 1 0 59 15 0 0 20 0 21 0 10362897 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585740833672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19786] ppid=19780 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/19783/task/19786/stat : 19786 (java) S 19780 19783 11533 0 -1 4202560 328 0 0 0 22 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585702324392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19787] ppid=19780 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/19783/task/19787/stat : 19787 (java) S 19780 19783 11533 0 -1 4202560 71 0 0 0 19 3 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585701271848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19788] ppid=19780 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/19783/task/19788/stat : 19788 (java) S 19780 19783 11533 0 -1 4202560 74 0 0 0 19 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585700219304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19789] ppid=19780 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/19783/task/19789/stat : 19789 (java) S 19780 19783 11533 0 -1 4202560 127 0 0 0 20 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585699166760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19790] ppid=19780 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/19783/task/19790/stat : 19790 (java) S 19780 19783 11533 0 -1 4202560 169 0 0 0 23 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585698114216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19791] ppid=19780 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/19783/task/19791/stat : 19791 (java) S 19780 19783 11533 0 -1 4202560 77 0 0 0 19 2 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585697061672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19792] ppid=19780 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/19783/task/19792/stat : 19792 (java) S 19780 19783 11533 0 -1 4202560 206 0 0 0 19 5 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585696009128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19793] ppid=19780 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/19783/task/19793/stat : 19793 (java) S 19780 19783 11533 0 -1 4202560 147 0 0 0 23 5 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585694956584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19794] ppid=19780 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/19783/task/19794/stat : 19794 (java) S 19780 19783 11533 0 -1 4202560 528 0 0 0 1 7 0 0 20 0 21 0 10362900 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585564342376 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19795] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19795/stat : 19795 (java) S 19780 19783 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10362900 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585563288696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19796] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19796/stat : 19796 (java) S 19780 19783 11533 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 10362900 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585562236040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19797] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19797/stat : 19797 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10362902 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585561184784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19798] ppid=19780 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/19783/task/19798/stat : 19798 (java) S 19780 19783 11533 0 -1 4202560 8181 0 0 0 127 3 0 0 20 0 21 0 10362902 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585560132152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19799] ppid=19780 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/19783/task/19799/stat : 19799 (java) S 19780 19783 11533 0 -1 4202560 14314 0 0 0 179 2 0 0 20 0 21 0 10362902 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585559079608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19800] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19800/stat : 19800 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10362903 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585558027256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19801] ppid=19780 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/19783/task/19801/stat : 19801 (java) S 19780 19783 11533 0 -1 4202560 106 0 0 0 10 19 0 0 20 0 21 0 10362903 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585556974920 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19804] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19804/stat : 19804 (java) S 19780 19783 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10362916 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140584411976744 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=20184] ppid=19780 vsize=9824732 CPUtime=66.63 cores=0,2,4,6
/proc/19783/task/20184/stat : 20184 (java) R 19780 19783 11533 0 -1 4202560 42 0 0 0 6660 3 0 0 20 0 21 0 10537201 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140584410924248 140585571285557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=20185] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/20185/stat : 20185 (java) S 19780 19783 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10537220 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140584413029832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19783 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1809.7 s]
/proc/loadavg: 2.06 2.03 2.01 3/217 20187
/proc/meminfo: memFree=27395348/32872528 swapFree=162364/176672
[pid=19783] ppid=19780 vsize=9824732 CPUtime=1800.05 cores=0,2,4,6
/proc/19783/stat : 19783 (java) S 19780 19783 11533 0 -1 4202496 30371 0 1 0 179811 194 0 0 20 0 21 0 10362896 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140734608135120 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19783/statm: 2456183 291422 2287 9 0 2446860 0
[pid=19783/tid=19785] ppid=19780 vsize=9824732 CPUtime=0.74 cores=0,2,4,6
/proc/19783/task/19785/stat : 19785 (java) S 19780 19783 11533 0 -1 4202560 2447 0 1 0 59 15 0 0 20 0 21 0 10362897 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585740833672 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19786] ppid=19780 vsize=9824732 CPUtime=0.26 cores=0,2,4,6
/proc/19783/task/19786/stat : 19786 (java) S 19780 19783 11533 0 -1 4202560 328 0 0 0 22 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585702324392 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19787] ppid=19780 vsize=9824732 CPUtime=0.22 cores=0,2,4,6
/proc/19783/task/19787/stat : 19787 (java) S 19780 19783 11533 0 -1 4202560 71 0 0 0 19 3 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585701271848 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19788] ppid=19780 vsize=9824732 CPUtime=0.23 cores=0,2,4,6
/proc/19783/task/19788/stat : 19788 (java) S 19780 19783 11533 0 -1 4202560 74 0 0 0 19 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585700219304 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19789] ppid=19780 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/19783/task/19789/stat : 19789 (java) S 19780 19783 11533 0 -1 4202560 127 0 0 0 20 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585699166760 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19790] ppid=19780 vsize=9824732 CPUtime=0.27 cores=0,2,4,6
/proc/19783/task/19790/stat : 19790 (java) S 19780 19783 11533 0 -1 4202560 169 0 0 0 23 4 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585698114216 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19791] ppid=19780 vsize=9824732 CPUtime=0.21 cores=0,2,4,6
/proc/19783/task/19791/stat : 19791 (java) S 19780 19783 11533 0 -1 4202560 77 0 0 0 19 2 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585697061672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19792] ppid=19780 vsize=9824732 CPUtime=0.24 cores=0,2,4,6
/proc/19783/task/19792/stat : 19792 (java) S 19780 19783 11533 0 -1 4202560 206 0 0 0 19 5 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585696009128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=19793] ppid=19780 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/19783/task/19793/stat : 19793 (java) S 19780 19783 11533 0 -1 4202560 147 0 0 0 23 5 0 0 20 0 21 0 10362899 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585694956584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19794] ppid=19780 vsize=9824732 CPUtime=0.08 cores=0,2,4,6
/proc/19783/task/19794/stat : 19794 (java) S 19780 19783 11533 0 -1 4202560 528 0 0 0 1 7 0 0 20 0 21 0 10362900 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585564342376 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19795] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19795/stat : 19795 (java) S 19780 19783 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 10362900 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585563288696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19796] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19796/stat : 19796 (java) S 19780 19783 11533 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 21 0 10362900 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585562236040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19797] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19797/stat : 19797 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10362902 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585561184784 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19783/tid=19798] ppid=19780 vsize=9824732 CPUtime=1.3 cores=0,2,4,6
/proc/19783/task/19798/stat : 19798 (java) S 19780 19783 11533 0 -1 4202560 8181 0 0 0 127 3 0 0 20 0 21 0 10362902 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585560132152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19783/tid=19799] ppid=19780 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/19783/task/19799/stat : 19799 (java) S 19780 19783 11533 0 -1 4202560 14314 0 0 0 179 2 0 0 20 0 21 0 10362902 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585559079608 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19800] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19800/stat : 19800 (java) S 19780 19783 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 10362903 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585558027256 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19801] ppid=19780 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/19783/task/19801/stat : 19801 (java) S 19780 19783 11533 0 -1 4202560 106 0 0 0 10 19 0 0 20 0 21 0 10362903 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140585556974920 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=19804] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/19804/stat : 19804 (java) S 19780 19783 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 10362916 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140584411976744 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19783/tid=20184] ppid=19780 vsize=9824732 CPUtime=66.63 cores=0,2,4,6
/proc/19783/task/20184/stat : 20184 (java) R 19780 19783 11533 0 -1 4202560 42 0 0 0 6660 3 0 0 20 0 21 0 10537201 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140584410924248 140585571285557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19783/tid=20185] ppid=19780 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19783/task/20185/stat : 20185 (java) S 19780 19783 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 21 0 10537220 10060525568 291422 33554432000 1073741824 1073778376 140734608143984 140584413029832 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9824732
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.0100029
# lost CPU user time (s): 0.0300004
# lost CPU system time (s): -0.02
Real time (s): 1809.75
CPU time (s): 1800.47
CPU user time (s): 1798.27
CPU system time (s): 2.19966
CPU usage (%): 99.4871
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.24
system time used= 2.21966
maximum resident set size= 1170136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30398
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77849
involuntary context switches= 6820
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0245 second user time and 13.7319 second system time
The end