runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4101986-1466216961/watcher-4101986-1466216961 -o /tmp/evaluation-result-4101986-1466216961/solver-4101986-1466216961 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101986-1466216961.opb
pid=14732
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: 4.46 4.58 4.43 5/197 14735
/proc/meminfo: memFree=25239680/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/14735/stat : 14735 (java) R 14732 14735 8337 0 -1 4202496 171 0 0 0 0 0 0 0 20 0 1 0 23741849 2560000 46 33554432000 1073741824 1073778376 140736593578144 140736593575272 225435544871 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 625 46 37 9 0 29 0
[startup+0.100059 s]
/proc/loadavg: 4.46 4.58 4.43 5/197 14735
/proc/meminfo: memFree=25239680/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 4317 0 1 0 7 0 0 0 20 0 18 0 23741849 9787879424 5437 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2389619 5437 2096 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200232 s]
/proc/loadavg: 4.46 4.58 4.43 5/197 14735
/proc/meminfo: memFree=25239680/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 4726 0 1 0 22 1 0 0 20 0 18 0 23741849 9787879424 6815 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2389619 6815 2214 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300248 s]
/proc/loadavg: 4.46 4.58 4.43 5/197 14735
/proc/meminfo: memFree=25239680/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 8828 0 1 0 48 2 0 0 20 0 18 0 23741849 9787879424 11349 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2389619 11349 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476
[startup+0.700208 s]
/proc/loadavg: 4.46 4.58 4.43 5/197 14735
/proc/meminfo: memFree=25239680/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 15180 0 1 0 166 3 0 0 20 0 22 0 23741849 10060525568 25394 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2456183 25394 2257 9 0 2446860 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9824732
[startup+1.50093 s]
/proc/loadavg: 4.46 4.58 4.43 7/219 14757
/proc/meminfo: memFree=25121864/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9824732 CPUtime=3.8 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 15397 0 1 0 373 7 0 0 20 0 22 0 23741849 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2456183 47560 2278 9 0 2446860 0
[pid=14735/tid=14737] ppid=14732 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/14735/task/14737/stat : 14737 (java) S 14732 14735 8337 0 -1 4202560 2439 0 1 0 41 2 0 0 20 0 22 0 23741851 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216815874936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14738] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14738/stat : 14738 (java) S 14732 14735 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216793974952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14739] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14739/stat : 14739 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216792922408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14740] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14740/stat : 14740 (java) S 14732 14735 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216791869864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14741] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14741/stat : 14741 (java) S 14732 14735 8337 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216455129640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14742] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14742/stat : 14742 (java) S 14732 14735 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216454077096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14743] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14743/stat : 14743 (java) S 14732 14735 8337 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216453024552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14744] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14744/stat : 14744 (java) S 14732 14735 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216451972008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14745] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14745/stat : 14745 (java) S 14732 14735 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216450919464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14746] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14746/stat : 14746 (java) S 14732 14735 8337 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23741853 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216438507624 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14747] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14747/stat : 14747 (java) S 14732 14735 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216437453944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14748] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14748/stat : 14748 (java) S 14732 14735 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216436401288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14749] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14749/stat : 14749 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216435350032 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14750] ppid=14732 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/14735/task/14750/stat : 14750 (java) S 14732 14735 8337 0 -1 4202560 4567 0 0 0 73 0 0 0 20 0 22 0 23741856 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216434297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14751] ppid=14732 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/14735/task/14751/stat : 14751 (java) R 14732 14735 8337 0 -1 4202560 6900 0 0 0 79 0 0 0 20 0 22 0 23741856 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216433244736 140216822678143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14752] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14752/stat : 14752 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216432192504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14753] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14753/stat : 14753 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216431140168 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14754] ppid=14732 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/14735/task/14754/stat : 14754 (java) R 14732 14735 8337 0 -1 4202560 24 0 0 0 87 0 0 0 20 0 22 0 23741897 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216429985416 140216674076176 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14755] ppid=14732 vsize=9824732 CPUtime=0.86 cores=1,3,5,7
/proc/14735/task/14755/stat : 14755 (java) R 14732 14735 8337 0 -1 4202560 66 0 0 0 85 1 0 0 20 0 22 0 23741897 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216428933288 140216674114589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14756] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14756/stat : 14756 (java) S 14732 14735 8337 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216427881512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14757] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14757/stat : 14757 (java) S 14732 14735 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 47560 33554432000 1073741824 1073778376 140733538786432 140216426828968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 9824732
[startup+3.10093 s]
/proc/loadavg: 4.46 4.58 4.43 6/219 14757
/proc/meminfo: memFree=25028340/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9824732 CPUtime=7.23 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 15785 0 1 0 713 10 0 0 20 0 22 0 23741849 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2456183 54549 2278 9 0 2446860 0
[pid=14735/tid=14737] ppid=14732 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/14735/task/14737/stat : 14737 (java) S 14732 14735 8337 0 -1 4202560 2439 0 1 0 41 2 0 0 20 0 22 0 23741851 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216815874936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14738] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14738/stat : 14738 (java) S 14732 14735 8337 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216793974952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14739] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14739/stat : 14739 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216792922408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14740] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14740/stat : 14740 (java) S 14732 14735 8337 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216791869864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14741] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14741/stat : 14741 (java) S 14732 14735 8337 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216455129640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14742] ppid=14732 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/14735/task/14742/stat : 14742 (java) S 14732 14735 8337 0 -1 4202560 130 0 0 0 1 1 0 0 20 0 22 0 23741852 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216454077096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14743] ppid=14732 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/14735/task/14743/stat : 14743 (java) S 14732 14735 8337 0 -1 4202560 82 0 0 0 1 0 0 0 20 0 22 0 23741852 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216453024552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14744] ppid=14732 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/14735/task/14744/stat : 14744 (java) S 14732 14735 8337 0 -1 4202560 104 0 0 0 1 2 0 0 20 0 22 0 23741852 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216451972008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14745] ppid=14732 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/14735/task/14745/stat : 14745 (java) S 14732 14735 8337 0 -1 4202560 91 0 0 0 2 0 0 0 20 0 22 0 23741852 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216450919464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14746] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14746/stat : 14746 (java) S 14732 14735 8337 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23741853 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216438507624 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14747] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14747/stat : 14747 (java) S 14732 14735 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216437453944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14748] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14748/stat : 14748 (java) S 14732 14735 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216436401288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14749] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14749/stat : 14749 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216435350032 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14750] ppid=14732 vsize=9824732 CPUtime=0.79 cores=1,3,5,7
/proc/14735/task/14750/stat : 14750 (java) S 14732 14735 8337 0 -1 4202560 4567 0 0 0 79 0 0 0 20 0 22 0 23741856 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216434297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14751] ppid=14732 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/14735/task/14751/stat : 14751 (java) S 14732 14735 8337 0 -1 4202560 6900 0 0 0 91 0 0 0 20 0 22 0 23741856 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216433244856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14752] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14752/stat : 14752 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216432192504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14753] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14753/stat : 14753 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216431140168 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14754] ppid=14732 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/14735/task/14754/stat : 14754 (java) R 14732 14735 8337 0 -1 4202560 25 0 0 0 244 0 0 0 20 0 22 0 23741897 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216429984120 140216674242936 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14755] ppid=14732 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/14735/task/14755/stat : 14755 (java) R 14732 14735 8337 0 -1 4202560 67 0 0 0 241 1 0 0 20 0 22 0 23741897 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216428931160 140216674123279 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14756] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14756/stat : 14756 (java) S 14732 14735 8337 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216427881512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14757] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14757/stat : 14757 (java) S 14732 14735 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 54549 33554432000 1073741824 1073778376 140733538786432 140216426828968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.23
Current children cumulated vsize (KiB) 9824732
[startup+6.30092 s]
/proc/loadavg: 4.50 4.58 4.44 6/219 14757
/proc/meminfo: memFree=24873420/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9824732 CPUtime=14.21 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 18681 0 1 0 1403 18 0 0 20 0 22 0 23741849 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2456183 94786 2284 9 0 2446860 0
[pid=14735/tid=14737] ppid=14732 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/14735/task/14737/stat : 14737 (java) S 14732 14735 8337 0 -1 4202560 2439 0 1 0 41 2 0 0 20 0 22 0 23741851 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216815874936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14738] ppid=14732 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/14735/task/14738/stat : 14738 (java) S 14732 14735 8337 0 -1 4202560 37 0 0 0 2 2 0 0 20 0 22 0 23741852 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216793974952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14739] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14739/stat : 14739 (java) S 14732 14735 8337 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 23741852 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216792922408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14740] ppid=14732 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/14735/task/14740/stat : 14740 (java) S 14732 14735 8337 0 -1 4202560 21 0 0 0 1 0 0 0 20 0 22 0 23741852 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216791869864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14741] ppid=14732 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/14735/task/14741/stat : 14741 (java) S 14732 14735 8337 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 23741852 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216455129640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14742] ppid=14732 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/14735/task/14742/stat : 14742 (java) S 14732 14735 8337 0 -1 4202560 137 0 0 0 2 1 0 0 20 0 22 0 23741852 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216454077096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14743] ppid=14732 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/14735/task/14743/stat : 14743 (java) S 14732 14735 8337 0 -1 4202560 89 0 0 0 2 0 0 0 20 0 22 0 23741852 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216453024552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14744] ppid=14732 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/14735/task/14744/stat : 14744 (java) S 14732 14735 8337 0 -1 4202560 112 0 0 0 2 2 0 0 20 0 22 0 23741852 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216451972008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14745] ppid=14732 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/14735/task/14745/stat : 14745 (java) S 14732 14735 8337 0 -1 4202560 112 0 0 0 3 3 0 0 20 0 22 0 23741852 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216450919464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14746] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14746/stat : 14746 (java) S 14732 14735 8337 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23741853 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216438507624 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14747] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14747/stat : 14747 (java) S 14732 14735 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216437453944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14748] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14748/stat : 14748 (java) S 14732 14735 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216436401288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14749] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14749/stat : 14749 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 94786 33554432000 1073741824 1073778376 140733538786432 140216435350032 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14750] ppid=14732 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.48 4.40 4.38 5/219 15068
/proc/meminfo: memFree=24067456/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9824732 CPUtime=1650.99 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 31925 0 1 0 164797 302 0 0 20 0 22 0 23741849 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2456183 980163 2292 9 0 2446860 0
[pid=14735/tid=14737] ppid=14732 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/14735/task/14737/stat : 14737 (java) S 14732 14735 8337 0 -1 4202560 2458 0 1 0 44 3 0 0 20 0 22 0 23741851 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216815874936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14738] ppid=14732 vsize=9824732 CPUtime=2.52 cores=1,3,5,7
/proc/14735/task/14738/stat : 14738 (java) S 14732 14735 8337 0 -1 4202560 848 0 0 0 216 36 0 0 20 0 22 0 23741852 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216793974952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14739] ppid=14732 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/14735/task/14739/stat : 14739 (java) S 14732 14735 8337 0 -1 4202560 732 0 0 0 174 30 0 0 20 0 22 0 23741852 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216792922408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14740] ppid=14732 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/14735/task/14740/stat : 14740 (java) S 14732 14735 8337 0 -1 4202560 664 0 0 0 182 26 0 0 20 0 22 0 23741852 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216791869864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14741] ppid=14732 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/14735/task/14741/stat : 14741 (java) S 14732 14735 8337 0 -1 4202560 663 0 0 0 192 32 0 0 20 0 22 0 23741852 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216455129640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14742] ppid=14732 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/14735/task/14742/stat : 14742 (java) S 14732 14735 8337 0 -1 4202560 790 0 0 0 177 27 0 0 20 0 22 0 23741852 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216454077096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14743] ppid=14732 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/14735/task/14743/stat : 14743 (java) S 14732 14735 8337 0 -1 4202560 905 0 0 0 213 31 0 0 20 0 22 0 23741852 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216453024552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14744] ppid=14732 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/14735/task/14744/stat : 14744 (java) S 14732 14735 8337 0 -1 4202560 874 0 0 0 193 28 0 0 20 0 22 0 23741852 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216451972008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14745] ppid=14732 vsize=9824732 CPUtime=2.5 cores=1,3,5,7
/proc/14735/task/14745/stat : 14745 (java) S 14732 14735 8337 0 -1 4202560 796 0 0 0 219 31 0 0 20 0 22 0 23741852 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216450919464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14746] ppid=14732 vsize=9824732 CPUtime=5.07 cores=1,3,5,7
/proc/14735/task/14746/stat : 14746 (java) S 14732 14735 8337 0 -1 4202560 3457 0 0 0 497 10 0 0 20 0 22 0 23741853 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216438507624 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14747] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14747/stat : 14747 (java) S 14732 14735 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216437453944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14748] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14748/stat : 14748 (java) S 14732 14735 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216436401288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14749] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14749/stat : 14749 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216435350032 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14750] ppid=14732 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/14735/task/14750/stat : 14750 (java) S 14732 14735 8337 0 -1 4202560 4575 0 0 0 128 0 0 0 20 0 22 0 23741856 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216434297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14751] ppid=14732 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/14735/task/14751/stat : 14751 (java) S 14732 14735 8337 0 -1 4202560 11915 0 0 0 246 2 0 0 20 0 22 0 23741856 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216433244856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14752] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14752/stat : 14752 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216432192504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14753] ppid=14732 vsize=9824732 CPUtime=0.26 cores=1,3,5,7
/proc/14735/task/14753/stat : 14753 (java) S 14732 14735 8337 0 -1 4202560 49 0 0 0 8 18 0 0 20 0 22 0 23741856 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216431140168 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14754] ppid=14732 vsize=9824732 CPUtime=811.72 cores=1,3,5,7
/proc/14735/task/14754/stat : 14754 (java) R 14732 14735 8337 0 -1 4202560 225 0 0 0 81153 19 0 0 20 0 22 0 23741897 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216429984928 140216674077076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14755] ppid=14732 vsize=9824732 CPUtime=811.81 cores=1,3,5,7
/proc/14735/task/14755/stat : 14755 (java) R 14732 14735 8337 0 -1 4202560 1704 0 0 0 81141 40 0 0 20 0 22 0 23741897 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216428931264 140216674331894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14756] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14756/stat : 14756 (java) S 14732 14735 8337 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216427881512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14757] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14757/stat : 14757 (java) S 14732 14735 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 980163 33554432000 1073741824 1073778376 140733538786432 140216426828968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1650.99
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.32 4.37 4.37 5/219 15069
/proc/meminfo: memFree=23874016/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9824732 CPUtime=1771.68 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 32201 0 1 0 176854 314 0 0 20 0 22 0 23741849 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2456183 1028335 2292 9 0 2446860 0
[pid=14735/tid=14737] ppid=14732 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/14735/task/14737/stat : 14737 (java) S 14732 14735 8337 0 -1 4202560 2458 0 1 0 44 3 0 0 20 0 22 0 23741851 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216815874936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14738] ppid=14732 vsize=9824732 CPUtime=2.67 cores=1,3,5,7
/proc/14735/task/14738/stat : 14738 (java) S 14732 14735 8337 0 -1 4202560 878 0 0 0 229 38 0 0 20 0 22 0 23741852 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216793974952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14739] ppid=14732 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/14735/task/14739/stat : 14739 (java) S 14732 14735 8337 0 -1 4202560 745 0 0 0 187 31 0 0 20 0 22 0 23741852 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216792922408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14740] ppid=14732 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/14735/task/14740/stat : 14740 (java) S 14732 14735 8337 0 -1 4202560 720 0 0 0 201 27 0 0 20 0 22 0 23741852 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216791869864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14741] ppid=14732 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/14735/task/14741/stat : 14741 (java) S 14732 14735 8337 0 -1 4202560 688 0 0 0 208 33 0 0 20 0 22 0 23741852 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216455129640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14742] ppid=14732 vsize=9824732 CPUtime=2.25 cores=1,3,5,7
/proc/14735/task/14742/stat : 14742 (java) S 14732 14735 8337 0 -1 4202560 832 0 0 0 197 28 0 0 20 0 22 0 23741852 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216454077096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14743] ppid=14732 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/14735/task/14743/stat : 14743 (java) S 14732 14735 8337 0 -1 4202560 947 0 0 0 235 33 0 0 20 0 22 0 23741852 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216453024552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14744] ppid=14732 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/14735/task/14744/stat : 14744 (java) S 14732 14735 8337 0 -1 4202560 894 0 0 0 208 29 0 0 20 0 22 0 23741852 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216451972008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14745] ppid=14732 vsize=9824732 CPUtime=2.65 cores=1,3,5,7
/proc/14735/task/14745/stat : 14745 (java) S 14732 14735 8337 0 -1 4202560 825 0 0 0 232 33 0 0 20 0 22 0 23741852 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216450919464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14746] ppid=14732 vsize=9824732 CPUtime=5.07 cores=1,3,5,7
/proc/14735/task/14746/stat : 14746 (java) S 14732 14735 8337 0 -1 4202560 3469 0 0 0 497 10 0 0 20 0 22 0 23741853 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216438507624 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14747] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14747/stat : 14747 (java) S 14732 14735 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216437453944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14748] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14748/stat : 14748 (java) S 14732 14735 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216436401288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14749] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14749/stat : 14749 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216435350032 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14750] ppid=14732 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/14735/task/14750/stat : 14750 (java) S 14732 14735 8337 0 -1 4202560 4575 0 0 0 128 0 0 0 20 0 22 0 23741856 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216434297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14751] ppid=14732 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/14735/task/14751/stat : 14751 (java) S 14732 14735 8337 0 -1 4202560 11915 0 0 0 246 2 0 0 20 0 22 0 23741856 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216433244856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14752] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14752/stat : 14752 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216432192504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14753] ppid=14732 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/14735/task/14753/stat : 14753 (java) S 14732 14735 8337 0 -1 4202560 51 0 0 0 9 20 0 0 20 0 22 0 23741856 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216431140168 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14754] ppid=14732 vsize=9824732 CPUtime=871.36 cores=1,3,5,7
/proc/14735/task/14754/stat : 14754 (java) R 14732 14735 8337 0 -1 4202560 228 0 0 0 87116 20 0 0 20 0 22 0 23741897 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216429984928 140216674023436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14755] ppid=14732 vsize=9824732 CPUtime=871.44 cores=1,3,5,7
/proc/14735/task/14755/stat : 14755 (java) R 14732 14735 8337 0 -1 4202560 1706 0 0 0 87103 41 0 0 20 0 22 0 23741897 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216428931024 140216674103057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14756] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14756/stat : 14756 (java) S 14732 14735 8337 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216427881512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14757] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14757/stat : 14757 (java) S 14732 14735 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 1028335 33554432000 1073741824 1073778376 140733538786432 140216426828968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1771.68
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.401 s]
/proc/loadavg: 4.25 4.35 4.36 5/219 15070
/proc/meminfo: memFree=23874020/32872528 swapFree=1499884/1696108
[pid=14735] ppid=14732 vsize=9824732 CPUtime=1800.16 cores=1,3,5,7
/proc/14735/stat : 14735 (java) S 14732 14735 8337 0 -1 4202496 32250 0 1 0 179701 315 0 0 20 0 22 0 23741849 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140733538777568 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/14735/statm: 2456183 1028373 2292 9 0 2446860 0
[pid=14735/tid=14737] ppid=14732 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/14735/task/14737/stat : 14737 (java) S 14732 14735 8337 0 -1 4202560 2458 0 1 0 44 3 0 0 20 0 22 0 23741851 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216815874936 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14738] ppid=14732 vsize=9824732 CPUtime=2.78 cores=1,3,5,7
/proc/14735/task/14738/stat : 14738 (java) S 14732 14735 8337 0 -1 4202560 878 0 0 0 240 38 0 0 20 0 22 0 23741852 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216793974952 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14739] ppid=14732 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/14735/task/14739/stat : 14739 (java) S 14732 14735 8337 0 -1 4202560 750 0 0 0 192 31 0 0 20 0 22 0 23741852 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216792922408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14740] ppid=14732 vsize=9824732 CPUtime=2.35 cores=1,3,5,7
/proc/14735/task/14740/stat : 14740 (java) S 14732 14735 8337 0 -1 4202560 720 0 0 0 208 27 0 0 20 0 22 0 23741852 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216791869864 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14741] ppid=14732 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/14735/task/14741/stat : 14741 (java) S 14732 14735 8337 0 -1 4202560 712 0 0 0 220 33 0 0 20 0 22 0 23741852 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216455129640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14742] ppid=14732 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/14735/task/14742/stat : 14742 (java) S 14732 14735 8337 0 -1 4202560 832 0 0 0 208 28 0 0 20 0 22 0 23741852 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216454077096 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14743] ppid=14732 vsize=9824732 CPUtime=2.77 cores=1,3,5,7
/proc/14735/task/14743/stat : 14743 (java) S 14732 14735 8337 0 -1 4202560 947 0 0 0 244 33 0 0 20 0 22 0 23741852 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216453024552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14744] ppid=14732 vsize=9824732 CPUtime=2.46 cores=1,3,5,7
/proc/14735/task/14744/stat : 14744 (java) S 14732 14735 8337 0 -1 4202560 894 0 0 0 217 29 0 0 20 0 22 0 23741852 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216451972008 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14745] ppid=14732 vsize=9824732 CPUtime=2.71 cores=1,3,5,7
/proc/14735/task/14745/stat : 14745 (java) S 14732 14735 8337 0 -1 4202560 825 0 0 0 238 33 0 0 20 0 22 0 23741852 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216450919464 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14746] ppid=14732 vsize=9824732 CPUtime=5.08 cores=1,3,5,7
/proc/14735/task/14746/stat : 14746 (java) S 14732 14735 8337 0 -1 4202560 3484 0 0 0 497 11 0 0 20 0 22 0 23741853 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216438507624 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14747] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14747/stat : 14747 (java) S 14732 14735 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216437453944 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14748] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14748/stat : 14748 (java) S 14732 14735 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23741854 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216436401288 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14749] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14749/stat : 14749 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216435350032 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14750] ppid=14732 vsize=9824732 CPUtime=1.28 cores=1,3,5,7
/proc/14735/task/14750/stat : 14750 (java) S 14732 14735 8337 0 -1 4202560 4575 0 0 0 128 0 0 0 20 0 22 0 23741856 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216434297400 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14751] ppid=14732 vsize=9824732 CPUtime=2.48 cores=1,3,5,7
/proc/14735/task/14751/stat : 14751 (java) S 14732 14735 8337 0 -1 4202560 11915 0 0 0 246 2 0 0 20 0 22 0 23741856 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216433244856 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14752] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14752/stat : 14752 (java) S 14732 14735 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23741856 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216432192504 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=14735/tid=14753] ppid=14732 vsize=9824732 CPUtime=0.29 cores=1,3,5,7
/proc/14735/task/14753/stat : 14753 (java) S 14732 14735 8337 0 -1 4202560 53 0 0 0 9 20 0 0 20 0 22 0 23741856 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216431140168 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14735/tid=14754] ppid=14732 vsize=9824732 CPUtime=885.24 cores=1,3,5,7
/proc/14735/task/14754/stat : 14754 (java) R 14732 14735 8337 0 -1 4202560 229 0 0 0 88504 20 0 0 20 0 22 0 23741897 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216429984032 140216674077118 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14755] ppid=14732 vsize=9824732 CPUtime=885.33 cores=1,3,5,7
/proc/14735/task/14755/stat : 14755 (java) R 14732 14735 8337 0 -1 4202560 1708 0 0 0 88492 41 0 0 20 0 22 0 23741897 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216428932384 140216674101948 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=14735/tid=14756] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14756/stat : 14756 (java) S 14732 14735 8337 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216427881512 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=14735/tid=14757] ppid=14732 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/14735/task/14757/stat : 14757 (java) S 14732 14735 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23741899 10060525568 1028373 33554432000 1073741824 1073778376 140733538786432 140216426828968 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14735 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 896.47
CPU time (s): 1800.79
CPU user time (s): 1797.13
CPU system time (s): 3.66044
CPU usage (%): 200.876
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.13
system time used= 3.66044
maximum resident set size= 4113640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32301
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23474
involuntary context switches= 24821
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34703 second user time and 7.71383 second system time
The end