runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3454013-1307194946/watcher-3454013-1307194946 -o /tmp/evaluation-result-3454013-1307194946/solver-3454013-1307194946 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454013-1307194946.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.36 3.75 3.64 2/545 22981
/proc/meminfo: memFree=24707208/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 7323 0 1 0 0 0 0 0 25 0 2 0 909725299 10694979584 7024 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2611079 7037 917 9 0 2602235 0
[pid=22981/tid=22982] ppid=22979 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) R 22979 22981 18760 0 -1 4202560 7984 0 1 0 0 0 0 0 25 0 2 0 909725299 10694979584 8801 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216734872635 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0561759 s]
/proc/loadavg: 3.36 3.75 3.64 2/545 22981
/proc/meminfo: memFree=24707208/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10467616 CPUtime=0.05 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 11540 0 1 0 4 1 0 0 25 0 13 0 909725299 10718838784 11236 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2616904 11236 1691 9 0 2607652 0
[pid=22981/tid=22982] ppid=22979 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) R 22979 22981 18760 0 -1 4202560 10391 0 1 0 3 1 0 0 25 0 13 0 909725299 10718838784 11236 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216735176704 0 4 0 16800971 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10467616
[startup+0.101179 s]
/proc/loadavg: 3.36 3.75 3.64 2/545 22981
/proc/meminfo: memFree=24707208/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10539952 CPUtime=0.1 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 13103 0 1 0 9 1 0 0 25 0 18 0 909725299 10792910848 12789 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2634988 12790 2092 9 0 2625722 0
[pid=22981/tid=22982] ppid=22979 vsize=10539952 CPUtime=0.09 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) R 22979 22981 18760 0 -1 4202560 11160 0 1 0 8 1 0 0 18 0 18 0 909725299 10792910848 12790 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 47210552986451 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539952
[startup+0.301097 s]
/proc/loadavg: 3.36 3.75 3.64 2/545 22981
/proc/meminfo: memFree=24707208/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10540780 CPUtime=0.48 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 15799 0 1 0 46 2 0 0 25 0 18 0 909725299 10793758720 15027 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2635195 15028 2207 9 0 2625929 0
[pid=22981/tid=22982] ppid=22979 vsize=10540780 CPUtime=0.28 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) R 22979 22981 18760 0 -1 4202560 12861 0 1 0 27 1 0 0 18 0 18 0 909725299 10793758720 15028 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 46912505551569 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10540780
[startup+0.701026 s]
/proc/loadavg: 3.36 3.75 3.64 2/545 22981
/proc/meminfo: memFree=24707208/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10555260 CPUtime=1.6 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 36851 0 1 0 155 5 0 0 25 0 18 0 909725299 10808586240 30264 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2638815 30264 2231 9 0 2629549 0
[pid=22981/tid=22982] ppid=22979 vsize=10555260 CPUtime=0.68 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) R 22979 22981 18760 0 -1 4202560 21012 0 1 0 65 3 0 0 18 0 18 0 909725299 10808586240 30264 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 47210548491011 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10555260
[startup+1.50096 s]
/proc/loadavg: 3.36 3.75 3.64 1/564 23009
/proc/meminfo: memFree=24569040/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10557280 CPUtime=2.56 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 39214 0 1 0 251 5 0 0 25 0 19 0 909725299 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2639320 31463 2243 9 0 2630054 0
[pid=22981/tid=22982] ppid=22979 vsize=10557280 CPUtime=0.7 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) S 22979 22981 18760 0 -1 4202560 21073 0 1 0 67 3 0 0 16 0 19 0 909725299 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22984] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22984/stat : 22984 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909725301 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22985] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22985/stat : 22985 (java) S 22979 22981 18760 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909725301 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22986] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22986/stat : 22986 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909725301 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22987] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22987/stat : 22987 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909725301 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22988] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22988/stat : 22988 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909725301 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22989] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22989/stat : 22989 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909725301 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22990] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22990/stat : 22990 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909725301 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22991] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22991/stat : 22991 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909725301 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22992] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22992/stat : 22992 (java) S 22979 22981 18760 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 909725302 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 0 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22993] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22993/stat : 22993 (java) S 22979 22981 18760 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909725302 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22994] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22994/stat : 22994 (java) S 22979 22981 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909725302 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22995] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22995/stat : 22995 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909725304 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216747002289 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22996] ppid=22979 vsize=10557280 CPUtime=0.77 cores=1,3,5,7
/proc/22981/task/22996/stat : 22996 (java) S 22979 22981 18760 0 -1 4202560 7799 0 0 0 77 0 0 0 18 0 19 0 909725304 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22997] ppid=22979 vsize=10557280 CPUtime=0.77 cores=1,3,5,7
/proc/22981/task/22997/stat : 22997 (java) S 22979 22981 18760 0 -1 4202560 7700 0 0 0 76 1 0 0 23 0 19 0 909725304 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22998] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22998/stat : 22998 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909725304 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22999] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22999/stat : 22999 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909725304 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=23005] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/23005/stat : 23005 (java) S 22979 22981 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 909725377 10810654720 31463 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 10557280
[startup+3.10061 s]
/proc/loadavg: 3.09 3.69 3.62 1/564 23021
/proc/meminfo: memFree=24507512/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10557280 CPUtime=4.13 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 59754 0 1 0 404 9 0 0 25 0 22 0 909725299 10810654720 52002 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2639320 52003 2245 9 0 2630054 0
[pid=22981/tid=22982] ppid=22979 vsize=10557280 CPUtime=0.71 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) S 22979 22981 18760 0 -1 4202560 21213 0 1 0 68 3 0 0 16 0 22 0 909725299 10810654720 52003 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22984] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22984/stat : 22984 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725301 10810654720 52004 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22985] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22985/stat : 22985 (java) S 22979 22981 18760 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909725301 10810654720 52004 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22986] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22986/stat : 22986 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725301 10810654720 52017 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22987] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22987/stat : 22987 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725301 10810654720 52022 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22988] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22988/stat : 22988 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725301 10810654720 52026 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22989] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22989/stat : 22989 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725301 10810654720 52027 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22990] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22990/stat : 22990 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725301 10810654720 52027 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22991] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22991/stat : 22991 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725301 10810654720 52027 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22992] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22992/stat : 22992 (java) S 22979 22981 18760 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 909725302 10810654720 52027 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 0 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22993] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22993/stat : 22993 (java) S 22979 22981 18760 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909725302 10810654720 52028 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22994] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22994/stat : 22994 (java) S 22979 22981 18760 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909725302 10810654720 52028 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22995] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22995/stat : 22995 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725304 10810654720 52028 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216747002289 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22996] ppid=22979 vsize=10557280 CPUtime=1.04 cores=1,3,5,7
/proc/22981/task/22996/stat : 22996 (java) R 22979 22981 18760 0 -1 4202560 7831 0 0 0 104 0 0 0 15 0 22 0 909725304 10810654720 52028 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 47210552023706 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22981/tid=22997] ppid=22979 vsize=10557280 CPUtime=1.05 cores=1,3,5,7
/proc/22981/task/22997/stat : 22997 (java) R 22979 22981 18760 0 -1 4202560 7738 0 0 0 104 1 0 0 15 0 22 0 909725304 10810654720 52028 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 47210547829622 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22981/tid=22998] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22998/stat : 22998 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725304 10810654720 52031 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22999] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22999/stat : 22999 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909725304 10810654720 52036 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=23005] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/23005/stat : 23005 (java) S 22979 22981 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909725377 10810654720 52037 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 10557280
[startup+6.30108 s]
/proc/loadavg: 3.09 3.69 3.62 3/568 23043
/proc/meminfo: memFree=23850508/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10557280 CPUtime=9.69 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 145494 0 1 0 949 20 0 0 25 0 20 0 909725299 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2639320 137711 2271 9 0 2630054 0
[pid=22981/tid=22982] ppid=22979 vsize=10557280 CPUtime=0.71 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) S 22979 22981 18760 0 -1 4202560 21260 0 1 0 68 3 0 0 15 0 20 0 909725299 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22984] ppid=22979 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22981/task/22984/stat : 22984 (java) S 22979 22981 18760 0 -1 4202560 1030 0 0 0 1 0 0 0 15 0 20 0 909725301 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22985] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22985/stat : 22985 (java) S 22979 22981 18760 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 20 0 909725301 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22986] ppid=22979 vsize=10557280 CPUtime=0.02 cores=1,3,5,7
/proc/22981/task/22986/stat : 22986 (java) S 22979 22981 18760 0 -1 4202560 674 0 0 0 2 0 0 0 15 0 20 0 909725301 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22987] ppid=22979 vsize=10557280 CPUtime=0.01 cores=1,3,5,7
/proc/22981/task/22987/stat : 22987 (java) S 22979 22981 18760 0 -1 4202560 12 0 0 0 1 0 0 0 15 0 20 0 909725301 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22988] ppid=22979 vsize=10557280 CPUtime=0.03 cores=1,3,5,7
/proc/22981/task/22988/stat : 22988 (java) S 22979 22981 18760 0 -1 4202560 1839 0 0 0 3 0 0 0 16 0 20 0 909725301 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22989] ppid=22979 vsize=10557280 CPUtime=0.02 cores=1,3,5,7
/proc/22981/task/22989/stat : 22989 (java) S 22979 22981 18760 0 -1 4202560 1906 0 0 0 2 0 0 0 15 0 20 0 909725301 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22990] ppid=22979 vsize=10557280 CPUtime=0.03 cores=1,3,5,7
/proc/22981/task/22990/stat : 22990 (java) S 22979 22981 18760 0 -1 4202560 2049 0 0 0 3 0 0 0 15 0 20 0 909725301 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22991] ppid=22979 vsize=10557280 CPUtime=0.02 cores=1,3,5,7
/proc/22981/task/22991/stat : 22991 (java) S 22979 22981 18760 0 -1 4202560 2373 0 0 0 2 0 0 0 15 0 20 0 909725301 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22992] ppid=22979 vsize=10557280 CPUtime=0.35 cores=1,3,5,7
/proc/22981/task/22992/stat : 22992 (java) S 22979 22981 18760 0 -1 4202560 11424 0 0 0 34 1 0 0 15 0 20 0 909725302 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 0 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22993] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22993/stat : 22993 (java) S 22979 22981 18760 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 20 0 909725302 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22994] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22994/stat : 22994 (java) S 22979 22981 18760 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 909725302 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22995] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22995/stat : 22995 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 909725304 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216747002289 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22996] ppid=22979 vsize=10557280 CPUtime=1.17 cores=1,3,5,7
/proc/22981/task/22996/stat : 22996 (java) S 22979 22981 18760 0 -1 4202560 7850 0 0 0 117 0 0 0 15 0 20 0 909725304 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22997] ppid=22979 vsize=10557280 CPUtime=1.27 cores=1,3,5,7
/proc/22981/task/22997/stat : 22997 (java) S 22979 22981 18760 0 -1 4202560 7771 0 0 0 126 1 0 0 15 0 20 0 909725304 10810654720 137711 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=22981/tid=23068] ppid=22979 vsize=10557280 CPUtime=596.3 cores=1,3,5,7
/proc/22981/task/23068/stat : 23068 (java) S 22979 22981 18760 0 -1 4202560 3 0 0 0 59630 0 0 0 22 0 22 0 909738055 10810654720 276685 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=23069] ppid=22979 vsize=10557280 CPUtime=596.33 cores=1,3,5,7
/proc/22981/task/23069/stat : 23069 (java) S 22979 22981 18760 0 -1 4202560 4899 0 0 0 59633 0 0 0 22 0 22 0 909738055 10810654720 276685 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=23070] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/23070/stat : 23070 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909738055 10810654720 276685 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1596.23
Current children cumulated vsize (KiB) 10557280
[startup+942.301 s]
/proc/loadavg: 3.63 3.67 3.64 5/570 23091
/proc/meminfo: memFree=22527172/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10557280 CPUtime=1701.1 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 287860 0 1 0 170064 46 0 0 25 0 22 0 909725299 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2639320 279639 2272 9 0 2630054 0
[pid=22981/tid=22982] ppid=22979 vsize=10557280 CPUtime=0.72 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) S 22979 22981 18760 0 -1 4202560 21510 0 1 0 69 3 0 0 15 0 22 0 909725299 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22984] ppid=22979 vsize=10557280 CPUtime=1.89 cores=1,3,5,7
/proc/22981/task/22984/stat : 22984 (java) S 22979 22981 18760 0 -1 4202560 2156 0 0 0 189 0 0 0 16 0 22 0 909725301 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22985] ppid=22979 vsize=10557280 CPUtime=1.89 cores=1,3,5,7
/proc/22981/task/22985/stat : 22985 (java) S 22979 22981 18760 0 -1 4202560 610 0 0 0 189 0 0 0 15 0 22 0 909725301 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22986] ppid=22979 vsize=10557280 CPUtime=1.93 cores=1,3,5,7
/proc/22981/task/22986/stat : 22986 (java) S 22979 22981 18760 0 -1 4202560 1828 0 0 0 193 0 0 0 16 0 22 0 909725301 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22987] ppid=22979 vsize=10557280 CPUtime=1.86 cores=1,3,5,7
/proc/22981/task/22987/stat : 22987 (java) S 22979 22981 18760 0 -1 4202560 760 0 0 0 186 0 0 0 16 0 22 0 909725301 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22988] ppid=22979 vsize=10557280 CPUtime=2.05 cores=1,3,5,7
/proc/22981/task/22988/stat : 22988 (java) S 22979 22981 18760 0 -1 4202560 2129 0 0 0 205 0 0 0 16 0 22 0 909725301 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22989] ppid=22979 vsize=10557280 CPUtime=1.73 cores=1,3,5,7
/proc/22981/task/22989/stat : 22989 (java) S 22979 22981 18760 0 -1 4202560 2104 0 0 0 172 1 0 0 16 0 22 0 909725301 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22990] ppid=22979 vsize=10557280 CPUtime=1.76 cores=1,3,5,7
/proc/22981/task/22990/stat : 22990 (java) S 22979 22981 18760 0 -1 4202560 2244 0 0 0 176 0 0 0 16 0 22 0 909725301 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22991] ppid=22979 vsize=10557280 CPUtime=2.01 cores=1,3,5,7
/proc/22981/task/22991/stat : 22991 (java) S 22979 22981 18760 0 -1 4202560 3087 0 0 0 201 0 0 0 15 0 22 0 909725301 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22992] ppid=22979 vsize=10557280 CPUtime=184.22 cores=1,3,5,7
/proc/22981/task/22992/stat : 22992 (java) S 22979 22981 18760 0 -1 4202560 109629 0 0 0 18407 15 0 0 16 0 22 0 909725302 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 0 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22993] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22993/stat : 22993 (java) S 22979 22981 18760 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909725302 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22994] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22994/stat : 22994 (java) S 22979 22981 18760 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 909725302 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22995] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22995/stat : 22995 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725304 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216747002289 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22996] ppid=22979 vsize=10557280 CPUtime=1.39 cores=1,3,5,7
/proc/22981/task/22996/stat : 22996 (java) S 22979 22981 18760 0 -1 4202560 7866 0 0 0 139 0 0 0 15 0 22 0 909725304 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22997] ppid=22979 vsize=10557280 CPUtime=1.35 cores=1,3,5,7
/proc/22981/task/22997/stat : 22997 (java) S 22979 22981 18760 0 -1 4202560 7774 0 0 0 134 1 0 0 16 0 22 0 909725304 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22998] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22998/stat : 22998 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725304 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22999] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22999/stat : 22999 (java) S 22979 22981 18760 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 22 0 909725304 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=23005] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/23005/stat : 23005 (java) S 22979 22981 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909725377 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=23068] ppid=22979 vsize=10557280 CPUtime=640.39 cores=1,3,5,7
/proc/22981/task/23068/stat : 23068 (java) R 22979 22981 18760 0 -1 4202560 3 0 0 0 64039 0 0 0 19 0 22 0 909738055 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 46912506263291 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22981/tid=23069] ppid=22979 vsize=10557280 CPUtime=640.42 cores=1,3,5,7
/proc/22981/task/23069/stat : 23069 (java) R 22979 22981 18760 0 -1 4202560 4899 0 0 0 64042 0 0 0 18 0 22 0 909738055 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 46912506148784 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22981/tid=23070] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/23070/stat : 23070 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909738055 10810654720 279639 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1701.1
Current children cumulated vsize (KiB) 10557280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+998.501 s]
/proc/loadavg: 3.62 3.66 3.63 5/570 23093
/proc/meminfo: memFree=22505668/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10557280 CPUtime=1800.13 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 290301 0 1 0 179967 46 0 0 25 0 22 0 909725299 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2639320 282061 2272 9 0 2630054 0
[pid=22981/tid=22982] ppid=22979 vsize=10557280 CPUtime=0.72 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) S 22979 22981 18760 0 -1 4202560 21525 0 1 0 69 3 0 0 15 0 22 0 909725299 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22984] ppid=22979 vsize=10557280 CPUtime=1.99 cores=1,3,5,7
/proc/22981/task/22984/stat : 22984 (java) S 22979 22981 18760 0 -1 4202560 2163 0 0 0 199 0 0 0 16 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22985] ppid=22979 vsize=10557280 CPUtime=2.02 cores=1,3,5,7
/proc/22981/task/22985/stat : 22985 (java) S 22979 22981 18760 0 -1 4202560 623 0 0 0 202 0 0 0 15 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22986] ppid=22979 vsize=10557280 CPUtime=2.06 cores=1,3,5,7
/proc/22981/task/22986/stat : 22986 (java) S 22979 22981 18760 0 -1 4202560 1843 0 0 0 206 0 0 0 16 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22987] ppid=22979 vsize=10557280 CPUtime=1.94 cores=1,3,5,7
/proc/22981/task/22987/stat : 22987 (java) S 22979 22981 18760 0 -1 4202560 770 0 0 0 194 0 0 0 16 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22988] ppid=22979 vsize=10557280 CPUtime=2.19 cores=1,3,5,7
/proc/22981/task/22988/stat : 22988 (java) S 22979 22981 18760 0 -1 4202560 2129 0 0 0 219 0 0 0 15 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22989] ppid=22979 vsize=10557280 CPUtime=1.84 cores=1,3,5,7
/proc/22981/task/22989/stat : 22989 (java) S 22979 22981 18760 0 -1 4202560 2106 0 0 0 183 1 0 0 15 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22990] ppid=22979 vsize=10557280 CPUtime=1.89 cores=1,3,5,7
/proc/22981/task/22990/stat : 22990 (java) S 22979 22981 18760 0 -1 4202560 2247 0 0 0 189 0 0 0 16 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22991] ppid=22979 vsize=10557280 CPUtime=2.1 cores=1,3,5,7
/proc/22981/task/22991/stat : 22991 (java) S 22979 22981 18760 0 -1 4202560 3096 0 0 0 210 0 0 0 15 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22992] ppid=22979 vsize=10557280 CPUtime=197.99 cores=1,3,5,7
/proc/22981/task/22992/stat : 22992 (java) S 22979 22981 18760 0 -1 4202560 111994 0 0 0 19783 16 0 0 15 0 22 0 909725302 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 0 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22993] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22993/stat : 22993 (java) S 22979 22981 18760 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909725302 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22994] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22994/stat : 22994 (java) S 22979 22981 18760 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 909725302 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22995] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22995/stat : 22995 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216747002289 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22996] ppid=22979 vsize=10557280 CPUtime=1.39 cores=1,3,5,7
/proc/22981/task/22996/stat : 22996 (java) S 22979 22981 18760 0 -1 4202560 7866 0 0 0 139 0 0 0 15 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22997] ppid=22979 vsize=10557280 CPUtime=1.35 cores=1,3,5,7
/proc/22981/task/22997/stat : 22997 (java) S 22979 22981 18760 0 -1 4202560 7774 0 0 0 134 1 0 0 16 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22998] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22998/stat : 22998 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22999] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22999/stat : 22999 (java) S 22979 22981 18760 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=23005] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/23005/stat : 23005 (java) S 22979 22981 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909725377 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=23068] ppid=22979 vsize=10557280 CPUtime=682.57 cores=1,3,5,7
/proc/22981/task/23068/stat : 23068 (java) R 22979 22981 18760 0 -1 4202560 3 0 0 0 68257 0 0 0 22 0 22 0 909738055 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 46912506263291 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22981/tid=23069] ppid=22979 vsize=10557280 CPUtime=682.6 cores=1,3,5,7
/proc/22981/task/23069/stat : 23069 (java) R 22979 22981 18760 0 -1 4202560 4899 0 0 0 68260 0 0 0 22 0 22 0 909738055 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 46912506195259 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22981/tid=23070] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/23070/stat : 23070 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909738055 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10557280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+998.501 s]
/proc/loadavg: 3.62 3.66 3.63 5/570 23093
/proc/meminfo: memFree=22505668/32951124 swapFree=56241860/67111528
[pid=22981] ppid=22979 vsize=10557280 CPUtime=1800.13 cores=1,3,5,7
/proc/22981/stat : 22981 (java) S 22979 22981 18760 0 -1 4202496 290301 0 1 0 179967 46 0 0 25 0 22 0 909725299 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/22981/statm: 2639320 282061 2272 9 0 2630054 0
[pid=22981/tid=22982] ppid=22979 vsize=10557280 CPUtime=0.72 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (java) S 22979 22981 18760 0 -1 4202560 21525 0 1 0 69 3 0 0 15 0 22 0 909725299 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22984] ppid=22979 vsize=10557280 CPUtime=1.99 cores=1,3,5,7
/proc/22981/task/22984/stat : 22984 (java) S 22979 22981 18760 0 -1 4202560 2163 0 0 0 199 0 0 0 16 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22985] ppid=22979 vsize=10557280 CPUtime=2.02 cores=1,3,5,7
/proc/22981/task/22985/stat : 22985 (java) S 22979 22981 18760 0 -1 4202560 623 0 0 0 202 0 0 0 15 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22986] ppid=22979 vsize=10557280 CPUtime=2.06 cores=1,3,5,7
/proc/22981/task/22986/stat : 22986 (java) S 22979 22981 18760 0 -1 4202560 1843 0 0 0 206 0 0 0 16 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22987] ppid=22979 vsize=10557280 CPUtime=1.94 cores=1,3,5,7
/proc/22981/task/22987/stat : 22987 (java) S 22979 22981 18760 0 -1 4202560 770 0 0 0 194 0 0 0 16 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22988] ppid=22979 vsize=10557280 CPUtime=2.19 cores=1,3,5,7
/proc/22981/task/22988/stat : 22988 (java) S 22979 22981 18760 0 -1 4202560 2129 0 0 0 219 0 0 0 15 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22989] ppid=22979 vsize=10557280 CPUtime=1.84 cores=1,3,5,7
/proc/22981/task/22989/stat : 22989 (java) S 22979 22981 18760 0 -1 4202560 2106 0 0 0 183 1 0 0 15 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22990] ppid=22979 vsize=10557280 CPUtime=1.89 cores=1,3,5,7
/proc/22981/task/22990/stat : 22990 (java) S 22979 22981 18760 0 -1 4202560 2247 0 0 0 189 0 0 0 16 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22991] ppid=22979 vsize=10557280 CPUtime=2.1 cores=1,3,5,7
/proc/22981/task/22991/stat : 22991 (java) S 22979 22981 18760 0 -1 4202560 3096 0 0 0 210 0 0 0 15 0 22 0 909725301 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22992] ppid=22979 vsize=10557280 CPUtime=197.99 cores=1,3,5,7
/proc/22981/task/22992/stat : 22992 (java) S 22979 22981 18760 0 -1 4202560 111994 0 0 0 19783 16 0 0 15 0 22 0 909725302 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 0 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22993] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22993/stat : 22993 (java) S 22979 22981 18760 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 909725302 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22994] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22994/stat : 22994 (java) S 22979 22981 18760 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 909725302 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
[pid=22981/tid=22995] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22995/stat : 22995 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216747002289 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22996] ppid=22979 vsize=10557280 CPUtime=1.39 cores=1,3,5,7
/proc/22981/task/22996/stat : 22996 (java) S 22979 22981 18760 0 -1 4202560 7866 0 0 0 139 0 0 0 15 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 1 0 0 0
[pid=22981/tid=22997] ppid=22979 vsize=10557280 CPUtime=1.35 cores=1,3,5,7
/proc/22981/task/22997/stat : 22997 (java) S 22979 22981 18760 0 -1 4202560 7774 0 0 0 134 1 0 0 16 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 3 0 0 0
[pid=22981/tid=22998] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22998/stat : 22998 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746994585 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=22999] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22999/stat : 22999 (java) S 22979 22981 18760 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 909725304 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=23005] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/23005/stat : 23005 (java) S 22979 22981 18760 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 909725377 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 5 0 0 0
[pid=22981/tid=23068] ppid=22979 vsize=10557280 CPUtime=682.57 cores=1,3,5,7
/proc/22981/task/23068/stat : 23068 (java) R 22979 22981 18760 0 -1 4202560 3 0 0 0 68257 0 0 0 22 0 22 0 909738055 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 46912506263291 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22981/tid=23069] ppid=22979 vsize=10557280 CPUtime=682.6 cores=1,3,5,7
/proc/22981/task/23069/stat : 23069 (java) R 22979 22981 18760 0 -1 4202560 4899 0 0 0 68260 0 0 0 22 0 22 0 909738055 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 46912506195259 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22981/tid=23070] ppid=22979 vsize=10557280 CPUtime=0 cores=1,3,5,7
/proc/22981/task/23070/stat : 23070 (java) S 22979 22981 18760 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909738055 10810654720 282061 33554432000 1073741824 1073778376 140733544031248 18446744073709551615 216746995200 0 4 0 16800975 18446604456998224832 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10557280
Child status: 143
Real time (s): 998.607
CPU time (s): 1800.27
CPU user time (s): 1799.75
CPU system time (s): 0.516921
CPU usage (%): 180.278
Max. virtual memory (cumulated for all children) (KiB): 10560876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.516921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 290330
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31817
involuntary context switches= 19178
runsolver used 5.40918 second user time and 12.8071 second system time
The end