runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3690107-1337896008/watcher-3690107-1337896008 -o /tmp/evaluation-result-3690107-1337896008/solver-3690107-1337896008 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3690107-1337896008.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 2.00 2/194 23824
/proc/meminfo: memFree=26164884/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23824/stat : 23824 (java) D 23822 23824 21484 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 255729373 9515008 182 33554432000 1073741824 1073778376 140736363762048 140736363753080 218213727925 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/23824/statm: 2323 182 140 9 0 71 0
[startup+0.029355 s]
/proc/loadavg: 1.99 2.01 2.00 2/194 23824
/proc/meminfo: memFree=26164884/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 2425 0 1 0 0 0 0 0 20 0 10 0 255729373 9233014784 3125 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2254154 3134 1255 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100335 s]
/proc/loadavg: 1.99 2.01 2.00 2/194 23824
/proc/meminfo: memFree=26164884/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 3936 0 1 0 7 0 0 0 20 0 18 0 255729373 9787813888 5132 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2389603 5148 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300317 s]
/proc/loadavg: 1.99 2.01 2.00 2/194 23824
/proc/meminfo: memFree=26164884/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 5519 0 1 0 44 1 0 0 20 0 18 0 255729373 9787813888 12740 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2389603 12740 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412
[startup+0.700281 s]
/proc/loadavg: 1.99 2.01 2.00 2/194 23824
/proc/meminfo: memFree=26164884/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9558412 CPUtime=1.07 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 5820 0 1 0 100 7 0 0 20 0 18 0 255729373 9787813888 46698 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2389603 46698 2236 9 0 2380296 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9558412
[startup+1.50087 s]
/proc/loadavg: 1.99 2.01 2.00 3/212 23842
/proc/meminfo: memFree=25944752/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9558412 CPUtime=2.61 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 12832 0 1 0 238 23 0 0 20 0 18 0 255729373 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2389603 96645 2254 9 0 2380296 0
[pid=23824/tid=23826] ppid=23822 vsize=9558412 CPUtime=1.29 cores=1,3,5,7
/proc/23824/task/23826/stat : 23826 (java) R 23822 23824 21484 0 -1 4202560 2567 0 1 0 124 5 0 0 20 0 18 0 255729374 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953884593368 218217112845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23827] ppid=23822 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/23824/task/23827/stat : 23827 (java) S 23822 23824 21484 0 -1 4202560 50 0 0 0 4 2 0 0 20 0 18 0 255729375 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953862695976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23828] ppid=23822 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/23824/task/23828/stat : 23828 (java) S 23822 23824 21484 0 -1 4202560 34 0 0 0 2 2 0 0 20 0 18 0 255729375 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953861643176 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23829] ppid=23822 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/23824/task/23829/stat : 23829 (java) S 23822 23824 21484 0 -1 4202560 99 0 0 0 2 2 0 0 20 0 18 0 255729375 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953860590376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23830] ppid=23822 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/23824/task/23830/stat : 23830 (java) S 23822 23824 21484 0 -1 4202560 159 0 0 0 9 4 0 0 20 0 18 0 255729375 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953859537576 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23831] ppid=23822 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/23824/task/23831/stat : 23831 (java) S 23822 23824 21484 0 -1 4202560 26 0 0 0 3 2 0 0 20 0 18 0 255729375 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953522600488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23832] ppid=23822 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/23824/task/23832/stat : 23832 (java) S 23822 23824 21484 0 -1 4202560 109 0 0 0 4 2 0 0 20 0 18 0 255729375 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953521547688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23833] ppid=23822 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/23824/task/23833/stat : 23833 (java) S 23822 23824 21484 0 -1 4202560 51 0 0 0 8 2 0 0 20 0 18 0 255729375 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953520494888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23834] ppid=23822 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/23824/task/23834/stat : 23834 (java) S 23822 23824 21484 0 -1 4202560 104 0 0 0 2 2 0 0 20 0 18 0 255729375 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953519442088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23835] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23835/stat : 23835 (java) S 23822 23824 21484 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 255729376 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953507245032 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23836] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23836/stat : 23836 (java) S 23822 23824 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255729377 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953506191096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23837] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23837/stat : 23837 (java) S 23822 23824 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255729377 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953505138184 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23838] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23838/stat : 23838 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255729380 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953504086672 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23839] ppid=23822 vsize=9558412 CPUtime=0.32 cores=1,3,5,7
/proc/23824/task/23839/stat : 23839 (java) S 23822 23824 21484 0 -1 4202560 5313 0 0 0 32 0 0 0 20 0 18 0 255729380 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953503033784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23840] ppid=23822 vsize=9558412 CPUtime=0.3 cores=1,3,5,7
/proc/23824/task/23840/stat : 23840 (java) S 23822 23824 21484 0 -1 4202560 2949 0 0 0 30 0 0 0 20 0 18 0 255729380 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953501980984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23841] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23841/stat : 23841 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255729380 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953500928376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23842] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23842/stat : 23842 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255729380 9787813888 96645 33554432000 1073741824 1073778376 140734950785680 139953499875784 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 9558412
[startup+3.1008 s]
/proc/loadavg: 1.99 2.01 2.00 3/212 23842
/proc/meminfo: memFree=25754972/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9558412 CPUtime=4.45 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 13284 0 1 0 415 30 0 0 20 0 18 0 255729373 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2389603 146120 2255 9 0 2380296 0
[pid=23824/tid=23826] ppid=23822 vsize=9558412 CPUtime=2.84 cores=1,3,5,7
/proc/23824/task/23826/stat : 23826 (java) R 23822 23824 21484 0 -1 4202560 2829 0 1 0 275 9 0 0 20 0 18 0 255729374 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953884592680 218217112845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23827] ppid=23822 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23824/task/23827/stat : 23827 (java) S 23822 23824 21484 0 -1 4202560 79 0 0 0 8 3 0 0 20 0 18 0 255729375 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953862695976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23828] ppid=23822 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/23824/task/23828/stat : 23828 (java) S 23822 23824 21484 0 -1 4202560 49 0 0 0 3 2 0 0 20 0 18 0 255729375 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953861643176 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23829] ppid=23822 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/23824/task/23829/stat : 23829 (java) S 23822 23824 21484 0 -1 4202560 105 0 0 0 4 2 0 0 20 0 18 0 255729375 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953860590376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23830] ppid=23822 vsize=9558412 CPUtime=0.14 cores=1,3,5,7
/proc/23824/task/23830/stat : 23830 (java) S 23822 23824 21484 0 -1 4202560 161 0 0 0 10 4 0 0 20 0 18 0 255729375 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953859537576 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23831] ppid=23822 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/23824/task/23831/stat : 23831 (java) S 23822 23824 21484 0 -1 4202560 29 0 0 0 4 2 0 0 20 0 18 0 255729375 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953522600488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23832] ppid=23822 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23824/task/23832/stat : 23832 (java) S 23822 23824 21484 0 -1 4202560 132 0 0 0 8 3 0 0 20 0 18 0 255729375 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953521547688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23833] ppid=23822 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/23824/task/23833/stat : 23833 (java) S 23822 23824 21484 0 -1 4202560 65 0 0 0 10 3 0 0 20 0 18 0 255729375 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953520494888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23834] ppid=23822 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/23824/task/23834/stat : 23834 (java) S 23822 23824 21484 0 -1 4202560 116 0 0 0 3 2 0 0 20 0 18 0 255729375 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953519442088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23835] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23835/stat : 23835 (java) S 23822 23824 21484 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 255729376 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953507245032 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23836] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23836/stat : 23836 (java) S 23822 23824 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 255729377 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953506191096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23837] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23837/stat : 23837 (java) S 23822 23824 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 255729377 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953505138184 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23838] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23838/stat : 23838 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255729380 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953504086672 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23839] ppid=23822 vsize=9558412 CPUtime=0.37 cores=1,3,5,7
/proc/23824/task/23839/stat : 23839 (java) S 23822 23824 21484 0 -1 4202560 5379 0 0 0 37 0 0 0 20 0 18 0 255729380 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953503033784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23840] ppid=23822 vsize=9558412 CPUtime=0.36 cores=1,3,5,7
/proc/23824/task/23840/stat : 23840 (java) S 23822 23824 21484 0 -1 4202560 2969 0 0 0 36 0 0 0 20 0 18 0 255729380 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953501980984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23841] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23841/stat : 23841 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255729380 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953500928376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23842] ppid=23822 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23842/stat : 23842 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 255729380 9787813888 146120 33554432000 1073741824 1073778376 140734950785680 139953499875784 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 9558412
[startup+6.30088 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 23843
/proc/meminfo: memFree=25497360/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9624976 CPUtime=8.3 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 13722 0 1 0 793 37 0 0 20 0 19 0 255729373 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2406244 168477 2265 9 0 2396937 0
[pid=23824/tid=23826] ppid=23822 vsize=9624976 CPUtime=5.95 cores=1,3,5,7
/proc/23824/task/23826/stat : 23826 (java) R 23822 23824 21484 0 -1 4202560 2861 0 1 0 585 10 0 0 20 0 19 0 255729374 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953884592592 139953741680039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23827] ppid=23822 vsize=9624976 CPUtime=0.13 cores=1,3,5,7
/proc/23824/task/23827/stat : 23827 (java) S 23822 23824 21484 0 -1 4202560 87 0 0 0 10 3 0 0 20 0 19 0 255729375 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953862695976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23828] ppid=23822 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/23824/task/23828/stat : 23828 (java) S 23822 23824 21484 0 -1 4202560 53 0 0 0 4 2 0 0 20 0 19 0 255729375 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953861643176 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23829] ppid=23822 vsize=9624976 CPUtime=0.12 cores=1,3,5,7
/proc/23824/task/23829/stat : 23829 (java) S 23822 23824 21484 0 -1 4202560 121 0 0 0 9 3 0 0 20 0 19 0 255729375 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953860590376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23830] ppid=23822 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/23824/task/23830/stat : 23830 (java) S 23822 23824 21484 0 -1 4202560 175 0 0 0 13 5 0 0 20 0 19 0 255729375 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953859537576 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23831] ppid=23822 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/23824/task/23831/stat : 23831 (java) S 23822 23824 21484 0 -1 4202560 41 0 0 0 7 2 0 0 20 0 19 0 255729375 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953522600488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23832] ppid=23822 vsize=9624976 CPUtime=0.14 cores=1,3,5,7
/proc/23824/task/23832/stat : 23832 (java) S 23822 23824 21484 0 -1 4202560 144 0 0 0 10 4 0 0 20 0 19 0 255729375 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953521547688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23833] ppid=23822 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/23824/task/23833/stat : 23833 (java) S 23822 23824 21484 0 -1 4202560 84 0 0 0 16 5 0 0 20 0 19 0 255729375 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953520494888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23834] ppid=23822 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/23824/task/23834/stat : 23834 (java) S 23822 23824 21484 0 -1 4202560 123 0 0 0 5 2 0 0 20 0 19 0 255729375 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953519442088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23835] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23835/stat : 23835 (java) S 23822 23824 21484 0 -1 4202560 484 0 0 0 0 0 0 0 20 0 19 0 255729376 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953507245032 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23836] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23836/stat : 23836 (java) S 23822 23824 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255729377 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953506191096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23837] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23837/stat : 23837 (java) S 23822 23824 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255729377 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953505138184 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23838] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23838/stat : 23838 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953504086672 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23839] ppid=23822 vsize=9624976 CPUtime=0.54 cores=1,3,5,7
/proc/23824/task/23839/stat : 23839 (java) S 23822 23824 21484 0 -1 4202560 5384 0 0 0 54 0 0 0 20 0 19 0 255729380 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953503033784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23840] ppid=23822 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/23824/task/23840/stat : 23840 (java) S 23822 23824 21484 0 -1 4202560 2984 0 0 0 63 0 0 0 20 0 19 0 255729380 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953501980984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23841] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23841/stat : 23841 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953500928376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23842] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23842/stat : 23842 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953499875784 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23843] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23843/stat : 23843 (java) S 23822 23824 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255729779 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 139953498822312 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (KiB) 9624976
[startup+12.7009 s]
/proc/loadavg: 1.99 2.01 2.00 3/213 23843
/proc/meminfo: memFree=25497236/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9624976 CPUtime=14.72 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 13722 0 1 0 1434 38 0 0 20 0 19 0 255729373 9855975424 168477 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
################
# More data... #
################
[pid=23824/tid=23839] ppid=23822 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/23824/task/23839/stat : 23839 (java) S 23822 23824 21484 0 -1 4202560 5414 0 0 0 69 0 0 0 20 0 19 0 255729380 9855975424 269297 33554432000 1073741824 1073778376 140734950785680 139953503033784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23840] ppid=23822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/23824/task/23840/stat : 23840 (java) S 23822 23824 21484 0 -1 4202560 2993 0 0 0 72 0 0 0 20 0 19 0 255729380 9855975424 269297 33554432000 1073741824 1073778376 140734950785680 139953501980984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23841] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23841/stat : 23841 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 269297 33554432000 1073741824 1073778376 140734950785680 139953500928376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23842] ppid=23822 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/23824/task/23842/stat : 23842 (java) S 23822 23824 21484 0 -1 4202560 95 0 0 0 44 41 0 0 20 0 19 0 255729380 9855975424 269297 33554432000 1073741824 1073778376 140734950785680 139953499875784 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23843] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23843/stat : 23843 (java) S 23822 23824 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255729779 9855975424 269297 33554432000 1073741824 1073778376 140734950785680 139953498822312 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1666.79
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/213 23949
/proc/meminfo: memFree=27760252/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9624976 CPUtime=1726.88 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 15358 0 1 0 172555 133 0 0 20 0 19 0 255729373 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2406244 269293 2281 9 0 2396937 0
[pid=23824/tid=23826] ppid=23822 vsize=9624976 CPUtime=1707.11 cores=1,3,5,7
/proc/23824/task/23826/stat : 23826 (java) R 23822 23824 21484 0 -1 4202560 2884 0 1 0 170674 37 0 0 20 0 19 0 255729374 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953884594448 139953741605446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23827] ppid=23822 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/23824/task/23827/stat : 23827 (java) S 23822 23824 21484 0 -1 4202560 246 0 0 0 42 11 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953862695976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23828] ppid=23822 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/23824/task/23828/stat : 23828 (java) S 23822 23824 21484 0 -1 4202560 148 0 0 0 39 8 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953861643176 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23829] ppid=23822 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23824/task/23829/stat : 23829 (java) S 23822 23824 21484 0 -1 4202560 256 0 0 0 38 7 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953860590376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23830] ppid=23822 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23824/task/23830/stat : 23830 (java) S 23822 23824 21484 0 -1 4202560 307 0 0 0 43 12 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953859537576 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23831] ppid=23822 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/23824/task/23831/stat : 23831 (java) S 23822 23824 21484 0 -1 4202560 201 0 0 0 39 8 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953522600488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23832] ppid=23822 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23824/task/23832/stat : 23832 (java) S 23822 23824 21484 0 -1 4202560 329 0 0 0 44 11 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953521547688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23833] ppid=23822 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23824/task/23833/stat : 23833 (java) S 23822 23824 21484 0 -1 4202560 210 0 0 0 51 9 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953520494888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23834] ppid=23822 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23824/task/23834/stat : 23834 (java) S 23822 23824 21484 0 -1 4202560 363 0 0 0 36 9 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953519442088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23835] ppid=23822 vsize=9624976 CPUtime=9.3 cores=1,3,5,7
/proc/23824/task/23835/stat : 23835 (java) S 23822 23824 21484 0 -1 4202560 728 0 0 0 925 5 0 0 20 0 19 0 255729376 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953507245032 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23836] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23836/stat : 23836 (java) S 23822 23824 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255729377 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953506191096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23837] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23837/stat : 23837 (java) S 23822 23824 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255729377 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953505138184 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23838] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23838/stat : 23838 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953504086672 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23839] ppid=23822 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/23824/task/23839/stat : 23839 (java) S 23822 23824 21484 0 -1 4202560 5414 0 0 0 69 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953503033784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23840] ppid=23822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/23824/task/23840/stat : 23840 (java) S 23822 23824 21484 0 -1 4202560 2993 0 0 0 72 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953501980984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23841] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23841/stat : 23841 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953500928376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23842] ppid=23822 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/23824/task/23842/stat : 23842 (java) S 23822 23824 21484 0 -1 4202560 99 0 0 0 45 43 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953499875784 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23843] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23843/stat : 23843 (java) S 23822 23824 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255729779 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953498822312 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1726.88
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.00 3/213 23949
/proc/meminfo: memFree=27759756/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9624976 CPUtime=1786.89 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 15362 0 1 0 178555 134 0 0 20 0 19 0 255729373 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2406244 269293 2281 9 0 2396937 0
[pid=23824/tid=23826] ppid=23822 vsize=9624976 CPUtime=1766.96 cores=1,3,5,7
/proc/23824/task/23826/stat : 23826 (java) R 23822 23824 21484 0 -1 4202560 2884 0 1 0 176658 38 0 0 20 0 19 0 255729374 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953884594448 139953741605232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23827] ppid=23822 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/23824/task/23827/stat : 23827 (java) S 23822 23824 21484 0 -1 4202560 246 0 0 0 42 11 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953862695976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23828] ppid=23822 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/23824/task/23828/stat : 23828 (java) S 23822 23824 21484 0 -1 4202560 148 0 0 0 39 8 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953861643176 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23829] ppid=23822 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23824/task/23829/stat : 23829 (java) S 23822 23824 21484 0 -1 4202560 256 0 0 0 38 7 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953860590376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23830] ppid=23822 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23824/task/23830/stat : 23830 (java) S 23822 23824 21484 0 -1 4202560 307 0 0 0 43 12 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953859537576 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23831] ppid=23822 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/23824/task/23831/stat : 23831 (java) S 23822 23824 21484 0 -1 4202560 201 0 0 0 39 8 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953522600488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23832] ppid=23822 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23824/task/23832/stat : 23832 (java) S 23822 23824 21484 0 -1 4202560 329 0 0 0 44 11 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953521547688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23833] ppid=23822 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23824/task/23833/stat : 23833 (java) S 23822 23824 21484 0 -1 4202560 210 0 0 0 51 9 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953520494888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23834] ppid=23822 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23824/task/23834/stat : 23834 (java) S 23822 23824 21484 0 -1 4202560 363 0 0 0 36 9 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953519442088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23835] ppid=23822 vsize=9624976 CPUtime=9.3 cores=1,3,5,7
/proc/23824/task/23835/stat : 23835 (java) S 23822 23824 21484 0 -1 4202560 728 0 0 0 925 5 0 0 20 0 19 0 255729376 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953507245032 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23836] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23836/stat : 23836 (java) S 23822 23824 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255729377 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953506191096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23837] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23837/stat : 23837 (java) S 23822 23824 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255729377 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953505138184 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23838] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23838/stat : 23838 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953504086672 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23839] ppid=23822 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/23824/task/23839/stat : 23839 (java) S 23822 23824 21484 0 -1 4202560 5414 0 0 0 69 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953503033784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23840] ppid=23822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/23824/task/23840/stat : 23840 (java) S 23822 23824 21484 0 -1 4202560 2993 0 0 0 72 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953501980984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23841] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23841/stat : 23841 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953500928376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23842] ppid=23822 vsize=9624976 CPUtime=0.92 cores=1,3,5,7
/proc/23824/task/23842/stat : 23842 (java) S 23822 23824 21484 0 -1 4202560 103 0 0 0 48 44 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953499875784 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23843] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23843/stat : 23843 (java) S 23822 23824 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255729779 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953498822312 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1786.89
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.5 s]
/proc/loadavg: 2.07 2.04 2.00 3/213 23950
/proc/meminfo: memFree=27760004/32873844 swapFree=7620/7620
[pid=23824] ppid=23822 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/23824/stat : 23824 (java) S 23822 23824 21484 0 -1 4202496 15362 0 1 0 179876 134 0 0 20 0 19 0 255729373 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 140734950776816 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23824/statm: 2406244 269293 2281 9 0 2396937 0
[pid=23824/tid=23826] ppid=23822 vsize=9624976 CPUtime=1780.13 cores=1,3,5,7
/proc/23824/task/23826/stat : 23826 (java) R 23822 23824 21484 0 -1 4202560 2884 0 1 0 177974 39 0 0 20 0 19 0 255729374 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953884594448 139953741548078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23827] ppid=23822 vsize=9624976 CPUtime=0.53 cores=1,3,5,7
/proc/23824/task/23827/stat : 23827 (java) S 23822 23824 21484 0 -1 4202560 246 0 0 0 42 11 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953862695976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23828] ppid=23822 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/23824/task/23828/stat : 23828 (java) S 23822 23824 21484 0 -1 4202560 148 0 0 0 39 8 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953861643176 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23829] ppid=23822 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23824/task/23829/stat : 23829 (java) S 23822 23824 21484 0 -1 4202560 256 0 0 0 38 7 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953860590376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23830] ppid=23822 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23824/task/23830/stat : 23830 (java) S 23822 23824 21484 0 -1 4202560 307 0 0 0 43 12 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953859537576 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23824/tid=23831] ppid=23822 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/23824/task/23831/stat : 23831 (java) S 23822 23824 21484 0 -1 4202560 201 0 0 0 39 8 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953522600488 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23832] ppid=23822 vsize=9624976 CPUtime=0.55 cores=1,3,5,7
/proc/23824/task/23832/stat : 23832 (java) S 23822 23824 21484 0 -1 4202560 329 0 0 0 44 11 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953521547688 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23833] ppid=23822 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/23824/task/23833/stat : 23833 (java) S 23822 23824 21484 0 -1 4202560 210 0 0 0 51 9 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953520494888 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23834] ppid=23822 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/23824/task/23834/stat : 23834 (java) S 23822 23824 21484 0 -1 4202560 363 0 0 0 36 9 0 0 20 0 19 0 255729375 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953519442088 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23824/tid=23835] ppid=23822 vsize=9624976 CPUtime=9.3 cores=1,3,5,7
/proc/23824/task/23835/stat : 23835 (java) S 23822 23824 21484 0 -1 4202560 728 0 0 0 925 5 0 0 20 0 19 0 255729376 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953507245032 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23836] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23836/stat : 23836 (java) S 23822 23824 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255729377 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953506191096 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23837] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23837/stat : 23837 (java) S 23822 23824 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255729377 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953505138184 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23838] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23838/stat : 23838 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953504086672 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23839] ppid=23822 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/23824/task/23839/stat : 23839 (java) S 23822 23824 21484 0 -1 4202560 5414 0 0 0 69 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953503033784 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23840] ppid=23822 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/23824/task/23840/stat : 23840 (java) S 23822 23824 21484 0 -1 4202560 2993 0 0 0 72 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953501980984 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23841] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23841/stat : 23841 (java) S 23822 23824 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953500928376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23824/tid=23842] ppid=23822 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/23824/task/23842/stat : 23842 (java) S 23822 23824 21484 0 -1 4202560 103 0 0 0 48 45 0 0 20 0 19 0 255729380 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953499875784 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23824/tid=23843] ppid=23822 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23824/task/23843/stat : 23843 (java) S 23822 23824 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255729779 9855975424 269293 33554432000 1073741824 1073778376 140734950785680 139953498822312 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23824 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=389211
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=781729
# CPU time returned by wait4() is 1796.17
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.55
CPU time (s): 1800.1
CPU user time (s): 1798.76
CPU system time (s): 1.34
CPU usage (%): 100.253
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.39
system time used= 1.78173
maximum resident set size= 1077288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15395
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38779
involuntary context switches= 21962
runsolver used 6.39103 second user time and 16.2015 second system time
The end