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-3741429-1338754412/watcher-3741429-1338754412 -o /tmp/evaluation-result-3741429-1338754412/solver-3741429-1338754412 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3741429-1338754412.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.36 3.61 3.72 4/197 14030
/proc/meminfo: memFree=27484732/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14030/stat : 14030 (java) D 14028 14030 13088 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341566137 9515008 183 33554432000 1073741824 1073778376 140735331996592 140735331987624 240565173941 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/14030/statm: 2323 183 140 9 0 71 0
[startup+0.06982 s]
/proc/loadavg: 3.36 3.61 3.72 4/197 14030
/proc/meminfo: memFree=27484732/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/14030/stat : 14030 (java) S 14028 14030 13088 0 -1 4202496 4359 0 1 0 3 1 0 0 20 0 13 0 341566137 11523600384 11699 33554432000 1073741824 1073778376 140733993966096 140733993957232 240568533053 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14030/statm: 2813379 11699 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516
[startup+0.100253 s]
/proc/loadavg: 3.36 3.61 3.72 4/197 14030
/proc/meminfo: memFree=27484732/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/14030/stat : 14030 (java) S 14028 14030 13088 0 -1 4202496 4526 0 1 0 6 1 0 0 20 0 18 0 341566137 11864465408 12377 33554432000 1073741824 1073778376 140733993966096 140733993957232 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14030/statm: 2896598 12377 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300225 s]
/proc/loadavg: 3.36 3.61 3.72 4/197 14030
/proc/meminfo: memFree=27484732/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=11586392 CPUtime=0.47 cores=0,2,4,6
/proc/14030/stat : 14030 (java) S 14028 14030 13088 0 -1 4202496 6825 0 1 0 45 2 0 0 20 0 18 0 341566137 11864465408 17634 33554432000 1073741824 1073778376 140733993966096 140733993957232 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14030/statm: 2896598 17634 2223 9 0 2887285 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11586392
[startup+0.70017 s]
/proc/loadavg: 3.36 3.61 3.72 4/197 14030
/proc/meminfo: memFree=27484732/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=11852648 CPUtime=2.03 cores=0,2,4,6
/proc/14030/stat : 14030 (java) S 14028 14030 13088 0 -1 4202496 19515 0 1 0 198 5 0 0 20 0 22 0 341566137 12137111552 33273 33554432000 1073741824 1073778376 140733993966096 140733993957232 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14030/statm: 2963162 33273 2245 9 0 2953849 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 11852648
[startup+1.50073 s]
/proc/loadavg: 3.36 3.61 3.72 7/219 14052
/proc/meminfo: memFree=27296044/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=11852648 CPUtime=4.48 cores=0,2,4,6
/proc/14030/stat : 14030 (java) S 14028 14030 13088 0 -1 4202496 24217 0 1 0 439 9 0 0 20 0 22 0 341566137 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 140733993957232 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14030/statm: 2963162 79399 2279 9 0 2953849 0
[pid=14030/tid=14032] ppid=14028 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/14030/task/14032/stat : 14032 (java) S 14028 14030 13088 0 -1 4202560 3446 0 1 0 26 2 0 0 20 0 22 0 341566138 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643541030040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14033] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14033/stat : 14033 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643378231592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14034] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14034/stat : 14034 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643377178792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14035] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14035/stat : 14035 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643376126504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14036] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14036/stat : 14036 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643375073704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14037] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14037/stat : 14037 (java) S 14028 14030 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643374021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14038] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14038/stat : 14038 (java) S 14028 14030 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643372968616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14039] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14039/stat : 14039 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643371916328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14040] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14040/stat : 14040 (java) S 14028 14030 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643370863528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14041] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14041/stat : 14041 (java) S 14028 14030 13088 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 22 0 341566141 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643358451944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14042] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14042/stat : 14042 (java) S 14028 14030 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643357398008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14043] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14043/stat : 14043 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643356345608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14044] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14044/stat : 14044 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643355294096 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14045] ppid=14028 vsize=11852648 CPUtime=0.9 cores=0,2,4,6
/proc/14030/task/14045/stat : 14045 (java) S 14028 14030 13088 0 -1 4202560 10691 0 0 0 88 2 0 0 20 0 22 0 341566144 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643354241720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14046] ppid=14028 vsize=11852648 CPUtime=0.92 cores=0,2,4,6
/proc/14030/task/14046/stat : 14046 (java) S 14028 14030 13088 0 -1 4202560 8629 0 0 0 90 2 0 0 20 0 22 0 341566144 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643353188920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14047] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14047/stat : 14047 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643352136824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14048] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14048/stat : 14048 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566145 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643351084232 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14049] ppid=14028 vsize=11852648 CPUtime=1.12 cores=0,2,4,6
/proc/14030/task/14049/stat : 14049 (java) R 14028 14030 13088 0 -1 4202560 28 0 0 0 112 0 0 0 20 0 22 0 341566169 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643350028584 139643481304922 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14050] ppid=14028 vsize=11852648 CPUtime=1.14 cores=0,2,4,6
/proc/14030/task/14050/stat : 14050 (java) R 14028 14030 13088 0 -1 4202560 166 0 0 0 111 3 0 0 20 0 22 0 341566169 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643348975320 139643481454933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14051] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14051/stat : 14051 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643347924136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14052] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14052/stat : 14052 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 79399 33554432000 1073741824 1073778376 140733993966096 139643346871336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 11852648
[startup+3.10082 s]
/proc/loadavg: 3.33 3.60 3.72 4/219 14052
/proc/meminfo: memFree=27049540/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=11852648 CPUtime=7.77 cores=0,2,4,6
/proc/14030/stat : 14030 (java) S 14028 14030 13088 0 -1 4202496 24325 0 1 0 765 12 0 0 20 0 22 0 341566137 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 140733993957232 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14030/statm: 2963162 122425 2279 9 0 2953849 0
[pid=14030/tid=14032] ppid=14028 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/14030/task/14032/stat : 14032 (java) S 14028 14030 13088 0 -1 4202560 3446 0 1 0 26 2 0 0 20 0 22 0 341566138 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643541030040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14033] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14033/stat : 14033 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643378231592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14034] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14034/stat : 14034 (java) S 14028 14030 13088 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643377178792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14035] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14035/stat : 14035 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643376126504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14036] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14036/stat : 14036 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643375073704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14037] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14037/stat : 14037 (java) S 14028 14030 13088 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643374021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14038] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14038/stat : 14038 (java) S 14028 14030 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643372968616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14039] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14039/stat : 14039 (java) S 14028 14030 13088 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643371916328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14040] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14040/stat : 14040 (java) S 14028 14030 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643370863528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14041] ppid=14028 vsize=11852648 CPUtime=0.03 cores=0,2,4,6
/proc/14030/task/14041/stat : 14041 (java) S 14028 14030 13088 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 22 0 341566141 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643358451944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14042] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14042/stat : 14042 (java) S 14028 14030 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643357398008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14043] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14043/stat : 14043 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643356345608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14044] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14044/stat : 14044 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643355294096 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14045] ppid=14028 vsize=11852648 CPUtime=0.99 cores=0,2,4,6
/proc/14030/task/14045/stat : 14045 (java) S 14028 14030 13088 0 -1 4202560 10702 0 0 0 97 2 0 0 20 0 22 0 341566144 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643354241720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14046] ppid=14028 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/14030/task/14046/stat : 14046 (java) S 14028 14030 13088 0 -1 4202560 8633 0 0 0 94 2 0 0 20 0 22 0 341566144 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643353188920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14047] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14047/stat : 14047 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643352136824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14048] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14048/stat : 14048 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566145 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643351084232 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14049] ppid=14028 vsize=11852648 CPUtime=2.68 cores=0,2,4,6
/proc/14030/task/14049/stat : 14049 (java) R 14028 14030 13088 0 -1 4202560 29 0 0 0 268 0 0 0 20 0 22 0 341566169 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643350028496 139643481305458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14050] ppid=14028 vsize=11852648 CPUtime=2.7 cores=0,2,4,6
/proc/14030/task/14050/stat : 14050 (java) R 14028 14030 13088 0 -1 4202560 246 0 0 0 265 5 0 0 20 0 22 0 341566169 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643348973920 139643481454975 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14051] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14051/stat : 14051 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643347924136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14052] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14052/stat : 14052 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 122425 33554432000 1073741824 1073778376 140733993966096 139643346871336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 11852648
[startup+6.30081 s]
/proc/loadavg: 3.33 3.60 3.72 5/219 14052
/proc/meminfo: memFree=26828232/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=11852648 CPUtime=14.15 cores=0,2,4,6
/proc/14030/stat : 14030 (java) S 14028 14030 13088 0 -1 4202496 24443 0 1 0 1399 16 0 0 20 0 22 0 341566137 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 140733993957232 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14030/statm: 2963162 170889 2279 9 0 2953849 0
[pid=14030/tid=14032] ppid=14028 vsize=11852648 CPUtime=0.28 cores=0,2,4,6
/proc/14030/task/14032/stat : 14032 (java) S 14028 14030 13088 0 -1 4202560 3446 0 1 0 26 2 0 0 20 0 22 0 341566138 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643541030040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14033] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14033/stat : 14033 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643378231592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14034] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14034/stat : 14034 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643377178792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14035] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14035/stat : 14035 (java) S 14028 14030 13088 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643376126504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14036] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14036/stat : 14036 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643375073704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14037] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14037/stat : 14037 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643374021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14038] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14038/stat : 14038 (java) S 14028 14030 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643372968616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14039] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14039/stat : 14039 (java) S 14028 14030 13088 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643371916328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14040] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14040/stat : 14040 (java) S 14028 14030 13088 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341566140 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643370863528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14041] ppid=14028 vsize=11852648 CPUtime=0.12 cores=0,2,4,6
/proc/14030/task/14041/stat : 14041 (java) S 14028 14030 13088 0 -1 4202560 36 0 0 0 12 0 0 0 20 0 22 0 341566141 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643358451944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14042] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14042/stat : 14042 (java) S 14028 14030 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643357398008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14043] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14043/stat : 14043 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643356345608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14044] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14044/stat : 14044 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643355294096 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14045] ppid=14028 vsize=11852648 CPUtime=1.04 cores=0,2,4,6
/proc/14030/task/14045/stat : 14045 (java) S 14028 14030 13088 0 -1 4202560 10714 0 0 0 102 2 0 0 20 0 22 0 341566144 12137111552 170889 33554432000 1073741824 1073778376 140733993966096 139643354241720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
################
# More data... #
################
/proc/14030/statm: 2963162 305447 2280 9 0 2953849 0
[pid=14030/tid=14032] ppid=14028 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/14030/task/14032/stat : 14032 (java) S 14028 14030 13088 0 -1 4202560 3652 0 1 0 29 4 0 0 20 0 22 0 341566138 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643541030040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14033] ppid=14028 vsize=11852648 CPUtime=1.83 cores=0,2,4,6
/proc/14030/task/14033/stat : 14033 (java) S 14028 14030 13088 0 -1 4202560 108 0 0 0 183 0 0 0 20 0 22 0 341566140 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643378231592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14034] ppid=14028 vsize=11852648 CPUtime=1.79 cores=0,2,4,6
/proc/14030/task/14034/stat : 14034 (java) S 14028 14030 13088 0 -1 4202560 116 0 0 0 179 0 0 0 20 0 22 0 341566140 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643377178792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14035] ppid=14028 vsize=11852648 CPUtime=1.87 cores=0,2,4,6
/proc/14030/task/14035/stat : 14035 (java) S 14028 14030 13088 0 -1 4202560 115 0 0 0 185 2 0 0 20 0 22 0 341566140 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643376126504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14036] ppid=14028 vsize=11852648 CPUtime=1.78 cores=0,2,4,6
/proc/14030/task/14036/stat : 14036 (java) S 14028 14030 13088 0 -1 4202560 103 0 0 0 178 0 0 0 20 0 22 0 341566140 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643375073704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14037] ppid=14028 vsize=11852648 CPUtime=1.8 cores=0,2,4,6
/proc/14030/task/14037/stat : 14037 (java) S 14028 14030 13088 0 -1 4202560 108 0 0 0 178 2 0 0 20 0 22 0 341566140 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643374021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14038] ppid=14028 vsize=11852648 CPUtime=1.7 cores=0,2,4,6
/proc/14030/task/14038/stat : 14038 (java) S 14028 14030 13088 0 -1 4202560 116 0 0 0 168 2 0 0 20 0 22 0 341566140 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643372968616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14039] ppid=14028 vsize=11852648 CPUtime=1.91 cores=0,2,4,6
/proc/14030/task/14039/stat : 14039 (java) S 14028 14030 13088 0 -1 4202560 123 0 0 0 189 2 0 0 20 0 22 0 341566140 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643371916328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14040] ppid=14028 vsize=11852648 CPUtime=1.73 cores=0,2,4,6
/proc/14030/task/14040/stat : 14040 (java) S 14028 14030 13088 0 -1 4202560 114 0 0 0 171 2 0 0 20 0 22 0 341566140 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643370863528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14041] ppid=14028 vsize=11852648 CPUtime=90.83 cores=0,2,4,6
/proc/14030/task/14041/stat : 14041 (java) S 14028 14030 13088 0 -1 4202560 210 0 0 0 9073 10 0 0 20 0 22 0 341566141 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643358451944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14042] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14042/stat : 14042 (java) S 14028 14030 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643357398008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14043] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14043/stat : 14043 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643356345608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14044] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14044/stat : 14044 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643355294096 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14045] ppid=14028 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/14030/task/14045/stat : 14045 (java) S 14028 14030 13088 0 -1 4202560 10725 0 0 0 116 2 0 0 20 0 22 0 341566144 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643354241720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14046] ppid=14028 vsize=11852648 CPUtime=1.28 cores=0,2,4,6
/proc/14030/task/14046/stat : 14046 (java) S 14028 14030 13088 0 -1 4202560 8687 0 0 0 126 2 0 0 20 0 22 0 341566144 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643353188920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14047] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14047/stat : 14047 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643352136824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14048] ppid=14028 vsize=11852648 CPUtime=0.35 cores=0,2,4,6
/proc/14030/task/14048/stat : 14048 (java) S 14028 14030 13088 0 -1 4202560 51 0 0 0 15 20 0 0 20 0 22 0 341566145 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643351084232 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14049] ppid=14028 vsize=11852648 CPUtime=784.43 cores=0,2,4,6
/proc/14030/task/14049/stat : 14049 (java) R 14028 14030 13088 0 -1 4202560 120 0 0 0 78431 12 0 0 20 0 22 0 341566169 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643350028496 139643481222127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14050] ppid=14028 vsize=11852648 CPUtime=784.45 cores=0,2,4,6
/proc/14030/task/14050/stat : 14050 (java) R 14028 14030 13088 0 -1 4202560 520 0 0 0 78419 26 0 0 20 0 22 0 341566169 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643348973920 139643481454968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14051] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14051/stat : 14051 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643347924136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14052] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14052/stat : 14052 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 305447 33554432000 1073741824 1073778376 140733993966096 139643346871336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1681.44
Current children cumulated vsize (KiB) 11852648
[startup+942.301 s]
/proc/loadavg: 3.72 3.78 3.75 4/219 14183
/proc/meminfo: memFree=29492520/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=11852648 CPUtime=1793.27 cores=0,2,4,6
/proc/14030/stat : 14030 (java) S 14028 14030 13088 0 -1 4202496 26186 0 1 0 179260 67 0 0 20 0 22 0 341566137 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 140733993957232 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14030/statm: 2963162 307589 2280 9 0 2953849 0
[pid=14030/tid=14032] ppid=14028 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/14030/task/14032/stat : 14032 (java) S 14028 14030 13088 0 -1 4202560 3668 0 1 0 29 4 0 0 20 0 22 0 341566138 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643541030040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14033] ppid=14028 vsize=11852648 CPUtime=1.94 cores=0,2,4,6
/proc/14030/task/14033/stat : 14033 (java) S 14028 14030 13088 0 -1 4202560 118 0 0 0 194 0 0 0 20 0 22 0 341566140 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643378231592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14034] ppid=14028 vsize=11852648 CPUtime=1.95 cores=0,2,4,6
/proc/14030/task/14034/stat : 14034 (java) S 14028 14030 13088 0 -1 4202560 129 0 0 0 195 0 0 0 20 0 22 0 341566140 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643377178792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14035] ppid=14028 vsize=11852648 CPUtime=2.01 cores=0,2,4,6
/proc/14030/task/14035/stat : 14035 (java) S 14028 14030 13088 0 -1 4202560 122 0 0 0 199 2 0 0 20 0 22 0 341566140 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643376126504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14036] ppid=14028 vsize=11852648 CPUtime=1.92 cores=0,2,4,6
/proc/14030/task/14036/stat : 14036 (java) S 14028 14030 13088 0 -1 4202560 114 0 0 0 192 0 0 0 20 0 22 0 341566140 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643375073704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14037] ppid=14028 vsize=11852648 CPUtime=1.94 cores=0,2,4,6
/proc/14030/task/14037/stat : 14037 (java) S 14028 14030 13088 0 -1 4202560 122 0 0 0 192 2 0 0 20 0 22 0 341566140 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643374021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14038] ppid=14028 vsize=11852648 CPUtime=1.83 cores=0,2,4,6
/proc/14030/task/14038/stat : 14038 (java) S 14028 14030 13088 0 -1 4202560 128 0 0 0 181 2 0 0 20 0 22 0 341566140 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643372968616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14039] ppid=14028 vsize=11852648 CPUtime=2.06 cores=0,2,4,6
/proc/14030/task/14039/stat : 14039 (java) S 14028 14030 13088 0 -1 4202560 135 0 0 0 204 2 0 0 20 0 22 0 341566140 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643371916328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14040] ppid=14028 vsize=11852648 CPUtime=1.89 cores=0,2,4,6
/proc/14030/task/14040/stat : 14040 (java) S 14028 14030 13088 0 -1 4202560 125 0 0 0 187 2 0 0 20 0 22 0 341566140 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643370863528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14041] ppid=14028 vsize=11852648 CPUtime=99.55 cores=0,2,4,6
/proc/14030/task/14041/stat : 14041 (java) S 14028 14030 13088 0 -1 4202560 218 0 0 0 9945 10 0 0 20 0 22 0 341566141 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643358451944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14042] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14042/stat : 14042 (java) S 14028 14030 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643357398008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14043] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14043/stat : 14043 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643356345608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14044] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14044/stat : 14044 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643355294096 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14045] ppid=14028 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/14030/task/14045/stat : 14045 (java) S 14028 14030 13088 0 -1 4202560 10725 0 0 0 116 2 0 0 20 0 22 0 341566144 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643354241720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14046] ppid=14028 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/14030/task/14046/stat : 14046 (java) S 14028 14030 13088 0 -1 4202560 8693 0 0 0 136 2 0 0 20 0 22 0 341566144 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643353188920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14047] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14047/stat : 14047 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643352136824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14048] ppid=14028 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/14030/task/14048/stat : 14048 (java) S 14028 14030 13088 0 -1 4202560 55 0 0 0 16 20 0 0 20 0 22 0 341566145 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643351084232 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14049] ppid=14028 vsize=11852648 CPUtime=835.22 cores=0,2,4,6
/proc/14030/task/14049/stat : 14049 (java) R 14028 14030 13088 0 -1 4202560 125 0 0 0 83509 13 0 0 20 0 22 0 341566169 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643350028496 139643481330972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14050] ppid=14028 vsize=11852648 CPUtime=835.25 cores=0,2,4,6
/proc/14030/task/14050/stat : 14050 (java) R 14028 14030 13088 0 -1 4202560 520 0 0 0 83498 27 0 0 20 0 22 0 341566169 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643348973920 139643481454968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14051] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14051/stat : 14051 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643347924136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14052] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14052/stat : 14052 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 307589 33554432000 1073741824 1073778376 140733993966096 139643346871336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1793.27
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+946.201 s]
/proc/loadavg: 3.74 3.78 3.75 5/219 14183
/proc/meminfo: memFree=29484328/32873844 swapFree=7116/7116
[pid=14030] ppid=14028 vsize=11852648 CPUtime=1800.2 cores=0,2,4,6
/proc/14030/stat : 14030 (java) S 14028 14030 13088 0 -1 4202496 26202 0 1 0 179953 67 0 0 20 0 22 0 341566137 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 140733993957232 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14030/statm: 2963162 307603 2280 9 0 2953849 0
[pid=14030/tid=14032] ppid=14028 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/14030/task/14032/stat : 14032 (java) S 14028 14030 13088 0 -1 4202560 3670 0 1 0 29 4 0 0 20 0 22 0 341566138 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643541030040 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14033] ppid=14028 vsize=11852648 CPUtime=1.96 cores=0,2,4,6
/proc/14030/task/14033/stat : 14033 (java) S 14028 14030 13088 0 -1 4202560 118 0 0 0 196 0 0 0 20 0 22 0 341566140 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643378231592 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14034] ppid=14028 vsize=11852648 CPUtime=1.96 cores=0,2,4,6
/proc/14030/task/14034/stat : 14034 (java) S 14028 14030 13088 0 -1 4202560 129 0 0 0 196 0 0 0 20 0 22 0 341566140 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643377178792 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14035] ppid=14028 vsize=11852648 CPUtime=2.03 cores=0,2,4,6
/proc/14030/task/14035/stat : 14035 (java) S 14028 14030 13088 0 -1 4202560 124 0 0 0 201 2 0 0 20 0 22 0 341566140 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643376126504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14036] ppid=14028 vsize=11852648 CPUtime=1.95 cores=0,2,4,6
/proc/14030/task/14036/stat : 14036 (java) S 14028 14030 13088 0 -1 4202560 120 0 0 0 195 0 0 0 20 0 22 0 341566140 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643375073704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14037] ppid=14028 vsize=11852648 CPUtime=1.96 cores=0,2,4,6
/proc/14030/task/14037/stat : 14037 (java) S 14028 14030 13088 0 -1 4202560 125 0 0 0 194 2 0 0 20 0 22 0 341566140 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643374021416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14038] ppid=14028 vsize=11852648 CPUtime=1.86 cores=0,2,4,6
/proc/14030/task/14038/stat : 14038 (java) S 14028 14030 13088 0 -1 4202560 130 0 0 0 184 2 0 0 20 0 22 0 341566140 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643372968616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14039] ppid=14028 vsize=11852648 CPUtime=2.08 cores=0,2,4,6
/proc/14030/task/14039/stat : 14039 (java) S 14028 14030 13088 0 -1 4202560 135 0 0 0 206 2 0 0 20 0 22 0 341566140 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643371916328 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14040] ppid=14028 vsize=11852648 CPUtime=1.9 cores=0,2,4,6
/proc/14030/task/14040/stat : 14040 (java) S 14028 14030 13088 0 -1 4202560 126 0 0 0 188 2 0 0 20 0 22 0 341566140 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643370863528 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14041] ppid=14028 vsize=11852648 CPUtime=100.5 cores=0,2,4,6
/proc/14030/task/14041/stat : 14041 (java) S 14028 14030 13088 0 -1 4202560 218 0 0 0 10040 10 0 0 20 0 22 0 341566141 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643358451944 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14042] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14042/stat : 14042 (java) S 14028 14030 13088 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643357398008 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14043] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14043/stat : 14043 (java) S 14028 14030 13088 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 341566142 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643356345608 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14044] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14044/stat : 14044 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643355294096 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14045] ppid=14028 vsize=11852648 CPUtime=1.18 cores=0,2,4,6
/proc/14030/task/14045/stat : 14045 (java) S 14028 14030 13088 0 -1 4202560 10725 0 0 0 116 2 0 0 20 0 22 0 341566144 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643354241720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14030/tid=14046] ppid=14028 vsize=11852648 CPUtime=1.38 cores=0,2,4,6
/proc/14030/task/14046/stat : 14046 (java) S 14028 14030 13088 0 -1 4202560 8693 0 0 0 136 2 0 0 20 0 22 0 341566144 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643353188920 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14047] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14047/stat : 14047 (java) S 14028 14030 13088 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341566144 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643352136824 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14048] ppid=14028 vsize=11852648 CPUtime=0.36 cores=0,2,4,6
/proc/14030/task/14048/stat : 14048 (java) S 14028 14030 13088 0 -1 4202560 55 0 0 0 16 20 0 0 20 0 22 0 341566145 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643351084232 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14049] ppid=14028 vsize=11852648 CPUtime=838.12 cores=0,2,4,6
/proc/14030/task/14049/stat : 14049 (java) R 14028 14030 13088 0 -1 4202560 125 0 0 0 83799 13 0 0 20 0 22 0 341566169 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643350028616 139643481304917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14030/tid=14050] ppid=14028 vsize=11852648 CPUtime=838.16 cores=0,2,4,6
/proc/14030/task/14050/stat : 14050 (java) R 14028 14030 13088 0 -1 4202560 520 0 0 0 83789 27 0 0 20 0 22 0 341566169 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643348973920 139643481455840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14030/tid=14051] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14051/stat : 14051 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643347924136 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14030/tid=14052] ppid=14028 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/14030/task/14052/stat : 14052 (java) S 14028 14030 13088 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341566170 12137111552 307603 33554432000 1073741824 1073778376 140733993966096 139643346871336 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 11852648
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 14030 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=39112
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=41841
# CPU time returned by wait4() is 1796.08
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 946.235
CPU time (s): 1800.2
CPU user time (s): 1799.53
CPU system time (s): 0.67
CPU usage (%): 190.249
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.04
system time used= 1.04184
maximum resident set size= 1230568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26243
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32182
involuntary context switches= 35374
runsolver used 3.47147 second user time and 8.68468 second system time
The end