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-3454638-1307191853/watcher-3454638-1307191853 -o /tmp/evaluation-result-3454638-1307191853/solver-3454638-1307191853 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454638-1307191853.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.50 1.77 2.36 2/470 4237
/proc/meminfo: memFree=20365136/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=24008 CPUtime=0 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 1138 0 0 0 0 0 0 0 23 0 2 0 830784921 24584192 875 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 6001 877 664 9 0 381 0
[pid=4237/tid=4238] ppid=4235 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) R 4235 4237 678 0 -1 4202560 4627 0 1 0 0 0 0 0 25 0 2 0 830784922 10694979584 5443 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274473661499 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.043718 s]
/proc/loadavg: 1.50 1.77 2.36 2/470 4237
/proc/meminfo: memFree=20365136/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=10467480 CPUtime=0.03 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 11202 0 1 0 2 1 0 0 23 0 13 0 830784921 10718699520 10899 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 2616870 10899 1660 9 0 2607618 0
[pid=4237/tid=4238] ppid=4235 vsize=10467480 CPUtime=0.02 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) R 4235 4237 678 0 -1 4202560 10054 0 1 0 2 0 0 0 25 0 13 0 830784922 10718699520 10899 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485794251 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.100709 s]
/proc/loadavg: 1.50 1.77 2.36 2/470 4237
/proc/meminfo: memFree=20365136/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=10539488 CPUtime=0.1 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 13055 0 1 0 9 1 0 0 23 0 18 0 830784921 10792435712 12715 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 2634872 12715 2092 9 0 2625606 0
[pid=4237/tid=4238] ppid=4235 vsize=10539488 CPUtime=0.08 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) R 4235 4237 678 0 -1 4202560 11095 0 1 0 7 1 0 0 25 0 18 0 830784922 10792435712 12716 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539488
[startup+0.300676 s]
/proc/loadavg: 1.50 1.77 2.36 2/470 4237
/proc/meminfo: memFree=20365136/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=10551360 CPUtime=0.56 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 22815 0 1 0 54 2 0 0 23 0 18 0 830784921 10804592640 19426 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 2637840 19427 2201 9 0 2628574 0
[pid=4237/tid=4238] ppid=4235 vsize=10551360 CPUtime=0.27 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) R 4235 4237 678 0 -1 4202560 12835 0 1 0 26 1 0 0 25 0 18 0 830784922 10804592640 19427 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10551360
[startup+0.700606 s]
/proc/loadavg: 1.50 1.77 2.36 2/470 4237
/proc/meminfo: memFree=20365136/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=10552724 CPUtime=1.42 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 47515 0 1 0 136 6 0 0 23 0 18 0 830784921 10805989376 42921 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 2638181 42924 2212 9 0 2628915 0
[pid=4237/tid=4238] ppid=4235 vsize=10552724 CPUtime=0.68 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) R 4235 4237 678 0 -1 4202560 35647 0 1 0 63 5 0 0 25 0 18 0 830784922 10805989376 42927 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505657908 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10552724
[startup+1.50147 s]
/proc/loadavg: 1.50 1.77 2.36 6/512 4282
/proc/meminfo: memFree=19862492/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=10556836 CPUtime=3.36 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 87978 0 1 0 324 12 0 0 23 0 22 0 830784921 10810200064 82625 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 2639209 82626 2234 9 0 2629943 0
[pid=4237/tid=4238] ppid=4235 vsize=10556836 CPUtime=0.81 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) S 4235 4237 678 0 -1 4202560 50025 0 1 0 74 7 0 0 20 0 22 0 830784922 10810200064 82627 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4240] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 82628 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4241] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 678 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 82629 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4242] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 82630 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4243] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 82631 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4244] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 82632 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4245] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 82633 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4246] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4246/stat : 4246 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 82633 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4247] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4247/stat : 4247 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 82634 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4248] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4248/stat : 4248 (java) S 4235 4237 678 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830784924 10810200064 82635 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 0 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4249] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4249/stat : 4249 (java) S 4235 4237 678 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830784925 10810200064 82636 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4250] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4250/stat : 4250 (java) S 4235 4237 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830784925 10810200064 82637 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4251] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4251/stat : 4251 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810200064 82637 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485791153 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4252] ppid=4235 vsize=10556836 CPUtime=0.59 cores=1,3,5,7
/proc/4237/task/4252/stat : 4252 (java) S 4235 4237 678 0 -1 4202560 5443 0 0 0 59 0 0 0 19 0 22 0 830784927 10810200064 82638 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4253] ppid=4235 vsize=10556836 CPUtime=0.66 cores=1,3,5,7
/proc/4237/task/4253/stat : 4253 (java) S 4235 4237 678 0 -1 4202560 6165 0 0 0 66 0 0 0 21 0 22 0 830784927 10810200064 82639 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4254] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4254/stat : 4254 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810200064 82640 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4255] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4255/stat : 4255 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830784927 10810200064 82641 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4279] ppid=4235 vsize=10556836 CPUtime=0.66 cores=1,3,5,7
/proc/4237/task/4279/stat : 4279 (java) R 4235 4237 678 0 -1 4202560 507 0 0 0 66 0 0 0 25 0 22 0 830785005 10810200064 82642 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505855612 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4237/tid=4280] ppid=4235 vsize=10556836 CPUtime=0.6 cores=1,3,5,7
/proc/4237/task/4280/stat : 4280 (java) R 4235 4237 678 0 -1 4202560 24689 0 0 0 57 3 0 0 25 0 22 0 830785005 10810200064 82643 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505851433 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4237/tid=4281] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4281/stat : 4281 (java) S 4235 4237 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830785005 10810200064 82644 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4282] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4282/stat : 4282 (java) S 4235 4237 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830785006 10810200064 82644 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 10556836
[startup+3.10119 s]
/proc/loadavg: 1.50 1.77 2.36 6/516 4288
/proc/meminfo: memFree=19305576/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=10556836 CPUtime=6.79 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 174328 0 1 0 656 23 0 0 23 0 22 0 830784921 10810200064 168974 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 2639209 168977 2236 9 0 2629943 0
[pid=4237/tid=4238] ppid=4235 vsize=10556836 CPUtime=0.81 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) S 4235 4237 678 0 -1 4202560 50025 0 1 0 74 7 0 0 15 0 22 0 830784922 10810200064 168979 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4240] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 168981 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4241] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 678 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 168983 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4242] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 168985 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4243] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 168987 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4244] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 168988 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4245] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 168990 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4246] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4246/stat : 4246 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 168992 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4247] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4247/stat : 4247 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784923 10810200064 168994 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4248] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4248/stat : 4248 (java) S 4235 4237 678 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830784924 10810200064 168994 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 0 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4249] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4249/stat : 4249 (java) S 4235 4237 678 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830784925 10810200064 168995 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4250] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4250/stat : 4250 (java) S 4235 4237 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830784925 10810200064 168996 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4251] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4251/stat : 4251 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810200064 168997 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485791153 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4252] ppid=4235 vsize=10556836 CPUtime=0.67 cores=1,3,5,7
/proc/4237/task/4252/stat : 4252 (java) S 4235 4237 678 0 -1 4202560 5455 0 0 0 67 0 0 0 15 0 22 0 830784927 10810200064 168998 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4253] ppid=4235 vsize=10556836 CPUtime=0.8 cores=1,3,5,7
/proc/4237/task/4253/stat : 4253 (java) S 4235 4237 678 0 -1 4202560 6195 0 0 0 80 0 0 0 16 0 22 0 830784927 10810200064 168998 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4254] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4254/stat : 4254 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810200064 169005 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4255] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4255/stat : 4255 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830784927 10810200064 169005 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4279] ppid=4235 vsize=10556836 CPUtime=2.26 cores=1,3,5,7
/proc/4237/task/4279/stat : 4279 (java) R 4235 4237 678 0 -1 4202560 549 0 0 0 226 0 0 0 25 0 22 0 830785005 10810200064 169007 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505856335 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4237/tid=4280] ppid=4235 vsize=10556836 CPUtime=2.2 cores=1,3,5,7
/proc/4237/task/4280/stat : 4280 (java) R 4235 4237 678 0 -1 4202560 110973 0 0 0 207 13 0 0 25 0 22 0 830785005 10810200064 169010 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505851699 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4237/tid=4281] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4281/stat : 4281 (java) S 4235 4237 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830785005 10810200064 169012 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4282] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4282/stat : 4282 (java) S 4235 4237 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830785006 10810200064 169014 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.79
Current children cumulated vsize (KiB) 10556836
[startup+6.30062 s]
/proc/loadavg: 1.70 1.80 2.36 5/516 4288
/proc/meminfo: memFree=18073400/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=10556836 CPUtime=13.22 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 340736 0 1 0 1279 43 0 0 23 0 19 0 830784921 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 2639209 335287 2241 9 0 2629943 0
[pid=4237/tid=4238] ppid=4235 vsize=10556836 CPUtime=0.81 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) S 4235 4237 678 0 -1 4202560 50025 0 1 0 74 7 0 0 15 0 19 0 830784922 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4240] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784923 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4241] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 678 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 830784923 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4242] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784923 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4243] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784923 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4244] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784923 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4245] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784923 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4246] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4246/stat : 4246 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784923 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4247] ppid=4235 vsize=10556836 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4247/stat : 4247 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 830784923 10810200064 335287 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 678 0 -1 4202560 228 0 0 0 36 0 0 0 15 0 22 0 830784923 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4243] ppid=4235 vsize=10556972 CPUtime=0.45 cores=1,3,5,7
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 678 0 -1 4202560 201 0 0 0 45 0 0 0 15 0 22 0 830784923 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4244] ppid=4235 vsize=10556972 CPUtime=0.42 cores=1,3,5,7
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 678 0 -1 4202560 2317 0 0 0 42 0 0 0 15 0 22 0 830784923 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4245] ppid=4235 vsize=10556972 CPUtime=0.46 cores=1,3,5,7
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 678 0 -1 4202560 2061 0 0 0 46 0 0 0 15 0 22 0 830784923 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4246] ppid=4235 vsize=10556972 CPUtime=0.41 cores=1,3,5,7
/proc/4237/task/4246/stat : 4246 (java) S 4235 4237 678 0 -1 4202560 2411 0 0 0 41 0 0 0 16 0 22 0 830784923 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4247] ppid=4235 vsize=10556972 CPUtime=0.43 cores=1,3,5,7
/proc/4237/task/4247/stat : 4247 (java) S 4235 4237 678 0 -1 4202560 1828 0 0 0 43 0 0 0 15 0 22 0 830784923 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4248] ppid=4235 vsize=10556972 CPUtime=16.05 cores=1,3,5,7
/proc/4237/task/4248/stat : 4248 (java) S 4235 4237 678 0 -1 4202560 35673 0 0 0 1602 3 0 0 15 0 22 0 830784924 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 0 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4249] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4249/stat : 4249 (java) S 4235 4237 678 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830784925 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4250] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4250/stat : 4250 (java) S 4235 4237 678 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830784925 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4251] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4251/stat : 4251 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485791153 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4252] ppid=4235 vsize=10556972 CPUtime=1.55 cores=1,3,5,7
/proc/4237/task/4252/stat : 4252 (java) S 4235 4237 678 0 -1 4202560 9437 0 0 0 154 1 0 0 16 0 22 0 830784927 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4253] ppid=4235 vsize=10556972 CPUtime=1.21 cores=1,3,5,7
/proc/4237/task/4253/stat : 4253 (java) S 4235 4237 678 0 -1 4202560 6280 0 0 0 121 0 0 0 15 0 22 0 830784927 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4254] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4254/stat : 4254 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4255] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4255/stat : 4255 (java) S 4235 4237 678 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830784927 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4281] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4281/stat : 4281 (java) S 4235 4237 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830785005 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4309] ppid=4235 vsize=10556972 CPUtime=712.43 cores=1,3,5,7
/proc/4237/task/4309/stat : 4309 (java) R 4235 4237 678 0 -1 4202560 104 0 0 0 71243 0 0 0 25 0 22 0 830794348 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505944513 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4237/tid=4310] ppid=4235 vsize=10556972 CPUtime=712.44 cores=1,3,5,7
/proc/4237/task/4310/stat : 4310 (java) R 4235 4237 678 0 -1 4202560 198578 0 0 0 71221 23 0 0 25 0 22 0 830794348 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505886859 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4237/tid=4311] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4311/stat : 4311 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830794349 10810339328 902623 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1629.14
Current children cumulated vsize (KiB) 10556972
[startup+882.302 s]
/proc/loadavg: 4.02 3.94 3.38 5/516 4347
/proc/meminfo: memFree=13064092/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=10556972 CPUtime=1747.81 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 913867 0 1 0 174670 111 0 0 23 0 22 0 830784921 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 2639243 904375 2267 9 0 2629977 0
[pid=4237/tid=4238] ppid=4235 vsize=10556972 CPUtime=0.81 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) S 4235 4237 678 0 -1 4202560 50064 0 1 0 74 7 0 0 15 0 22 0 830784922 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4240] ppid=4235 vsize=10556972 CPUtime=0.43 cores=1,3,5,7
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 678 0 -1 4202560 512 0 0 0 43 0 0 0 16 0 22 0 830784923 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4241] ppid=4235 vsize=10556972 CPUtime=0.33 cores=1,3,5,7
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 678 0 -1 4202560 134 0 0 0 33 0 0 0 15 0 22 0 830784923 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4242] ppid=4235 vsize=10556972 CPUtime=0.41 cores=1,3,5,7
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 678 0 -1 4202560 237 0 0 0 41 0 0 0 16 0 22 0 830784923 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4243] ppid=4235 vsize=10556972 CPUtime=0.51 cores=1,3,5,7
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 678 0 -1 4202560 201 0 0 0 51 0 0 0 16 0 22 0 830784923 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4244] ppid=4235 vsize=10556972 CPUtime=0.46 cores=1,3,5,7
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 678 0 -1 4202560 2324 0 0 0 46 0 0 0 15 0 22 0 830784923 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4245] ppid=4235 vsize=10556972 CPUtime=0.46 cores=1,3,5,7
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 678 0 -1 4202560 2061 0 0 0 46 0 0 0 15 0 22 0 830784923 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4246] ppid=4235 vsize=10556972 CPUtime=0.42 cores=1,3,5,7
/proc/4237/task/4246/stat : 4246 (java) S 4235 4237 678 0 -1 4202560 2417 0 0 0 42 0 0 0 15 0 22 0 830784923 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4247] ppid=4235 vsize=10556972 CPUtime=0.45 cores=1,3,5,7
/proc/4237/task/4247/stat : 4247 (java) S 4235 4237 678 0 -1 4202560 1835 0 0 0 45 0 0 0 16 0 22 0 830784923 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4248] ppid=4235 vsize=10556972 CPUtime=17.48 cores=1,3,5,7
/proc/4237/task/4248/stat : 4248 (java) S 4235 4237 678 0 -1 4202560 37393 0 0 0 1745 3 0 0 15 0 22 0 830784924 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 0 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4249] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4249/stat : 4249 (java) S 4235 4237 678 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830784925 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4250] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4250/stat : 4250 (java) S 4235 4237 678 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830784925 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4251] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4251/stat : 4251 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485791153 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4252] ppid=4235 vsize=10556972 CPUtime=1.55 cores=1,3,5,7
/proc/4237/task/4252/stat : 4252 (java) S 4235 4237 678 0 -1 4202560 9437 0 0 0 154 1 0 0 16 0 22 0 830784927 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4253] ppid=4235 vsize=10556972 CPUtime=1.21 cores=1,3,5,7
/proc/4237/task/4253/stat : 4253 (java) S 4235 4237 678 0 -1 4202560 6280 0 0 0 121 0 0 0 15 0 22 0 830784927 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4254] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4254/stat : 4254 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4255] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4255/stat : 4255 (java) S 4235 4237 678 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830784927 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4281] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4281/stat : 4281 (java) S 4235 4237 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830785005 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4309] ppid=4235 vsize=10556972 CPUtime=770.91 cores=1,3,5,7
/proc/4237/task/4309/stat : 4309 (java) R 4235 4237 678 0 -1 4202560 106 0 0 0 77091 0 0 0 25 0 22 0 830794348 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505856294 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4237/tid=4310] ppid=4235 vsize=10556972 CPUtime=770.92 cores=1,3,5,7
/proc/4237/task/4310/stat : 4310 (java) R 4235 4237 678 0 -1 4202560 198578 0 0 0 77069 23 0 0 25 0 22 0 830794348 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505886688 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4237/tid=4311] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4311/stat : 4311 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830794349 10810339328 904375 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1747.81
Current children cumulated vsize (KiB) 10556972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+908.901 s]
/proc/loadavg: 3.93 3.92 3.39 4/512 4395
/proc/meminfo: memFree=16379756/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=10556972 CPUtime=1800.14 cores=1,3,5,7
/proc/4237/stat : 4237 (java) S 4235 4237 678 0 -1 4202496 914997 0 1 0 179902 112 0 0 23 0 22 0 830784921 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 2639243 905502 2267 9 0 2629977 0
[pid=4237/tid=4238] ppid=4235 vsize=10556972 CPUtime=0.81 cores=1,3,5,7
/proc/4237/task/4238/stat : 4238 (java) S 4235 4237 678 0 -1 4202560 50065 0 1 0 74 7 0 0 15 0 22 0 830784922 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4240] ppid=4235 vsize=10556972 CPUtime=0.45 cores=1,3,5,7
/proc/4237/task/4240/stat : 4240 (java) S 4235 4237 678 0 -1 4202560 512 0 0 0 45 0 0 0 15 0 22 0 830784923 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4241] ppid=4235 vsize=10556972 CPUtime=0.37 cores=1,3,5,7
/proc/4237/task/4241/stat : 4241 (java) S 4235 4237 678 0 -1 4202560 134 0 0 0 37 0 0 0 16 0 22 0 830784923 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4242] ppid=4235 vsize=10556972 CPUtime=0.41 cores=1,3,5,7
/proc/4237/task/4242/stat : 4242 (java) S 4235 4237 678 0 -1 4202560 237 0 0 0 41 0 0 0 15 0 22 0 830784923 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4243] ppid=4235 vsize=10556972 CPUtime=0.52 cores=1,3,5,7
/proc/4237/task/4243/stat : 4243 (java) S 4235 4237 678 0 -1 4202560 201 0 0 0 52 0 0 0 16 0 22 0 830784923 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4244] ppid=4235 vsize=10556972 CPUtime=0.47 cores=1,3,5,7
/proc/4237/task/4244/stat : 4244 (java) S 4235 4237 678 0 -1 4202560 2324 0 0 0 47 0 0 0 15 0 22 0 830784923 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4245] ppid=4235 vsize=10556972 CPUtime=0.49 cores=1,3,5,7
/proc/4237/task/4245/stat : 4245 (java) S 4235 4237 678 0 -1 4202560 2062 0 0 0 49 0 0 0 16 0 22 0 830784923 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4246] ppid=4235 vsize=10556972 CPUtime=0.44 cores=1,3,5,7
/proc/4237/task/4246/stat : 4246 (java) S 4235 4237 678 0 -1 4202560 2417 0 0 0 44 0 0 0 15 0 22 0 830784923 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4247] ppid=4235 vsize=10556972 CPUtime=0.48 cores=1,3,5,7
/proc/4237/task/4247/stat : 4247 (java) S 4235 4237 678 0 -1 4202560 1847 0 0 0 48 0 0 0 16 0 22 0 830784923 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 7 0 0 0
[pid=4237/tid=4248] ppid=4235 vsize=10556972 CPUtime=18.45 cores=1,3,5,7
/proc/4237/task/4248/stat : 4248 (java) S 4235 4237 678 0 -1 4202560 38507 0 0 0 1841 4 0 0 15 0 22 0 830784924 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 0 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4249] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4249/stat : 4249 (java) S 4235 4237 678 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 830784925 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4250] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4250/stat : 4250 (java) S 4235 4237 678 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 830784925 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4251] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4251/stat : 4251 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485791153 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
[pid=4237/tid=4252] ppid=4235 vsize=10556972 CPUtime=1.55 cores=1,3,5,7
/proc/4237/task/4252/stat : 4252 (java) S 4235 4237 678 0 -1 4202560 9437 0 0 0 154 1 0 0 16 0 22 0 830784927 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 3 0 0 0
[pid=4237/tid=4253] ppid=4235 vsize=10556972 CPUtime=1.21 cores=1,3,5,7
/proc/4237/task/4253/stat : 4253 (java) S 4235 4237 678 0 -1 4202560 6280 0 0 0 121 0 0 0 15 0 22 0 830784927 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4254] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4254/stat : 4254 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830784927 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485783449 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4255] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4255/stat : 4255 (java) S 4235 4237 678 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830784927 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4281] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4281/stat : 4281 (java) S 4235 4237 678 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830785005 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 1 0 0 0
[pid=4237/tid=4309] ppid=4235 vsize=10556972 CPUtime=796.52 cores=1,3,5,7
/proc/4237/task/4309/stat : 4309 (java) R 4235 4237 678 0 -1 4202560 107 0 0 0 79652 0 0 0 25 0 22 0 830794348 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505817003 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4237/tid=4310] ppid=4235 vsize=10556972 CPUtime=796.53 cores=1,3,5,7
/proc/4237/task/4310/stat : 4310 (java) R 4235 4237 678 0 -1 4202560 198579 0 0 0 79630 23 0 0 25 0 22 0 830794348 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 46912505851161 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4237/tid=4311] ppid=4235 vsize=10556972 CPUtime=0 cores=1,3,5,7
/proc/4237/task/4311/stat : 4311 (java) S 4235 4237 678 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830794349 10810339328 905502 33554432000 1073741824 1073778376 140735038621712 18446744073709551615 274485784064 0 4 0 16800975 18446604467719475520 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10556972
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+909.025 s]
/proc/loadavg: 3.93 3.92 3.39 4/512 4395
/proc/meminfo: memFree=16379756/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/4237/stat : 4237 (java) Z 4235 4237 678 0 -1 4203548 915031 0 1 0 179912 118 0 0 17 0 2 0 830784921 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 0 0 0 0 0 0 0
[pid=4237/tid=4310] ppid=4235 vsize=0 CPUtime=796.62 cores=1,3,5,7
/proc/4237/task/4310/stat : 4310 (java) R 4235 4237 678 0 -1 4203588 198579 0 0 0 79633 29 0 0 25 0 2 0 830794348 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
[startup+909.101 s]
/proc/loadavg: 3.93 3.92 3.39 4/512 4395
/proc/meminfo: memFree=16379756/32950928 swapFree=61858088/67111528
[pid=4237] ppid=4235 vsize=0 CPUtime=1800.38 cores=1,3,5,7
/proc/4237/stat : 4237 (java) Z 4235 4237 678 0 -1 4203548 915031 0 1 0 179912 126 0 0 17 0 2 0 830784921 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4237/statm: 0 0 0 0 0 0 0
[pid=4237/tid=4310] ppid=4235 vsize=0 CPUtime=796.7 cores=1,3,5,7
/proc/4237/task/4310/stat : 4310 (java) R 4235 4237 678 0 -1 4203588 198579 0 0 0 79633 37 0 0 25 0 2 0 830794348 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 909.105
CPU time (s): 1800.4
CPU user time (s): 1799.13
CPU system time (s): 1.26781
CPU usage (%): 198.04
Max. virtual memory (cumulated for all children) (KiB): 10556972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.26781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 915031
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= 23664
involuntary context switches= 30449
runsolver used 4.12137 second user time and 10.7904 second system time
The end