runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3742158-1338785274/watcher-3742158-1338785274 -o /tmp/evaluation-result-3742158-1338785274/solver-3742158-1338785274 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3742158-1338785274.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.89 3.88 3.66 4/197 24585
/proc/meminfo: memFree=27140780/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/24585/stat : 24585 (java6) D 24583 24585 24165 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 344654289 9515008 182 33554432000 1073741824 1073778376 140733557020560 140733557011592 213193146037 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/24585/statm: 2323 182 140 9 0 71 0
[startup+0.0976271 s]
/proc/loadavg: 3.89 3.88 3.66 4/197 24585
/proc/meminfo: memFree=27140780/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/24585/stat : 24585 (java) S 24583 24585 24165 0 -1 4202496 4755 0 1 0 8 1 0 0 20 0 18 0 344654289 2764726272 5953 33554432000 1073741824 1073778376 140735162657600 140735162648736 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24585/statm: 674982 5953 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.100205 s]
/proc/loadavg: 3.89 3.88 3.66 4/197 24585
/proc/meminfo: memFree=27140780/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/24585/stat : 24585 (java) S 24583 24585 24165 0 -1 4202496 4756 0 1 0 8 1 0 0 20 0 18 0 344654289 2764726272 5954 33554432000 1073741824 1073778376 140735162657600 140735162648736 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24585/statm: 674982 5954 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.300231 s]
/proc/loadavg: 3.89 3.88 3.66 4/197 24585
/proc/meminfo: memFree=27140780/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=2699928 CPUtime=0.56 cores=1,3,5,7
/proc/24585/stat : 24585 (java) S 24583 24585 24165 0 -1 4202496 7662 0 1 0 55 1 0 0 20 0 18 0 344654289 2764726272 10263 33554432000 1073741824 1073778376 140735162657600 140735162648736 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24585/statm: 674982 10263 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 2699928
[startup+0.700186 s]
/proc/loadavg: 3.89 3.88 3.66 4/197 24585
/proc/meminfo: memFree=27140780/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=2966184 CPUtime=1.97 cores=1,3,5,7
/proc/24585/stat : 24585 (java) S 24583 24585 24165 0 -1 4202496 13834 0 1 0 194 3 0 0 20 0 22 0 344654289 3037372416 20962 33554432000 1073741824 1073778376 140735162657600 140735162648736 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24585/statm: 741546 20962 2254 9 0 732240 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 2966184
[startup+1.50073 s]
/proc/loadavg: 3.89 3.88 3.66 7/219 24607
/proc/meminfo: memFree=26943128/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=2966184 CPUtime=4.5 cores=1,3,5,7
/proc/24585/stat : 24585 (java) S 24583 24585 24165 0 -1 4202496 23958 0 1 0 440 10 0 0 20 0 22 0 344654289 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140735162648736 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24585/statm: 741546 104207 2271 9 0 732240 0
[pid=24585/tid=24587] ppid=24583 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/24585/task/24587/stat : 24587 (java) S 24583 24585 24165 0 -1 4202560 2872 0 1 0 38 1 0 0 20 0 22 0 344654290 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607357486232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24588] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24588/stat : 24588 (java) S 24583 24585 24165 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607224310696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24589] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24589/stat : 24589 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607223258152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24590] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24590/stat : 24590 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607222205096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24591] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24591/stat : 24591 (java) S 24583 24585 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607221152552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24592] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24592/stat : 24592 (java) S 24583 24585 24165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607220099496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24593] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24593/stat : 24593 (java) S 24583 24585 24165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607219046952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24594] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24594/stat : 24594 (java) S 24583 24585 24165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607217993896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24595] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24595/stat : 24595 (java) S 24583 24585 24165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607216941352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24596] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24596/stat : 24596 (java) S 24583 24585 24165 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607204531048 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24597] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24597/stat : 24597 (java) S 24583 24585 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607203477368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24598] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24598/stat : 24598 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607202424200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24599] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24599/stat : 24599 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607201372944 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24600] ppid=24583 vsize=2966184 CPUtime=0.92 cores=1,3,5,7
/proc/24585/task/24600/stat : 24600 (java) S 24583 24585 24165 0 -1 4202560 11182 0 0 0 90 2 0 0 20 0 22 0 344654296 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607200319800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24601] ppid=24583 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/24585/task/24601/stat : 24601 (java) S 24583 24585 24165 0 -1 4202560 8424 0 0 0 100 0 0 0 20 0 22 0 344654296 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607199267256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24602] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24602/stat : 24602 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607198214392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24603] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24603/stat : 24603 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607197162056 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24604] ppid=24583 vsize=2966184 CPUtime=1.03 cores=1,3,5,7
/proc/24585/task/24604/stat : 24604 (java) R 24583 24585 24165 0 -1 4202560 26 0 0 0 103 0 0 0 20 0 22 0 344654332 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607196105424 140607297932527 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24605] ppid=24583 vsize=2966184 CPUtime=1.04 cores=1,3,5,7
/proc/24585/task/24605/stat : 24605 (java) R 24583 24585 24165 0 -1 4202560 219 0 0 0 99 5 0 0 20 0 22 0 344654332 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607195053496 140607297856609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24606] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24606/stat : 24606 (java) S 24583 24585 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607194002728 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24607] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24607/stat : 24607 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 104207 33554432000 1073741824 1073778376 140735162657600 140607192950184 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 2966184
[startup+3.10081 s]
/proc/loadavg: 3.90 3.88 3.66 5/219 24607
/proc/meminfo: memFree=26715180/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=2966184 CPUtime=7.86 cores=1,3,5,7
/proc/24585/stat : 24585 (java) S 24583 24585 24165 0 -1 4202496 24025 0 1 0 775 11 0 0 20 0 22 0 344654289 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140735162648736 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24585/statm: 741546 108352 2284 9 0 732240 0
[pid=24585/tid=24587] ppid=24583 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/24585/task/24587/stat : 24587 (java) S 24583 24585 24165 0 -1 4202560 2872 0 1 0 38 1 0 0 20 0 22 0 344654290 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607357486232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24588] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24588/stat : 24588 (java) S 24583 24585 24165 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607224310696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24589] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24589/stat : 24589 (java) S 24583 24585 24165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607223258152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24590] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24590/stat : 24590 (java) S 24583 24585 24165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607222205096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24591] ppid=24583 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/24585/task/24591/stat : 24591 (java) S 24583 24585 24165 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 344654292 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607221152552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24592] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24592/stat : 24592 (java) S 24583 24585 24165 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607220099496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24593] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24593/stat : 24593 (java) S 24583 24585 24165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607219046952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24594] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24594/stat : 24594 (java) S 24583 24585 24165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607217993896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24595] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24595/stat : 24595 (java) S 24583 24585 24165 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607216941352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24596] ppid=24583 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/24585/task/24596/stat : 24596 (java) S 24583 24585 24165 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 344654293 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607204531048 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24597] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24597/stat : 24597 (java) S 24583 24585 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607203477368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24598] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24598/stat : 24598 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607202424200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24599] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24599/stat : 24599 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607201372944 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24600] ppid=24583 vsize=2966184 CPUtime=1 cores=1,3,5,7
/proc/24585/task/24600/stat : 24600 (java) S 24583 24585 24165 0 -1 4202560 11193 0 0 0 98 2 0 0 20 0 22 0 344654296 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607200319800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24601] ppid=24583 vsize=2966184 CPUtime=1.11 cores=1,3,5,7
/proc/24585/task/24601/stat : 24601 (java) S 24583 24585 24165 0 -1 4202560 8438 0 0 0 111 0 0 0 20 0 22 0 344654296 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607199267256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24602] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24602/stat : 24602 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607198214392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24603] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24603/stat : 24603 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607197162056 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24604] ppid=24583 vsize=2966184 CPUtime=2.57 cores=1,3,5,7
/proc/24585/task/24604/stat : 24604 (java) R 24583 24585 24165 0 -1 4202560 26 0 0 0 257 0 0 0 20 0 22 0 344654332 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607196105544 140607297932448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24605] ppid=24583 vsize=2966184 CPUtime=2.59 cores=1,3,5,7
/proc/24585/task/24605/stat : 24605 (java) R 24583 24585 24165 0 -1 4202560 221 0 0 0 254 5 0 0 20 0 22 0 344654332 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607195053816 140607297856375 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24606] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24606/stat : 24606 (java) S 24583 24585 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607194002728 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24607] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24607/stat : 24607 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 108352 33554432000 1073741824 1073778376 140735162657600 140607192950184 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.86
Current children cumulated vsize (KiB) 2966184
[startup+6.30081 s]
/proc/loadavg: 3.90 3.88 3.66 4/219 24607
/proc/meminfo: memFree=26706560/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=2966184 CPUtime=14.52 cores=1,3,5,7
/proc/24585/stat : 24585 (java) S 24583 24585 24165 0 -1 4202496 24077 0 1 0 1440 12 0 0 20 0 22 0 344654289 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140735162648736 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24585/statm: 741546 110367 2284 9 0 732240 0
[pid=24585/tid=24587] ppid=24583 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/24585/task/24587/stat : 24587 (java) S 24583 24585 24165 0 -1 4202560 2872 0 1 0 38 1 0 0 20 0 22 0 344654290 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607357486232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24588] ppid=24583 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/24585/task/24588/stat : 24588 (java) S 24583 24585 24165 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 22 0 344654292 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607224310696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24589] ppid=24583 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/24585/task/24589/stat : 24589 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 344654292 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607223258152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24590] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24590/stat : 24590 (java) S 24583 24585 24165 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607222205096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24591] ppid=24583 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/24585/task/24591/stat : 24591 (java) S 24583 24585 24165 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 344654292 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607221152552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24592] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24592/stat : 24592 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607220099496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24593] ppid=24583 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/24585/task/24593/stat : 24593 (java) S 24583 24585 24165 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 344654292 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607219046952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24594] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24594/stat : 24594 (java) S 24583 24585 24165 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607217993896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24595] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24595/stat : 24595 (java) S 24583 24585 24165 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 344654292 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607216941352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24596] ppid=24583 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/24585/task/24596/stat : 24596 (java) S 24583 24585 24165 0 -1 4202560 36 0 0 0 8 0 0 0 20 0 22 0 344654293 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607204531048 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24597] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24597/stat : 24597 (java) S 24583 24585 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607203477368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24598] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24598/stat : 24598 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607202424200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24599] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24599/stat : 24599 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607201372944 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24600] ppid=24583 vsize=2966184 CPUtime=1.14 cores=1,3,5,7
/proc/24585/task/24600/stat : 24600 (java) S 24583 24585 24165 0 -1 4202560 11209 0 0 0 112 2 0 0 20 0 22 0 344654296 3037372416 110367 33554432000 1073741824 1073778376 140735162657600 140607200319800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
/proc/24585/statm: 741546 223146 2285 9 0 732240 0
[pid=24585/tid=24587] ppid=24583 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/24585/task/24587/stat : 24587 (java) S 24583 24585 24165 0 -1 4202560 2908 0 1 0 39 2 0 0 20 0 22 0 344654290 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607357486232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24588] ppid=24583 vsize=2966184 CPUtime=3.65 cores=1,3,5,7
/proc/24585/task/24588/stat : 24588 (java) S 24583 24585 24165 0 -1 4202560 217 0 0 0 358 7 0 0 20 0 22 0 344654292 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607224310696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24589] ppid=24583 vsize=2966184 CPUtime=3.63 cores=1,3,5,7
/proc/24585/task/24589/stat : 24589 (java) S 24583 24585 24165 0 -1 4202560 199 0 0 0 357 6 0 0 20 0 22 0 344654292 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607223258152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24590] ppid=24583 vsize=2966184 CPUtime=3.56 cores=1,3,5,7
/proc/24585/task/24590/stat : 24590 (java) S 24583 24585 24165 0 -1 4202560 203 0 0 0 349 7 0 0 20 0 22 0 344654292 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607222205096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24591] ppid=24583 vsize=2966184 CPUtime=3.37 cores=1,3,5,7
/proc/24585/task/24591/stat : 24591 (java) S 24583 24585 24165 0 -1 4202560 205 0 0 0 330 7 0 0 20 0 22 0 344654292 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607221152552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24592] ppid=24583 vsize=2966184 CPUtime=3.68 cores=1,3,5,7
/proc/24585/task/24592/stat : 24592 (java) S 24583 24585 24165 0 -1 4202560 199 0 0 0 361 7 0 0 20 0 22 0 344654292 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607220099496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24593] ppid=24583 vsize=2966184 CPUtime=3.56 cores=1,3,5,7
/proc/24585/task/24593/stat : 24593 (java) S 24583 24585 24165 0 -1 4202560 190 0 0 0 349 7 0 0 20 0 22 0 344654292 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607219046952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24594] ppid=24583 vsize=2966184 CPUtime=3.63 cores=1,3,5,7
/proc/24585/task/24594/stat : 24594 (java) S 24583 24585 24165 0 -1 4202560 197 0 0 0 357 6 0 0 20 0 22 0 344654292 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607217993896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24595] ppid=24583 vsize=2966184 CPUtime=3.66 cores=1,3,5,7
/proc/24585/task/24595/stat : 24595 (java) S 24583 24585 24165 0 -1 4202560 198 0 0 0 359 7 0 0 20 0 22 0 344654292 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607216941352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24596] ppid=24583 vsize=2966184 CPUtime=44.92 cores=1,3,5,7
/proc/24585/task/24596/stat : 24596 (java) S 24583 24585 24165 0 -1 4202560 122 0 0 0 4471 21 0 0 20 0 22 0 344654293 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607204531048 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24597] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24597/stat : 24597 (java) S 24583 24585 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607203477368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24598] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24598/stat : 24598 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607202424200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24599] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24599/stat : 24599 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607201372944 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24600] ppid=24583 vsize=2966184 CPUtime=1.48 cores=1,3,5,7
/proc/24585/task/24600/stat : 24600 (java) S 24583 24585 24165 0 -1 4202560 11345 0 0 0 146 2 0 0 20 0 22 0 344654296 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607200319800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24601] ppid=24583 vsize=2966184 CPUtime=1.51 cores=1,3,5,7
/proc/24585/task/24601/stat : 24601 (java) S 24583 24585 24165 0 -1 4202560 8478 0 0 0 149 2 0 0 20 0 22 0 344654296 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607199267256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24602] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24602/stat : 24602 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607198214392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24603] ppid=24583 vsize=2966184 CPUtime=0.33 cores=1,3,5,7
/proc/24585/task/24603/stat : 24603 (java) S 24583 24585 24165 0 -1 4202560 45 0 0 0 13 20 0 0 20 0 22 0 344654296 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607197162056 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24604] ppid=24583 vsize=2966184 CPUtime=766.29 cores=1,3,5,7
/proc/24585/task/24604/stat : 24604 (java) R 24583 24585 24165 0 -1 4202560 313 0 0 0 76616 13 0 0 20 0 22 0 344654332 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607196105872 140607297887592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24605] ppid=24583 vsize=2966184 CPUtime=766.27 cores=1,3,5,7
/proc/24585/task/24605/stat : 24605 (java) R 24583 24585 24165 0 -1 4202560 494 0 0 0 76608 19 0 0 20 0 22 0 344654332 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607195054112 140607297985239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24606] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24606/stat : 24606 (java) S 24583 24585 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607194002728 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24607] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24607/stat : 24607 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 223146 33554432000 1073741824 1073778376 140735162657600 140607192950184 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1613.59
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.90 3.87 3.77 5/219 24701
/proc/meminfo: memFree=26218228/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=2966184 CPUtime=1730.39 cores=1,3,5,7
/proc/24585/stat : 24585 (java) S 24583 24585 24165 0 -1 4202496 26635 0 1 0 172928 111 0 0 20 0 22 0 344654289 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140735162648736 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24585/statm: 741546 231896 2285 9 0 732240 0
[pid=24585/tid=24587] ppid=24583 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/24585/task/24587/stat : 24587 (java) S 24583 24585 24165 0 -1 4202560 2912 0 1 0 39 2 0 0 20 0 22 0 344654290 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607357486232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24588] ppid=24583 vsize=2966184 CPUtime=3.96 cores=1,3,5,7
/proc/24585/task/24588/stat : 24588 (java) S 24583 24585 24165 0 -1 4202560 233 0 0 0 388 8 0 0 20 0 22 0 344654292 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607224310696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24589] ppid=24583 vsize=2966184 CPUtime=3.93 cores=1,3,5,7
/proc/24585/task/24589/stat : 24589 (java) S 24583 24585 24165 0 -1 4202560 212 0 0 0 387 6 0 0 20 0 22 0 344654292 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607223258152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24590] ppid=24583 vsize=2966184 CPUtime=3.84 cores=1,3,5,7
/proc/24585/task/24590/stat : 24590 (java) S 24583 24585 24165 0 -1 4202560 221 0 0 0 376 8 0 0 20 0 22 0 344654292 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607222205096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24591] ppid=24583 vsize=2966184 CPUtime=3.7 cores=1,3,5,7
/proc/24585/task/24591/stat : 24591 (java) S 24583 24585 24165 0 -1 4202560 218 0 0 0 362 8 0 0 20 0 22 0 344654292 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607221152552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24592] ppid=24583 vsize=2966184 CPUtime=3.93 cores=1,3,5,7
/proc/24585/task/24592/stat : 24592 (java) S 24583 24585 24165 0 -1 4202560 208 0 0 0 385 8 0 0 20 0 22 0 344654292 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607220099496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24593] ppid=24583 vsize=2966184 CPUtime=3.8 cores=1,3,5,7
/proc/24585/task/24593/stat : 24593 (java) S 24583 24585 24165 0 -1 4202560 192 0 0 0 373 7 0 0 20 0 22 0 344654292 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607219046952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24594] ppid=24583 vsize=2966184 CPUtime=3.96 cores=1,3,5,7
/proc/24585/task/24594/stat : 24594 (java) S 24583 24585 24165 0 -1 4202560 206 0 0 0 389 7 0 0 20 0 22 0 344654292 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607217993896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24595] ppid=24583 vsize=2966184 CPUtime=3.94 cores=1,3,5,7
/proc/24585/task/24595/stat : 24595 (java) S 24583 24585 24165 0 -1 4202560 211 0 0 0 387 7 0 0 20 0 22 0 344654292 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607216941352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24596] ppid=24583 vsize=2966184 CPUtime=49.1 cores=1,3,5,7
/proc/24585/task/24596/stat : 24596 (java) S 24583 24585 24165 0 -1 4202560 126 0 0 0 4887 23 0 0 20 0 22 0 344654293 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607204531048 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24597] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24597/stat : 24597 (java) S 24583 24585 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607203477368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24598] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24598/stat : 24598 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607202424200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24599] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24599/stat : 24599 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607201372944 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24600] ppid=24583 vsize=2966184 CPUtime=1.48 cores=1,3,5,7
/proc/24585/task/24600/stat : 24600 (java) S 24583 24585 24165 0 -1 4202560 11345 0 0 0 146 2 0 0 20 0 22 0 344654296 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607200319800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24601] ppid=24583 vsize=2966184 CPUtime=1.51 cores=1,3,5,7
/proc/24585/task/24601/stat : 24601 (java) S 24583 24585 24165 0 -1 4202560 8478 0 0 0 149 2 0 0 20 0 22 0 344654296 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607199267256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24602] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24602/stat : 24602 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607198214392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24603] ppid=24583 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/24585/task/24603/stat : 24603 (java) S 24583 24585 24165 0 -1 4202560 49 0 0 0 13 22 0 0 20 0 22 0 344654296 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607197162056 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24604] ppid=24583 vsize=2966184 CPUtime=821.3 cores=1,3,5,7
/proc/24585/task/24604/stat : 24604 (java) R 24583 24585 24165 0 -1 4202560 327 0 0 0 82116 14 0 0 20 0 22 0 344654332 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607196106656 140607298114098 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24605] ppid=24583 vsize=2966184 CPUtime=821.28 cores=1,3,5,7
/proc/24585/task/24605/stat : 24605 (java) R 24583 24585 24165 0 -1 4202560 509 0 0 0 82108 20 0 0 20 0 22 0 344654332 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607195053280 140607298520646 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24606] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24606/stat : 24606 (java) S 24583 24585 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607194002728 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24607] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24607/stat : 24607 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 231896 33554432000 1073741824 1073778376 140735162657600 140607192950184 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1730.39
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+918.401 s]
/proc/loadavg: 3.89 3.87 3.77 6/219 24701
/proc/meminfo: memFree=26199428/32873648 swapFree=6864/6864
[pid=24585] ppid=24583 vsize=2966184 CPUtime=1800.08 cores=1,3,5,7
/proc/24585/stat : 24585 (java) S 24583 24585 24165 0 -1 4202496 26740 0 1 0 179893 115 0 0 20 0 22 0 344654289 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140735162648736 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24585/statm: 741546 234513 2285 9 0 732240 0
[pid=24585/tid=24587] ppid=24583 vsize=2966184 CPUtime=0.41 cores=1,3,5,7
/proc/24585/task/24587/stat : 24587 (java) S 24583 24585 24165 0 -1 4202560 2914 0 1 0 39 2 0 0 20 0 22 0 344654290 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607357486232 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24588] ppid=24583 vsize=2966184 CPUtime=4.21 cores=1,3,5,7
/proc/24585/task/24588/stat : 24588 (java) S 24583 24585 24165 0 -1 4202560 241 0 0 0 413 8 0 0 20 0 22 0 344654292 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607224310696 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24589] ppid=24583 vsize=2966184 CPUtime=4.21 cores=1,3,5,7
/proc/24585/task/24589/stat : 24589 (java) S 24583 24585 24165 0 -1 4202560 228 0 0 0 414 7 0 0 20 0 22 0 344654292 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607223258152 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24590] ppid=24583 vsize=2966184 CPUtime=4.12 cores=1,3,5,7
/proc/24585/task/24590/stat : 24590 (java) S 24583 24585 24165 0 -1 4202560 227 0 0 0 404 8 0 0 20 0 22 0 344654292 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607222205096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24591] ppid=24583 vsize=2966184 CPUtime=3.91 cores=1,3,5,7
/proc/24585/task/24591/stat : 24591 (java) S 24583 24585 24165 0 -1 4202560 223 0 0 0 383 8 0 0 20 0 22 0 344654292 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607221152552 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24592] ppid=24583 vsize=2966184 CPUtime=4.24 cores=1,3,5,7
/proc/24585/task/24592/stat : 24592 (java) S 24583 24585 24165 0 -1 4202560 217 0 0 0 416 8 0 0 20 0 22 0 344654292 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607220099496 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24593] ppid=24583 vsize=2966184 CPUtime=4.09 cores=1,3,5,7
/proc/24585/task/24593/stat : 24593 (java) S 24583 24585 24165 0 -1 4202560 200 0 0 0 402 7 0 0 20 0 22 0 344654292 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607219046952 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24585/tid=24594] ppid=24583 vsize=2966184 CPUtime=4.26 cores=1,3,5,7
/proc/24585/task/24594/stat : 24594 (java) S 24583 24585 24165 0 -1 4202560 216 0 0 0 419 7 0 0 20 0 22 0 344654292 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607217993896 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24595] ppid=24583 vsize=2966184 CPUtime=4.29 cores=1,3,5,7
/proc/24585/task/24595/stat : 24595 (java) S 24583 24585 24165 0 -1 4202560 221 0 0 0 422 7 0 0 20 0 22 0 344654292 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607216941352 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24596] ppid=24583 vsize=2966184 CPUtime=52.58 cores=1,3,5,7
/proc/24585/task/24596/stat : 24596 (java) S 24583 24585 24165 0 -1 4202560 128 0 0 0 5233 25 0 0 20 0 22 0 344654293 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607204531048 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24597] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24597/stat : 24597 (java) S 24583 24585 24165 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607203477368 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24598] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24598/stat : 24598 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654293 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607202424200 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24599] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24599/stat : 24599 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607201372944 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24600] ppid=24583 vsize=2966184 CPUtime=1.48 cores=1,3,5,7
/proc/24585/task/24600/stat : 24600 (java) S 24583 24585 24165 0 -1 4202560 11345 0 0 0 146 2 0 0 20 0 22 0 344654296 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607200319800 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24601] ppid=24583 vsize=2966184 CPUtime=1.51 cores=1,3,5,7
/proc/24585/task/24601/stat : 24601 (java) S 24583 24585 24165 0 -1 4202560 8478 0 0 0 149 2 0 0 20 0 22 0 344654296 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607199267256 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24585/tid=24602] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24602/stat : 24602 (java) S 24583 24585 24165 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344654296 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607198214392 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24603] ppid=24583 vsize=2966184 CPUtime=0.37 cores=1,3,5,7
/proc/24585/task/24603/stat : 24603 (java) S 24583 24585 24165 0 -1 4202560 51 0 0 0 14 23 0 0 20 0 22 0 344654296 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607197162056 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24604] ppid=24583 vsize=2966184 CPUtime=853.19 cores=1,3,5,7
/proc/24585/task/24604/stat : 24604 (java) R 24583 24585 24165 0 -1 4202560 342 0 0 0 85305 14 0 0 20 0 22 0 344654332 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607196106640 140607298037095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=24585/tid=24605] ppid=24583 vsize=2966184 CPUtime=853.17 cores=1,3,5,7
/proc/24585/task/24605/stat : 24605 (java) R 24583 24585 24165 0 -1 4202560 521 0 0 0 85297 20 0 0 20 0 22 0 344654332 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607195052816 140607298023632 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24606] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24606/stat : 24606 (java) S 24583 24585 24165 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607194002728 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24585/tid=24607] ppid=24583 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/24585/task/24607/stat : 24607 (java) S 24583 24585 24165 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344654334 3037372416 234513 33554432000 1073741824 1073778376 140735162657600 140607192950184 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24585 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=769153
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=641750
# CPU time returned by wait4() is 1796.41
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 918.453
CPU time (s): 1800.08
CPU user time (s): 1798.93
CPU system time (s): 1.15
CPU usage (%): 195.99
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.77
system time used= 1.64175
maximum resident set size= 938172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26772
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39623
involuntary context switches= 66227
runsolver used 3.89341 second user time and 8.08277 second system time
The end