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-3454685-1307189644/watcher-3454685-1307189644 -o /tmp/evaluation-result-3454685-1307189644/solver-3454685-1307189644 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454685-1307189644.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.42 3.48 3.42 3/464 28739
/proc/meminfo: memFree=28015916/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 2320 0 1 0 0 0 0 0 21 0 2 0 909195098 10681323520 2021 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2607745 2035 906 9 0 2598901 0
[pid=28739/tid=28740] ppid=28737 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) R 28737 28739 23545 0 -1 4202560 3375 0 1 0 0 0 0 0 18 0 2 0 909195099 10694979584 4191 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0288811 s]
/proc/loadavg: 3.42 3.48 3.42 3/464 28739
/proc/meminfo: memFree=28015916/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10454868 CPUtime=0.02 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 10341 0 1 0 1 1 0 0 21 0 10 0 909195098 10705784832 10039 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2613717 10047 1256 9 0 2604465 0
[pid=28739/tid=28740] ppid=28737 vsize=10454868 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) R 28737 28739 23545 0 -1 4202560 9229 0 1 0 0 0 0 0 21 0 10 0 909195099 10705784832 10050 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912504009831 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10454868
[startup+0.100797 s]
/proc/loadavg: 3.42 3.48 3.42 3/464 28739
/proc/meminfo: memFree=28015916/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10540268 CPUtime=0.1 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 13063 0 1 0 9 1 0 0 21 0 18 0 909195098 10793234432 12725 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2635067 12725 2092 9 0 2625801 0
[pid=28739/tid=28740] ppid=28737 vsize=10540268 CPUtime=0.08 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) R 28737 28739 23545 0 -1 4202560 11100 0 1 0 7 1 0 0 18 0 18 0 909195099 10793234432 12725 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 47611373372760 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) 10540268
[startup+0.300761 s]
/proc/loadavg: 3.42 3.48 3.42 3/464 28739
/proc/meminfo: memFree=28015916/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10541952 CPUtime=0.47 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 15829 0 1 0 45 2 0 0 21 0 18 0 909195098 10794958848 15159 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2635488 15160 2198 9 0 2626222 0
[pid=28739/tid=28740] ppid=28737 vsize=10541952 CPUtime=0.28 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) R 28737 28739 23545 0 -1 4202560 12937 0 1 0 27 1 0 0 18 0 18 0 909195099 10794958848 15161 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912505599534 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541952
[startup+0.700756 s]
/proc/loadavg: 3.42 3.48 3.42 3/464 28739
/proc/meminfo: memFree=28015916/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10547800 CPUtime=1.15 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 54186 0 1 0 109 6 0 0 21 0 18 0 909195098 10800947200 52701 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2636950 52707 2213 9 0 2627684 0
[pid=28739/tid=28740] ppid=28737 vsize=10547800 CPUtime=0.68 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) R 28737 28739 23545 0 -1 4202560 48237 0 1 0 63 5 0 0 18 0 18 0 909195099 10800947200 52710 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912505545638 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 10547800
[startup+1.50153 s]
/proc/loadavg: 3.42 3.48 3.42 3/483 28761
/proc/meminfo: memFree=27760396/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10554976 CPUtime=2.13 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 71657 0 1 0 205 8 0 0 21 0 22 0 909195098 10808295424 68470 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2638744 68470 2235 9 0 2629478 0
[pid=28739/tid=28740] ppid=28737 vsize=10554976 CPUtime=0.8 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 23545 0 -1 4202560 60947 0 1 0 74 6 0 0 16 0 22 0 909195099 10808295424 68470 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909195100 10808295424 68470 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10808295424 68470 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10808295424 68470 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10808295424 68470 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10808295424 68470 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10808295424 68470 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10808295424 68470 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909195100 10808295424 68471 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 23545 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 909195101 10808295424 68471 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 0 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 23545 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 909195102 10808295424 68485 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 23545 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 909195102 10808295424 68502 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10808295424 68517 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907314097 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10554976 CPUtime=0.52 cores=1,3,5,7
/proc/28739/task/28754/stat : 28754 (java) R 28737 28739 23545 0 -1 4202560 4072 0 0 0 52 0 0 0 18 0 22 0 909195104 10808295424 68534 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 47611375829432 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10554976 CPUtime=0.39 cores=1,3,5,7
/proc/28739/task/28755/stat : 28755 (java) R 28737 28739 23545 0 -1 4202560 3550 0 0 0 39 0 0 0 17 0 22 0 909195104 10808295424 68547 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 47611376019703 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10808295424 68567 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909195104 10808295424 68584 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28761] ppid=28737 vsize=10554976 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28761/stat : 28761 (java) S 28737 28739 23545 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 909195180 10808295424 68599 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 10554976
[startup+3.10124 s]
/proc/loadavg: 3.42 3.48 3.42 5/486 28767
/proc/meminfo: memFree=27680768/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10559312 CPUtime=5.77 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 134805 0 1 0 561 16 0 0 21 0 22 0 909195098 10812735488 128919 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2639828 128927 2242 9 0 2630562 0
[pid=28739/tid=28740] ppid=28737 vsize=10559312 CPUtime=0.8 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 23545 0 -1 4202560 60997 0 1 0 74 6 0 0 15 0 22 0 909195099 10812735488 128931 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 909195100 10812735488 128935 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10812735488 128940 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10812735488 128944 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10812735488 128947 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10812735488 128951 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10812735488 128957 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909195100 10812735488 128961 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909195100 10812735488 128961 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 23545 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 909195101 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 0 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 23545 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 22 0 909195102 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 23545 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 22 0 909195102 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907314097 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10559312 CPUtime=0.94 cores=1,3,5,7
/proc/28739/task/28754/stat : 28754 (java) S 28737 28739 23545 0 -1 4202560 9891 0 0 0 94 0 0 0 15 0 22 0 909195104 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10559312 CPUtime=0.79 cores=1,3,5,7
/proc/28739/task/28755/stat : 28755 (java) S 28737 28739 23545 0 -1 4202560 4907 0 0 0 79 0 0 0 15 0 22 0 909195104 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909195104 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28764] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28764/stat : 28764 (java) S 28737 28739 23545 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909195231 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28765] ppid=28737 vsize=10559312 CPUtime=1.26 cores=1,3,5,7
/proc/28739/task/28765/stat : 28765 (java) R 28737 28739 23545 0 -1 4202560 6034 0 0 0 126 0 0 0 19 0 22 0 909195281 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912505843346 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=28739/tid=28766] ppid=28737 vsize=10559312 CPUtime=1.26 cores=1,3,5,7
/proc/28739/task/28766/stat : 28766 (java) R 28737 28739 23545 0 -1 4202560 48921 0 0 0 120 6 0 0 18 0 22 0 909195281 10812735488 128964 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 47611373164168 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28739/tid=28767] ppid=28737 vsize=10559312 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28767/stat : 28767 (java) S 28737 28739 23545 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909195281 10812735488 128965 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 10559312
[startup+6.30063 s]
/proc/loadavg: 3.46 3.49 3.42 3/486 28770
/proc/meminfo: memFree=27215740/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10561280 CPUtime=11.58 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 220543 0 1 0 1131 27 0 0 21 0 22 0 909195098 10814750720 213024 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2640320 213026 2268 9 0 2631054 0
[pid=28739/tid=28740] ppid=28737 vsize=10561280 CPUtime=0.81 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 23545 0 -1 4202560 61049 0 1 0 75 6 0 0 16 0 22 0 909195099 10814750720 213026 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10561280 CPUtime=0.03 cores=1,3,5,7
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 23545 0 -1 4202560 4733 0 0 0 3 0 0 0 18 0 22 0 909195100 10814750720 213027 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 909195100 10814750720 213028 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10561280 CPUtime=0.03 cores=1,3,5,7
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 23545 0 -1 4202560 4106 0 0 0 3 0 0 0 18 0 22 0 909195100 10814750720 213029 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10561280 CPUtime=0.01 cores=1,3,5,7
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 23545 0 -1 4202560 5082 0 0 0 1 0 0 0 18 0 22 0 909195100 10814750720 213029 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10561280 CPUtime=0.02 cores=1,3,5,7
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 23545 0 -1 4202560 4768 0 0 0 2 0 0 0 16 0 22 0 909195100 10814750720 213030 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 23545 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 22 0 909195100 10814750720 213031 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10561280 CPUtime=0.03 cores=1,3,5,7
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 23545 0 -1 4202560 3029 0 0 0 3 0 0 0 18 0 22 0 909195100 10814750720 213032 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10561280 CPUtime=0.01 cores=1,3,5,7
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 23545 0 -1 4202560 2541 0 0 0 1 0 0 0 16 0 22 0 909195100 10814750720 213033 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10561280 CPUtime=0.23 cores=1,3,5,7
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 23545 0 -1 4202560 20850 0 0 0 21 2 0 0 16 0 22 0 909195101 10814750720 213033 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 0 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909195102 10814750720 213034 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 23545 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 909195102 10814750720 213035 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 23545 0 -1 4202560 14903 0 0 0 119 2 0 0 16 0 22 0 909195100 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10561280 CPUtime=1.28 cores=1,3,5,7
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 23545 0 -1 4202560 11592 0 0 0 127 1 0 0 15 0 22 0 909195100 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10561280 CPUtime=1.46 cores=1,3,5,7
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 23545 0 -1 4202560 13208 0 0 0 145 1 0 0 16 0 22 0 909195100 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10561280 CPUtime=1.28 cores=1,3,5,7
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 23545 0 -1 4202560 9972 0 0 0 128 0 0 0 15 0 22 0 909195100 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10561280 CPUtime=1.09 cores=1,3,5,7
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 23545 0 -1 4202560 14824 0 0 0 108 1 0 0 16 0 22 0 909195100 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10561280 CPUtime=1.21 cores=1,3,5,7
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 23545 0 -1 4202560 10450 0 0 0 120 1 0 0 16 0 22 0 909195100 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10561280 CPUtime=74.3 cores=1,3,5,7
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 23545 0 -1 4202560 228990 0 0 0 7406 24 0 0 18 0 22 0 909195101 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 0 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909195102 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909195102 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907314097 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10561280 CPUtime=1.22 cores=1,3,5,7
/proc/28739/task/28754/stat : 28754 (java) S 28737 28739 23545 0 -1 4202560 9973 0 0 0 122 0 0 0 15 0 22 0 909195104 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10561280 CPUtime=1.47 cores=1,3,5,7
/proc/28739/task/28755/stat : 28755 (java) S 28737 28739 23545 0 -1 4202560 5498 0 0 0 146 1 0 0 15 0 22 0 909195104 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 23545 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 909195104 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28764] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28764/stat : 28764 (java) S 28737 28739 23545 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909195231 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28837] ppid=28737 vsize=10561280 CPUtime=336.73 cores=1,3,5,7
/proc/28739/task/28837/stat : 28837 (java) R 28737 28739 23545 0 -1 4202560 32 0 0 0 33673 0 0 0 25 0 22 0 909238826 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912505843276 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28739/tid=28838] ppid=28737 vsize=10561280 CPUtime=336.75 cores=1,3,5,7
/proc/28739/task/28838/stat : 28838 (java) R 28737 28739 23545 0 -1 4202560 0 0 0 0 33675 0 0 0 25 0 22 0 909238826 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912506072293 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28739/tid=28839] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28839/stat : 28839 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909238826 10814750720 934731 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1568.46
Current children cumulated vsize (KiB) 10561280
[startup+882.301 s]
/proc/loadavg: 4.08 3.85 3.65 6/486 28851
/proc/meminfo: memFree=20905348/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10561280 CPUtime=1684.38 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 955211 0 1 0 168318 120 0 0 21 0 22 0 909195098 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2640320 947369 2269 9 0 2631054 0
[pid=28739/tid=28740] ppid=28737 vsize=10561280 CPUtime=0.81 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 23545 0 -1 4202560 61069 0 1 0 75 6 0 0 15 0 22 0 909195099 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10561280 CPUtime=1.43 cores=1,3,5,7
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 23545 0 -1 4202560 13762 0 0 0 142 1 0 0 16 0 22 0 909195100 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10561280 CPUtime=1.48 cores=1,3,5,7
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 23545 0 -1 4202560 11467 0 0 0 146 2 0 0 15 0 22 0 909195100 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10561280 CPUtime=1.27 cores=1,3,5,7
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 23545 0 -1 4202560 15598 0 0 0 125 2 0 0 16 0 22 0 909195100 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10561280 CPUtime=1.4 cores=1,3,5,7
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 23545 0 -1 4202560 12036 0 0 0 139 1 0 0 16 0 22 0 909195100 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10561280 CPUtime=1.63 cores=1,3,5,7
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 23545 0 -1 4202560 13897 0 0 0 162 1 0 0 16 0 22 0 909195100 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10561280 CPUtime=1.35 cores=1,3,5,7
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 23545 0 -1 4202560 9973 0 0 0 135 0 0 0 16 0 22 0 909195100 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10561280 CPUtime=1.21 cores=1,3,5,7
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 23545 0 -1 4202560 15420 0 0 0 119 2 0 0 16 0 22 0 909195100 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10561280 CPUtime=1.23 cores=1,3,5,7
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 23545 0 -1 4202560 10450 0 0 0 122 1 0 0 15 0 22 0 909195100 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10561280 CPUtime=78.72 cores=1,3,5,7
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 23545 0 -1 4202560 239207 0 0 0 7847 25 0 0 15 0 22 0 909195101 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 0 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909195102 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909195102 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907314097 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10561280 CPUtime=1.22 cores=1,3,5,7
/proc/28739/task/28754/stat : 28754 (java) S 28737 28739 23545 0 -1 4202560 9973 0 0 0 122 0 0 0 15 0 22 0 909195104 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10561280 CPUtime=1.47 cores=1,3,5,7
/proc/28739/task/28755/stat : 28755 (java) S 28737 28739 23545 0 -1 4202560 5498 0 0 0 146 1 0 0 15 0 22 0 909195104 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 23545 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 909195104 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28764] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28764/stat : 28764 (java) S 28737 28739 23545 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909195231 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28837] ppid=28737 vsize=10561280 CPUtime=392.13 cores=1,3,5,7
/proc/28739/task/28837/stat : 28837 (java) R 28737 28739 23545 0 -1 4202560 33 0 0 0 39213 0 0 0 25 0 22 0 909238826 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912505900316 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28739/tid=28838] ppid=28737 vsize=10561280 CPUtime=392.15 cores=1,3,5,7
/proc/28739/task/28838/stat : 28838 (java) R 28737 28739 23545 0 -1 4202560 0 0 0 0 39215 0 0 0 25 0 22 0 909238826 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912506072800 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28739/tid=28839] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28839/stat : 28839 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909238826 10814750720 947369 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1684.38
Current children cumulated vsize (KiB) 10561280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+941.901 s]
/proc/loadavg: 3.86 3.83 3.65 5/486 28852
/proc/meminfo: memFree=20869228/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=10561280 CPUtime=1800.11 cores=1,3,5,7
/proc/28739/stat : 28739 (java) S 28737 28739 23545 0 -1 4202496 964143 0 1 0 179891 120 0 0 21 0 22 0 909195098 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 2640320 956291 2269 9 0 2631054 0
[pid=28739/tid=28740] ppid=28737 vsize=10561280 CPUtime=0.81 cores=1,3,5,7
/proc/28739/task/28740/stat : 28740 (java) S 28737 28739 23545 0 -1 4202560 61071 0 1 0 75 6 0 0 15 0 22 0 909195099 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28742] ppid=28737 vsize=10561280 CPUtime=1.47 cores=1,3,5,7
/proc/28739/task/28742/stat : 28742 (java) S 28737 28739 23545 0 -1 4202560 13764 0 0 0 146 1 0 0 15 0 22 0 909195100 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28743] ppid=28737 vsize=10561280 CPUtime=1.57 cores=1,3,5,7
/proc/28739/task/28743/stat : 28743 (java) S 28737 28739 23545 0 -1 4202560 11467 0 0 0 155 2 0 0 16 0 22 0 909195100 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28744] ppid=28737 vsize=10561280 CPUtime=1.27 cores=1,3,5,7
/proc/28739/task/28744/stat : 28744 (java) S 28737 28739 23545 0 -1 4202560 15598 0 0 0 125 2 0 0 15 0 22 0 909195100 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28745] ppid=28737 vsize=10561280 CPUtime=1.45 cores=1,3,5,7
/proc/28739/task/28745/stat : 28745 (java) S 28737 28739 23545 0 -1 4202560 12037 0 0 0 144 1 0 0 16 0 22 0 909195100 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28746] ppid=28737 vsize=10561280 CPUtime=1.67 cores=1,3,5,7
/proc/28739/task/28746/stat : 28746 (java) S 28737 28739 23545 0 -1 4202560 13897 0 0 0 166 1 0 0 15 0 22 0 909195100 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28747] ppid=28737 vsize=10561280 CPUtime=1.36 cores=1,3,5,7
/proc/28739/task/28747/stat : 28747 (java) S 28737 28739 23545 0 -1 4202560 9973 0 0 0 136 0 0 0 15 0 22 0 909195100 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=10561280 CPUtime=1.26 cores=1,3,5,7
/proc/28739/task/28748/stat : 28748 (java) S 28737 28739 23545 0 -1 4202560 15427 0 0 0 124 2 0 0 16 0 22 0 909195100 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 3 0 0 0
[pid=28739/tid=28749] ppid=28737 vsize=10561280 CPUtime=1.32 cores=1,3,5,7
/proc/28739/task/28749/stat : 28749 (java) S 28737 28739 23545 0 -1 4202560 10453 0 0 0 131 1 0 0 16 0 22 0 909195100 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28750] ppid=28737 vsize=10561280 CPUtime=82.39 cores=1,3,5,7
/proc/28739/task/28750/stat : 28750 (java) S 28737 28739 23545 0 -1 4202560 241688 0 0 0 8214 25 0 0 15 0 22 0 909195101 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 0 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28751] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28751/stat : 28751 (java) S 28737 28739 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909195102 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28752] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28752/stat : 28752 (java) S 28737 28739 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909195102 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28753] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28753/stat : 28753 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907314097 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28754] ppid=28737 vsize=10561280 CPUtime=1.22 cores=1,3,5,7
/proc/28739/task/28754/stat : 28754 (java) S 28737 28739 23545 0 -1 4202560 9973 0 0 0 122 0 0 0 15 0 22 0 909195104 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
[pid=28739/tid=28755] ppid=28737 vsize=10561280 CPUtime=1.47 cores=1,3,5,7
/proc/28739/task/28755/stat : 28755 (java) S 28737 28739 23545 0 -1 4202560 5498 0 0 0 146 1 0 0 15 0 22 0 909195104 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28756] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28756/stat : 28756 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909195104 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907306393 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28757] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28757/stat : 28757 (java) S 28737 28739 23545 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 909195104 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 5 0 0 0
[pid=28739/tid=28764] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28764/stat : 28764 (java) S 28737 28739 23545 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 909195231 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 7 0 0 0
[pid=28739/tid=28837] ppid=28737 vsize=10561280 CPUtime=447.98 cores=1,3,5,7
/proc/28739/task/28837/stat : 28837 (java) R 28737 28739 23545 0 -1 4202560 93 0 0 0 44798 0 0 0 25 0 22 0 909238826 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912505900408 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=28739/tid=28838] ppid=28737 vsize=10561280 CPUtime=448 cores=1,3,5,7
/proc/28739/task/28838/stat : 28838 (java) R 28737 28739 23545 0 -1 4202560 6372 0 0 0 44800 0 0 0 25 0 22 0 909238826 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 46912506073311 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=28739/tid=28839] ppid=28737 vsize=10561280 CPUtime=0 cores=1,3,5,7
/proc/28739/task/28839/stat : 28839 (java) S 28737 28739 23545 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 909238826 10814750720 956291 33554432000 1073741824 1073778376 140733908968880 18446744073709551615 231907307008 0 4 0 16800975 18446604465396859072 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10561280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+942.024 s]
/proc/loadavg: 3.86 3.83 3.65 5/486 28852
/proc/meminfo: memFree=20869228/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/28739/stat : 28739 (java) Z 28737 28739 23545 0 -1 4203548 964172 0 1 0 179903 127 0 0 17 0 2 0 909195098 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 0 0 0 0 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=0 CPUtime=1.32 cores=1,3,5,7
/proc/28739/task/28748/stat : 28748 (java) R 28737 28739 23545 0 -1 4203588 15427 0 0 0 124 8 0 0 15 0 2 0 909195100 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
[startup+942.101 s]
/proc/loadavg: 3.86 3.83 3.65 5/486 28852
/proc/meminfo: memFree=20869228/32950928 swapFree=52246700/67111528
[pid=28739] ppid=28737 vsize=0 CPUtime=1800.37 cores=1,3,5,7
/proc/28739/stat : 28739 (java) Z 28737 28739 23545 0 -1 4203548 964172 0 1 0 179903 134 0 0 17 0 2 0 909195098 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/28739/statm: 0 0 0 0 0 0 0
[pid=28739/tid=28748] ppid=28737 vsize=0 CPUtime=1.4 cores=1,3,5,7
/proc/28739/task/28748/stat : 28748 (java) R 28737 28739 23545 0 -1 4203588 15427 0 0 0 124 16 0 0 16 0 2 0 909195100 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 942.112
CPU time (s): 1800.4
CPU user time (s): 1799.04
CPU system time (s): 1.35979
CPU usage (%): 191.102
Max. virtual memory (cumulated for all children) (KiB): 10561280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.35979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 964172
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= 23938
involuntary context switches= 25487
runsolver used 4.14037 second user time and 10.4614 second system time
The end