runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313374-1304100078/watcher-3313374-1304100078 -o /tmp/evaluation-result-3313374-1304100078/solver-3313374-1304100078 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313374-1304100078.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.45 7.72 7.90 2/198 5800
/proc/meminfo: memFree=26193532/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 1414 0 0 0 0 0 0 0 24 0 2 0 521607065 26714112 885 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 6793 888 679 9 0 381 0
[pid=5800/tid=5801] ppid=5798 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) R 5798 5800 5740 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 2 0 521607065 29065216 898 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210199725072 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0665221 s]
/proc/loadavg: 6.45 7.72 7.90 2/198 5800
/proc/meminfo: memFree=26193532/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=15674628 CPUtime=0.06 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 4369 0 1 0 5 1 0 0 24 0 18 0 521607065 16050819072 3808 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 3918657 3808 1778 9 0 3909376 0
[pid=5800/tid=5801] ppid=5798 vsize=15674628 CPUtime=0.05 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) R 5798 5800 5740 0 -1 4202560 2950 0 1 0 5 0 0 0 25 0 18 0 521607065 16050819072 3808 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210204333992 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15674628
[startup+0.104586 s]
/proc/loadavg: 6.45 7.72 7.90 2/198 5800
/proc/meminfo: memFree=26193532/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=15676072 CPUtime=0.11 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 5658 0 1 0 10 1 0 0 24 0 18 0 521607065 16052297728 5097 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 3919018 5098 2120 9 0 3909737 0
[pid=5800/tid=5801] ppid=5798 vsize=15676072 CPUtime=0.09 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) R 5798 5800 5740 0 -1 4202560 3524 0 1 0 8 1 0 0 18 0 18 0 521607065 16052297728 5098 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 47125211413566 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676072
[startup+0.300535 s]
/proc/loadavg: 6.45 7.72 7.90 2/198 5800
/proc/meminfo: memFree=26193532/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=15679800 CPUtime=0.51 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 16185 0 1 0 49 2 0 0 24 0 18 0 521607065 16056115200 14572 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 3919950 14578 2207 9 0 3910669 0
[pid=5800/tid=5801] ppid=5798 vsize=15679800 CPUtime=0.29 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) R 5798 5800 5740 0 -1 4202560 10983 0 1 0 27 2 0 0 18 0 18 0 521607065 16056115200 14581 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 46912505638995 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679800
[startup+0.700466 s]
/proc/loadavg: 6.45 7.72 7.90 2/198 5800
/proc/meminfo: memFree=26193532/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=15679800 CPUtime=0.92 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 43334 0 1 0 86 6 0 0 24 0 18 0 521607065 16056115200 41718 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 3919950 41718 2223 9 0 3910669 0
[pid=5800/tid=5801] ppid=5798 vsize=15679800 CPUtime=0.68 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) R 5798 5800 5740 0 -1 4202560 35512 0 1 0 62 6 0 0 18 0 18 0 521607065 16056115200 41718 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 46912505365703 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679800
[startup+1.50133 s]
/proc/loadavg: 6.45 7.72 7.90 3/216 5818
/proc/meminfo: memFree=26025860/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=15679800 CPUtime=1.75 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 77233 0 1 0 163 12 0 0 24 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 3919950 75614 2223 9 0 3910669 0
[pid=5800/tid=5801] ppid=5798 vsize=15679800 CPUtime=1.47 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) R 5798 5800 5740 0 -1 4202560 64837 0 1 0 137 10 0 0 19 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 46912505524080 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (java) S 5798 5800 5740 0 -1 4202560 399 0 0 0 0 0 0 0 15 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (java) S 5798 5800 5740 0 -1 4202560 42 0 0 0 0 0 0 0 15 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5805] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5805/stat : 5805 (java) S 5798 5800 5740 0 -1 4202560 719 0 0 0 0 0 0 0 15 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5806] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5806/stat : 5806 (java) S 5798 5800 5740 0 -1 4202560 1065 0 0 0 0 0 0 0 15 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5807] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5807/stat : 5807 (java) S 5798 5800 5740 0 -1 4202560 2008 0 0 0 0 0 0 0 16 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5808] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5808/stat : 5808 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5809] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5809/stat : 5809 (java) S 5798 5800 5740 0 -1 4202560 719 0 0 0 0 0 0 0 15 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5810] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5810/stat : 5810 (java) S 5798 5800 5740 0 -1 4202560 2055 0 0 0 0 0 0 0 15 0 18 0 521607065 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5811] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5811/stat : 5811 (java) S 5798 5800 5740 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 18 0 521607067 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463872 0 0 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5812] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5812/stat : 5812 (java) S 5798 5800 5740 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 521607067 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5813] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5813/stat : 5813 (java) S 5798 5800 5740 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 18 0 521607067 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5814] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5814/stat : 5814 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521607069 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216470961 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5815] ppid=5798 vsize=15679800 CPUtime=0.1 cores=1,3,5,7
/proc/5800/task/5815/stat : 5815 (java) S 5798 5800 5740 0 -1 4202560 2318 0 0 0 10 0 0 0 17 0 18 0 521607069 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5816] ppid=5798 vsize=15679800 CPUtime=0.12 cores=1,3,5,7
/proc/5800/task/5816/stat : 5816 (java) S 5798 5800 5740 0 -1 4202560 1499 0 0 0 12 0 0 0 25 0 18 0 521607069 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5817] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5817/stat : 5817 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521607069 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5818] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5818/stat : 5818 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521607069 16056115200 75614 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463872 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 15679800
[startup+3.10106 s]
/proc/loadavg: 6.18 7.64 7.87 3/216 5818
/proc/meminfo: memFree=25771420/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=15679800 CPUtime=3.44 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 146963 0 1 0 321 23 0 0 24 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 3919950 145341 2241 9 0 3910669 0
[pid=5800/tid=5801] ppid=5798 vsize=15679800 CPUtime=3.05 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) R 5798 5800 5740 0 -1 4202560 124980 0 1 0 285 20 0 0 23 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 46912505639221 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=15679800 CPUtime=0.01 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (java) S 5798 5800 5740 0 -1 4202560 1120 0 0 0 1 0 0 0 16 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (java) S 5798 5800 5740 0 -1 4202560 2662 0 0 0 0 0 0 0 15 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5805] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5805/stat : 5805 (java) S 5798 5800 5740 0 -1 4202560 5840 0 0 0 0 0 0 0 16 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5806] ppid=5798 vsize=15679800 CPUtime=0.01 cores=1,3,5,7
/proc/5800/task/5806/stat : 5806 (java) S 5798 5800 5740 0 -1 4202560 1129 0 0 0 1 0 0 0 16 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5807] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5807/stat : 5807 (java) S 5798 5800 5740 0 -1 4202560 2008 0 0 0 0 0 0 0 16 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5808] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5808/stat : 5808 (java) S 5798 5800 5740 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5809] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5809/stat : 5809 (java) S 5798 5800 5740 0 -1 4202560 1440 0 0 0 0 0 0 0 15 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5810] ppid=5798 vsize=15679800 CPUtime=0.01 cores=1,3,5,7
/proc/5800/task/5810/stat : 5810 (java) S 5798 5800 5740 0 -1 4202560 2061 0 0 0 1 0 0 0 16 0 18 0 521607065 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5811] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5811/stat : 5811 (java) S 5798 5800 5740 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 18 0 521607067 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463872 0 0 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5812] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5812/stat : 5812 (java) S 5798 5800 5740 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 521607067 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5813] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5813/stat : 5813 (java) S 5798 5800 5740 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 18 0 521607067 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5814] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5814/stat : 5814 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521607069 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216470961 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5815] ppid=5798 vsize=15679800 CPUtime=0.12 cores=1,3,5,7
/proc/5800/task/5815/stat : 5815 (java) S 5798 5800 5740 0 -1 4202560 2386 0 0 0 12 0 0 0 15 0 18 0 521607069 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5816] ppid=5798 vsize=15679800 CPUtime=0.14 cores=1,3,5,7
/proc/5800/task/5816/stat : 5816 (java) S 5798 5800 5740 0 -1 4202560 1507 0 0 0 14 0 0 0 15 0 18 0 521607069 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5817] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5817/stat : 5817 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521607069 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5818] ppid=5798 vsize=15679800 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5818/stat : 5818 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521607069 16056115200 145341 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463872 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 15679800
[startup+6.30153 s]
/proc/loadavg: 6.18 7.64 7.87 3/216 5818
/proc/meminfo: memFree=25049292/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=15678748 CPUtime=6.69 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 285233 0 1 0 632 37 0 0 24 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 3919687 283353 2241 9 0 3910406 0
[pid=5800/tid=5801] ppid=5798 vsize=15678748 CPUtime=6.23 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) R 5798 5800 5740 0 -1 4202560 252736 0 1 0 590 33 0 0 21 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 46912505639153 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=15678748 CPUtime=0.02 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (java) S 5798 5800 5740 0 -1 4202560 1120 0 0 0 2 0 0 0 15 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=15678748 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (java) S 5798 5800 5740 0 -1 4202560 2662 0 0 0 0 0 0 0 15 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5805] ppid=5798 vsize=15678748 CPUtime=0.03 cores=1,3,5,7
/proc/5800/task/5805/stat : 5805 (java) S 5798 5800 5740 0 -1 4202560 5841 0 0 0 2 1 0 0 15 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5806] ppid=5798 vsize=15678748 CPUtime=0.02 cores=1,3,5,7
/proc/5800/task/5806/stat : 5806 (java) S 5798 5800 5740 0 -1 4202560 1129 0 0 0 2 0 0 0 15 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5807] ppid=5798 vsize=15678748 CPUtime=0.01 cores=1,3,5,7
/proc/5800/task/5807/stat : 5807 (java) S 5798 5800 5740 0 -1 4202560 2009 0 0 0 1 0 0 0 15 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5808] ppid=5798 vsize=15678748 CPUtime=0.01 cores=1,3,5,7
/proc/5800/task/5808/stat : 5808 (java) S 5798 5800 5740 0 -1 4202560 6 0 0 0 1 0 0 0 15 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5809] ppid=5798 vsize=15678748 CPUtime=0.02 cores=1,3,5,7
/proc/5800/task/5809/stat : 5809 (java) S 5798 5800 5740 0 -1 4202560 11680 0 0 0 1 1 0 0 16 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5810] ppid=5798 vsize=15678748 CPUtime=0.01 cores=1,3,5,7
/proc/5800/task/5810/stat : 5810 (java) S 5798 5800 5740 0 -1 4202560 2062 0 0 0 1 0 0 0 15 0 18 0 521607065 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5811] ppid=5798 vsize=15678748 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5811/stat : 5811 (java) S 5798 5800 5740 0 -1 4202560 708 0 0 0 0 0 0 0 15 0 18 0 521607067 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463872 0 0 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5812] ppid=5798 vsize=15678748 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5812/stat : 5812 (java) S 5798 5800 5740 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 521607067 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5813] ppid=5798 vsize=15678748 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5813/stat : 5813 (java) S 5798 5800 5740 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 18 0 521607067 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5814] ppid=5798 vsize=15678748 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5814/stat : 5814 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521607069 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216470961 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5815] ppid=5798 vsize=15678748 CPUtime=0.12 cores=1,3,5,7
/proc/5800/task/5815/stat : 5815 (java) S 5798 5800 5740 0 -1 4202560 2386 0 0 0 12 0 0 0 15 0 18 0 521607069 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5816] ppid=5798 vsize=15678748 CPUtime=0.14 cores=1,3,5,7
/proc/5800/task/5816/stat : 5816 (java) S 5798 5800 5740 0 -1 4202560 1507 0 0 0 14 0 0 0 15 0 18 0 521607069 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5817] ppid=5798 vsize=15678748 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5817/stat : 5817 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 521607069 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5818] ppid=5798 vsize=15678748 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5818/stat : 5818 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 521607069 16055037952 283353 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463872 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=5800/tid=5801] ppid=5798 vsize=15758080 CPUtime=110.91 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) S 5798 5800 5740 0 -1 4202560 433620 0 1 0 11021 70 0 0 25 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=15758080 CPUtime=10.32 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (java) S 5798 5800 5740 0 -1 4202560 509313 0 0 0 947 85 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=15758080 CPUtime=10.86 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (java) S 5798 5800 5740 0 -1 4202560 437838 0 0 0 1021 65 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5805] ppid=5798 vsize=15758080 CPUtime=10.2 cores=1,3,5,7
/proc/5800/task/5805/stat : 5805 (java) S 5798 5800 5740 0 -1 4202560 451228 0 0 0 948 72 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5806] ppid=5798 vsize=15758080 CPUtime=11.01 cores=1,3,5,7
/proc/5800/task/5806/stat : 5806 (java) S 5798 5800 5740 0 -1 4202560 416124 0 0 0 1033 68 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5807] ppid=5798 vsize=15758080 CPUtime=9.94 cores=1,3,5,7
/proc/5800/task/5807/stat : 5807 (java) S 5798 5800 5740 0 -1 4202560 447080 0 0 0 924 70 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5808] ppid=5798 vsize=15758080 CPUtime=10.59 cores=1,3,5,7
/proc/5800/task/5808/stat : 5808 (java) S 5798 5800 5740 0 -1 4202560 629806 0 0 0 966 93 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5809] ppid=5798 vsize=15758080 CPUtime=10.15 cores=1,3,5,7
/proc/5800/task/5809/stat : 5809 (java) S 5798 5800 5740 0 -1 4202560 359410 0 0 0 947 68 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5810] ppid=5798 vsize=15758080 CPUtime=10.84 cores=1,3,5,7
/proc/5800/task/5810/stat : 5810 (java) S 5798 5800 5740 0 -1 4202560 435726 0 0 0 1014 70 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5811] ppid=5798 vsize=15758080 CPUtime=630.02 cores=1,3,5,7
/proc/5800/task/5811/stat : 5811 (java) R 5798 5800 5740 0 -1 4202560 248550 0 0 0 62951 51 0 0 23 0 22 0 521607067 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 47125210112427 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=5800/tid=5812] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5812/stat : 5812 (java) S 5798 5800 5740 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 521607067 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5813] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5813/stat : 5813 (java) S 5798 5800 5740 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 521607067 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5814] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5814/stat : 5814 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216470961 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5815] ppid=5798 vsize=15758080 CPUtime=1.39 cores=1,3,5,7
/proc/5800/task/5815/stat : 5815 (java) S 5798 5800 5740 0 -1 4202560 11079 0 0 0 138 1 0 0 15 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5816] ppid=5798 vsize=15758080 CPUtime=1.24 cores=1,3,5,7
/proc/5800/task/5816/stat : 5816 (java) S 5798 5800 5740 0 -1 4202560 5111 0 0 0 124 0 0 0 15 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5817] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5817/stat : 5817 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5818] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5818/stat : 5818 (java) S 5798 5800 5740 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463872 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5819] ppid=5798 vsize=15758080 CPUtime=355.65 cores=1,3,5,7
/proc/5800/task/5819/stat : 5819 (java) S 5798 5800 5740 0 -1 4202560 139 0 0 0 35564 1 0 0 15 0 22 0 521610707 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5820] ppid=5798 vsize=15758080 CPUtime=337.81 cores=1,3,5,7
/proc/5800/task/5820/stat : 5820 (java) S 5798 5800 5740 0 -1 4202560 121 0 0 0 33781 0 0 0 15 0 22 0 521610707 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5821] ppid=5798 vsize=15758080 CPUtime=407.45 cores=1,3,5,7
/proc/5800/task/5821/stat : 5821 (java) S 5798 5800 5740 0 -1 4202560 134 0 0 0 40745 0 0 0 15 0 22 0 521610708 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5822] ppid=5798 vsize=15758080 CPUtime=376.46 cores=1,3,5,7
/proc/5800/task/5822/stat : 5822 (java) S 5798 5800 5740 0 -1 4202560 85 0 0 0 37646 0 0 0 18 0 22 0 521610708 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2304.98
Current children cumulated vsize (KiB) 15758080
[startup+1242.3 s]
/proc/loadavg: 5.61 5.84 6.21 6/220 5857
/proc/meminfo: memFree=1316440/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=15758080 CPUtime=2374.07 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 4386865 0 1 0 236685 722 0 0 24 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 3939520 3859009 2295 9 0 3930239 0
[pid=5800/tid=5801] ppid=5798 vsize=15758080 CPUtime=110.91 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) S 5798 5800 5740 0 -1 4202560 433620 0 1 0 11021 70 0 0 25 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=15758080 CPUtime=10.32 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (java) S 5798 5800 5740 0 -1 4202560 509313 0 0 0 947 85 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=15758080 CPUtime=10.86 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (java) S 5798 5800 5740 0 -1 4202560 437838 0 0 0 1021 65 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5805] ppid=5798 vsize=15758080 CPUtime=10.2 cores=1,3,5,7
/proc/5800/task/5805/stat : 5805 (java) S 5798 5800 5740 0 -1 4202560 451228 0 0 0 948 72 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5806] ppid=5798 vsize=15758080 CPUtime=11.01 cores=1,3,5,7
/proc/5800/task/5806/stat : 5806 (java) S 5798 5800 5740 0 -1 4202560 416124 0 0 0 1033 68 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5807] ppid=5798 vsize=15758080 CPUtime=9.94 cores=1,3,5,7
/proc/5800/task/5807/stat : 5807 (java) S 5798 5800 5740 0 -1 4202560 447080 0 0 0 924 70 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5808] ppid=5798 vsize=15758080 CPUtime=10.59 cores=1,3,5,7
/proc/5800/task/5808/stat : 5808 (java) S 5798 5800 5740 0 -1 4202560 629806 0 0 0 966 93 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5809] ppid=5798 vsize=15758080 CPUtime=10.15 cores=1,3,5,7
/proc/5800/task/5809/stat : 5809 (java) S 5798 5800 5740 0 -1 4202560 359410 0 0 0 947 68 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5810] ppid=5798 vsize=15758080 CPUtime=10.84 cores=1,3,5,7
/proc/5800/task/5810/stat : 5810 (java) S 5798 5800 5740 0 -1 4202560 435726 0 0 0 1014 70 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5811] ppid=5798 vsize=15758080 CPUtime=686.97 cores=1,3,5,7
/proc/5800/task/5811/stat : 5811 (java) R 5798 5800 5740 0 -1 4202560 248554 0 0 0 68646 51 0 0 25 0 22 0 521607067 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 47125208150385 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=5800/tid=5812] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5812/stat : 5812 (java) S 5798 5800 5740 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 521607067 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5813] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5813/stat : 5813 (java) S 5798 5800 5740 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 521607067 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5814] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5814/stat : 5814 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216470961 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5815] ppid=5798 vsize=15758080 CPUtime=1.39 cores=1,3,5,7
/proc/5800/task/5815/stat : 5815 (java) S 5798 5800 5740 0 -1 4202560 11079 0 0 0 138 1 0 0 15 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5816] ppid=5798 vsize=15758080 CPUtime=1.24 cores=1,3,5,7
/proc/5800/task/5816/stat : 5816 (java) S 5798 5800 5740 0 -1 4202560 5111 0 0 0 124 0 0 0 15 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5817] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5817/stat : 5817 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5818] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5818/stat : 5818 (java) S 5798 5800 5740 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463872 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5819] ppid=5798 vsize=15758080 CPUtime=358.69 cores=1,3,5,7
/proc/5800/task/5819/stat : 5819 (java) S 5798 5800 5740 0 -1 4202560 149 0 0 0 35868 1 0 0 16 0 22 0 521610707 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5820] ppid=5798 vsize=15758080 CPUtime=340.85 cores=1,3,5,7
/proc/5800/task/5820/stat : 5820 (java) S 5798 5800 5740 0 -1 4202560 142 0 0 0 34085 0 0 0 15 0 22 0 521610707 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5821] ppid=5798 vsize=15758080 CPUtime=410.47 cores=1,3,5,7
/proc/5800/task/5821/stat : 5821 (java) S 5798 5800 5740 0 -1 4202560 139 0 0 0 41047 0 0 0 16 0 22 0 521610708 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5822] ppid=5798 vsize=15758080 CPUtime=379.5 cores=1,3,5,7
/proc/5800/task/5822/stat : 5822 (java) S 5798 5800 5740 0 -1 4202560 86 0 0 0 37950 0 0 0 18 0 22 0 521610708 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2374.07
Current children cumulated vsize (KiB) 15758080
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 5.27 5.75 6.15 7/196 5883
/proc/meminfo: memFree=11168276/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=15758080 CPUtime=2445.27 cores=1,3,5,7
/proc/5800/stat : 5800 (java) S 5798 5800 5740 0 -1 4202496 4386909 0 1 0 243804 723 0 0 24 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 3939520 3859009 2295 9 0 3930239 0
[pid=5800/tid=5801] ppid=5798 vsize=15758080 CPUtime=110.91 cores=1,3,5,7
/proc/5800/task/5801/stat : 5801 (java) S 5798 5800 5740 0 -1 4202560 433620 0 1 0 11021 70 0 0 25 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5803] ppid=5798 vsize=15758080 CPUtime=10.32 cores=1,3,5,7
/proc/5800/task/5803/stat : 5803 (java) S 5798 5800 5740 0 -1 4202560 509313 0 0 0 947 85 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5804] ppid=5798 vsize=15758080 CPUtime=10.86 cores=1,3,5,7
/proc/5800/task/5804/stat : 5804 (java) S 5798 5800 5740 0 -1 4202560 437838 0 0 0 1021 65 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5805] ppid=5798 vsize=15758080 CPUtime=10.2 cores=1,3,5,7
/proc/5800/task/5805/stat : 5805 (java) S 5798 5800 5740 0 -1 4202560 451228 0 0 0 948 72 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5806] ppid=5798 vsize=15758080 CPUtime=11.01 cores=1,3,5,7
/proc/5800/task/5806/stat : 5806 (java) S 5798 5800 5740 0 -1 4202560 416124 0 0 0 1033 68 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5807] ppid=5798 vsize=15758080 CPUtime=9.94 cores=1,3,5,7
/proc/5800/task/5807/stat : 5807 (java) S 5798 5800 5740 0 -1 4202560 447080 0 0 0 924 70 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5808] ppid=5798 vsize=15758080 CPUtime=10.59 cores=1,3,5,7
/proc/5800/task/5808/stat : 5808 (java) S 5798 5800 5740 0 -1 4202560 629806 0 0 0 966 93 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5809] ppid=5798 vsize=15758080 CPUtime=10.15 cores=1,3,5,7
/proc/5800/task/5809/stat : 5809 (java) S 5798 5800 5740 0 -1 4202560 359410 0 0 0 947 68 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 5 0 0 0
[pid=5800/tid=5810] ppid=5798 vsize=15758080 CPUtime=10.84 cores=1,3,5,7
/proc/5800/task/5810/stat : 5810 (java) S 5798 5800 5740 0 -1 4202560 435726 0 0 0 1014 70 0 0 16 0 22 0 521607065 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 3 0 0 0
[pid=5800/tid=5811] ppid=5798 vsize=15758080 CPUtime=740.16 cores=1,3,5,7
/proc/5800/task/5811/stat : 5811 (java) R 5798 5800 5740 0 -1 4202560 248558 0 0 0 73964 52 0 0 25 0 22 0 521607067 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216473269 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=5800/tid=5812] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5812/stat : 5812 (java) S 5798 5800 5740 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 22 0 521607067 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5813] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5813/stat : 5813 (java) S 5798 5800 5740 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 521607067 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5814] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5814/stat : 5814 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216470961 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5815] ppid=5798 vsize=15758080 CPUtime=1.39 cores=1,3,5,7
/proc/5800/task/5815/stat : 5815 (java) S 5798 5800 5740 0 -1 4202560 11079 0 0 0 138 1 0 0 15 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5816] ppid=5798 vsize=15758080 CPUtime=1.24 cores=1,3,5,7
/proc/5800/task/5816/stat : 5816 (java) S 5798 5800 5740 0 -1 4202560 5111 0 0 0 124 0 0 0 15 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5817] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5817/stat : 5817 (java) S 5798 5800 5740 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463257 0 4 0 16800975 18446604469694866496 0 0 -1 7 0 0 0
[pid=5800/tid=5818] ppid=5798 vsize=15758080 CPUtime=0 cores=1,3,5,7
/proc/5800/task/5818/stat : 5818 (java) S 5798 5800 5740 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 22 0 521607069 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 210216463872 0 4 0 16800975 18446604469694866496 0 0 -1 1 0 0 0
[pid=5800/tid=5819] ppid=5798 vsize=15758080 CPUtime=363.19 cores=1,3,5,7
/proc/5800/task/5819/stat : 5819 (java) R 5798 5800 5740 0 -1 4202560 166 0 0 0 36318 1 0 0 16 0 22 0 521610707 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 46912506542668 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5800/tid=5820] ppid=5798 vsize=15758080 CPUtime=345.33 cores=1,3,5,7
/proc/5800/task/5820/stat : 5820 (java) R 5798 5800 5740 0 -1 4202560 155 0 0 0 34533 0 0 0 16 0 22 0 521610707 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 46912506090432 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5800/tid=5821] ppid=5798 vsize=15758080 CPUtime=414.99 cores=1,3,5,7
/proc/5800/task/5821/stat : 5821 (java) R 5798 5800 5740 0 -1 4202560 141 0 0 0 41499 0 0 0 16 0 22 0 521610708 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 46912505837420 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5800/tid=5822] ppid=5798 vsize=15758080 CPUtime=384.01 cores=1,3,5,7
/proc/5800/task/5822/stat : 5822 (java) R 5798 5800 5740 0 -1 4202560 90 0 0 0 38401 0 0 0 19 0 22 0 521610708 16136273920 3859009 33554432000 1073741824 1073778376 140735292835792 18446744073709551615 46912505524221 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2445.27
Current children cumulated vsize (KiB) 15758080
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -5800
[startup+1302.3 s]
/proc/loadavg: 5.41 5.77 6.16 8/197 5884
/proc/meminfo: memFree=11112832/32951124 swapFree=67088964/67111528
[pid=5800] ppid=5798 vsize=0 CPUtime=2448.89 cores=1,3,5,7
/proc/5800/stat : 5800 (java) Z 5798 5800 5740 0 -1 4203548 4386924 0 1 0 244139 750 0 0 18 0 2 0 521607065 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5800/statm: 0 0 0 0 0 0 0
[pid=5800/tid=5813] ppid=5798 vsize=0 CPUtime=0.26 cores=1,3,5,7
/proc/5800/task/5813/stat : 5813 (java) R 5798 5800 5740 0 -1 4203588 9 0 0 0 0 26 0 0 18 0 2 0 521607067 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2448.89
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.55
CPU time (s): 2449.14
CPU user time (s): 2441.39
CPU system time (s): 7.74882
CPU usage (%): 188.027
Max. virtual memory (cumulated for all children) (KiB): 15765400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2441.39
system time used= 7.74882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4386924
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= 71802
involuntary context switches= 69362
runsolver used 2.16167 second user time and 4.98824 second system time
The end