runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454071-1307195726/watcher-3454071-1307195726 -o /tmp/evaluation-result-3454071-1307195726/solver-3454071-1307195726 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454071-1307195726.opb
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.68 1.77 2.34 2/397 13915
/proc/meminfo: memFree=30001840/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 1524 0 1 0 0 0 0 0 25 0 2 0 831172361 10681323520 1226 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2607745 1238 906 9 0 2598901 0
[pid=13915/tid=13916] ppid=13913 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) R 13913 13915 13883 0 -1 4202560 3917 0 1 0 0 0 0 0 25 0 2 0 831172361 10694979584 4733 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0299431 s]
/proc/loadavg: 1.68 1.77 2.34 2/397 13915
/proc/meminfo: memFree=30001840/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 10717 0 1 0 1 0 0 0 25 0 10 0 831172361 10705932288 10416 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2613753 10416 1515 9 0 2604501 0
[pid=13915/tid=13916] ppid=13913 vsize=10455012 CPUtime=0.01 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) R 13913 13915 13883 0 -1 4202560 9594 0 1 0 1 0 0 0 25 0 10 0 831172361 10705932288 10416 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 47996188819445 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.100932 s]
/proc/loadavg: 1.68 1.77 2.34 2/397 13915
/proc/meminfo: memFree=30001840/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10539960 CPUtime=0.1 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 13025 0 1 0 9 1 0 0 25 0 18 0 831172361 10792919040 12719 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2634990 12719 2092 9 0 2625724 0
[pid=13915/tid=13916] ppid=13913 vsize=10539960 CPUtime=0.08 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) R 13913 13915 13883 0 -1 4202560 11104 0 1 0 7 1 0 0 25 0 18 0 831172361 10792919040 12719 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 46912496211709 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539960
[startup+0.300897 s]
/proc/loadavg: 1.68 1.77 2.34 2/397 13915
/proc/meminfo: memFree=30001840/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10543140 CPUtime=0.47 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 16517 0 1 0 46 1 0 0 25 0 18 0 831172361 10796175360 15861 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2635785 15861 2211 9 0 2626519 0
[pid=13915/tid=13916] ppid=13913 vsize=10543140 CPUtime=0.28 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) R 13913 13915 13883 0 -1 4202560 13013 0 1 0 27 1 0 0 25 0 18 0 831172361 10796175360 15861 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 46912505164132 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10543140
[startup+0.700828 s]
/proc/loadavg: 1.68 1.77 2.34 2/397 13915
/proc/meminfo: memFree=30001840/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10554540 CPUtime=1.6 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 40435 0 1 0 156 4 0 0 25 0 18 0 831172361 10807848960 35264 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2638635 35264 2227 9 0 2629369 0
[pid=13915/tid=13916] ppid=13913 vsize=10554540 CPUtime=0.68 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) R 13913 13915 13883 0 -1 4202560 28329 0 1 0 65 3 0 0 25 0 18 0 831172361 10807848960 35264 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 46912505227952 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10554540
[startup+1.50069 s]
/proc/loadavg: 1.86 1.81 2.35 6/439 13960
/proc/meminfo: memFree=29466136/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10557832 CPUtime=3.86 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 88929 0 1 0 376 10 0 0 25 0 22 0 831172361 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2639458 81617 2242 9 0 2630192 0
[pid=13915/tid=13916] ppid=13913 vsize=10557832 CPUtime=0.83 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) S 13913 13915 13883 0 -1 4202560 53847 0 1 0 76 7 0 0 22 0 22 0 831172361 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13883 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13883 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 831172364 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 0 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13883 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831172364 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831172364 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290703281 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=10557832 CPUtime=0.93 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13883 0 -1 4202560 6071 0 0 0 93 0 0 0 25 0 22 0 831172367 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=10557832 CPUtime=0.96 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13883 0 -1 4202560 7211 0 0 0 95 1 0 0 24 0 22 0 831172367 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13934] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13934/stat : 13934 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831172367 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13960] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13960/stat : 13960 (java) S 13913 13915 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831172446 10811219968 81617 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 10557832
[startup+3.1014 s]
/proc/loadavg: 1.86 1.81 2.35 7/443 13970
/proc/meminfo: memFree=28299072/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10557832 CPUtime=5.77 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 139200 0 1 0 560 17 0 0 25 0 22 0 831172361 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2639458 131887 2244 9 0 2630192 0
[pid=13915/tid=13916] ppid=13913 vsize=10557832 CPUtime=0.84 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) S 13913 13915 13883 0 -1 4202560 54059 0 1 0 77 7 0 0 16 0 22 0 831172361 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13883 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172363 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13883 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 831172364 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 0 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13883 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831172364 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831172364 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290703281 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=10557832 CPUtime=1 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13883 0 -1 4202560 6079 0 0 0 100 0 0 0 15 0 22 0 831172367 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=10557832 CPUtime=1.04 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13883 0 -1 4202560 7222 0 0 0 103 1 0 0 15 0 22 0 831172367 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13934] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13934/stat : 13934 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831172367 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13960] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13960/stat : 13960 (java) S 13913 13915 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831172446 10811219968 131887 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 10557832
[startup+6.30091 s]
/proc/loadavg: 2.11 1.86 2.36 3/440 13991
/proc/meminfo: memFree=27235052/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10557832 CPUtime=9.44 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 238442 0 1 0 916 28 0 0 25 0 19 0 831172361 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2639458 230225 2246 9 0 2630192 0
[pid=13915/tid=13916] ppid=13913 vsize=10557832 CPUtime=0.87 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) S 13913 13915 13883 0 -1 4202560 54485 0 1 0 80 7 0 0 17 0 19 0 831172361 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831172363 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13883 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831172363 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831172363 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831172363 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831172363 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831172363 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831172363 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831172363 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13883 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831172364 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 0 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13883 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831172364 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13883 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831172364 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831172367 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290703281 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=10557832 CPUtime=1.15 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13883 0 -1 4202560 7470 0 0 0 115 0 0 0 15 0 19 0 831172367 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=10557832 CPUtime=1.11 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13883 0 -1 4202560 7231 0 0 0 110 1 0 0 15 0 19 0 831172367 10811219968 230225 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=23637680/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10557832 CPUtime=1631.52 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 729929 0 1 0 163067 85 0 0 25 0 22 0 831172361 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2639458 720994 2272 9 0 2630192 0
[pid=13915/tid=13916] ppid=13913 vsize=10557832 CPUtime=0.92 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) S 13913 13915 13883 0 -1 4202560 54920 0 1 0 85 7 0 0 15 0 22 0 831172361 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=10557832 CPUtime=0.19 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13883 0 -1 4202560 1883 0 0 0 19 0 0 0 15 0 22 0 831172363 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=10557832 CPUtime=0.15 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13883 0 -1 4202560 2263 0 0 0 15 0 0 0 15 0 22 0 831172363 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=10557832 CPUtime=0.14 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13883 0 -1 4202560 89 0 0 0 14 0 0 0 16 0 22 0 831172363 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=10557832 CPUtime=0.26 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13883 0 -1 4202560 826 0 0 0 26 0 0 0 16 0 22 0 831172363 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=10557832 CPUtime=0.18 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13883 0 -1 4202560 3364 0 0 0 18 0 0 0 15 0 22 0 831172363 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=10557832 CPUtime=0.2 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13883 0 -1 4202560 3967 0 0 0 20 0 0 0 15 0 22 0 831172363 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=10557832 CPUtime=0.18 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13883 0 -1 4202560 4352 0 0 0 18 0 0 0 15 0 22 0 831172363 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=10557832 CPUtime=0.26 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13883 0 -1 4202560 2703 0 0 0 26 0 0 0 16 0 22 0 831172363 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=10557832 CPUtime=7.39 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13883 0 -1 4202560 43264 0 0 0 735 4 0 0 15 0 22 0 831172364 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 0 0 16800975 18446604441823496256 0 0 -1 0 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13883 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 831172364 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13883 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 831172364 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290703281 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=10557832 CPUtime=1.35 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13883 0 -1 4202560 7480 0 0 0 135 0 0 0 15 0 22 0 831172367 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=10557832 CPUtime=1.52 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13883 0 -1 4202560 7285 0 0 0 151 1 0 0 15 0 22 0 831172367 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13934] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13934/stat : 13934 (java) S 13913 13915 13883 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 831172367 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=14052] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/14052/stat : 14052 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831176277 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=14080] ppid=13913 vsize=10557832 CPUtime=442.5 cores=0,2,4,6
/proc/13915/task/14080/stat : 14080 (java) R 13913 13915 13883 0 -1 4202560 15 0 0 0 44250 0 0 0 25 0 22 0 831209889 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 46912506210936 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13915/tid=14081] ppid=13913 vsize=10557832 CPUtime=442.44 cores=0,2,4,6
/proc/13915/task/14081/stat : 14081 (java) R 13913 13915 13883 0 -1 4202560 46009 0 0 0 44239 5 0 0 25 0 22 0 831209889 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 46912506087962 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=14082] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/14082/stat : 14082 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831209889 10811219968 720994 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1631.52
Current children cumulated vsize (KiB) 10557832
[startup+882.301 s]
/proc/loadavg: 4.00 3.90 3.35 5/443 14104
/proc/meminfo: memFree=22872792/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10557832 CPUtime=1751.22 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 912083 0 1 0 175017 105 0 0 25 0 22 0 831172361 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2639458 903139 2272 9 0 2630192 0
[pid=13915/tid=13916] ppid=13913 vsize=10557832 CPUtime=0.92 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) S 13913 13915 13883 0 -1 4202560 54921 0 1 0 85 7 0 0 15 0 22 0 831172361 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=10557832 CPUtime=0.2 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13883 0 -1 4202560 2365 0 0 0 20 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=10557832 CPUtime=0.16 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13883 0 -1 4202560 2268 0 0 0 16 0 0 0 15 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=10557832 CPUtime=0.16 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13883 0 -1 4202560 1145 0 0 0 16 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=10557832 CPUtime=0.27 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13883 0 -1 4202560 1648 0 0 0 27 0 0 0 15 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=10557832 CPUtime=0.19 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13883 0 -1 4202560 3768 0 0 0 19 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=10557832 CPUtime=0.22 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13883 0 -1 4202560 4812 0 0 0 22 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=10557832 CPUtime=0.2 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13883 0 -1 4202560 5432 0 0 0 20 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=10557832 CPUtime=0.27 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13883 0 -1 4202560 3408 0 0 0 27 0 0 0 15 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=10557832 CPUtime=7.73 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13883 0 -1 4202560 43266 0 0 0 769 4 0 0 15 0 22 0 831172364 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 0 0 16800975 18446604441823496256 0 0 -1 0 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13883 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 831172364 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13883 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 831172364 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290703281 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=10557832 CPUtime=1.35 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13883 0 -1 4202560 7480 0 0 0 135 0 0 0 15 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=10557832 CPUtime=1.52 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13883 0 -1 4202560 7286 0 0 0 151 1 0 0 15 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13934] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13934/stat : 13934 (java) S 13913 13915 13883 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=14052] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/14052/stat : 14052 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831176277 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=14080] ppid=13913 vsize=10557832 CPUtime=502.12 cores=0,2,4,6
/proc/13915/task/14080/stat : 14080 (java) R 13913 13915 13883 0 -1 4202560 515 0 0 0 50212 0 0 0 25 0 22 0 831209889 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 46912506114765 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13915/tid=14081] ppid=13913 vsize=10557832 CPUtime=502.07 cores=0,2,4,6
/proc/13915/task/14081/stat : 14081 (java) R 13913 13915 13883 0 -1 4202560 222256 0 0 0 50183 24 0 0 25 0 22 0 831209889 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 46912506153586 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=14082] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/14082/stat : 14082 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831209889 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1751.22
Current children cumulated vsize (KiB) 10557832
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+906.702 s]
/proc/loadavg: 4.00 3.90 3.37 3/420 14108
/proc/meminfo: memFree=26386624/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=10557832 CPUtime=1800.04 cores=0,2,4,6
/proc/13915/stat : 13915 (java) S 13913 13915 13883 0 -1 4202496 912083 0 1 0 179899 105 0 0 25 0 22 0 831172361 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 2639458 903139 2272 9 0 2630192 0
[pid=13915/tid=13916] ppid=13913 vsize=10557832 CPUtime=0.92 cores=0,2,4,6
/proc/13915/task/13916/stat : 13916 (java) S 13913 13915 13883 0 -1 4202560 54921 0 1 0 85 7 0 0 15 0 22 0 831172361 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13918] ppid=13913 vsize=10557832 CPUtime=0.2 cores=0,2,4,6
/proc/13915/task/13918/stat : 13918 (java) S 13913 13915 13883 0 -1 4202560 2365 0 0 0 20 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13919] ppid=13913 vsize=10557832 CPUtime=0.16 cores=0,2,4,6
/proc/13915/task/13919/stat : 13919 (java) S 13913 13915 13883 0 -1 4202560 2268 0 0 0 16 0 0 0 15 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13920] ppid=13913 vsize=10557832 CPUtime=0.16 cores=0,2,4,6
/proc/13915/task/13920/stat : 13920 (java) S 13913 13915 13883 0 -1 4202560 1145 0 0 0 16 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13921] ppid=13913 vsize=10557832 CPUtime=0.27 cores=0,2,4,6
/proc/13915/task/13921/stat : 13921 (java) S 13913 13915 13883 0 -1 4202560 1648 0 0 0 27 0 0 0 15 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=10557832 CPUtime=0.19 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) S 13913 13915 13883 0 -1 4202560 3768 0 0 0 19 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13923] ppid=13913 vsize=10557832 CPUtime=0.22 cores=0,2,4,6
/proc/13915/task/13923/stat : 13923 (java) S 13913 13915 13883 0 -1 4202560 4812 0 0 0 22 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13924] ppid=13913 vsize=10557832 CPUtime=0.2 cores=0,2,4,6
/proc/13915/task/13924/stat : 13924 (java) S 13913 13915 13883 0 -1 4202560 5432 0 0 0 20 0 0 0 16 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13925] ppid=13913 vsize=10557832 CPUtime=0.27 cores=0,2,4,6
/proc/13915/task/13925/stat : 13925 (java) S 13913 13915 13883 0 -1 4202560 3408 0 0 0 27 0 0 0 15 0 22 0 831172363 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13926] ppid=13913 vsize=10557832 CPUtime=7.73 cores=0,2,4,6
/proc/13915/task/13926/stat : 13926 (java) S 13913 13915 13883 0 -1 4202560 43266 0 0 0 769 4 0 0 15 0 22 0 831172364 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 0 0 16800975 18446604441823496256 0 0 -1 0 0 0 0
[pid=13915/tid=13927] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13927/stat : 13927 (java) S 13913 13915 13883 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 831172364 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13928] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13928/stat : 13928 (java) S 13913 13915 13883 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 831172364 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13930] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13930/stat : 13930 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290703281 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13931] ppid=13913 vsize=10557832 CPUtime=1.35 cores=0,2,4,6
/proc/13915/task/13931/stat : 13931 (java) S 13913 13915 13883 0 -1 4202560 7480 0 0 0 135 0 0 0 15 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 2 0 0 0
[pid=13915/tid=13932] ppid=13913 vsize=10557832 CPUtime=1.52 cores=0,2,4,6
/proc/13915/task/13932/stat : 13932 (java) S 13913 13915 13883 0 -1 4202560 7286 0 0 0 151 1 0 0 15 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=13933] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13933/stat : 13933 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290695577 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=13934] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/13934/stat : 13934 (java) S 13913 13915 13883 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 831172367 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 4 0 0 0
[pid=13915/tid=14052] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/14052/stat : 14052 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831176277 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 6 0 0 0
[pid=13915/tid=14080] ppid=13913 vsize=10557832 CPUtime=526.54 cores=0,2,4,6
/proc/13915/task/14080/stat : 14080 (java) R 13913 13915 13883 0 -1 4202560 515 0 0 0 52654 0 0 0 25 0 22 0 831209889 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 46912506210990 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13915/tid=14081] ppid=13913 vsize=10557832 CPUtime=526.48 cores=0,2,4,6
/proc/13915/task/14081/stat : 14081 (java) R 13913 13915 13883 0 -1 4202560 222256 0 0 0 52624 24 0 0 25 0 22 0 831209889 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 46912506087920 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13915/tid=14082] ppid=13913 vsize=10557832 CPUtime=0 cores=0,2,4,6
/proc/13915/task/14082/stat : 14082 (java) S 13913 13915 13883 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831209889 10811219968 903139 33554432000 1073741824 1073778376 140734671985728 18446744073709551615 237290696192 0 4 0 16800975 18446604441823496256 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 10557832
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+906.822 s]
/proc/loadavg: 4.00 3.90 3.37 3/420 14108
/proc/meminfo: memFree=26386624/32950904 swapFree=56615552/67111528
[pid=13915] ppid=13913 vsize=0 CPUtime=1800.18 cores=0,2,4,6
/proc/13915/stat : 13915 (java) Z 13913 13915 13883 0 -1 4203548 912111 0 1 0 179904 114 0 0 17 0 2 0 831172361 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13915/statm: 0 0 0 0 0 0 0
[pid=13915/tid=13922] ppid=13913 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/13915/task/13922/stat : 13922 (java) R 13913 13915 13883 0 -1 4203588 3768 0 0 0 19 9 0 0 15 0 2 0 831172363 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 906.866
CPU time (s): 1800.23
CPU user time (s): 1799.04
CPU system time (s): 1.18882
CPU usage (%): 198.511
Max. virtual memory (cumulated for all children) (KiB): 10560212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.18882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 912111
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22527
involuntary context switches= 20076
runsolver used 3.64245 second user time and 8.23375 second system time
The end