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-3456737-1307220345/watcher-3456737-1307220345 -o /tmp/evaluation-result-3456737-1307220345/solver-3456737-1307220345 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456737-1307220345.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: 1.99 2.01 1.97 2/433 13870
/proc/meminfo: memFree=25570524/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 1317 0 0 0 0 0 0 0 25 0 2 0 289643900 36646912 1018 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 8947 1018 782 9 0 386 0
[pid=13870/tid=13871] ppid=13868 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) S 13868 13870 12126 0 -1 4202560 202 0 0 0 0 0 0 0 25 0 2 0 289643900 36646912 1018 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218880585286 0 0 0 16784584 9234736868212342783 0 0 -1 1 0 0 0
[startup+0.043579 s]
/proc/loadavg: 1.99 2.01 1.97 2/433 13870
/proc/meminfo: memFree=25570524/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 10979 0 1 0 1 0 0 0 25 0 11 0 289643900 10716594176 10677 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2616356 10678 1605 9 0 2607104 0
[pid=13870/tid=13871] ppid=13868 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 9856 0 1 0 1 0 0 0 25 0 11 0 289643900 10716594176 10679 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 47299459188752 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10465424
[startup+0.100491 s]
/proc/loadavg: 1.99 2.01 1.97 2/433 13870
/proc/meminfo: memFree=25570524/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10540252 CPUtime=0.09 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 12956 0 1 0 8 1 0 0 25 0 18 0 289643900 10793218048 12622 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2635063 12622 2093 9 0 2625797 0
[pid=13870/tid=13871] ppid=13868 vsize=10540252 CPUtime=0.07 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 11015 0 1 0 6 1 0 0 18 0 18 0 289643900 10793218048 12622 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892391883 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540252
[startup+0.300457 s]
/proc/loadavg: 1.99 2.01 1.97 2/433 13870
/proc/meminfo: memFree=25570524/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10542300 CPUtime=0.45 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 15089 0 1 0 43 2 0 0 25 0 19 0 289643900 10795315200 14553 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2635575 14553 2207 9 0 2626309 0
[pid=13870/tid=13871] ppid=13868 vsize=10542300 CPUtime=0.27 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 12437 0 1 0 26 1 0 0 19 0 19 0 289643900 10795315200 14553 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 46912505213628 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10542300
[startup+0.700388 s]
/proc/loadavg: 1.99 2.01 1.97 2/433 13870
/proc/meminfo: memFree=25570524/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10556912 CPUtime=1.55 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 43050 0 1 0 150 5 0 0 25 0 19 0 289643900 10810277888 39172 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2639228 39178 2221 9 0 2629962 0
[pid=13870/tid=13871] ppid=13868 vsize=10556912 CPUtime=0.67 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 28896 0 1 0 64 3 0 0 19 0 19 0 289643900 10810277888 39181 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 46912505643662 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10556912
[startup+1.50132 s]
/proc/loadavg: 1.99 2.01 1.97 3/452 13889
/proc/meminfo: memFree=25160824/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10557852 CPUtime=2.82 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 105690 0 1 0 270 12 0 0 25 0 19 0 289643900 10811240448 101166 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2639463 101172 2227 9 0 2630197 0
[pid=13870/tid=13871] ppid=13868 vsize=10557852 CPUtime=1.48 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 90814 0 1 0 138 10 0 0 21 0 19 0 289643900 10811240448 101175 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 46912505632625 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13870/tid=13873] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13873/stat : 13873 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 101179 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13874] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13874/stat : 13874 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 101182 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13875] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13875/stat : 13875 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 101187 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13876] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13876/stat : 13876 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 101189 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13877] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13877/stat : 13877 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 101194 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13878] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13878/stat : 13878 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 101196 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13879] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13879/stat : 13879 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 101200 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13880] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13880/stat : 13880 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 101204 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13881] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13881/stat : 13881 (java) S 13868 13870 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 101207 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 0 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13882] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13882/stat : 13882 (java) S 13868 13870 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643904 10811240448 101211 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13883] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13883/stat : 13883 (java) S 13868 13870 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 289643904 10811240448 101214 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13884] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13884/stat : 13884 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 101218 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892388785 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13885] ppid=13868 vsize=10557852 CPUtime=0.63 cores=1,3,5,7
/proc/13870/task/13885/stat : 13885 (java) S 13868 13870 12126 0 -1 4202560 8530 0 0 0 63 0 0 0 21 0 19 0 289643906 10811240448 101220 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13886] ppid=13868 vsize=10557852 CPUtime=0.68 cores=1,3,5,7
/proc/13870/task/13886/stat : 13886 (java) S 13868 13870 12126 0 -1 4202560 5194 0 0 0 68 0 0 0 15 0 19 0 289643906 10811240448 101224 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13887] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13887/stat : 13887 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 101227 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13888] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13888/stat : 13888 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643906 10811240448 101231 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13889] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13889/stat : 13889 (java) S 13868 13870 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643926 10811240448 101234 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10557852
[startup+3.10104 s]
/proc/loadavg: 1.99 2.01 1.97 4/452 13889
/proc/meminfo: memFree=24613364/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10557852 CPUtime=4.49 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 238827 0 1 0 423 26 0 0 25 0 19 0 289643900 10811240448 234301 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2639463 234305 2229 9 0 2630197 0
[pid=13870/tid=13871] ppid=13868 vsize=10557852 CPUtime=3.07 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 223940 0 1 0 283 24 0 0 25 0 19 0 289643900 10811240448 234307 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 46912505717652 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13870/tid=13873] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13873/stat : 13873 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 234309 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13874] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13874/stat : 13874 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 234312 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13875] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13875/stat : 13875 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 234315 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13876] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13876/stat : 13876 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 234317 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13877] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13877/stat : 13877 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 234319 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13878] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13878/stat : 13878 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 234321 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13879] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13879/stat : 13879 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 234323 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13880] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13880/stat : 13880 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 234325 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13881] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13881/stat : 13881 (java) S 13868 13870 12126 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 234328 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 0 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13882] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13882/stat : 13882 (java) S 13868 13870 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643904 10811240448 234330 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13883] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13883/stat : 13883 (java) S 13868 13870 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 289643904 10811240448 234332 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13884] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13884/stat : 13884 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 234334 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892388785 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13885] ppid=13868 vsize=10557852 CPUtime=0.65 cores=1,3,5,7
/proc/13870/task/13885/stat : 13885 (java) S 13868 13870 12126 0 -1 4202560 8531 0 0 0 65 0 0 0 16 0 19 0 289643906 10811240448 234336 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13886] ppid=13868 vsize=10557852 CPUtime=0.74 cores=1,3,5,7
/proc/13870/task/13886/stat : 13886 (java) S 13868 13870 12126 0 -1 4202560 5200 0 0 0 74 0 0 0 15 0 19 0 289643906 10811240448 234338 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13887] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13887/stat : 13887 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 234340 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13888] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13888/stat : 13888 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643906 10811240448 234342 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13889] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13889/stat : 13889 (java) S 13868 13870 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643926 10811240448 234344 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.49
Current children cumulated vsize (KiB) 10557852
[startup+6.30148 s]
/proc/loadavg: 1.99 2.01 1.97 3/452 13889
/proc/meminfo: memFree=23036676/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10557852 CPUtime=7.7 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 483197 0 1 0 716 54 0 0 25 0 19 0 289643900 10811240448 478630 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2639463 478634 2229 9 0 2630197 0
[pid=13870/tid=13871] ppid=13868 vsize=10557852 CPUtime=6.28 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 468311 0 1 0 576 52 0 0 25 0 19 0 289643900 10811240448 478637 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 46912505618962 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13870/tid=13873] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13873/stat : 13873 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 478639 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13874] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13874/stat : 13874 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 478644 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13875] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13875/stat : 13875 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 478645 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13876] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13876/stat : 13876 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 478648 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13877] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13877/stat : 13877 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 478653 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13878] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13878/stat : 13878 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 478653 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13879] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13879/stat : 13879 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 478658 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13880] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13880/stat : 13880 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643903 10811240448 478661 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13881] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13881/stat : 13881 (java) S 13868 13870 12126 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 289643904 10811240448 478662 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 0 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13882] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13882/stat : 13882 (java) S 13868 13870 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643904 10811240448 478669 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13883] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13883/stat : 13883 (java) S 13868 13870 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 289643904 10811240448 478669 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13884] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13884/stat : 13884 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 478673 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892388785 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13885] ppid=13868 vsize=10557852 CPUtime=0.65 cores=1,3,5,7
/proc/13870/task/13885/stat : 13885 (java) S 13868 13870 12126 0 -1 4202560 8531 0 0 0 65 0 0 0 16 0 19 0 289643906 10811240448 478677 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13886] ppid=13868 vsize=10557852 CPUtime=0.75 cores=1,3,5,7
/proc/13870/task/13886/stat : 13886 (java) S 13868 13870 12126 0 -1 4202560 5200 0 0 0 75 0 0 0 15 0 19 0 289643906 10811240448 478677 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/13870/task/13882/stat : 13882 (java) S 13868 13870 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13883] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13883/stat : 13883 (java) S 13868 13870 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13884] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13884/stat : 13884 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892388785 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13885] ppid=13868 vsize=10557852 CPUtime=0.65 cores=1,3,5,7
/proc/13870/task/13885/stat : 13885 (java) S 13868 13870 12126 0 -1 4202560 8534 0 0 0 65 0 0 0 15 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13886] ppid=13868 vsize=10557852 CPUtime=0.76 cores=1,3,5,7
/proc/13870/task/13886/stat : 13886 (java) S 13868 13870 12126 0 -1 4202560 5201 0 0 0 76 0 0 0 16 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13887] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13887/stat : 13887 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13888] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13888/stat : 13888 (java) S 13868 13870 12126 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13889] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13889/stat : 13889 (java) S 13868 13870 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643926 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1664.82
Current children cumulated vsize (KiB) 10557852
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/452 13947
/proc/meminfo: memFree=20056236/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10557852 CPUtime=1724.82 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 980245 0 1 0 172370 112 0 0 25 0 19 0 289643900 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2639463 969752 2242 9 0 2630197 0
[pid=13870/tid=13871] ppid=13868 vsize=10557852 CPUtime=1721.83 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 766537 0 1 0 172103 80 0 0 25 0 19 0 289643900 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 46912506122088 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13870/tid=13873] ppid=13868 vsize=10557852 CPUtime=0.19 cores=1,3,5,7
/proc/13870/task/13873/stat : 13873 (java) S 13868 13870 12126 0 -1 4202560 23955 0 0 0 16 3 0 0 16 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13874] ppid=13868 vsize=10557852 CPUtime=0.16 cores=1,3,5,7
/proc/13870/task/13874/stat : 13874 (java) S 13868 13870 12126 0 -1 4202560 19675 0 0 0 14 2 0 0 16 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13875] ppid=13868 vsize=10557852 CPUtime=0.18 cores=1,3,5,7
/proc/13870/task/13875/stat : 13875 (java) S 13868 13870 12126 0 -1 4202560 27341 0 0 0 14 4 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13876] ppid=13868 vsize=10557852 CPUtime=0.11 cores=1,3,5,7
/proc/13870/task/13876/stat : 13876 (java) S 13868 13870 12126 0 -1 4202560 14024 0 0 0 9 2 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13877] ppid=13868 vsize=10557852 CPUtime=0.23 cores=1,3,5,7
/proc/13870/task/13877/stat : 13877 (java) S 13868 13870 12126 0 -1 4202560 34966 0 0 0 19 4 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13878] ppid=13868 vsize=10557852 CPUtime=0.26 cores=1,3,5,7
/proc/13870/task/13878/stat : 13878 (java) S 13868 13870 12126 0 -1 4202560 35732 0 0 0 21 5 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13879] ppid=13868 vsize=10557852 CPUtime=0.2 cores=1,3,5,7
/proc/13870/task/13879/stat : 13879 (java) S 13868 13870 12126 0 -1 4202560 26572 0 0 0 17 3 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13880] ppid=13868 vsize=10557852 CPUtime=0.12 cores=1,3,5,7
/proc/13870/task/13880/stat : 13880 (java) S 13868 13870 12126 0 -1 4202560 16412 0 0 0 10 2 0 0 16 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13881] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13881/stat : 13881 (java) S 13868 13870 12126 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 0 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13882] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13882/stat : 13882 (java) S 13868 13870 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13883] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13883/stat : 13883 (java) S 13868 13870 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13884] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13884/stat : 13884 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892388785 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13885] ppid=13868 vsize=10557852 CPUtime=0.65 cores=1,3,5,7
/proc/13870/task/13885/stat : 13885 (java) S 13868 13870 12126 0 -1 4202560 8534 0 0 0 65 0 0 0 15 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13886] ppid=13868 vsize=10557852 CPUtime=0.76 cores=1,3,5,7
/proc/13870/task/13886/stat : 13886 (java) S 13868 13870 12126 0 -1 4202560 5201 0 0 0 76 0 0 0 16 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13887] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13887/stat : 13887 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13888] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13888/stat : 13888 (java) S 13868 13870 12126 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13889] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13889/stat : 13889 (java) S 13868 13870 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643926 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1724.82
Current children cumulated vsize (KiB) 10557852
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/452 13948
/proc/meminfo: memFree=20052620/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10557852 CPUtime=1784.82 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 980247 0 1 0 178370 112 0 0 25 0 19 0 289643900 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2639463 969752 2242 9 0 2630197 0
[pid=13870/tid=13871] ppid=13868 vsize=10557852 CPUtime=1781.83 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 766537 0 1 0 178103 80 0 0 25 0 19 0 289643900 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 46912506123999 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13870/tid=13873] ppid=13868 vsize=10557852 CPUtime=0.19 cores=1,3,5,7
/proc/13870/task/13873/stat : 13873 (java) S 13868 13870 12126 0 -1 4202560 23955 0 0 0 16 3 0 0 16 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13874] ppid=13868 vsize=10557852 CPUtime=0.16 cores=1,3,5,7
/proc/13870/task/13874/stat : 13874 (java) S 13868 13870 12126 0 -1 4202560 19675 0 0 0 14 2 0 0 16 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13875] ppid=13868 vsize=10557852 CPUtime=0.18 cores=1,3,5,7
/proc/13870/task/13875/stat : 13875 (java) S 13868 13870 12126 0 -1 4202560 27341 0 0 0 14 4 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13876] ppid=13868 vsize=10557852 CPUtime=0.11 cores=1,3,5,7
/proc/13870/task/13876/stat : 13876 (java) S 13868 13870 12126 0 -1 4202560 14024 0 0 0 9 2 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13877] ppid=13868 vsize=10557852 CPUtime=0.23 cores=1,3,5,7
/proc/13870/task/13877/stat : 13877 (java) S 13868 13870 12126 0 -1 4202560 34966 0 0 0 19 4 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13878] ppid=13868 vsize=10557852 CPUtime=0.26 cores=1,3,5,7
/proc/13870/task/13878/stat : 13878 (java) S 13868 13870 12126 0 -1 4202560 35732 0 0 0 21 5 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13879] ppid=13868 vsize=10557852 CPUtime=0.2 cores=1,3,5,7
/proc/13870/task/13879/stat : 13879 (java) S 13868 13870 12126 0 -1 4202560 26572 0 0 0 17 3 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13880] ppid=13868 vsize=10557852 CPUtime=0.12 cores=1,3,5,7
/proc/13870/task/13880/stat : 13880 (java) S 13868 13870 12126 0 -1 4202560 16412 0 0 0 10 2 0 0 16 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13881] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13881/stat : 13881 (java) S 13868 13870 12126 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 0 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13882] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13882/stat : 13882 (java) S 13868 13870 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13883] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13883/stat : 13883 (java) S 13868 13870 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13884] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13884/stat : 13884 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892388785 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13885] ppid=13868 vsize=10557852 CPUtime=0.65 cores=1,3,5,7
/proc/13870/task/13885/stat : 13885 (java) S 13868 13870 12126 0 -1 4202560 8534 0 0 0 65 0 0 0 15 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13886] ppid=13868 vsize=10557852 CPUtime=0.76 cores=1,3,5,7
/proc/13870/task/13886/stat : 13886 (java) S 13868 13870 12126 0 -1 4202560 5201 0 0 0 76 0 0 0 16 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13887] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13887/stat : 13887 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13888] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13888/stat : 13888 (java) S 13868 13870 12126 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13889] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13889/stat : 13889 (java) S 13868 13870 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643926 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1784.82
Current children cumulated vsize (KiB) 10557852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/434 13979
/proc/meminfo: memFree=22118432/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=10557852 CPUtime=1800.03 cores=1,3,5,7
/proc/13870/stat : 13870 (java) S 13868 13870 12126 0 -1 4202496 980249 0 1 0 179891 112 0 0 25 0 19 0 289643900 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 2639463 969752 2242 9 0 2630197 0
[pid=13870/tid=13871] ppid=13868 vsize=10557852 CPUtime=1797.04 cores=1,3,5,7
/proc/13870/task/13871/stat : 13871 (java) R 13868 13870 12126 0 -1 4202560 766537 0 1 0 179624 80 0 0 25 0 19 0 289643900 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 46912506121928 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13870/tid=13873] ppid=13868 vsize=10557852 CPUtime=0.19 cores=1,3,5,7
/proc/13870/task/13873/stat : 13873 (java) S 13868 13870 12126 0 -1 4202560 23955 0 0 0 16 3 0 0 16 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13874] ppid=13868 vsize=10557852 CPUtime=0.16 cores=1,3,5,7
/proc/13870/task/13874/stat : 13874 (java) S 13868 13870 12126 0 -1 4202560 19675 0 0 0 14 2 0 0 16 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13875] ppid=13868 vsize=10557852 CPUtime=0.18 cores=1,3,5,7
/proc/13870/task/13875/stat : 13875 (java) S 13868 13870 12126 0 -1 4202560 27341 0 0 0 14 4 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13876] ppid=13868 vsize=10557852 CPUtime=0.11 cores=1,3,5,7
/proc/13870/task/13876/stat : 13876 (java) S 13868 13870 12126 0 -1 4202560 14024 0 0 0 9 2 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13877] ppid=13868 vsize=10557852 CPUtime=0.23 cores=1,3,5,7
/proc/13870/task/13877/stat : 13877 (java) S 13868 13870 12126 0 -1 4202560 34966 0 0 0 19 4 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13878] ppid=13868 vsize=10557852 CPUtime=0.26 cores=1,3,5,7
/proc/13870/task/13878/stat : 13878 (java) S 13868 13870 12126 0 -1 4202560 35732 0 0 0 21 5 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13879] ppid=13868 vsize=10557852 CPUtime=0.2 cores=1,3,5,7
/proc/13870/task/13879/stat : 13879 (java) S 13868 13870 12126 0 -1 4202560 26572 0 0 0 17 3 0 0 15 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13880] ppid=13868 vsize=10557852 CPUtime=0.12 cores=1,3,5,7
/proc/13870/task/13880/stat : 13880 (java) S 13868 13870 12126 0 -1 4202560 16412 0 0 0 10 2 0 0 16 0 19 0 289643903 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13881] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13881/stat : 13881 (java) S 13868 13870 12126 0 -1 4202560 45 0 0 0 0 0 0 0 15 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 0 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13882] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13882/stat : 13882 (java) S 13868 13870 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13883] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13883/stat : 13883 (java) S 13868 13870 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289643904 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13884] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13884/stat : 13884 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892388785 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13885] ppid=13868 vsize=10557852 CPUtime=0.65 cores=1,3,5,7
/proc/13870/task/13885/stat : 13885 (java) S 13868 13870 12126 0 -1 4202560 8534 0 0 0 65 0 0 0 15 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
[pid=13870/tid=13886] ppid=13868 vsize=10557852 CPUtime=0.76 cores=1,3,5,7
/proc/13870/task/13886/stat : 13886 (java) S 13868 13870 12126 0 -1 4202560 5201 0 0 0 76 0 0 0 16 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 5 0 0 0
[pid=13870/tid=13887] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13887/stat : 13887 (java) S 13868 13870 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381081 0 4 0 16800975 18446604455062822976 0 0 -1 1 0 0 0
[pid=13870/tid=13888] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13888/stat : 13888 (java) S 13868 13870 12126 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 289643906 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 3 0 0 0
[pid=13870/tid=13889] ppid=13868 vsize=10557852 CPUtime=0 cores=1,3,5,7
/proc/13870/task/13889/stat : 13889 (java) S 13868 13870 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643926 10811240448 969752 33554432000 1073741824 1073778376 140734830209008 18446744073709551615 218892381696 0 4 0 16800975 18446604455062822976 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10557852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.62 s]
/proc/loadavg: 2.00 2.00 2.00 3/434 13979
/proc/meminfo: memFree=22118432/32950928 swapFree=52006644/67111528
[pid=13870] ppid=13868 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/13870/stat : 13870 (java) Z 13868 13870 12126 0 -1 4203548 980278 0 1 0 179893 121 0 0 17 0 2 0 289643900 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13870/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1797.67
CPU time (s): 1800.21
CPU user time (s): 1798.94
CPU system time (s): 1.27081
CPU usage (%): 100.141
Max. virtual memory (cumulated for all children) (KiB): 10557852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.94
system time used= 1.27081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 980278
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= 37338
involuntary context switches= 34613
runsolver used 7.56485 second user time and 16.7764 second system time
The end