runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4119318-1467254539/watcher-4119318-1467254539 -o /tmp/evaluation-result-4119318-1467254539/solver-4119318-1467254539 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467248605-24286 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119318-1467254539.opb
pid=25165
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: 2.15 2.22 2.19 3/194 25168
/proc/meminfo: memFree=29231836/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/25168/stat : 25168 (java) D 25165 25168 24014 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 15482438 9515008 182 33554432000 1073741824 1073778376 140736049584592 140736049575624 248790204085 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/25168/statm: 2323 182 140 9 0 71 0
[startup+0.100059 s]
/proc/loadavg: 2.15 2.22 2.19 3/194 25168
/proc/meminfo: memFree=29231836/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/25168/stat : 25168 (java) S 25165 25168 24014 0 -1 4202496 4395 0 1 0 7 1 0 0 20 0 18 0 15482438 9787879424 6019 33554432000 1073741824 1073778376 140733650739200 140733650730336 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25168/statm: 2389619 6019 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200211 s]
/proc/loadavg: 2.15 2.22 2.19 3/194 25168
/proc/meminfo: memFree=29231836/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/25168/stat : 25168 (java) S 25165 25168 24014 0 -1 4202496 4689 0 1 0 22 1 0 0 20 0 18 0 15482438 9787879424 6784 33554432000 1073741824 1073778376 140733650739200 140733650730336 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25168/statm: 2389619 6784 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300212 s]
/proc/loadavg: 2.15 2.22 2.19 3/194 25168
/proc/meminfo: memFree=29231836/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/25168/stat : 25168 (java) S 25165 25168 24014 0 -1 4202496 5930 0 1 0 44 2 0 0 20 0 18 0 15482438 9787879424 8575 33554432000 1073741824 1073778376 140733650739200 140733650730336 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25168/statm: 2389619 8575 2244 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700169 s]
/proc/loadavg: 2.15 2.22 2.19 3/194 25168
/proc/meminfo: memFree=29231836/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9558476 CPUtime=1.64 cores=1,3,5,7
/proc/25168/stat : 25168 (java) S 25165 25168 24014 0 -1 4202496 26948 0 1 0 158 6 0 0 20 0 18 0 15482438 9787879424 31153 33554432000 1073741824 1073778376 140733650739200 140733650730336 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25168/statm: 2389619 31153 2263 9 0 2380296 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9558476
[startup+1.50087 s]
/proc/loadavg: 2.15 2.22 2.19 6/213 25187
/proc/meminfo: memFree=29078420/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/25168/stat : 25168 (java) S 25165 25168 24014 0 -1 4202496 33766 0 1 0 388 9 0 0 20 0 19 0 15482438 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 140733650730336 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25168/statm: 2406260 43054 2275 9 0 2396937 0
[pid=25168/tid=25170] ppid=25165 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/25168/task/25170/stat : 25170 (java) R 25165 25168 24014 0 -1 4202560 2445 0 1 0 143 2 0 0 20 0 19 0 15482439 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139791628316976 139791472825033 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25171] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25171/stat : 25171 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139791471471656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25172] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25172/stat : 25172 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139791470418856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25173] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25173/stat : 25173 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139791469366056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25174] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25174/stat : 25174 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139791468313256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25175] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25175/stat : 25175 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139791467260456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25176] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25176/stat : 25176 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139791466207656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25177] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25177/stat : 25177 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139791465154856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25178] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25178/stat : 25178 (java) S 25165 25168 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139791464102056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25179] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25179/stat : 25179 (java) S 25165 25168 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139790981774312 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25180] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25180/stat : 25180 (java) S 25165 25168 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139790980720376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25181] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25181/stat : 25181 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139790979667464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25182] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25182/stat : 25182 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139790978615952 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25183] ppid=25165 vsize=9625040 CPUtime=1.22 cores=1,3,5,7
/proc/25168/task/25183/stat : 25183 (java) R 25165 25168 24014 0 -1 4202560 12076 0 0 0 119 3 0 0 20 0 19 0 15482444 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139790977562928 139791631054013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25184] ppid=25165 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/25168/task/25184/stat : 25184 (java) R 25165 25168 24014 0 -1 4202560 17975 0 0 0 121 3 0 0 20 0 19 0 15482444 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139790976497544 139791632442757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25185] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25185/stat : 25185 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139790975457656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25186] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25186/stat : 25186 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139790974405064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25187] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25187/stat : 25187 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482546 9856040960 43054 33554432000 1073741824 1073778376 140733650739200 139790973351592 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9625040
[startup+3.10091 s]
/proc/loadavg: 2.13 2.22 2.18 4/213 25187
/proc/meminfo: memFree=29034100/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9625040 CPUtime=5.88 cores=1,3,5,7
/proc/25168/stat : 25168 (java) S 25165 25168 24014 0 -1 4202496 33948 0 1 0 574 14 0 0 20 0 19 0 15482438 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 140733650730336 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25168/statm: 2406260 66177 2288 9 0 2396937 0
[pid=25168/tid=25170] ppid=25165 vsize=9625040 CPUtime=3.02 cores=1,3,5,7
/proc/25168/task/25170/stat : 25170 (java) R 25165 25168 24014 0 -1 4202560 2476 0 1 0 298 4 0 0 20 0 19 0 15482439 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139791628324040 139791472895706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25171] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25171/stat : 25171 (java) S 25165 25168 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139791471471656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25172] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25172/stat : 25172 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139791470418856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25173] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25173/stat : 25173 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139791469366056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25174] ppid=25165 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/25168/task/25174/stat : 25174 (java) S 25165 25168 24014 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 15482440 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139791468313256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25175] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25175/stat : 25175 (java) S 25165 25168 24014 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139791467260456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25176] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25176/stat : 25176 (java) S 25165 25168 24014 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139791466207656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25177] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25177/stat : 25177 (java) S 25165 25168 24014 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139791465154856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25178] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25178/stat : 25178 (java) S 25165 25168 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139791464102056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25179] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25179/stat : 25179 (java) S 25165 25168 24014 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139790981774312 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25180] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25180/stat : 25180 (java) S 25165 25168 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139790980720376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25181] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25181/stat : 25181 (java) S 25165 25168 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139790979667464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25182] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25182/stat : 25182 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139790978615952 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25183] ppid=25165 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/25168/task/25183/stat : 25183 (java) S 25165 25168 24014 0 -1 4202560 12076 0 0 0 134 3 0 0 20 0 19 0 15482444 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139790977563064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25184] ppid=25165 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/25168/task/25184/stat : 25184 (java) S 25165 25168 24014 0 -1 4202560 17975 0 0 0 128 3 0 0 20 0 19 0 15482444 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139790976510264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25185] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25185/stat : 25185 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139790975457656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25186] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25186/stat : 25186 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139790974405064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25187] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25187/stat : 25187 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482546 9856040960 66177 33554432000 1073741824 1073778376 140733650739200 139790973351592 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 9625040
[startup+6.30072 s]
/proc/loadavg: 2.13 2.22 2.18 3/213 25187
/proc/meminfo: memFree=28989108/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9625040 CPUtime=9.09 cores=1,3,5,7
/proc/25168/stat : 25168 (java) S 25165 25168 24014 0 -1 4202496 33950 0 1 0 895 14 0 0 20 0 19 0 15482438 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 140733650730336 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25168/statm: 2406260 62481 2288 9 0 2396937 0
[pid=25168/tid=25170] ppid=25165 vsize=9625040 CPUtime=6.21 cores=1,3,5,7
/proc/25168/task/25170/stat : 25170 (java) R 25165 25168 24014 0 -1 4202560 2478 0 1 0 617 4 0 0 20 0 19 0 15482439 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139791628325352 139791472853511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25171] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25171/stat : 25171 (java) S 25165 25168 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139791471471656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25172] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25172/stat : 25172 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139791470418856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25173] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25173/stat : 25173 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139791469366056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25174] ppid=25165 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/25168/task/25174/stat : 25174 (java) S 25165 25168 24014 0 -1 4202560 25 0 0 0 2 0 0 0 20 0 19 0 15482440 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139791468313256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25175] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25175/stat : 25175 (java) S 25165 25168 24014 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139791467260456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25176] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25176/stat : 25176 (java) S 25165 25168 24014 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139791466207656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25177] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25177/stat : 25177 (java) S 25165 25168 24014 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139791465154856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25178] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25178/stat : 25178 (java) S 25165 25168 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15482440 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139791464102056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25179] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25179/stat : 25179 (java) S 25165 25168 24014 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139790981774312 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25180] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25180/stat : 25180 (java) S 25165 25168 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139790980720376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25181] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25181/stat : 25181 (java) S 25165 25168 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139790979667464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25182] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25182/stat : 25182 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139790978615952 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25183] ppid=25165 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/25168/task/25183/stat : 25183 (java) S 25165 25168 24014 0 -1 4202560 12076 0 0 0 135 3 0 0 20 0 19 0 15482444 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139790977563064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25184] ppid=25165 vsize=9625040 CPUtime=1.31 cores=1,3,5,7
/proc/25168/task/25184/stat : 25184 (java) S 25165 25168 24014 0 -1 4202560 17975 0 0 0 128 3 0 0 20 0 19 0 15482444 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139790976510264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25185] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25185/stat : 25185 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139790975457656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25186] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25186/stat : 25186 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139790974405064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25187] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25187/stat : 25187 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482546 9856040960 62481 33554432000 1073741824 1073778376 140733650739200 139790973351592 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 9.09
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
/proc/25168/task/25176/stat : 25176 (java) S 25165 25168 24014 0 -1 4202560 2612 0 0 0 493 102 0 0 20 0 19 0 15482440 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139791466207656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25177] ppid=25165 vsize=9625040 CPUtime=5.66 cores=1,3,5,7
/proc/25168/task/25177/stat : 25177 (java) S 25165 25168 24014 0 -1 4202560 5932 0 0 0 470 96 0 0 20 0 19 0 15482440 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139791465154856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25178] ppid=25165 vsize=9625040 CPUtime=5.82 cores=1,3,5,7
/proc/25168/task/25178/stat : 25178 (java) S 25165 25168 24014 0 -1 4202560 5610 0 0 0 499 83 0 0 20 0 19 0 15482440 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139791464102056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25179] ppid=25165 vsize=9625040 CPUtime=5.43 cores=1,3,5,7
/proc/25168/task/25179/stat : 25179 (java) S 25165 25168 24014 0 -1 4202560 7585 0 0 0 540 3 0 0 20 0 19 0 15482442 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139790981774312 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25180] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25180/stat : 25180 (java) S 25165 25168 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139790980720376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25181] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25181/stat : 25181 (java) S 25165 25168 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139790979667464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25182] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25182/stat : 25182 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139790978615952 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25183] ppid=25165 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/25168/task/25183/stat : 25183 (java) S 25165 25168 24014 0 -1 4202560 12093 0 0 0 222 3 0 0 20 0 19 0 15482444 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139790977563064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25184] ppid=25165 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/25168/task/25184/stat : 25184 (java) S 25165 25168 24014 0 -1 4202560 17980 0 0 0 144 3 0 0 20 0 19 0 15482444 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139790976510264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25185] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25185/stat : 25185 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139790975457656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25186] ppid=25165 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/25168/task/25186/stat : 25186 (java) S 25165 25168 24014 0 -1 4202560 98 0 0 0 18 24 0 0 20 0 19 0 15482444 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139790974405064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25187] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25187/stat : 25187 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482546 9856040960 1513095 33554432000 1073741824 1073778376 140733650739200 139790973351592 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1760.94
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1761 s]
/proc/loadavg: 2.27 2.25 2.20 3/213 25385
/proc/meminfo: memFree=23726668/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/25168/stat : 25168 (java) S 25165 25168 24014 0 -1 4202496 73584 0 1 0 179241 768 0 0 20 0 19 0 15482438 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 140733650730336 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25168/statm: 2406260 1513096 2302 9 0 2396937 0
[pid=25168/tid=25170] ppid=25165 vsize=9625040 CPUtime=1738.56 cores=1,3,5,7
/proc/25168/task/25170/stat : 25170 (java) R 25165 25168 24014 0 -1 4202560 2610 0 1 0 173824 32 0 0 20 0 19 0 15482439 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791628324048 139791472853624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25171] ppid=25165 vsize=9625040 CPUtime=6.35 cores=1,3,5,7
/proc/25168/task/25171/stat : 25171 (java) S 25165 25168 24014 0 -1 4202560 3449 0 0 0 542 93 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791471471656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25172] ppid=25165 vsize=9625040 CPUtime=5.52 cores=1,3,5,7
/proc/25168/task/25172/stat : 25172 (java) S 25165 25168 24014 0 -1 4202560 3624 0 0 0 468 84 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791470418856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25173] ppid=25165 vsize=9625040 CPUtime=5.8 cores=1,3,5,7
/proc/25168/task/25173/stat : 25173 (java) S 25165 25168 24014 0 -1 4202560 3773 0 0 0 492 88 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791469366056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25174] ppid=25165 vsize=9625040 CPUtime=5.76 cores=1,3,5,7
/proc/25168/task/25174/stat : 25174 (java) S 25165 25168 24014 0 -1 4202560 3862 0 0 0 492 84 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791468313256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25175] ppid=25165 vsize=9625040 CPUtime=6.4 cores=1,3,5,7
/proc/25168/task/25175/stat : 25175 (java) S 25165 25168 24014 0 -1 4202560 3095 0 0 0 543 97 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791467260456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25176] ppid=25165 vsize=9625040 CPUtime=6.02 cores=1,3,5,7
/proc/25168/task/25176/stat : 25176 (java) S 25165 25168 24014 0 -1 4202560 2612 0 0 0 500 102 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791466207656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25177] ppid=25165 vsize=9625040 CPUtime=5.71 cores=1,3,5,7
/proc/25168/task/25177/stat : 25177 (java) S 25165 25168 24014 0 -1 4202560 5933 0 0 0 475 96 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791465154856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25178] ppid=25165 vsize=9625040 CPUtime=5.87 cores=1,3,5,7
/proc/25168/task/25178/stat : 25178 (java) S 25165 25168 24014 0 -1 4202560 5610 0 0 0 504 83 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791464102056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25179] ppid=25165 vsize=9625040 CPUtime=5.43 cores=1,3,5,7
/proc/25168/task/25179/stat : 25179 (java) S 25165 25168 24014 0 -1 4202560 7587 0 0 0 540 3 0 0 20 0 19 0 15482442 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790981774312 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25180] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25180/stat : 25180 (java) S 25165 25168 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790980720376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25181] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25181/stat : 25181 (java) S 25165 25168 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790979667464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25182] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25182/stat : 25182 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790978615952 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25183] ppid=25165 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/25168/task/25183/stat : 25183 (java) S 25165 25168 24014 0 -1 4202560 12093 0 0 0 222 3 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790977563064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25184] ppid=25165 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/25168/task/25184/stat : 25184 (java) S 25165 25168 24014 0 -1 4202560 17980 0 0 0 144 3 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790976510264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25185] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25185/stat : 25185 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790975457656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25186] ppid=25165 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/25168/task/25186/stat : 25186 (java) S 25165 25168 24014 0 -1 4202560 100 0 0 0 19 24 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790974405064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25187] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25187/stat : 25187 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482546 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790973351592 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1795.97 s) is less than in the last sample (1800.09 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.12012 s) to the 'lost time'.
[startup+1761 s]
/proc/loadavg: 2.27 2.25 2.20 3/213 25385
/proc/meminfo: memFree=23726668/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/25168/stat : 25168 (java) S 25165 25168 24014 0 -1 4202496 73584 0 1 0 179241 768 0 0 20 0 19 0 15482438 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 140733650730336 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/25168/statm: 2406260 1513096 2302 9 0 2396937 0
[pid=25168/tid=25170] ppid=25165 vsize=9625040 CPUtime=1738.56 cores=1,3,5,7
/proc/25168/task/25170/stat : 25170 (java) R 25165 25168 24014 0 -1 4202560 2610 0 1 0 173824 32 0 0 20 0 19 0 15482439 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791628324048 139791472853624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25171] ppid=25165 vsize=9625040 CPUtime=6.35 cores=1,3,5,7
/proc/25168/task/25171/stat : 25171 (java) S 25165 25168 24014 0 -1 4202560 3449 0 0 0 542 93 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791471471656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25172] ppid=25165 vsize=9625040 CPUtime=5.52 cores=1,3,5,7
/proc/25168/task/25172/stat : 25172 (java) S 25165 25168 24014 0 -1 4202560 3624 0 0 0 468 84 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791470418856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25173] ppid=25165 vsize=9625040 CPUtime=5.8 cores=1,3,5,7
/proc/25168/task/25173/stat : 25173 (java) S 25165 25168 24014 0 -1 4202560 3773 0 0 0 492 88 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791469366056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25174] ppid=25165 vsize=9625040 CPUtime=5.76 cores=1,3,5,7
/proc/25168/task/25174/stat : 25174 (java) S 25165 25168 24014 0 -1 4202560 3862 0 0 0 492 84 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791468313256 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25175] ppid=25165 vsize=9625040 CPUtime=6.4 cores=1,3,5,7
/proc/25168/task/25175/stat : 25175 (java) S 25165 25168 24014 0 -1 4202560 3095 0 0 0 543 97 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791467260456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=25168/tid=25176] ppid=25165 vsize=9625040 CPUtime=6.02 cores=1,3,5,7
/proc/25168/task/25176/stat : 25176 (java) S 25165 25168 24014 0 -1 4202560 2612 0 0 0 500 102 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791466207656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25177] ppid=25165 vsize=9625040 CPUtime=5.71 cores=1,3,5,7
/proc/25168/task/25177/stat : 25177 (java) S 25165 25168 24014 0 -1 4202560 5933 0 0 0 475 96 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791465154856 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25178] ppid=25165 vsize=9625040 CPUtime=5.87 cores=1,3,5,7
/proc/25168/task/25178/stat : 25178 (java) S 25165 25168 24014 0 -1 4202560 5610 0 0 0 504 83 0 0 20 0 19 0 15482440 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139791464102056 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=25168/tid=25179] ppid=25165 vsize=9625040 CPUtime=5.43 cores=1,3,5,7
/proc/25168/task/25179/stat : 25179 (java) S 25165 25168 24014 0 -1 4202560 7587 0 0 0 540 3 0 0 20 0 19 0 15482442 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790981774312 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25180] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25180/stat : 25180 (java) S 25165 25168 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790980720376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25181] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25181/stat : 25181 (java) S 25165 25168 24014 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 15482442 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790979667464 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25182] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25182/stat : 25182 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790978615952 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25183] ppid=25165 vsize=9625040 CPUtime=2.25 cores=1,3,5,7
/proc/25168/task/25183/stat : 25183 (java) S 25165 25168 24014 0 -1 4202560 12093 0 0 0 222 3 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790977563064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25184] ppid=25165 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/25168/task/25184/stat : 25184 (java) S 25165 25168 24014 0 -1 4202560 17980 0 0 0 144 3 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790976510264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25185] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25185/stat : 25185 (java) S 25165 25168 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790975457656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25168/tid=25186] ppid=25165 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/25168/task/25186/stat : 25186 (java) S 25165 25168 24014 0 -1 4202560 100 0 0 0 19 24 0 0 20 0 19 0 15482444 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790974405064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25168/tid=25187] ppid=25165 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/25168/task/25187/stat : 25187 (java) S 25165 25168 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15482546 9856040960 1513096 33554432000 1073741824 1073778376 140733650739200 139790973351592 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040
[startup+1761.11 s]
/proc/loadavg: 2.27 2.25 2.20 3/195 25387
/proc/meminfo: memFree=28058164/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=0 CPUtime=1795.97 cores=1,3,5,7
/proc/25168/stat : 25168 (java) R 25165 25168 24014 0 -1 4203524 73621 0 1 0 178790 807 0 0 20 0 1 0 15482438 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.97
Current children cumulated vsize (KiB) 0
#
############
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25168 sig 9
??? kill -25168 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1761.11 s]
/proc/loadavg: 2.27 2.25 2.20 3/195 25387
/proc/meminfo: memFree=28058164/32872528 swapFree=1394328/1580332
[pid=25168] ppid=25165 vsize=0 CPUtime=1795.97 cores=1,3,5,7
/proc/25168/stat : 25168 (java) R 25165 25168 24014 0 -1 4203524 73621 0 1 0 178790 807 0 0 20 0 1 0 15482438 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25168/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.97
Current children cumulated vsize (KiB) 0
Child status: 143
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.12012
# lost CPU user time (s): 4.51001
# lost CPU system time (s): -0.39
Real time (s): 1761.12
CPU time (s): 1800.1
CPU user time (s): 1792.41
CPU system time (s): 7.69377
CPU usage (%): 102.214
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.9
system time used= 8.08377
maximum resident set size= 6711704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73621
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40447
involuntary context switches= 19343
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38318 second user time and 7.44687 second system time
The end