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-4080898-1465311949/watcher-4080898-1465311949 -o /tmp/evaluation-result-4080898-1465311949/solver-4080898-1465311949 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465311047-18692 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080898-1465311949.opb
pid=18889
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: 4.21 4.05 3.26 3/172 18892
/proc/meminfo: memFree=30440456/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/18892/stat : 18892 (java) D 18889 18892 18675 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 113129580 2560000 46 33554432000 1073741824 1073778376 140734778669440 140734778666568 219504799015 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/18892/statm: 625 46 37 9 0 29 0
[startup+0.100059 s]
/proc/loadavg: 4.21 4.05 3.26 3/172 18892
/proc/meminfo: memFree=30440456/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 4410 0 1 0 8 1 0 0 20 0 18 0 113129580 9787879424 6038 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2389619 6038 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200327 s]
/proc/loadavg: 4.21 4.05 3.26 3/172 18892
/proc/meminfo: memFree=30440456/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 5037 0 1 0 25 2 0 0 20 0 18 0 113129580 9787879424 11477 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2389619 11477 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300362 s]
/proc/loadavg: 4.21 4.05 3.26 3/172 18892
/proc/meminfo: memFree=30440456/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 6036 0 1 0 45 2 0 0 20 0 18 0 113129580 9787879424 15992 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2389619 15992 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700275 s]
/proc/loadavg: 4.21 4.05 3.26 3/172 18892
/proc/meminfo: memFree=30440456/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9558476 CPUtime=0.97 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 6231 0 1 0 91 6 0 0 20 0 18 0 113129580 9787879424 47330 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2389619 47330 2248 9 0 2380296 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 9558476
[startup+1.51004 s]
/proc/loadavg: 4.03 4.02 3.25 5/211 18938
/proc/meminfo: memFree=29980848/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9558476 CPUtime=3.09 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 22993 0 1 0 290 19 0 0 20 0 18 0 113129580 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2389619 104591 2264 9 0 2380296 0
[pid=18892/tid=18894] ppid=18889 vsize=9558476 CPUtime=1.34 cores=1,3,5,7
/proc/18892/task/18894/stat : 18894 (java) R 18889 18892 18675 0 -1 4202560 2518 0 1 0 130 4 0 0 20 0 18 0 113129582 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582791830376 140582617953808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18895] ppid=18889 vsize=9558476 CPUtime=0.06 cores=1,3,5,7
/proc/18892/task/18895/stat : 18895 (java) S 18889 18892 18675 0 -1 4202560 258 0 0 0 4 2 0 0 20 0 18 0 113129583 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582753323560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18896] ppid=18889 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/18892/task/18896/stat : 18896 (java) S 18889 18892 18675 0 -1 4202560 118 0 0 0 2 1 0 0 20 0 18 0 113129583 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582752270760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18892/tid=18897] ppid=18889 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/18892/task/18897/stat : 18897 (java) S 18889 18892 18675 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 113129583 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582751217960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18898] ppid=18889 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/18892/task/18898/stat : 18898 (java) S 18889 18892 18675 0 -1 4202560 130 0 0 0 7 3 0 0 20 0 18 0 113129583 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582750165160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18899] ppid=18889 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/18892/task/18899/stat : 18899 (java) S 18889 18892 18675 0 -1 4202560 30 0 0 0 4 1 0 0 20 0 18 0 113129583 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582749113384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18900] ppid=18889 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/18892/task/18900/stat : 18900 (java) S 18889 18892 18675 0 -1 4202560 23 0 0 0 2 1 0 0 20 0 18 0 113129583 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582748060584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18901] ppid=18889 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/18892/task/18901/stat : 18901 (java) S 18889 18892 18675 0 -1 4202560 26 0 0 0 2 1 0 0 20 0 18 0 113129583 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582747007784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18902] ppid=18889 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/18892/task/18902/stat : 18902 (java) S 18889 18892 18675 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 18 0 113129583 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582745954984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18903] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18903/stat : 18903 (java) S 18889 18892 18675 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 113129584 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582615763432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18904] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18904/stat : 18904 (java) S 18889 18892 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 113129585 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582614709496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18905] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18905/stat : 18905 (java) S 18889 18892 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 113129585 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582613656584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18906] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18906/stat : 18906 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 113129587 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582612605072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18907] ppid=18889 vsize=9558476 CPUtime=0.65 cores=1,3,5,7
/proc/18892/task/18907/stat : 18907 (java) R 18889 18892 18675 0 -1 4202560 7484 0 0 0 63 2 0 0 20 0 18 0 113129587 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582611539384 140582795949505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18908] ppid=18889 vsize=9558476 CPUtime=0.61 cores=1,3,5,7
/proc/18892/task/18908/stat : 18908 (java) S 18889 18892 18675 0 -1 4202560 10924 0 0 0 58 3 0 0 20 0 18 0 113129587 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582610500408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18909] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18909/stat : 18909 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 113129587 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582609447800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18910] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18910/stat : 18910 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 113129587 9787879424 104591 33554432000 1073741824 1073778376 140735518729232 140582608395208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9558476
[startup+3.10086 s]
/proc/loadavg: 4.03 4.02 3.25 3/211 18938
/proc/meminfo: memFree=28999960/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9558476 CPUtime=5.33 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 26404 0 1 0 477 56 0 0 20 0 18 0 113129580 9787879424 527382 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2389619 527382 2264 9 0 2380296 0
[pid=18892/tid=18894] ppid=18889 vsize=9558476 CPUtime=2.7 cores=1,3,5,7
/proc/18892/task/18894/stat : 18894 (java) R 18889 18892 18675 0 -1 4202560 3926 0 1 0 243 27 0 0 20 0 18 0 113129582 9787879424 527382 33554432000 1073741824 1073778376 140735518729232 140582791823312 140582799596634 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18895] ppid=18889 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/18892/task/18895/stat : 18895 (java) S 18889 18892 18675 0 -1 4202560 507 0 0 0 14 4 0 0 20 0 18 0 113129583 9787879424 527382 33554432000 1073741824 1073778376 140735518729232 140582753323560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18896] ppid=18889 vsize=9558476 CPUtime=0.16 cores=1,3,5,7
/proc/18892/task/18896/stat : 18896 (java) S 18889 18892 18675 0 -1 4202560 257 0 0 0 13 3 0 0 20 0 18 0 113129583 9787879424 527382 33554432000 1073741824 1073778376 140735518729232 140582752270760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18897] ppid=18889 vsize=9558476 CPUtime=0.14 cores=1,3,5,7
/proc/18892/task/18897/stat : 18897 (java) S 18889 18892 18675 0 -1 4202560 248 0 0 0 11 3 0 0 20 0 18 0 113129583 9787879424 527382 33554432000 1073741824 1073778376 140735518729232 140582751217960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18892/tid=18898] ppid=18889 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/18892/task/18898/stat : 18898 (java) S 18889 18892 18675 0 -1 4202560 159 0 0 0 17 4 0 0 20 0 18 0 113129583 9787879424 527382 33554432000 1073741824 1073778376 140735518729232 140582750165160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18899] ppid=18889 vsize=9558476 CPUtime=0.15 cores=1,3,5,7
/proc/18892/task/18899/stat : 18899 (java) S 18889 18892 18675 0 -1 4202560 180 0 0 0 12 3 0 0 20 0 18 0 113129583 9787879424 527382 33554432000 1073741824 1073778376 140735518729232 140582749113384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18892/tid=18900] ppid=18889 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/18892/task/18900/stat : 18900 (java) S 18889 18892 18675 0 -1 4202560 93 0 0 0 10 3 0 0 20 0 18 0 113129583 9787879424 527382 33554432000 1073741824 1073778376 140735518729232 140582748060584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18892/tid=18901] ppid=18889 vsize=9558476 CPUtime=0.13 cores=1,3,5,7
/proc/18892/task/18901/stat : 18901 (java) S 18889 18892 18675 0 -1 4202560 324 0 0 0 11 2 0 0 20 0 18 0 113129583 9787879424 527382 33554432000 1073741824 1073778376 140735518729232 140582747007784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18902] ppid=18889 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/18892/task/18902/stat : 18902 (java) S 18889 18892 18675 0 -1 4202560 75 0 0 0 8 4 0 0 20 0 18 0 113129583 9787879424 527894 33554432000 1073741824 1073778376 140735518729232 140582745954984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18903] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18903/stat : 18903 (java) S 18889 18892 18675 0 -1 4202560 975 0 0 0 0 0 0 0 20 0 18 0 113129584 9787879424 527894 33554432000 1073741824 1073778376 140735518729232 140582615763432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18904] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18904/stat : 18904 (java) S 18889 18892 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 113129585 9787879424 527894 33554432000 1073741824 1073778376 140735518729232 140582614709496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18905] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18905/stat : 18905 (java) S 18889 18892 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 113129585 9787879424 527894 33554432000 1073741824 1073778376 140735518729232 140582613656584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18906] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18906/stat : 18906 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 113129587 9787879424 527894 33554432000 1073741824 1073778376 140735518729232 140582612605072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18907] ppid=18889 vsize=9558476 CPUtime=0.65 cores=1,3,5,7
/proc/18892/task/18907/stat : 18907 (java) S 18889 18892 18675 0 -1 4202560 7484 0 0 0 63 2 0 0 20 0 18 0 113129587 9787879424 527894 33554432000 1073741824 1073778376 140735518729232 140582611553208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18908] ppid=18889 vsize=9558476 CPUtime=0.61 cores=1,3,5,7
/proc/18892/task/18908/stat : 18908 (java) S 18889 18892 18675 0 -1 4202560 10924 0 0 0 58 3 0 0 20 0 18 0 113129587 9787879424 527894 33554432000 1073741824 1073778376 140735518729232 140582610500408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18909] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18909/stat : 18909 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 113129587 9787879424 527894 33554432000 1073741824 1073778376 140735518729232 140582609447800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18910] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18910/stat : 18910 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 113129587 9787879424 527894 33554432000 1073741824 1073778376 140735518729232 140582608395208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 9558476
[startup+6.30089 s]
/proc/loadavg: 3.87 3.99 3.25 3/211 18938
/proc/meminfo: memFree=24546708/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9558476 CPUtime=9.99 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 29603 0 1 0 911 88 0 0 20 0 18 0 113129580 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2389619 739637 2264 9 0 2380296 0
[pid=18892/tid=18894] ppid=18889 vsize=9558476 CPUtime=5.36 cores=1,3,5,7
/proc/18892/task/18894/stat : 18894 (java) R 18889 18892 18675 0 -1 4202560 4233 0 1 0 500 36 0 0 20 0 18 0 113129582 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582791831136 140582618284639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18895] ppid=18889 vsize=9558476 CPUtime=0.41 cores=1,3,5,7
/proc/18892/task/18895/stat : 18895 (java) S 18889 18892 18675 0 -1 4202560 677 0 0 0 34 7 0 0 20 0 18 0 113129583 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582753323560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18896] ppid=18889 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/18892/task/18896/stat : 18896 (java) S 18889 18892 18675 0 -1 4202560 300 0 0 0 31 5 0 0 20 0 18 0 113129583 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582752270760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18897] ppid=18889 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/18892/task/18897/stat : 18897 (java) S 18889 18892 18675 0 -1 4202560 402 0 0 0 35 5 0 0 20 0 18 0 113129583 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582751217960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18898] ppid=18889 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/18892/task/18898/stat : 18898 (java) S 18889 18892 18675 0 -1 4202560 466 0 0 0 44 8 0 0 20 0 18 0 113129583 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582750165160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18899] ppid=18889 vsize=9558476 CPUtime=0.4 cores=1,3,5,7
/proc/18892/task/18899/stat : 18899 (java) S 18889 18892 18675 0 -1 4202560 354 0 0 0 35 5 0 0 20 0 18 0 113129583 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582749113384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18900] ppid=18889 vsize=9558476 CPUtime=0.42 cores=1,3,5,7
/proc/18892/task/18900/stat : 18900 (java) S 18889 18892 18675 0 -1 4202560 855 0 0 0 35 7 0 0 20 0 18 0 113129583 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582748060584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18901] ppid=18889 vsize=9558476 CPUtime=0.35 cores=1,3,5,7
/proc/18892/task/18901/stat : 18901 (java) S 18889 18892 18675 0 -1 4202560 840 0 0 0 30 5 0 0 20 0 18 0 113129583 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582747007784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18902] ppid=18889 vsize=9558476 CPUtime=0.36 cores=1,3,5,7
/proc/18892/task/18902/stat : 18902 (java) S 18889 18892 18675 0 -1 4202560 553 0 0 0 29 7 0 0 20 0 18 0 113129583 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582745954984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18903] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18903/stat : 18903 (java) S 18889 18892 18675 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 18 0 113129584 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582615763432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18904] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18904/stat : 18904 (java) S 18889 18892 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 113129585 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582614709496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18905] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18905/stat : 18905 (java) S 18889 18892 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 113129585 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582613656584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18906] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18906/stat : 18906 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 113129587 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582612605072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18907] ppid=18889 vsize=9558476 CPUtime=0.65 cores=1,3,5,7
/proc/18892/task/18907/stat : 18907 (java) S 18889 18892 18675 0 -1 4202560 7484 0 0 0 63 2 0 0 20 0 18 0 113129587 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582611553208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18908] ppid=18889 vsize=9558476 CPUtime=0.61 cores=1,3,5,7
/proc/18892/task/18908/stat : 18908 (java) S 18889 18892 18675 0 -1 4202560 10924 0 0 0 58 3 0 0 20 0 18 0 113129587 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582610500408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18909] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18909/stat : 18909 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 113129587 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582609447800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18910] ppid=18889 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18910/stat : 18910 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 113129587 9787879424 739637 33554432000 1073741824 1073778376 140735518729232 140582608395208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (KiB) 9558476
[startup+12.701 s]
/proc/loadavg: 3.96 4.00 3.26 5/219 18946
/proc/meminfo: memFree=24524256/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9824732 CPUtime=21.86 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 29705 0 1 0 2096 90 0 0 20 0 22 0 113129580 10060525568 738258 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2456183 738258 2284 9 0 2446860 0
################
# More data... #
################
/proc/18892/task/18897/stat : 18897 (java) S 18889 18892 18675 0 -1 4202560 402 0 0 0 35 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582751217960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18898] ppid=18889 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18892/task/18898/stat : 18898 (java) S 18889 18892 18675 0 -1 4202560 466 0 0 0 44 8 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582750165160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18899] ppid=18889 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/18892/task/18899/stat : 18899 (java) S 18889 18892 18675 0 -1 4202560 354 0 0 0 35 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582749113384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18900] ppid=18889 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/18892/task/18900/stat : 18900 (java) S 18889 18892 18675 0 -1 4202560 855 0 0 0 35 7 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582748060584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18901] ppid=18889 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/18892/task/18901/stat : 18901 (java) S 18889 18892 18675 0 -1 4202560 840 0 0 0 30 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582747007784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18902] ppid=18889 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/18892/task/18902/stat : 18902 (java) S 18889 18892 18675 0 -1 4202560 553 0 0 0 29 7 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582745954984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18903] ppid=18889 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18892/task/18903/stat : 18903 (java) S 18889 18892 18675 0 -1 4202560 1271 0 0 0 0 2 0 0 20 0 22 0 113129584 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582615763432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18904] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18904/stat : 18904 (java) S 18889 18892 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 113129585 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582614709496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18905] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18905/stat : 18905 (java) S 18889 18892 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 113129585 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582613656584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18906] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18906/stat : 18906 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582612605072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18907] ppid=18889 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/18892/task/18907/stat : 18907 (java) S 18889 18892 18675 0 -1 4202560 7501 0 0 0 136 2 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582611553208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18908] ppid=18889 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18892/task/18908/stat : 18908 (java) S 18889 18892 18675 0 -1 4202560 10957 0 0 0 120 3 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582610500408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18892/tid=18909] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18909/stat : 18909 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582609447800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18910] ppid=18889 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18892/task/18910/stat : 18910 (java) S 18889 18892 18675 0 -1 4202560 47 0 0 0 18 23 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582608395208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18939] ppid=18889 vsize=9824732 CPUtime=811.83 cores=1,3,5,7
/proc/18892/task/18939/stat : 18939 (java) R 18889 18892 18675 0 -1 4202560 29 0 0 0 81170 13 0 0 20 0 22 0 113130413 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582607340136 140582619078479 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18940] ppid=18889 vsize=9824732 CPUtime=811.77 cores=1,3,5,7
/proc/18892/task/18940/stat : 18940 (java) R 18889 18892 18675 0 -1 4202560 29 0 0 0 81165 12 0 0 20 0 22 0 113130413 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582606285304 140582618781637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18941] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18941/stat : 18941 (java) S 18889 18892 18675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 113130426 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582605235112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18942] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18942/stat : 18942 (java) S 18889 18892 18675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 113130426 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582604182312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1641.16
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.23 4.19 3.82 6/220 18969
/proc/meminfo: memFree=24528376/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9824732 CPUtime=1761.16 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 29798 0 1 0 176013 103 0 0 20 0 22 0 113129580 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2456183 737667 2289 9 0 2446860 0
[pid=18892/tid=18894] ppid=18889 vsize=9824732 CPUtime=7.41 cores=1,3,5,7
/proc/18892/task/18894/stat : 18894 (java) S 18889 18892 18675 0 -1 4202560 4248 0 1 0 703 38 0 0 20 0 22 0 113129582 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582791832440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18895] ppid=18889 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18892/task/18895/stat : 18895 (java) S 18889 18892 18675 0 -1 4202560 677 0 0 0 34 7 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582753323560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18896] ppid=18889 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/18892/task/18896/stat : 18896 (java) S 18889 18892 18675 0 -1 4202560 300 0 0 0 31 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582752270760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18897] ppid=18889 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/18892/task/18897/stat : 18897 (java) S 18889 18892 18675 0 -1 4202560 402 0 0 0 35 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582751217960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18898] ppid=18889 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18892/task/18898/stat : 18898 (java) S 18889 18892 18675 0 -1 4202560 466 0 0 0 44 8 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582750165160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18899] ppid=18889 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/18892/task/18899/stat : 18899 (java) S 18889 18892 18675 0 -1 4202560 354 0 0 0 35 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582749113384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18900] ppid=18889 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/18892/task/18900/stat : 18900 (java) S 18889 18892 18675 0 -1 4202560 855 0 0 0 35 7 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582748060584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18901] ppid=18889 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/18892/task/18901/stat : 18901 (java) S 18889 18892 18675 0 -1 4202560 840 0 0 0 30 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582747007784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18902] ppid=18889 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/18892/task/18902/stat : 18902 (java) S 18889 18892 18675 0 -1 4202560 553 0 0 0 29 7 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582745954984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18903] ppid=18889 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18892/task/18903/stat : 18903 (java) S 18889 18892 18675 0 -1 4202560 1271 0 0 0 0 2 0 0 20 0 22 0 113129584 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582615763432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18904] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18904/stat : 18904 (java) S 18889 18892 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 113129585 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582614709496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18905] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18905/stat : 18905 (java) S 18889 18892 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 113129585 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582613656584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18906] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18906/stat : 18906 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582612605072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18907] ppid=18889 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/18892/task/18907/stat : 18907 (java) S 18889 18892 18675 0 -1 4202560 7501 0 0 0 136 2 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582611553208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18908] ppid=18889 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18892/task/18908/stat : 18908 (java) S 18889 18892 18675 0 -1 4202560 10957 0 0 0 120 3 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582610500408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18892/tid=18909] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18909/stat : 18909 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582609447800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18910] ppid=18889 vsize=9824732 CPUtime=0.44 cores=1,3,5,7
/proc/18892/task/18910/stat : 18910 (java) S 18889 18892 18675 0 -1 4202560 51 0 0 0 20 24 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582608395208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18939] ppid=18889 vsize=9824732 CPUtime=871.68 cores=1,3,5,7
/proc/18892/task/18939/stat : 18939 (java) R 18889 18892 18675 0 -1 4202560 29 0 0 0 87154 14 0 0 20 0 22 0 113130413 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582607340136 140582619037893 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18940] ppid=18889 vsize=9824732 CPUtime=871.62 cores=1,3,5,7
/proc/18892/task/18940/stat : 18940 (java) R 18889 18892 18675 0 -1 4202560 29 0 0 0 87149 13 0 0 20 0 22 0 113130413 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582606285304 140582618781537 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18941] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18941/stat : 18941 (java) S 18889 18892 18675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 113130426 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582605235112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18942] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18942/stat : 18942 (java) S 18889 18892 18675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 113130426 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582604182312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1761.16
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.801 s]
/proc/loadavg: 4.30 4.21 3.83 5/220 18970
/proc/meminfo: memFree=24528124/32872528 swapFree=12208/1156848
[pid=18892] ppid=18889 vsize=9824732 CPUtime=1800.15 cores=1,3,5,7
/proc/18892/stat : 18892 (java) S 18889 18892 18675 0 -1 4202496 29800 0 1 0 179912 103 0 0 20 0 22 0 113129580 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140735518720368 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18892/statm: 2456183 737667 2289 9 0 2446860 0
[pid=18892/tid=18894] ppid=18889 vsize=9824732 CPUtime=7.41 cores=1,3,5,7
/proc/18892/task/18894/stat : 18894 (java) S 18889 18892 18675 0 -1 4202560 4248 0 1 0 703 38 0 0 20 0 22 0 113129582 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582791832440 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18895] ppid=18889 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/18892/task/18895/stat : 18895 (java) S 18889 18892 18675 0 -1 4202560 677 0 0 0 34 7 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582753323560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18896] ppid=18889 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/18892/task/18896/stat : 18896 (java) S 18889 18892 18675 0 -1 4202560 300 0 0 0 31 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582752270760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18897] ppid=18889 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/18892/task/18897/stat : 18897 (java) S 18889 18892 18675 0 -1 4202560 402 0 0 0 35 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582751217960 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18898] ppid=18889 vsize=9824732 CPUtime=0.52 cores=1,3,5,7
/proc/18892/task/18898/stat : 18898 (java) S 18889 18892 18675 0 -1 4202560 466 0 0 0 44 8 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582750165160 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18899] ppid=18889 vsize=9824732 CPUtime=0.4 cores=1,3,5,7
/proc/18892/task/18899/stat : 18899 (java) S 18889 18892 18675 0 -1 4202560 354 0 0 0 35 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582749113384 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18900] ppid=18889 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/18892/task/18900/stat : 18900 (java) S 18889 18892 18675 0 -1 4202560 855 0 0 0 35 7 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582748060584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18901] ppid=18889 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/18892/task/18901/stat : 18901 (java) S 18889 18892 18675 0 -1 4202560 840 0 0 0 30 5 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582747007784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18902] ppid=18889 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/18892/task/18902/stat : 18902 (java) S 18889 18892 18675 0 -1 4202560 553 0 0 0 29 7 0 0 20 0 22 0 113129583 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582745954984 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18903] ppid=18889 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/18892/task/18903/stat : 18903 (java) S 18889 18892 18675 0 -1 4202560 1271 0 0 0 0 2 0 0 20 0 22 0 113129584 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582615763432 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18904] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18904/stat : 18904 (java) S 18889 18892 18675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 113129585 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582614709496 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18905] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18905/stat : 18905 (java) S 18889 18892 18675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 113129585 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582613656584 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18906] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18906/stat : 18906 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582612605072 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18907] ppid=18889 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/18892/task/18907/stat : 18907 (java) S 18889 18892 18675 0 -1 4202560 7501 0 0 0 136 2 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582611553208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18908] ppid=18889 vsize=9824732 CPUtime=1.23 cores=1,3,5,7
/proc/18892/task/18908/stat : 18908 (java) S 18889 18892 18675 0 -1 4202560 10957 0 0 0 120 3 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582610500408 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18892/tid=18909] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18909/stat : 18909 (java) S 18889 18892 18675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582609447800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18910] ppid=18889 vsize=9824732 CPUtime=0.45 cores=1,3,5,7
/proc/18892/task/18910/stat : 18910 (java) S 18889 18892 18675 0 -1 4202560 53 0 0 0 20 25 0 0 20 0 22 0 113129587 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582608395208 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18892/tid=18939] ppid=18889 vsize=9824732 CPUtime=891.13 cores=1,3,5,7
/proc/18892/task/18939/stat : 18939 (java) R 18889 18892 18675 0 -1 4202560 29 0 0 0 89099 14 0 0 20 0 22 0 113130413 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582607340136 140582619078185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18940] ppid=18889 vsize=9824732 CPUtime=891.06 cores=1,3,5,7
/proc/18892/task/18940/stat : 18940 (java) R 18889 18892 18675 0 -1 4202560 29 0 0 0 89093 13 0 0 20 0 22 0 113130413 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582606285304 140582618781705 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18892/tid=18941] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18941/stat : 18941 (java) S 18889 18892 18675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 113130426 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582605235112 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18892/tid=18942] ppid=18889 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/18892/task/18942/stat : 18942 (java) S 18889 18892 18675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 113130426 10060525568 737667 33554432000 1073741824 1073778376 140735518729232 140582604182312 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
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 18892 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18892 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=599179
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=622753
# CPU time returned by wait4() is 1796.22
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 901.826
CPU time (s): 1800.15
CPU user time (s): 1799.12
CPU system time (s): 1.03
CPU usage (%): 199.612
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 1.62275
maximum resident set size= 2960092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29843
page faults= 1
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22074
involuntary context switches= 5805
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.74367 second user time and 4.94525 second system time
The end