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-3454281-1307192807/watcher-3454281-1307192807 -o /tmp/evaluation-result-3454281-1307192807/solver-3454281-1307192807 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454281-1307192807.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.87 3.70 3.70 4/532 8924
/proc/meminfo: memFree=16371244/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 3179 0 1 0 0 0 0 0 25 0 2 0 811696890 10694979584 2880 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2611079 2892 917 9 0 2602235 0
[pid=8924/tid=8925] ppid=8922 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5093 0 -1 4202560 6588 0 1 0 0 0 0 0 25 0 2 0 811696891 10694979584 7403 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0840331 s]
/proc/loadavg: 3.87 3.70 3.70 4/532 8924
/proc/meminfo: memFree=16371244/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10670460 CPUtime=0.07 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 12508 0 1 0 6 1 0 0 25 0 18 0 811696890 10926551040 12204 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2651305 12555 2081 9 0 2642039 0
[pid=8924/tid=8925] ppid=8922 vsize=10605220 CPUtime=0.07 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5093 0 -1 4202560 10962 0 1 0 6 1 0 0 18 0 18 0 811696891 10859745280 12556 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 47592988977171 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10670460
[startup+0.105361 s]
/proc/loadavg: 3.87 3.70 3.70 4/532 8924
/proc/meminfo: memFree=16371244/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10605220 CPUtime=0.1 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 13132 0 1 0 9 1 0 0 25 0 18 0 811696890 10859745280 12828 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2651305 12828 2092 9 0 2642039 0
[pid=8924/tid=8925] ppid=8922 vsize=10605220 CPUtime=0.09 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5093 0 -1 4202560 11220 0 1 0 8 1 0 0 18 0 18 0 811696891 10859745280 12828 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 47592986595137 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) 10605220
[startup+0.304368 s]
/proc/loadavg: 3.87 3.70 3.70 4/532 8924
/proc/meminfo: memFree=16371244/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10607096 CPUtime=0.5 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 16829 0 1 0 48 2 0 0 25 0 18 0 811696890 10861666304 15963 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2651774 15964 2202 9 0 2642508 0
[pid=8924/tid=8925] ppid=8922 vsize=10607096 CPUtime=0.28 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5093 0 -1 4202560 13507 0 1 0 27 1 0 0 18 0 18 0 811696891 10861666304 15964 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912505575981 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10607096
[startup+0.700258 s]
/proc/loadavg: 3.87 3.70 3.70 4/532 8924
/proc/meminfo: memFree=16371244/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10610008 CPUtime=1.19 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 57784 0 1 0 112 7 0 0 25 0 18 0 811696890 10864648192 55143 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2652502 55149 2214 9 0 2643236 0
[pid=8924/tid=8925] ppid=8922 vsize=10610008 CPUtime=0.68 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) R 8922 8924 5093 0 -1 4202560 50971 0 1 0 62 6 0 0 18 0 18 0 811696891 10864648192 55151 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912505606322 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10610008
[startup+1.50108 s]
/proc/loadavg: 3.87 3.70 3.70 4/550 8942
/proc/meminfo: memFree=16057196/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10614120 CPUtime=2.55 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 95215 0 1 0 244 11 0 0 25 0 22 0 811696890 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2653530 92387 2229 9 0 2644264 0
[pid=8924/tid=8925] ppid=8922 vsize=10614120 CPUtime=1.26 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) S 8922 8924 5093 0 -1 4202560 85647 0 1 0 116 10 0 0 20 0 22 0 811696891 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811696893 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811696893 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5093 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 811696894 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811696894 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5093 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811696894 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811696896 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=10614120 CPUtime=0.45 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) R 8922 8924 5093 0 -1 4202560 2826 0 0 0 45 0 0 0 15 0 22 0 811696896 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 47592987159038 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=10614120 CPUtime=0.38 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) R 8922 8924 5093 0 -1 4202560 3125 0 0 0 38 0 0 0 15 0 22 0 811696896 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 47592989268195 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811696896 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=10614120 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5093 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811696896 10868858880 92387 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 10614120
[startup+3.1008 s]
/proc/loadavg: 3.80 3.68 3.70 5/554 8946
/proc/meminfo: memFree=15991072/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10614292 CPUtime=6.07 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 104679 0 1 0 594 13 0 0 25 0 22 0 811696890 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2653573 101759 2238 9 0 2644307 0
[pid=8924/tid=8925] ppid=8922 vsize=10614292 CPUtime=1.26 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) S 8922 8924 5093 0 -1 4202560 85647 0 1 0 116 10 0 0 15 0 22 0 811696891 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5093 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 811696894 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811696894 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5093 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811696894 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811696896 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=10614292 CPUtime=0.64 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5093 0 -1 4202560 2949 0 0 0 64 0 0 0 15 0 22 0 811696896 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=10614292 CPUtime=0.52 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5093 0 -1 4202560 3166 0 0 0 52 0 0 0 15 0 22 0 811696896 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811696896 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5093 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 811696896 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=10614292 CPUtime=1.81 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5093 0 -1 4202560 1565 0 0 0 181 0 0 0 25 0 22 0 811697018 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912505772789 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=10614292 CPUtime=1.8 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5093 0 -1 4202560 10181 0 0 0 179 1 0 0 20 0 22 0 811697018 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912505914316 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5093 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811697022 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5093 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 811697022 10869035008 101759 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 10614292
[startup+6.30127 s]
/proc/loadavg: 3.80 3.68 3.70 5/554 8946
/proc/meminfo: memFree=15964020/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10614292 CPUtime=12.6 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 106833 0 1 0 1246 14 0 0 25 0 22 0 811696890 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2653573 103713 2239 9 0 2644307 0
[pid=8924/tid=8925] ppid=8922 vsize=10614292 CPUtime=1.26 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) S 8922 8924 5093 0 -1 4202560 85648 0 1 0 116 10 0 0 15 0 22 0 811696891 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811696893 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5093 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 811696894 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811696894 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5093 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811696894 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811696896 10869035008 103713 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=9443224/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10614292 CPUtime=1645.99 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 928800 0 1 0 164495 104 0 0 25 0 22 0 811696890 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2653573 923630 2255 9 0 2644307 0
[pid=8924/tid=8925] ppid=8922 vsize=10614292 CPUtime=1.26 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) S 8922 8924 5093 0 -1 4202560 85648 0 1 0 116 10 0 0 15 0 22 0 811696891 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=10614292 CPUtime=0.32 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5093 0 -1 4202560 15468 0 0 0 30 2 0 0 16 0 22 0 811696893 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=10614292 CPUtime=0.31 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5093 0 -1 4202560 10510 0 0 0 30 1 0 0 16 0 22 0 811696893 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=10614292 CPUtime=0.25 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5093 0 -1 4202560 11190 0 0 0 24 1 0 0 15 0 22 0 811696893 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=10614292 CPUtime=0.3 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5093 0 -1 4202560 12683 0 0 0 29 1 0 0 15 0 22 0 811696893 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=10614292 CPUtime=0.32 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5093 0 -1 4202560 7604 0 0 0 31 1 0 0 15 0 22 0 811696893 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=10614292 CPUtime=0.32 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5093 0 -1 4202560 12833 0 0 0 31 1 0 0 15 0 22 0 811696893 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=10614292 CPUtime=0.23 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5093 0 -1 4202560 7057 0 0 0 23 0 0 0 16 0 22 0 811696893 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=10614292 CPUtime=0.32 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5093 0 -1 4202560 12268 0 0 0 30 2 0 0 16 0 22 0 811696893 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=10614292 CPUtime=0.04 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5093 0 -1 4202560 56 0 0 0 3 1 0 0 15 0 22 0 811696894 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811696894 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5093 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811696894 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811696896 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=10614292 CPUtime=1.05 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5093 0 -1 4202560 4545 0 0 0 105 0 0 0 15 0 22 0 811696896 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=10614292 CPUtime=0.81 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5093 0 -1 4202560 3186 0 0 0 81 0 0 0 15 0 22 0 811696896 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811696896 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5093 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 811696896 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=10614292 CPUtime=820.2 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5093 0 -1 4202560 5408 0 0 0 82019 1 0 0 25 0 22 0 811697018 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912506187922 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=10614292 CPUtime=820.12 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5093 0 -1 4202560 739139 0 0 0 81936 76 0 0 25 0 22 0 811697018 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912505720889 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5093 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811697022 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5093 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 811697022 10869035008 923630 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1645.99
Current children cumulated vsize (KiB) 10614292
[startup+882.301 s]
/proc/loadavg: 4.03 4.02 3.89 5/554 9073
/proc/meminfo: memFree=9418376/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10614292 CPUtime=1766.04 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 933300 0 1 0 176499 105 0 0 25 0 22 0 811696890 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2653573 928030 2255 9 0 2644307 0
[pid=8924/tid=8925] ppid=8922 vsize=10614292 CPUtime=1.26 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) S 8922 8924 5093 0 -1 4202560 85648 0 1 0 116 10 0 0 15 0 22 0 811696891 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=10614292 CPUtime=0.33 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5093 0 -1 4202560 15578 0 0 0 31 2 0 0 15 0 22 0 811696893 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=10614292 CPUtime=0.34 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5093 0 -1 4202560 11363 0 0 0 33 1 0 0 15 0 22 0 811696893 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=10614292 CPUtime=0.28 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5093 0 -1 4202560 12489 0 0 0 27 1 0 0 16 0 22 0 811696893 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=10614292 CPUtime=0.31 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5093 0 -1 4202560 12820 0 0 0 30 1 0 0 16 0 22 0 811696893 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=10614292 CPUtime=0.34 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5093 0 -1 4202560 8294 0 0 0 33 1 0 0 15 0 22 0 811696893 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=10614292 CPUtime=0.33 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5093 0 -1 4202560 13684 0 0 0 32 1 0 0 15 0 22 0 811696893 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=10614292 CPUtime=0.25 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5093 0 -1 4202560 7279 0 0 0 24 1 0 0 16 0 22 0 811696893 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=10614292 CPUtime=0.33 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5093 0 -1 4202560 12583 0 0 0 31 2 0 0 15 0 22 0 811696893 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=10614292 CPUtime=0.04 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5093 0 -1 4202560 60 0 0 0 3 1 0 0 15 0 22 0 811696894 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811696894 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5093 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811696894 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811696896 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=10614292 CPUtime=1.05 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5093 0 -1 4202560 4545 0 0 0 105 0 0 0 15 0 22 0 811696896 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=10614292 CPUtime=0.81 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5093 0 -1 4202560 3186 0 0 0 81 0 0 0 15 0 22 0 811696896 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811696896 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5093 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 811696896 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=10614292 CPUtime=880.15 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5093 0 -1 4202560 5413 0 0 0 88014 1 0 0 25 0 22 0 811697018 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912505908204 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=10614292 CPUtime=880.08 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5093 0 -1 4202560 739149 0 0 0 87932 76 0 0 25 0 22 0 811697018 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912506231891 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5093 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811697022 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5093 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 811697022 10869035008 928030 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1766.04
Current children cumulated vsize (KiB) 10614292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.301 s]
/proc/loadavg: 4.02 4.02 3.89 5/554 9074
/proc/meminfo: memFree=9412540/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=10614292 CPUtime=1800.07 cores=1,3,5,7
/proc/8924/stat : 8924 (java) S 8922 8924 5093 0 -1 4202496 934659 0 1 0 179902 105 0 0 25 0 22 0 811696890 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 2653573 929381 2255 9 0 2644307 0
[pid=8924/tid=8925] ppid=8922 vsize=10614292 CPUtime=1.26 cores=1,3,5,7
/proc/8924/task/8925/stat : 8925 (java) S 8922 8924 5093 0 -1 4202560 85648 0 1 0 116 10 0 0 15 0 22 0 811696891 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8927] ppid=8922 vsize=10614292 CPUtime=0.33 cores=1,3,5,7
/proc/8924/task/8927/stat : 8927 (java) S 8922 8924 5093 0 -1 4202560 15580 0 0 0 31 2 0 0 16 0 22 0 811696893 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8928] ppid=8922 vsize=10614292 CPUtime=0.35 cores=1,3,5,7
/proc/8924/task/8928/stat : 8928 (java) S 8922 8924 5093 0 -1 4202560 11549 0 0 0 34 1 0 0 16 0 22 0 811696893 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8929] ppid=8922 vsize=10614292 CPUtime=0.28 cores=1,3,5,7
/proc/8924/task/8929/stat : 8929 (java) S 8922 8924 5093 0 -1 4202560 12505 0 0 0 27 1 0 0 15 0 22 0 811696893 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8930] ppid=8922 vsize=10614292 CPUtime=0.31 cores=1,3,5,7
/proc/8924/task/8930/stat : 8930 (java) S 8922 8924 5093 0 -1 4202560 12820 0 0 0 30 1 0 0 15 0 22 0 811696893 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8931] ppid=8922 vsize=10614292 CPUtime=0.35 cores=1,3,5,7
/proc/8924/task/8931/stat : 8931 (java) S 8922 8924 5093 0 -1 4202560 8439 0 0 0 34 1 0 0 16 0 22 0 811696893 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8932] ppid=8922 vsize=10614292 CPUtime=0.34 cores=1,3,5,7
/proc/8924/task/8932/stat : 8932 (java) S 8922 8924 5093 0 -1 4202560 13776 0 0 0 33 1 0 0 15 0 22 0 811696893 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8933] ppid=8922 vsize=10614292 CPUtime=0.26 cores=1,3,5,7
/proc/8924/task/8933/stat : 8933 (java) S 8922 8924 5093 0 -1 4202560 8189 0 0 0 25 1 0 0 16 0 22 0 811696893 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8934] ppid=8922 vsize=10614292 CPUtime=0.34 cores=1,3,5,7
/proc/8924/task/8934/stat : 8934 (java) S 8922 8924 5093 0 -1 4202560 12583 0 0 0 32 2 0 0 15 0 22 0 811696893 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8935] ppid=8922 vsize=10614292 CPUtime=0.04 cores=1,3,5,7
/proc/8924/task/8935/stat : 8935 (java) S 8922 8924 5093 0 -1 4202560 62 0 0 0 3 1 0 0 15 0 22 0 811696894 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8936] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8936/stat : 8936 (java) S 8922 8924 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811696894 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8937] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8937/stat : 8937 (java) S 8922 8924 5093 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811696894 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8938] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8938/stat : 8938 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811696896 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8939] ppid=8922 vsize=10614292 CPUtime=1.05 cores=1,3,5,7
/proc/8924/task/8939/stat : 8939 (java) S 8922 8924 5093 0 -1 4202560 4545 0 0 0 105 0 0 0 15 0 22 0 811696896 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8924/tid=8940] ppid=8922 vsize=10614292 CPUtime=0.81 cores=1,3,5,7
/proc/8924/task/8940/stat : 8940 (java) S 8922 8924 5093 0 -1 4202560 3186 0 0 0 81 0 0 0 15 0 22 0 811696896 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8924/tid=8941] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8941/stat : 8941 (java) S 8922 8924 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811696896 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8924/tid=8942] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8942/stat : 8942 (java) S 8922 8924 5093 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 811696896 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8943] ppid=8922 vsize=10614292 CPUtime=897.16 cores=1,3,5,7
/proc/8924/task/8943/stat : 8943 (java) R 8922 8924 5093 0 -1 4202560 5417 0 0 0 89715 1 0 0 25 0 22 0 811697018 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912505914302 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8924/tid=8944] ppid=8922 vsize=10614292 CPUtime=897.08 cores=1,3,5,7
/proc/8924/task/8944/stat : 8944 (java) R 8922 8924 5093 0 -1 4202560 739149 0 0 0 89632 76 0 0 25 0 22 0 811697018 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 46912506228521 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=8924/tid=8945] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8945/stat : 8945 (java) S 8922 8924 5093 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 811697022 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=10614292 CPUtime=0 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) S 8922 8924 5093 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 22 0 811697022 10869035008 929381 33554432000 1073741824 1073778376 140735170400608 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 10614292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+899.425 s]
/proc/loadavg: 4.02 4.02 3.89 5/554 9074
/proc/meminfo: memFree=9412540/32951124 swapFree=67111204/67111528
[pid=8924] ppid=8922 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/8924/stat : 8924 (java) Z 8922 8924 5093 0 -1 4203548 934687 0 1 0 179906 115 0 0 17 0 2 0 811696890 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/8924/statm: 0 0 0 0 0 0 0
[pid=8924/tid=8946] ppid=8922 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/8924/task/8946/stat : 8946 (java) R 8922 8924 5093 0 -1 4203588 7 0 0 0 0 9 0 0 18 0 2 0 811697022 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 899.476
CPU time (s): 1800.27
CPU user time (s): 1799.06
CPU system time (s): 1.20282
CPU usage (%): 200.146
Max. virtual memory (cumulated for all children) (KiB): 10670460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.20282
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 934687
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= 27112
involuntary context switches= 24248
runsolver used 4.71228 second user time and 10.8543 second system time
The end