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-4100653-1466216020/watcher-4100653-1466216020 -o /tmp/evaluation-result-4100653-1466216020/solver-4100653-1466216020 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466206057-11789 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100653-1466216020.opb
pid=15873
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 15876
/proc/meminfo: memFree=30619560/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/15876/stat : 15876 (java) D 15873 15876 11773 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 23647983 2560000 46 33554432000 1073741824 1073778376 140734919517280 140734919514408 206399696167 0 0 4096 0 18446744072100756772 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 625 46 37 9 0 29 0
[startup+0.100114 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 15876
/proc/meminfo: memFree=30619560/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 4385 0 1 0 8 1 0 0 20 0 18 0 23647983 9787879424 5510 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2389619 5510 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200322 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 15876
/proc/meminfo: memFree=30619560/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 4926 0 1 0 26 1 0 0 20 0 18 0 23647983 9787879424 6943 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2389619 6943 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476
[startup+0.300325 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 15876
/proc/meminfo: memFree=30619560/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9558476 CPUtime=0.51 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 7509 0 1 0 49 2 0 0 20 0 18 0 23647983 9787879424 10562 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2389619 10562 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.700336 s]
/proc/loadavg: 2.00 2.00 2.00 4/196 15876
/proc/meminfo: memFree=30619560/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9558476 CPUtime=1.19 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 9548 0 1 0 113 6 0 0 20 0 18 0 23647983 9787879424 45847 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2389619 45847 2262 9 0 2380296 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 9558476
[startup+1.50079 s]
/proc/loadavg: 2.00 2.00 2.00 5/215 15895
/proc/meminfo: memFree=30443012/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9625040 CPUtime=2.35 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 9856 0 1 0 229 6 0 0 20 0 19 0 23647983 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2406260 46419 2272 9 0 2396937 0
[pid=15876/tid=15878] ppid=15873 vsize=9625040 CPUtime=1.43 cores=0,2,4,6
/proc/15876/task/15878/stat : 15878 (java) R 15873 15876 11773 0 -1 4202560 2491 0 1 0 140 3 0 0 20 0 19 0 23647984 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140723075252696 140722942768228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15879] ppid=15873 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15876/task/15879/stat : 15879 (java) S 15873 15876 11773 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 23647985 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140723064314408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15880] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15880/stat : 15880 (java) S 15873 15876 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140723063261608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15881] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15881/stat : 15881 (java) S 15873 15876 11773 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140723062208808 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15882] ppid=15873 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15876/task/15882/stat : 15882 (java) S 15873 15876 11773 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 23647985 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140723061156008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15883] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15883/stat : 15883 (java) S 15873 15876 11773 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722914933800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15884] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15884/stat : 15884 (java) S 15873 15876 11773 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722913881000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15885] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15885/stat : 15885 (java) S 15873 15876 11773 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722912828200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15886] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15886/stat : 15886 (java) S 15873 15876 11773 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722911775400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15887] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15887/stat : 15887 (java) S 15873 15876 11773 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722899364328 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15888] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15888/stat : 15888 (java) S 15873 15876 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722898310392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15889] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15889/stat : 15889 (java) S 15873 15876 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722897257480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15890] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15890/stat : 15890 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722896205968 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15891] ppid=15873 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/15876/task/15891/stat : 15891 (java) S 15873 15876 11773 0 -1 4202560 3897 0 0 0 43 0 0 0 20 0 19 0 23647990 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722895154104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15892] ppid=15873 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/15876/task/15892/stat : 15892 (java) S 15873 15876 11773 0 -1 4202560 2072 0 0 0 35 0 0 0 20 0 19 0 23647990 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722894101304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15893] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15893/stat : 15893 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722893048696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15894] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15894/stat : 15894 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722891996104 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15895] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15895/stat : 15895 (java) S 15873 15876 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23648081 9856040960 46419 33554432000 1073741824 1073778376 140734919517280 140722890941608 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9625040
[startup+3.10075 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 15895
/proc/meminfo: memFree=30403100/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9625040 CPUtime=4.19 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 11143 0 1 0 408 11 0 0 20 0 19 0 23647983 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2406260 55977 2278 9 0 2396937 0
[pid=15876/tid=15878] ppid=15873 vsize=9625040 CPUtime=2.97 cores=0,2,4,6
/proc/15876/task/15878/stat : 15878 (java) R 15873 15876 11773 0 -1 4202560 2493 0 1 0 294 3 0 0 20 0 19 0 23647984 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140723075243712 140722943207223 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15879] ppid=15873 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15876/task/15879/stat : 15879 (java) S 15873 15876 11773 0 -1 4202560 86 0 0 0 1 0 0 0 20 0 19 0 23647985 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140723064314408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15880] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15880/stat : 15880 (java) S 15873 15876 11773 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140723063261608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15881] ppid=15873 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15876/task/15881/stat : 15881 (java) S 15873 15876 11773 0 -1 4202560 110 0 0 0 4 0 0 0 20 0 19 0 23647985 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140723062208808 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15882] ppid=15873 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15876/task/15882/stat : 15882 (java) S 15873 15876 11773 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 23647985 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140723061156008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15883] ppid=15873 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15876/task/15883/stat : 15883 (java) S 15873 15876 11773 0 -1 4202560 97 0 0 0 3 2 0 0 20 0 19 0 23647985 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722914933800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15884] ppid=15873 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15876/task/15884/stat : 15884 (java) S 15873 15876 11773 0 -1 4202560 99 0 0 0 3 2 0 0 20 0 19 0 23647985 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722913881000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15885] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15885/stat : 15885 (java) S 15873 15876 11773 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722912828200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15886] ppid=15873 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15876/task/15886/stat : 15886 (java) S 15873 15876 11773 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 23647985 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722911775400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15887] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15887/stat : 15887 (java) S 15873 15876 11773 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722899364328 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15888] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15888/stat : 15888 (java) S 15873 15876 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722898310392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15889] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15889/stat : 15889 (java) S 15873 15876 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722897257480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15890] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15890/stat : 15890 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722896205968 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15891] ppid=15873 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/15876/task/15891/stat : 15891 (java) S 15873 15876 11773 0 -1 4202560 3897 0 0 0 46 0 0 0 20 0 19 0 23647990 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722895154104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15892] ppid=15873 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/15876/task/15892/stat : 15892 (java) S 15873 15876 11773 0 -1 4202560 2954 0 0 0 41 0 0 0 20 0 19 0 23647990 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722894101304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15893] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15893/stat : 15893 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722893048696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15894] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15894/stat : 15894 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722891996104 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15895] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15895/stat : 15895 (java) S 15873 15876 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23648081 9856040960 55977 33554432000 1073741824 1073778376 140734919517280 140722890941608 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.19
Current children cumulated vsize (KiB) 9625040
[startup+6.30077 s]
/proc/loadavg: 2.00 2.00 2.00 3/215 15895
/proc/meminfo: memFree=30404840/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9625040 CPUtime=7.41 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 11157 0 1 0 729 12 0 0 20 0 19 0 23647983 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2406260 60896 2278 9 0 2396937 0
[pid=15876/tid=15878] ppid=15873 vsize=9625040 CPUtime=6.15 cores=0,2,4,6
/proc/15876/task/15878/stat : 15878 (java) R 15873 15876 11773 0 -1 4202560 2507 0 1 0 612 3 0 0 20 0 19 0 23647984 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140723075250640 140722943176638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15879] ppid=15873 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15876/task/15879/stat : 15879 (java) S 15873 15876 11773 0 -1 4202560 86 0 0 0 1 0 0 0 20 0 19 0 23647985 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140723064314408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15880] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15880/stat : 15880 (java) S 15873 15876 11773 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140723063261608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15881] ppid=15873 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15876/task/15881/stat : 15881 (java) S 15873 15876 11773 0 -1 4202560 110 0 0 0 4 0 0 0 20 0 19 0 23647985 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140723062208808 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15882] ppid=15873 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15876/task/15882/stat : 15882 (java) S 15873 15876 11773 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 19 0 23647985 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140723061156008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15883] ppid=15873 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15876/task/15883/stat : 15883 (java) S 15873 15876 11773 0 -1 4202560 97 0 0 0 3 2 0 0 20 0 19 0 23647985 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722914933800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15884] ppid=15873 vsize=9625040 CPUtime=0.05 cores=0,2,4,6
/proc/15876/task/15884/stat : 15884 (java) S 15873 15876 11773 0 -1 4202560 99 0 0 0 3 2 0 0 20 0 19 0 23647985 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722913881000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15885] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15885/stat : 15885 (java) S 15873 15876 11773 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 23647985 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722912828200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15886] ppid=15873 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15876/task/15886/stat : 15886 (java) S 15873 15876 11773 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 23647985 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722911775400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15887] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15887/stat : 15887 (java) S 15873 15876 11773 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722899364328 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15888] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15888/stat : 15888 (java) S 15873 15876 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722898310392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15889] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15889/stat : 15889 (java) S 15873 15876 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722897257480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15890] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15890/stat : 15890 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722896205968 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15891] ppid=15873 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/15876/task/15891/stat : 15891 (java) S 15873 15876 11773 0 -1 4202560 3897 0 0 0 47 0 0 0 20 0 19 0 23647990 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722895154104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15892] ppid=15873 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/15876/task/15892/stat : 15892 (java) S 15873 15876 11773 0 -1 4202560 2954 0 0 0 42 0 0 0 20 0 19 0 23647990 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722894101304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15893] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15893/stat : 15893 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722893048696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15894] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15894/stat : 15894 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722891996104 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15895] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15895/stat : 15895 (java) S 15873 15876 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23648081 9856040960 60896 33554432000 1073741824 1073778376 140734919517280 140722890941608 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=15876/tid=15895] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15895/stat : 15895 (java) S 15873 15876 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23648081 9856040960 323890 33554432000 1073741824 1073778376 140734919517280 140722890941608 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1675.29
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/215 16005
/proc/meminfo: memFree=30414304/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9625040 CPUtime=1735.9 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 23000 0 1 0 173434 156 0 0 20 0 19 0 23647983 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2406260 321483 2286 9 0 2396937 0
[pid=15876/tid=15878] ppid=15873 vsize=9625040 CPUtime=1710.62 cores=0,2,4,6
/proc/15876/task/15878/stat : 15878 (java) R 15873 15876 11773 0 -1 4202560 4397 0 1 0 171019 43 0 0 20 0 19 0 23647984 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140723075251344 140722943223138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15879] ppid=15873 vsize=9625040 CPUtime=2.34 cores=0,2,4,6
/proc/15876/task/15879/stat : 15879 (java) S 15873 15876 11773 0 -1 4202560 360 0 0 0 222 12 0 0 20 0 19 0 23647985 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140723064314408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15880] ppid=15873 vsize=9625040 CPUtime=2.49 cores=0,2,4,6
/proc/15876/task/15880/stat : 15880 (java) S 15873 15876 11773 0 -1 4202560 386 0 0 0 234 15 0 0 20 0 19 0 23647985 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140723063261608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15881] ppid=15873 vsize=9625040 CPUtime=2.48 cores=0,2,4,6
/proc/15876/task/15881/stat : 15881 (java) S 15873 15876 11773 0 -1 4202560 523 0 0 0 233 15 0 0 20 0 19 0 23647985 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140723062208808 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15882] ppid=15873 vsize=9625040 CPUtime=2.28 cores=0,2,4,6
/proc/15876/task/15882/stat : 15882 (java) S 15873 15876 11773 0 -1 4202560 243 0 0 0 218 10 0 0 20 0 19 0 23647985 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140723061156008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15883] ppid=15873 vsize=9625040 CPUtime=2.38 cores=0,2,4,6
/proc/15876/task/15883/stat : 15883 (java) S 15873 15876 11773 0 -1 4202560 464 0 0 0 224 14 0 0 20 0 19 0 23647985 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722914933800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15884] ppid=15873 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/15876/task/15884/stat : 15884 (java) S 15873 15876 11773 0 -1 4202560 367 0 0 0 233 12 0 0 20 0 19 0 23647985 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722913881000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15885] ppid=15873 vsize=9625040 CPUtime=2.39 cores=0,2,4,6
/proc/15876/task/15885/stat : 15885 (java) S 15873 15876 11773 0 -1 4202560 312 0 0 0 228 11 0 0 20 0 19 0 23647985 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722912828200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15886] ppid=15873 vsize=9625040 CPUtime=2.4 cores=0,2,4,6
/proc/15876/task/15886/stat : 15886 (java) S 15873 15876 11773 0 -1 4202560 380 0 0 0 227 13 0 0 20 0 19 0 23647985 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722911775400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15887] ppid=15873 vsize=9625040 CPUtime=0.55 cores=0,2,4,6
/proc/15876/task/15887/stat : 15887 (java) S 15873 15876 11773 0 -1 4202560 7356 0 0 0 44 11 0 0 20 0 19 0 23647987 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722899364328 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15888] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15888/stat : 15888 (java) S 15873 15876 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722898310392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15889] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15889/stat : 15889 (java) S 15873 15876 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722897257480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15890] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15890/stat : 15890 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722896205968 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15891] ppid=15873 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/15876/task/15891/stat : 15891 (java) S 15873 15876 11773 0 -1 4202560 3900 0 0 0 53 0 0 0 20 0 19 0 23647990 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722895154104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15892] ppid=15873 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/15876/task/15892/stat : 15892 (java) S 15873 15876 11773 0 -1 4202560 2954 0 0 0 43 0 0 0 20 0 19 0 23647990 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722894101304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15893] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15893/stat : 15893 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722893048696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15894] ppid=15873 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/15876/task/15894/stat : 15894 (java) S 15873 15876 11773 0 -1 4202560 99 0 0 0 25 29 0 0 20 0 19 0 23647990 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722891996104 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15895] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15895/stat : 15895 (java) S 15873 15876 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23648081 9856040960 321483 33554432000 1073741824 1073778376 140734919517280 140722890941608 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1735.9
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/215 16007
/proc/meminfo: memFree=30418828/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9625040 CPUtime=1796.53 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 23070 0 1 0 179494 159 0 0 20 0 19 0 23647983 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2406260 319558 2287 9 0 2396937 0
[pid=15876/tid=15878] ppid=15873 vsize=9625040 CPUtime=1770.13 cores=0,2,4,6
/proc/15876/task/15878/stat : 15878 (java) R 15873 15876 11773 0 -1 4202560 4443 0 1 0 176969 44 0 0 20 0 19 0 23647984 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140723075251440 140722943072672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15879] ppid=15873 vsize=9625040 CPUtime=2.45 cores=0,2,4,6
/proc/15876/task/15879/stat : 15879 (java) S 15873 15876 11773 0 -1 4202560 362 0 0 0 233 12 0 0 20 0 19 0 23647985 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140723064314408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15880] ppid=15873 vsize=9625040 CPUtime=2.59 cores=0,2,4,6
/proc/15876/task/15880/stat : 15880 (java) S 15873 15876 11773 0 -1 4202560 389 0 0 0 244 15 0 0 20 0 19 0 23647985 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140723063261608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15881] ppid=15873 vsize=9625040 CPUtime=2.6 cores=0,2,4,6
/proc/15876/task/15881/stat : 15881 (java) S 15873 15876 11773 0 -1 4202560 525 0 0 0 245 15 0 0 20 0 19 0 23647985 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140723062208808 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15882] ppid=15873 vsize=9625040 CPUtime=2.4 cores=0,2,4,6
/proc/15876/task/15882/stat : 15882 (java) S 15873 15876 11773 0 -1 4202560 244 0 0 0 230 10 0 0 20 0 19 0 23647985 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140723061156008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15883] ppid=15873 vsize=9625040 CPUtime=2.49 cores=0,2,4,6
/proc/15876/task/15883/stat : 15883 (java) S 15873 15876 11773 0 -1 4202560 467 0 0 0 235 14 0 0 20 0 19 0 23647985 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722914933800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15884] ppid=15873 vsize=9625040 CPUtime=2.57 cores=0,2,4,6
/proc/15876/task/15884/stat : 15884 (java) S 15873 15876 11773 0 -1 4202560 368 0 0 0 244 13 0 0 20 0 19 0 23647985 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722913881000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15885] ppid=15873 vsize=9625040 CPUtime=2.52 cores=0,2,4,6
/proc/15876/task/15885/stat : 15885 (java) S 15873 15876 11773 0 -1 4202560 314 0 0 0 240 12 0 0 20 0 19 0 23647985 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722912828200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15886] ppid=15873 vsize=9625040 CPUtime=2.54 cores=0,2,4,6
/proc/15876/task/15886/stat : 15886 (java) S 15873 15876 11773 0 -1 4202560 380 0 0 0 241 13 0 0 20 0 19 0 23647985 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722911775400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15887] ppid=15873 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/15876/task/15887/stat : 15887 (java) S 15873 15876 11773 0 -1 4202560 7361 0 0 0 45 11 0 0 20 0 19 0 23647987 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722899364328 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15888] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15888/stat : 15888 (java) S 15873 15876 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722898310392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15889] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15889/stat : 15889 (java) S 15873 15876 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722897257480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15890] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15890/stat : 15890 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722896205968 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15891] ppid=15873 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/15876/task/15891/stat : 15891 (java) S 15873 15876 11773 0 -1 4202560 3902 0 0 0 54 0 0 0 20 0 19 0 23647990 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722895154104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15892] ppid=15873 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/15876/task/15892/stat : 15892 (java) S 15873 15876 11773 0 -1 4202560 2954 0 0 0 43 0 0 0 20 0 19 0 23647990 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722894101304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15893] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15893/stat : 15893 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722893048696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15894] ppid=15873 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/15876/task/15894/stat : 15894 (java) S 15873 15876 11773 0 -1 4202560 102 0 0 0 25 31 0 0 20 0 19 0 23647990 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722891996104 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15895] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15895/stat : 15895 (java) S 15873 15876 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23648081 9856040960 319558 33554432000 1073741824 1073778376 140734919517280 140722890941608 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1796.53
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.8 s]
/proc/loadavg: 2.08 2.04 2.01 3/215 16007
/proc/meminfo: memFree=30419696/32872528 swapFree=7780/7780
[pid=15876] ppid=15873 vsize=9625040 CPUtime=1800.08 cores=0,2,4,6
/proc/15876/stat : 15876 (java) S 15873 15876 11773 0 -1 4202496 23079 0 1 0 179849 159 0 0 20 0 19 0 23647983 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140734919508416 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/15876/statm: 2406260 319289 2287 9 0 2396937 0
[pid=15876/tid=15878] ppid=15873 vsize=9625040 CPUtime=1773.59 cores=0,2,4,6
/proc/15876/task/15878/stat : 15878 (java) R 15873 15876 11773 0 -1 4202560 4449 0 1 0 177315 44 0 0 20 0 19 0 23647984 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140723075251424 140722943218968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15879] ppid=15873 vsize=9625040 CPUtime=2.46 cores=0,2,4,6
/proc/15876/task/15879/stat : 15879 (java) S 15873 15876 11773 0 -1 4202560 363 0 0 0 234 12 0 0 20 0 19 0 23647985 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140723064314408 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15880] ppid=15873 vsize=9625040 CPUtime=2.6 cores=0,2,4,6
/proc/15876/task/15880/stat : 15880 (java) S 15873 15876 11773 0 -1 4202560 389 0 0 0 245 15 0 0 20 0 19 0 23647985 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140723063261608 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15881] ppid=15873 vsize=9625040 CPUtime=2.61 cores=0,2,4,6
/proc/15876/task/15881/stat : 15881 (java) S 15873 15876 11773 0 -1 4202560 525 0 0 0 246 15 0 0 20 0 19 0 23647985 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140723062208808 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15882] ppid=15873 vsize=9625040 CPUtime=2.41 cores=0,2,4,6
/proc/15876/task/15882/stat : 15882 (java) S 15873 15876 11773 0 -1 4202560 245 0 0 0 231 10 0 0 20 0 19 0 23647985 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140723061156008 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15876/tid=15883] ppid=15873 vsize=9625040 CPUtime=2.5 cores=0,2,4,6
/proc/15876/task/15883/stat : 15883 (java) S 15873 15876 11773 0 -1 4202560 467 0 0 0 236 14 0 0 20 0 19 0 23647985 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722914933800 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15884] ppid=15873 vsize=9625040 CPUtime=2.58 cores=0,2,4,6
/proc/15876/task/15884/stat : 15884 (java) S 15873 15876 11773 0 -1 4202560 368 0 0 0 245 13 0 0 20 0 19 0 23647985 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722913881000 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15885] ppid=15873 vsize=9625040 CPUtime=2.52 cores=0,2,4,6
/proc/15876/task/15885/stat : 15885 (java) S 15873 15876 11773 0 -1 4202560 315 0 0 0 240 12 0 0 20 0 19 0 23647985 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722912828200 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15886] ppid=15873 vsize=9625040 CPUtime=2.55 cores=0,2,4,6
/proc/15876/task/15886/stat : 15886 (java) S 15873 15876 11773 0 -1 4202560 380 0 0 0 242 13 0 0 20 0 19 0 23647985 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722911775400 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15887] ppid=15873 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/15876/task/15887/stat : 15887 (java) S 15873 15876 11773 0 -1 4202560 7361 0 0 0 45 11 0 0 20 0 19 0 23647987 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722899364328 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15888] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15888/stat : 15888 (java) S 15873 15876 11773 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722898310392 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15889] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15889/stat : 15889 (java) S 15873 15876 11773 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23647987 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722897257480 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15890] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15890/stat : 15890 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722896205968 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15891] ppid=15873 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/15876/task/15891/stat : 15891 (java) S 15873 15876 11773 0 -1 4202560 3902 0 0 0 54 0 0 0 20 0 19 0 23647990 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722895154104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15876/tid=15892] ppid=15873 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/15876/task/15892/stat : 15892 (java) S 15873 15876 11773 0 -1 4202560 2954 0 0 0 43 0 0 0 20 0 19 0 23647990 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722894101304 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15893] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15893/stat : 15893 (java) S 15873 15876 11773 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23647990 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722893048696 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15876/tid=15894] ppid=15873 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/15876/task/15894/stat : 15894 (java) S 15873 15876 11773 0 -1 4202560 102 0 0 0 25 31 0 0 20 0 19 0 23647990 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722891996104 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15876/tid=15895] ppid=15873 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15876/task/15895/stat : 15895 (java) S 15873 15876 11773 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23648081 9856040960 319289 33554432000 1073741824 1073778376 140734919517280 140722890941608 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040
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 15876 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15876 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=169244
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=52687
# CPU time returned by wait4() is 1796.22
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1785.84
CPU time (s): 1800.08
CPU user time (s): 1798.49
CPU system time (s): 1.59
CPU usage (%): 100.798
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.17
system time used= 2.05269
maximum resident set size= 1504412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23119
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 66172
involuntary context switches= 76426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6814 second user time and 13.334 second system time
The end