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-3743404-1338779723/watcher-3743404-1338779723 -o /tmp/evaluation-result-3743404-1338779723/solver-3743404-1338779723 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3743404-1338779723.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.91 3.97 3.65 5/197 3771
/proc/meminfo: memFree=26991248/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=94112 CPUtime=0 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 1220 0 0 0 0 0 0 0 20 0 2 0 344098231 96370688 931 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 23528 931 705 9 0 16769 0
[pid=3771/tid=3772] ppid=3769 vsize=96324 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) R 3769 3771 3411 0 -1 4202560 87 0 0 0 0 0 0 0 20 0 2 0 344098231 98635776 943 33554432000 1073741824 1073778376 140735539173936 140377380285992 259103166752 0 0 4096 0 0 0 0 -1 5 0 0 0 0 0
[startup+0.0603081 s]
/proc/loadavg: 3.91 3.97 3.65 5/197 3771
/proc/meminfo: memFree=26991248/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=11586392 CPUtime=0.05 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 4467 0 1 0 4 1 0 0 20 0 18 0 344098231 11864465408 12320 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 2896598 12324 1764 9 0 2887285 0
[pid=3771/tid=3772] ppid=3769 vsize=11586392 CPUtime=0.04 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) R 3769 3771 3411 0 -1 4202560 3263 0 1 0 3 1 0 0 20 0 18 0 344098231 11864465408 12324 33554432000 1073741824 1073778376 140735539173936 140377380293280 259115771149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11586392
[startup+0.100245 s]
/proc/loadavg: 3.91 3.97 3.65 5/197 3771
/proc/meminfo: memFree=26991248/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 5357 0 1 0 9 1 0 0 20 0 18 0 344098231 11864465408 13715 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 2896598 13715 2116 9 0 2887285 0
[pid=3771/tid=3772] ppid=3769 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) R 3769 3771 3411 0 -1 4202560 3416 0 1 0 6 2 0 0 20 0 18 0 344098231 11864465408 13715 33554432000 1073741824 1073778376 140735539173936 140377380289456 140377387717823 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.300215 s]
/proc/loadavg: 3.91 3.97 3.65 5/197 3771
/proc/meminfo: memFree=26991248/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=11586392 CPUtime=0.54 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 7164 0 1 0 52 2 0 0 20 0 18 0 344098231 11864465408 23515 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 2896598 23515 2225 9 0 2887285 0
[pid=3771/tid=3772] ppid=3769 vsize=11586392 CPUtime=0.28 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) R 3769 3771 3411 0 -1 4202560 3443 0 1 0 26 2 0 0 20 0 18 0 344098231 11864465408 23515 33554432000 1073741824 1073778376 140735539173936 140377380290840 259115760696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 11586392
[startup+0.700288 s]
/proc/loadavg: 3.91 3.97 3.65 5/197 3771
/proc/meminfo: memFree=26991248/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=11586392 CPUtime=1.21 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 9694 0 1 0 116 5 0 0 20 0 18 0 344098231 11864465408 66053 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 2896598 66053 2237 9 0 2887285 0
[pid=3771/tid=3772] ppid=3769 vsize=11586392 CPUtime=0.68 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) R 3769 3771 3411 0 -1 4202560 3524 0 1 0 63 5 0 0 20 0 18 0 344098231 11864465408 66053 33554432000 1073741824 1073778376 140735539173936 140377380282528 140377320427712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 11586392
[startup+1.5007 s]
/proc/loadavg: 3.84 3.95 3.65 4/215 3789
/proc/meminfo: memFree=26215988/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=11586392 CPUtime=2.04 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 10143 0 1 0 186 18 0 0 20 0 18 0 344098231 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 2896598 292875 2239 9 0 2887285 0
[pid=3771/tid=3772] ppid=3769 vsize=11586392 CPUtime=1.47 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) R 3769 3771 3411 0 -1 4202560 3967 0 1 0 130 17 0 0 20 0 18 0 344098231 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377380282352 140377320493610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3774] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3774/stat : 3774 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377319021224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3775] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3775/stat : 3775 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377317968680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3776] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3776/stat : 3776 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377316916136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3777] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3777/stat : 3777 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377213660200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3778] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3778/stat : 3778 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377212606632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3779] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3779/stat : 3779 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377211554088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3780] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3780/stat : 3780 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377210501544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3781] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3781/stat : 3781 (java) S 3769 3771 3411 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377209449000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3782] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3782/stat : 3782 (java) S 3769 3771 3411 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 344098234 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377197251176 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3783] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3783/stat : 3783 (java) S 3769 3771 3411 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 344098234 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377196197496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3784] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3784/stat : 3784 (java) S 3769 3771 3411 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 344098234 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377195144840 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3785] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3785/stat : 3785 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098236 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377194093584 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3786] ppid=3769 vsize=11586392 CPUtime=0.24 cores=1,3,5,7
/proc/3771/task/3786/stat : 3786 (java) S 3769 3771 3411 0 -1 4202560 2490 0 0 0 24 0 0 0 20 0 18 0 344098236 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377193039928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3787] ppid=3769 vsize=11586392 CPUtime=0.29 cores=1,3,5,7
/proc/3771/task/3787/stat : 3787 (java) S 3769 3771 3411 0 -1 4202560 2503 0 0 0 29 0 0 0 20 0 18 0 344098236 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377191987384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3788] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3788/stat : 3788 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098236 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377190935032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3789] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3789/stat : 3789 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098236 11864465408 292875 33554432000 1073741824 1073778376 140735539173936 140377189882696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 11586392
[startup+3.10074 s]
/proc/loadavg: 3.84 3.95 3.65 4/215 3789
/proc/meminfo: memFree=25528428/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=11586392 CPUtime=3.65 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 10525 0 1 0 335 30 0 0 20 0 18 0 344098231 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 2896598 488459 2239 9 0 2887285 0
[pid=3771/tid=3772] ppid=3769 vsize=11586392 CPUtime=3.07 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) R 3769 3771 3411 0 -1 4202560 4349 0 1 0 278 29 0 0 20 0 18 0 344098231 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377380282464 259115771149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3774] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3774/stat : 3774 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377319021224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3775] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3775/stat : 3775 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377317968680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3776] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3776/stat : 3776 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377316916136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3777] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3777/stat : 3777 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377213660200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3778] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3778/stat : 3778 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377212606632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3779] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3779/stat : 3779 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377211554088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3780] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3780/stat : 3780 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377210501544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3781] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3781/stat : 3781 (java) S 3769 3771 3411 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 344098233 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377209449000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3782] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3782/stat : 3782 (java) S 3769 3771 3411 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 344098234 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377197251176 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3783] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3783/stat : 3783 (java) S 3769 3771 3411 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 344098234 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377196197496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3784] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3784/stat : 3784 (java) S 3769 3771 3411 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 344098234 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377195144840 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3785] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3785/stat : 3785 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098236 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377194093584 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3786] ppid=3769 vsize=11586392 CPUtime=0.24 cores=1,3,5,7
/proc/3771/task/3786/stat : 3786 (java) S 3769 3771 3411 0 -1 4202560 2490 0 0 0 24 0 0 0 20 0 18 0 344098236 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377193039928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3787] ppid=3769 vsize=11586392 CPUtime=0.29 cores=1,3,5,7
/proc/3771/task/3787/stat : 3787 (java) S 3769 3771 3411 0 -1 4202560 2503 0 0 0 29 0 0 0 20 0 18 0 344098236 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377191987384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3788] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3788/stat : 3788 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098236 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377190935032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3789] ppid=3769 vsize=11586392 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3789/stat : 3789 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 344098236 11864465408 488459 33554432000 1073741824 1073778376 140735539173936 140377189882696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 11586392
[startup+6.30064 s]
/proc/loadavg: 3.84 3.95 3.65 3/212 3789
/proc/meminfo: memFree=23902984/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=11852648 CPUtime=9.33 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 14212 0 1 0 833 100 0 0 20 0 22 0 344098231 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 2963162 773275 2267 9 0 2953849 0
[pid=3771/tid=3772] ppid=3769 vsize=11852648 CPUtime=5.47 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) S 3769 3771 3411 0 -1 4202560 4695 0 1 0 506 41 0 0 20 0 22 0 344098231 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377380291736 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3774] ppid=3769 vsize=11852648 CPUtime=0.22 cores=1,3,5,7
/proc/3771/task/3774/stat : 3774 (java) S 3769 3771 3411 0 -1 4202560 92 0 0 0 16 6 0 0 20 0 22 0 344098233 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377319021224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3775] ppid=3769 vsize=11852648 CPUtime=0.38 cores=1,3,5,7
/proc/3771/task/3775/stat : 3775 (java) S 3769 3771 3411 0 -1 4202560 148 0 0 0 31 7 0 0 20 0 22 0 344098233 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377317968680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3776] ppid=3769 vsize=11852648 CPUtime=0.31 cores=1,3,5,7
/proc/3771/task/3776/stat : 3776 (java) S 3769 3771 3411 0 -1 4202560 127 0 0 0 24 7 0 0 20 0 22 0 344098233 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377316916136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3777] ppid=3769 vsize=11852648 CPUtime=0.34 cores=1,3,5,7
/proc/3771/task/3777/stat : 3777 (java) S 3769 3771 3411 0 -1 4202560 148 0 0 0 27 7 0 0 20 0 22 0 344098233 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377213660200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3778] ppid=3769 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/3771/task/3778/stat : 3778 (java) S 3769 3771 3411 0 -1 4202560 131 0 0 0 28 7 0 0 20 0 22 0 344098233 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377212606632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3779] ppid=3769 vsize=11852648 CPUtime=0.45 cores=1,3,5,7
/proc/3771/task/3779/stat : 3779 (java) S 3769 3771 3411 0 -1 4202560 193 0 0 0 34 11 0 0 20 0 22 0 344098233 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377211554088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3780] ppid=3769 vsize=11852648 CPUtime=0.31 cores=1,3,5,7
/proc/3771/task/3780/stat : 3780 (java) S 3769 3771 3411 0 -1 4202560 129 0 0 0 23 8 0 0 20 0 22 0 344098233 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377210501544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3781] ppid=3769 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/3771/task/3781/stat : 3781 (java) S 3769 3771 3411 0 -1 4202560 111 0 0 0 29 6 0 0 20 0 22 0 344098233 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377209449000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3782] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3782/stat : 3782 (java) S 3769 3771 3411 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344098234 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377197251176 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3783] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3783/stat : 3783 (java) S 3769 3771 3411 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344098234 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377196197496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3784] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3784/stat : 3784 (java) S 3769 3771 3411 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344098234 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377195144840 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3785] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3785/stat : 3785 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344098236 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377194093584 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3786] ppid=3769 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/3771/task/3786/stat : 3786 (java) R 3769 3771 3411 0 -1 4202560 4696 0 0 0 40 1 0 0 20 0 22 0 344098236 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377193033624 140377387094999 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3787] ppid=3769 vsize=11852648 CPUtime=0.42 cores=1,3,5,7
/proc/3771/task/3787/stat : 3787 (java) R 3769 3771 3411 0 -1 4202560 2514 0 0 0 42 0 0 0 20 0 22 0 344098236 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377191987384 140377382100193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3788] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3788/stat : 3788 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344098236 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377190935032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3789] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3789/stat : 3789 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344098236 12137111552 773275 33554432000 1073741824 1073778376 140735539173936 140377189882696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/3771/statm: 2963162 963782 2289 9 0 2953849 0
[pid=3771/tid=3772] ppid=3769 vsize=11852648 CPUtime=5.51 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) S 3769 3771 3411 0 -1 4202560 4702 0 1 0 509 42 0 0 20 0 22 0 344098231 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377380291736 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3774] ppid=3769 vsize=11852648 CPUtime=0.84 cores=1,3,5,7
/proc/3771/task/3774/stat : 3774 (java) S 3769 3771 3411 0 -1 4202560 148 0 0 0 78 6 0 0 20 0 22 0 344098233 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377319021224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3775] ppid=3769 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/3771/task/3775/stat : 3775 (java) S 3769 3771 3411 0 -1 4202560 187 0 0 0 90 9 0 0 20 0 22 0 344098233 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377317968680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3776] ppid=3769 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/3771/task/3776/stat : 3776 (java) S 3769 3771 3411 0 -1 4202560 158 0 0 0 81 8 0 0 20 0 22 0 344098233 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377316916136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3777] ppid=3769 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/3771/task/3777/stat : 3777 (java) S 3769 3771 3411 0 -1 4202560 226 0 0 0 92 10 0 0 20 0 22 0 344098233 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377213660200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3778] ppid=3769 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/3771/task/3778/stat : 3778 (java) S 3769 3771 3411 0 -1 4202560 173 0 0 0 82 9 0 0 20 0 22 0 344098233 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377212606632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3779] ppid=3769 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/3771/task/3779/stat : 3779 (java) S 3769 3771 3411 0 -1 4202560 235 0 0 0 90 13 0 0 20 0 22 0 344098233 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377211554088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3780] ppid=3769 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/3771/task/3780/stat : 3780 (java) S 3769 3771 3411 0 -1 4202560 218 0 0 0 94 11 0 0 20 0 22 0 344098233 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377210501544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3781] ppid=3769 vsize=11852648 CPUtime=0.89 cores=1,3,5,7
/proc/3771/task/3781/stat : 3781 (java) S 3769 3771 3411 0 -1 4202560 150 0 0 0 81 8 0 0 20 0 22 0 344098233 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377209449000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3782] ppid=3769 vsize=11852648 CPUtime=7.05 cores=1,3,5,7
/proc/3771/task/3782/stat : 3782 (java) S 3769 3771 3411 0 -1 4202560 13797 0 0 0 689 16 0 0 20 0 22 0 344098234 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377197251176 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3783] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3783/stat : 3783 (java) S 3769 3771 3411 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344098234 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377196197496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3784] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3784/stat : 3784 (java) S 3769 3771 3411 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344098234 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377195144840 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3785] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3785/stat : 3785 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344098236 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377194093584 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3786] ppid=3769 vsize=11852648 CPUtime=1.97 cores=1,3,5,7
/proc/3771/task/3786/stat : 3786 (java) S 3769 3771 3411 0 -1 4202560 18628 0 0 0 193 4 0 0 20 0 22 0 344098236 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377193039928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3787] ppid=3769 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/3771/task/3787/stat : 3787 (java) S 3769 3771 3411 0 -1 4202560 4240 0 0 0 117 0 0 0 20 0 22 0 344098236 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377191987384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3788] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3788/stat : 3788 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344098236 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377190935032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3789] ppid=3769 vsize=11852648 CPUtime=0.35 cores=1,3,5,7
/proc/3771/task/3789/stat : 3789 (java) S 3769 3771 3411 0 -1 4202560 51 0 0 0 14 21 0 0 20 0 22 0 344098236 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377189882696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3793] ppid=3769 vsize=11852648 CPUtime=865.15 cores=1,3,5,7
/proc/3771/task/3793/stat : 3793 (java) R 3769 3771 3411 0 -1 4202560 95 0 0 0 86501 14 0 0 20 0 22 0 344098852 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377188826784 140377320992322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3794] ppid=3769 vsize=11852648 CPUtime=865.31 cores=1,3,5,7
/proc/3771/task/3794/stat : 3794 (java) R 3769 3771 3411 0 -1 4202560 203 0 0 0 86515 16 0 0 20 0 22 0 344098852 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377187772864 140377321099883 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3795] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3795/stat : 3795 (java) S 3769 3771 3411 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344098860 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377186723368 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3796] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3796/stat : 3796 (java) S 3769 3771 3411 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344098860 12137111552 963782 33554432000 1073741824 1073778376 140735539173936 140377185670824 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1758.47
Current children cumulated vsize (KiB) 11852648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.108 s]
/proc/loadavg: 3.70 3.90 3.81 5/196 3815
/proc/meminfo: memFree=26218196/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=11852648 CPUtime=1800.17 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 44404 0 1 0 179859 158 0 0 20 0 22 0 344098231 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 2963162 963783 2289 9 0 2953849 0
[pid=3771/tid=3772] ppid=3769 vsize=11852648 CPUtime=5.51 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) S 3769 3771 3411 0 -1 4202560 4702 0 1 0 509 42 0 0 20 0 22 0 344098231 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377380291736 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3774] ppid=3769 vsize=11852648 CPUtime=0.85 cores=1,3,5,7
/proc/3771/task/3774/stat : 3774 (java) S 3769 3771 3411 0 -1 4202560 148 0 0 0 79 6 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377319021224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3775] ppid=3769 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/3771/task/3775/stat : 3775 (java) S 3769 3771 3411 0 -1 4202560 187 0 0 0 91 9 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377317968680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3776] ppid=3769 vsize=11852648 CPUtime=0.92 cores=1,3,5,7
/proc/3771/task/3776/stat : 3776 (java) S 3769 3771 3411 0 -1 4202560 158 0 0 0 84 8 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377316916136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3777] ppid=3769 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/3771/task/3777/stat : 3777 (java) S 3769 3771 3411 0 -1 4202560 226 0 0 0 94 10 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377213660200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3778] ppid=3769 vsize=11852648 CPUtime=0.94 cores=1,3,5,7
/proc/3771/task/3778/stat : 3778 (java) S 3769 3771 3411 0 -1 4202560 173 0 0 0 85 9 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377212606632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3779] ppid=3769 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/3771/task/3779/stat : 3779 (java) S 3769 3771 3411 0 -1 4202560 235 0 0 0 92 13 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377211554088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3780] ppid=3769 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/3771/task/3780/stat : 3780 (java) S 3769 3771 3411 0 -1 4202560 219 0 0 0 95 11 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377210501544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3781] ppid=3769 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/3771/task/3781/stat : 3781 (java) S 3769 3771 3411 0 -1 4202560 150 0 0 0 83 8 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377209449000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3782] ppid=3769 vsize=11852648 CPUtime=7.05 cores=1,3,5,7
/proc/3771/task/3782/stat : 3782 (java) S 3769 3771 3411 0 -1 4202560 13797 0 0 0 689 16 0 0 20 0 22 0 344098234 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377197251176 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3783] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3783/stat : 3783 (java) S 3769 3771 3411 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344098234 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377196197496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3784] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3784/stat : 3784 (java) S 3769 3771 3411 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344098234 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377195144840 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3785] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3785/stat : 3785 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377194093584 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3786] ppid=3769 vsize=11852648 CPUtime=1.97 cores=1,3,5,7
/proc/3771/task/3786/stat : 3786 (java) S 3769 3771 3411 0 -1 4202560 18628 0 0 0 193 4 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377193039928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3787] ppid=3769 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/3771/task/3787/stat : 3787 (java) S 3769 3771 3411 0 -1 4202560 4240 0 0 0 117 0 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377191987384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3788] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3788/stat : 3788 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377190935032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3789] ppid=3769 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/3771/task/3789/stat : 3789 (java) S 3769 3771 3411 0 -1 4202560 53 0 0 0 15 21 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377189882696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3793] ppid=3769 vsize=11852648 CPUtime=885.85 cores=1,3,5,7
/proc/3771/task/3793/stat : 3793 (java) R 3769 3771 3411 0 -1 4202560 98 0 0 0 88571 14 0 0 20 0 22 0 344098852 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377188826784 140377321000771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3794] ppid=3769 vsize=11852648 CPUtime=886.03 cores=1,3,5,7
/proc/3771/task/3794/stat : 3794 (java) R 3769 3771 3411 0 -1 4202560 204 0 0 0 88587 16 0 0 20 0 22 0 344098852 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377187772976 140377321099778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3795] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3795/stat : 3795 (java) S 3769 3771 3411 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344098860 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377186723368 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3796] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3796/stat : 3796 (java) S 3769 3771 3411 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344098860 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377185670824 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
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
[startup+903.108 s]
/proc/loadavg: 3.70 3.90 3.81 5/196 3815
/proc/meminfo: memFree=26218196/32873648 swapFree=6860/6860
[pid=3771] ppid=3769 vsize=11852648 CPUtime=1800.17 cores=1,3,5,7
/proc/3771/stat : 3771 (java) S 3769 3771 3411 0 -1 4202496 44404 0 1 0 179859 158 0 0 20 0 22 0 344098231 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140735539165072 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3771/statm: 2963162 963783 2289 9 0 2953849 0
[pid=3771/tid=3772] ppid=3769 vsize=11852648 CPUtime=5.51 cores=1,3,5,7
/proc/3771/task/3772/stat : 3772 (java) S 3769 3771 3411 0 -1 4202560 4702 0 1 0 509 42 0 0 20 0 22 0 344098231 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377380291736 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3774] ppid=3769 vsize=11852648 CPUtime=0.85 cores=1,3,5,7
/proc/3771/task/3774/stat : 3774 (java) S 3769 3771 3411 0 -1 4202560 148 0 0 0 79 6 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377319021224 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3775] ppid=3769 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/3771/task/3775/stat : 3775 (java) S 3769 3771 3411 0 -1 4202560 187 0 0 0 91 9 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377317968680 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3776] ppid=3769 vsize=11852648 CPUtime=0.92 cores=1,3,5,7
/proc/3771/task/3776/stat : 3776 (java) S 3769 3771 3411 0 -1 4202560 158 0 0 0 84 8 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377316916136 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3777] ppid=3769 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/3771/task/3777/stat : 3777 (java) S 3769 3771 3411 0 -1 4202560 226 0 0 0 94 10 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377213660200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3778] ppid=3769 vsize=11852648 CPUtime=0.94 cores=1,3,5,7
/proc/3771/task/3778/stat : 3778 (java) S 3769 3771 3411 0 -1 4202560 173 0 0 0 85 9 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377212606632 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3779] ppid=3769 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/3771/task/3779/stat : 3779 (java) S 3769 3771 3411 0 -1 4202560 235 0 0 0 92 13 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377211554088 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3780] ppid=3769 vsize=11852648 CPUtime=1.06 cores=1,3,5,7
/proc/3771/task/3780/stat : 3780 (java) S 3769 3771 3411 0 -1 4202560 219 0 0 0 95 11 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377210501544 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3781] ppid=3769 vsize=11852648 CPUtime=0.91 cores=1,3,5,7
/proc/3771/task/3781/stat : 3781 (java) S 3769 3771 3411 0 -1 4202560 150 0 0 0 83 8 0 0 20 0 22 0 344098233 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377209449000 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3782] ppid=3769 vsize=11852648 CPUtime=7.05 cores=1,3,5,7
/proc/3771/task/3782/stat : 3782 (java) S 3769 3771 3411 0 -1 4202560 13797 0 0 0 689 16 0 0 20 0 22 0 344098234 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377197251176 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3783] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3783/stat : 3783 (java) S 3769 3771 3411 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 344098234 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377196197496 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3784] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3784/stat : 3784 (java) S 3769 3771 3411 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 344098234 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377195144840 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3785] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3785/stat : 3785 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377194093584 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3771/tid=3786] ppid=3769 vsize=11852648 CPUtime=1.97 cores=1,3,5,7
/proc/3771/task/3786/stat : 3786 (java) S 3769 3771 3411 0 -1 4202560 18628 0 0 0 193 4 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377193039928 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3787] ppid=3769 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/3771/task/3787/stat : 3787 (java) S 3769 3771 3411 0 -1 4202560 4240 0 0 0 117 0 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377191987384 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3788] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3788/stat : 3788 (java) S 3769 3771 3411 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377190935032 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3789] ppid=3769 vsize=11852648 CPUtime=0.36 cores=1,3,5,7
/proc/3771/task/3789/stat : 3789 (java) S 3769 3771 3411 0 -1 4202560 53 0 0 0 15 21 0 0 20 0 22 0 344098236 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377189882696 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3793] ppid=3769 vsize=11852648 CPUtime=885.85 cores=1,3,5,7
/proc/3771/task/3793/stat : 3793 (java) R 3769 3771 3411 0 -1 4202560 98 0 0 0 88571 14 0 0 20 0 22 0 344098852 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377188826784 140377321000771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3771/tid=3794] ppid=3769 vsize=11852648 CPUtime=886.03 cores=1,3,5,7
/proc/3771/task/3794/stat : 3794 (java) R 3769 3771 3411 0 -1 4202560 204 0 0 0 88587 16 0 0 20 0 22 0 344098852 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377187772976 140377321099778 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3771/tid=3795] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3795/stat : 3795 (java) S 3769 3771 3411 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344098860 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377186723368 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3771/tid=3796] ppid=3769 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/3771/task/3796/stat : 3796 (java) S 3769 3771 3411 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 344098860 12137111552 963783 33554432000 1073741824 1073778376 140735539173936 140377185670824 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 11852648
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3771 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=221236
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=29691
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1800.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 903.243
CPU time (s): 1800.17
CPU user time (s): 1798.59
CPU system time (s): 1.58
CPU usage (%): 199.301
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.22
system time used= 2.02969
maximum resident set size= 3900588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44442
page faults= 1
swaps= 0
block input operations= 0
block output operations= 888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24542
involuntary context switches= 23365
runsolver used 3.46947 second user time and 8.59569 second system time
The end