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-4103666-1466245084/watcher-4103666-1466245084 -o /tmp/evaluation-result-4103666-1466245084/solver-4103666-1466245084 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466240588-22108 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103666-1466245084.opb
pid=23306
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: 4.07 4.22 4.18 4/197 23309
/proc/meminfo: memFree=27106460/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/23309/stat : 23309 (java) D 23306 23309 22091 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 26553932 9515008 185 33554432000 1073741824 1073778376 140736707238560 140736707227624 239863950631 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2323 185 143 9 0 71 0
[startup+0.100114 s]
/proc/loadavg: 4.07 4.22 4.18 4/197 23309
/proc/meminfo: memFree=27106460/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/23309/stat : 23309 (java) S 23306 23309 22091 0 -1 4202496 4422 0 1 0 8 1 0 0 20 0 18 0 26553932 9787879424 6042 33554432000 1073741824 1073778376 140736707238560 140736707229696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2389619 6044 2137 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200235 s]
/proc/loadavg: 4.07 4.22 4.18 4/197 23309
/proc/meminfo: memFree=27106460/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/23309/stat : 23309 (java) S 23306 23309 22091 0 -1 4202496 5109 0 1 0 29 1 0 0 20 0 18 0 26553932 9787879424 7521 33554432000 1073741824 1073778376 140736707238560 140736707229696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2389619 7521 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300305 s]
/proc/loadavg: 4.07 4.22 4.18 4/197 23309
/proc/meminfo: memFree=27106460/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9558476 CPUtime=0.49 cores=1,3,5,7
/proc/23309/stat : 23309 (java) S 23306 23309 22091 0 -1 4202496 6224 0 1 0 48 1 0 0 20 0 18 0 26553932 9787879424 11822 33554432000 1073741824 1073778376 140736707238560 140736707229696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2389619 11822 2232 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476
[startup+0.700265 s]
/proc/loadavg: 4.07 4.22 4.18 4/197 23309
/proc/meminfo: memFree=27106460/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9558476 CPUtime=1.46 cores=1,3,5,7
/proc/23309/stat : 23309 (java) S 23306 23309 22091 0 -1 4202496 15254 0 1 0 142 4 0 0 20 0 18 0 26553932 9787879424 43265 33554432000 1073741824 1073778376 140736707238560 140736707229696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2389619 43265 2260 9 0 2380296 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9558476
[startup+1.50095 s]
/proc/loadavg: 4.07 4.22 4.18 7/219 23331
/proc/meminfo: memFree=26918920/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9824732 CPUtime=4.31 cores=1,3,5,7
/proc/23309/stat : 23309 (java) S 23306 23309 22091 0 -1 4202496 17813 0 1 0 418 13 0 0 20 0 22 0 26553932 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 140736707229696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2456183 59696 2285 9 0 2446860 0
[pid=23309/tid=23311] ppid=23306 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/23309/task/23311/stat : 23311 (java) S 23306 23309 22091 0 -1 4202560 2481 0 1 0 68 3 0 0 20 0 22 0 26553933 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139933039825784 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23312] ppid=23306 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23309/task/23312/stat : 23312 (java) S 23306 23309 22091 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 26553933 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139933001316776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23313] ppid=23306 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/23309/task/23313/stat : 23313 (java) S 23306 23309 22091 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 22 0 26553933 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139933000264232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23314] ppid=23306 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23309/task/23314/stat : 23314 (java) S 23306 23309 22091 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 26553933 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932999211176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23315] ppid=23306 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23309/task/23315/stat : 23315 (java) S 23306 23309 22091 0 -1 4202560 111 0 0 0 4 1 0 0 20 0 22 0 26553933 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932998158632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23316] ppid=23306 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23309/task/23316/stat : 23316 (java) S 23306 23309 22091 0 -1 4202560 63 0 0 0 3 2 0 0 20 0 22 0 26553933 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932997106600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23317] ppid=23306 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23309/task/23317/stat : 23317 (java) S 23306 23309 22091 0 -1 4202560 178 0 0 0 3 2 0 0 20 0 22 0 26553933 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932996054056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23318] ppid=23306 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23309/task/23318/stat : 23318 (java) S 23306 23309 22091 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 26553933 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932995001000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23319] ppid=23306 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/23309/task/23319/stat : 23319 (java) S 23306 23309 22091 0 -1 4202560 84 0 0 0 1 0 0 0 20 0 22 0 26553933 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932993948456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23320] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23320/stat : 23320 (java) S 23306 23309 22091 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932863531368 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23321] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23321/stat : 23321 (java) S 23306 23309 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932862477688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23322] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23322/stat : 23322 (java) S 23306 23309 22091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932861424520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23323] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23323/stat : 23323 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932860373264 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23324] ppid=23306 vsize=9824732 CPUtime=0.98 cores=1,3,5,7
/proc/23309/task/23324/stat : 23324 (java) S 23306 23309 22091 0 -1 4202560 4655 0 0 0 98 0 0 0 20 0 22 0 26553937 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932859321144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23325] ppid=23306 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/23309/task/23325/stat : 23325 (java) S 23306 23309 22091 0 -1 4202560 8800 0 0 0 90 2 0 0 20 0 22 0 26553937 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932858268600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23326] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23326/stat : 23326 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932857215736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23327] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23327/stat : 23327 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932856163400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23328] ppid=23306 vsize=9824732 CPUtime=0.64 cores=1,3,5,7
/proc/23309/task/23328/stat : 23328 (java) R 23306 23309 22091 0 -1 4202560 25 0 0 0 64 0 0 0 20 0 22 0 26554011 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139932855108264 139932870675983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23329] ppid=23306 vsize=9824732 CPUtime=0.65 cores=1,3,5,7
/proc/23309/task/23329/stat : 23329 (java) R 23306 23309 22091 0 -1 4202560 22 0 0 0 65 0 0 0 20 0 22 0 26554011 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139931712217192 139932869939463 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23330] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23330/stat : 23330 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139931711165224 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23331] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23331/stat : 23331 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 59696 33554432000 1073741824 1073778376 140736707238560 139931710112680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 9824732
[startup+3.1009 s]
/proc/loadavg: 4.07 4.22 4.18 11/219 23331
/proc/meminfo: memFree=26757160/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9824732 CPUtime=7.87 cores=1,3,5,7
/proc/23309/stat : 23309 (java) S 23306 23309 22091 0 -1 4202496 18054 0 1 0 770 17 0 0 20 0 22 0 26553932 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 140736707229696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2456183 93627 2290 9 0 2446860 0
[pid=23309/tid=23311] ppid=23306 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/23309/task/23311/stat : 23311 (java) S 23306 23309 22091 0 -1 4202560 2481 0 1 0 68 3 0 0 20 0 22 0 26553933 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139933039825784 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23312] ppid=23306 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23309/task/23312/stat : 23312 (java) S 23306 23309 22091 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 22 0 26553933 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139933001316776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23313] ppid=23306 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23309/task/23313/stat : 23313 (java) S 23306 23309 22091 0 -1 4202560 29 0 0 0 4 2 0 0 20 0 22 0 26553933 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139933000264232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23314] ppid=23306 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/23309/task/23314/stat : 23314 (java) S 23306 23309 22091 0 -1 4202560 26 0 0 0 4 1 0 0 20 0 22 0 26553933 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932999211176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23315] ppid=23306 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23309/task/23315/stat : 23315 (java) S 23306 23309 22091 0 -1 4202560 115 0 0 0 4 2 0 0 20 0 22 0 26553933 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932998158632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23316] ppid=23306 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23309/task/23316/stat : 23316 (java) S 23306 23309 22091 0 -1 4202560 64 0 0 0 4 2 0 0 20 0 22 0 26553933 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932997106600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23317] ppid=23306 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23309/task/23317/stat : 23317 (java) S 23306 23309 22091 0 -1 4202560 181 0 0 0 4 2 0 0 20 0 22 0 26553933 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932996054056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23318] ppid=23306 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23309/task/23318/stat : 23318 (java) S 23306 23309 22091 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 26553933 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932995001000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23319] ppid=23306 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/23309/task/23319/stat : 23319 (java) S 23306 23309 22091 0 -1 4202560 87 0 0 0 2 0 0 0 20 0 22 0 26553933 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932993948456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23320] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23320/stat : 23320 (java) S 23306 23309 22091 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932863531368 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23321] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23321/stat : 23321 (java) S 23306 23309 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932862477688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23322] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23322/stat : 23322 (java) S 23306 23309 22091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932861424520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23323] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23323/stat : 23323 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932860373264 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23324] ppid=23306 vsize=9824732 CPUtime=1.16 cores=1,3,5,7
/proc/23309/task/23324/stat : 23324 (java) R 23306 23309 22091 0 -1 4202560 4660 0 0 0 116 0 0 0 20 0 22 0 26553937 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932859321144 139933046616504 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23325] ppid=23306 vsize=9824732 CPUtime=1.05 cores=1,3,5,7
/proc/23309/task/23325/stat : 23325 (java) R 23306 23309 22091 0 -1 4202560 8803 0 0 0 103 2 0 0 20 0 22 0 26553937 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932858268776 139933043918232 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23326] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23326/stat : 23326 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932857215736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23327] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23327/stat : 23327 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932856163400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23328] ppid=23306 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/23309/task/23328/stat : 23328 (java) R 23306 23309 22091 0 -1 4202560 27 0 0 0 220 0 0 0 20 0 22 0 26554011 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139932855099296 139932870755245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23329] ppid=23306 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/23309/task/23329/stat : 23329 (java) R 23306 23309 22091 0 -1 4202560 73 0 0 0 219 2 0 0 20 0 22 0 26554011 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139931712217560 139932870739675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23330] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23330/stat : 23330 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139931711165224 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23331] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23331/stat : 23331 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 93627 33554432000 1073741824 1073778376 140736707238560 139931710112680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 9824732
[startup+6.30099 s]
/proc/loadavg: 4.14 4.23 4.18 5/219 23331
/proc/meminfo: memFree=26474352/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9824732 CPUtime=14.65 cores=1,3,5,7
/proc/23309/stat : 23309 (java) S 23306 23309 22091 0 -1 4202496 19045 0 1 0 1439 26 0 0 20 0 22 0 26553932 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 140736707229696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2456183 162818 2290 9 0 2446860 0
[pid=23309/tid=23311] ppid=23306 vsize=9824732 CPUtime=0.72 cores=1,3,5,7
/proc/23309/task/23311/stat : 23311 (java) S 23306 23309 22091 0 -1 4202560 2481 0 1 0 69 3 0 0 20 0 22 0 26553933 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139933039825784 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23312] ppid=23306 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/23309/task/23312/stat : 23312 (java) S 23306 23309 22091 0 -1 4202560 64 0 0 0 8 2 0 0 20 0 22 0 26553933 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139933001316776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23313] ppid=23306 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/23309/task/23313/stat : 23313 (java) S 23306 23309 22091 0 -1 4202560 45 0 0 0 6 3 0 0 20 0 22 0 26553933 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139933000264232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23314] ppid=23306 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/23309/task/23314/stat : 23314 (java) S 23306 23309 22091 0 -1 4202560 55 0 0 0 8 2 0 0 20 0 22 0 26553933 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932999211176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23315] ppid=23306 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/23309/task/23315/stat : 23315 (java) S 23306 23309 22091 0 -1 4202560 128 0 0 0 7 2 0 0 20 0 22 0 26553933 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932998158632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23316] ppid=23306 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/23309/task/23316/stat : 23316 (java) S 23306 23309 22091 0 -1 4202560 94 0 0 0 9 3 0 0 20 0 22 0 26553933 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932997106600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23317] ppid=23306 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/23309/task/23317/stat : 23317 (java) S 23306 23309 22091 0 -1 4202560 199 0 0 0 7 3 0 0 20 0 22 0 26553933 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932996054056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23318] ppid=23306 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/23309/task/23318/stat : 23318 (java) S 23306 23309 22091 0 -1 4202560 42 0 0 0 5 1 0 0 20 0 22 0 26553933 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932995001000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23319] ppid=23306 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/23309/task/23319/stat : 23319 (java) S 23306 23309 22091 0 -1 4202560 100 0 0 0 4 0 0 0 20 0 22 0 26553933 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932993948456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23320] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23320/stat : 23320 (java) S 23306 23309 22091 0 -1 4202560 461 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932863531368 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23321] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23321/stat : 23321 (java) S 23306 23309 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932862477688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23322] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23322/stat : 23322 (java) S 23306 23309 22091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932861424520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23323] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23323/stat : 23323 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 162818 33554432000 1073741824 1073778376 140736707238560 139932860373264 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23324] ppid=23306 vsize=9824732 CPUtime=1.36 cores=1,3,5,7
################
# More data... #
################
/proc/23309/task/23314/stat : 23314 (java) S 23306 23309 22091 0 -1 4202560 320 0 0 0 190 9 0 0 20 0 22 0 26553933 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932999211176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23315] ppid=23306 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/23309/task/23315/stat : 23315 (java) S 23306 23309 22091 0 -1 4202560 415 0 0 0 200 9 0 0 20 0 22 0 26553933 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932998158632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23316] ppid=23306 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/23309/task/23316/stat : 23316 (java) S 23306 23309 22091 0 -1 4202560 341 0 0 0 197 9 0 0 20 0 22 0 26553933 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932997106600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23317] ppid=23306 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/23309/task/23317/stat : 23317 (java) S 23306 23309 22091 0 -1 4202560 450 0 0 0 191 9 0 0 20 0 22 0 26553933 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932996054056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23318] ppid=23306 vsize=9824732 CPUtime=2.04 cores=1,3,5,7
/proc/23309/task/23318/stat : 23318 (java) S 23306 23309 22091 0 -1 4202560 277 0 0 0 196 8 0 0 20 0 22 0 26553933 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932995001000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23319] ppid=23306 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/23309/task/23319/stat : 23319 (java) S 23306 23309 22091 0 -1 4202560 356 0 0 0 191 8 0 0 20 0 22 0 26553933 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932993948456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23320] ppid=23306 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/23309/task/23320/stat : 23320 (java) S 23306 23309 22091 0 -1 4202560 9150 0 0 0 78 39 0 0 20 0 22 0 26553935 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932863531368 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23321] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23321/stat : 23321 (java) S 23306 23309 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932862477688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23322] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23322/stat : 23322 (java) S 23306 23309 22091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932861424520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23323] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23323/stat : 23323 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932860373264 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23324] ppid=23306 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/23309/task/23324/stat : 23324 (java) S 23306 23309 22091 0 -1 4202560 4927 0 0 0 144 0 0 0 20 0 22 0 26553937 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932859321144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23325] ppid=23306 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/23309/task/23325/stat : 23325 (java) S 23306 23309 22091 0 -1 4202560 19058 0 0 0 196 3 0 0 20 0 22 0 26553937 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932858268600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23326] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23326/stat : 23326 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932857215736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23327] ppid=23306 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/23309/task/23327/stat : 23327 (java) S 23306 23309 22091 0 -1 4202560 47 0 0 0 16 19 0 0 20 0 22 0 26553937 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932856163400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23328] ppid=23306 vsize=9824732 CPUtime=812.96 cores=1,3,5,7
/proc/23309/task/23328/stat : 23328 (java) R 23306 23309 22091 0 -1 4202560 294 0 0 0 81280 16 0 0 20 0 22 0 26554011 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139932855106992 139932870922178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23329] ppid=23306 vsize=9824732 CPUtime=813.08 cores=1,3,5,7
/proc/23309/task/23329/stat : 23329 (java) R 23306 23309 22091 0 -1 4202560 2028 0 0 0 81260 48 0 0 20 0 22 0 26554011 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139931712217776 139932870791769 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23330] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23330/stat : 23330 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139931711165224 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23331] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23331/stat : 23331 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 533441 33554432000 1073741824 1073778376 140736707238560 139931710112680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1651.66
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.36 4.23 4.19 5/219 23489
/proc/meminfo: memFree=26286392/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9824732 CPUtime=1772.23 cores=1,3,5,7
/proc/23309/stat : 23309 (java) S 23306 23309 22091 0 -1 4202496 42229 0 1 0 177059 164 0 0 20 0 22 0 26553932 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 140736707229696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2456183 526695 2298 9 0 2446860 0
[pid=23309/tid=23311] ppid=23306 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/23309/task/23311/stat : 23311 (java) S 23306 23309 22091 0 -1 4202560 2494 0 1 0 72 4 0 0 20 0 22 0 26553933 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139933039825784 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23312] ppid=23306 vsize=9824732 CPUtime=2.08 cores=1,3,5,7
/proc/23309/task/23312/stat : 23312 (java) S 23306 23309 22091 0 -1 4202560 344 0 0 0 201 7 0 0 20 0 22 0 26553933 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139933001316776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23313] ppid=23306 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/23309/task/23313/stat : 23313 (java) S 23306 23309 22091 0 -1 4202560 331 0 0 0 208 8 0 0 20 0 22 0 26553933 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139933000264232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23314] ppid=23306 vsize=9824732 CPUtime=2.22 cores=1,3,5,7
/proc/23309/task/23314/stat : 23314 (java) S 23306 23309 22091 0 -1 4202560 331 0 0 0 213 9 0 0 20 0 22 0 26553933 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932999211176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23315] ppid=23306 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/23309/task/23315/stat : 23315 (java) S 23306 23309 22091 0 -1 4202560 436 0 0 0 219 9 0 0 20 0 22 0 26553933 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932998158632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23316] ppid=23306 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/23309/task/23316/stat : 23316 (java) S 23306 23309 22091 0 -1 4202560 359 0 0 0 214 9 0 0 20 0 22 0 26553933 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932997106600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23317] ppid=23306 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/23309/task/23317/stat : 23317 (java) S 23306 23309 22091 0 -1 4202560 456 0 0 0 206 9 0 0 20 0 22 0 26553933 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932996054056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23318] ppid=23306 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/23309/task/23318/stat : 23318 (java) S 23306 23309 22091 0 -1 4202560 287 0 0 0 211 8 0 0 20 0 22 0 26553933 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932995001000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23319] ppid=23306 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/23309/task/23319/stat : 23319 (java) S 23306 23309 22091 0 -1 4202560 378 0 0 0 211 8 0 0 20 0 22 0 26553933 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932993948456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23320] ppid=23306 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/23309/task/23320/stat : 23320 (java) S 23306 23309 22091 0 -1 4202560 9154 0 0 0 79 41 0 0 20 0 22 0 26553935 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932863531368 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23321] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23321/stat : 23321 (java) S 23306 23309 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932862477688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23322] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23322/stat : 23322 (java) S 23306 23309 22091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932861424520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23323] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23323/stat : 23323 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932860373264 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23324] ppid=23306 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/23309/task/23324/stat : 23324 (java) S 23306 23309 22091 0 -1 4202560 4927 0 0 0 144 0 0 0 20 0 22 0 26553937 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932859321144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23325] ppid=23306 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/23309/task/23325/stat : 23325 (java) S 23306 23309 22091 0 -1 4202560 19058 0 0 0 196 3 0 0 20 0 22 0 26553937 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932858268600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23326] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23326/stat : 23326 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932857215736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23327] ppid=23306 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/23309/task/23327/stat : 23327 (java) S 23306 23309 22091 0 -1 4202560 51 0 0 0 16 21 0 0 20 0 22 0 26553937 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932856163400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23328] ppid=23306 vsize=9824732 CPUtime=872.35 cores=1,3,5,7
/proc/23309/task/23328/stat : 23328 (java) R 23306 23309 22091 0 -1 4202560 312 0 0 0 87218 17 0 0 20 0 22 0 26554011 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139932855106960 139932870905900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23329] ppid=23306 vsize=9824732 CPUtime=872.48 cores=1,3,5,7
/proc/23309/task/23329/stat : 23329 (java) R 23306 23309 22091 0 -1 4202560 2044 0 0 0 87199 49 0 0 20 0 22 0 26554011 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139931712215864 139932870700895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23330] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23330/stat : 23330 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139931711165224 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23331] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23331/stat : 23331 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 526695 33554432000 1073741824 1073778376 140736707238560 139931710112680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1772.23
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.201 s]
/proc/loadavg: 4.36 4.24 4.19 5/219 23489
/proc/meminfo: memFree=26206576/32872528 swapFree=1459628/1655852
[pid=23309] ppid=23306 vsize=9824732 CPUtime=1800.11 cores=1,3,5,7
/proc/23309/stat : 23309 (java) S 23306 23309 22091 0 -1 4202496 42263 0 1 0 179846 165 0 0 20 0 22 0 26553932 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 140736707229696 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23309/statm: 2456183 524959 2298 9 0 2446860 0
[pid=23309/tid=23311] ppid=23306 vsize=9824732 CPUtime=0.76 cores=1,3,5,7
/proc/23309/task/23311/stat : 23311 (java) S 23306 23309 22091 0 -1 4202560 2494 0 1 0 72 4 0 0 20 0 22 0 26553933 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139933039825784 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23312] ppid=23306 vsize=9824732 CPUtime=2.1 cores=1,3,5,7
/proc/23309/task/23312/stat : 23312 (java) S 23306 23309 22091 0 -1 4202560 347 0 0 0 203 7 0 0 20 0 22 0 26553933 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139933001316776 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23313] ppid=23306 vsize=9824732 CPUtime=2.2 cores=1,3,5,7
/proc/23309/task/23313/stat : 23313 (java) S 23306 23309 22091 0 -1 4202560 335 0 0 0 212 8 0 0 20 0 22 0 26553933 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139933000264232 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23314] ppid=23306 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/23309/task/23314/stat : 23314 (java) S 23306 23309 22091 0 -1 4202560 332 0 0 0 215 9 0 0 20 0 22 0 26553933 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932999211176 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23315] ppid=23306 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/23309/task/23315/stat : 23315 (java) S 23306 23309 22091 0 -1 4202560 440 0 0 0 224 9 0 0 20 0 22 0 26553933 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932998158632 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23316] ppid=23306 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/23309/task/23316/stat : 23316 (java) S 23306 23309 22091 0 -1 4202560 364 0 0 0 218 9 0 0 20 0 22 0 26553933 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932997106600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23317] ppid=23306 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/23309/task/23317/stat : 23317 (java) S 23306 23309 22091 0 -1 4202560 460 0 0 0 208 9 0 0 20 0 22 0 26553933 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932996054056 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23318] ppid=23306 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/23309/task/23318/stat : 23318 (java) S 23306 23309 22091 0 -1 4202560 289 0 0 0 215 8 0 0 20 0 22 0 26553933 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932995001000 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23319] ppid=23306 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/23309/task/23319/stat : 23319 (java) S 23306 23309 22091 0 -1 4202560 382 0 0 0 213 8 0 0 20 0 22 0 26553933 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932993948456 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23320] ppid=23306 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/23309/task/23320/stat : 23320 (java) S 23306 23309 22091 0 -1 4202560 9154 0 0 0 79 41 0 0 20 0 22 0 26553935 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932863531368 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23321] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23321/stat : 23321 (java) S 23306 23309 22091 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932862477688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23322] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23322/stat : 23322 (java) S 23306 23309 22091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 26553935 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932861424520 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23323] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23323/stat : 23323 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932860373264 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23324] ppid=23306 vsize=9824732 CPUtime=1.44 cores=1,3,5,7
/proc/23309/task/23324/stat : 23324 (java) S 23306 23309 22091 0 -1 4202560 4927 0 0 0 144 0 0 0 20 0 22 0 26553937 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932859321144 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23325] ppid=23306 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/23309/task/23325/stat : 23325 (java) S 23306 23309 22091 0 -1 4202560 19058 0 0 0 196 3 0 0 20 0 22 0 26553937 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932858268600 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23326] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23326/stat : 23326 (java) S 23306 23309 22091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26553937 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932857215736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23309/tid=23327] ppid=23306 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/23309/task/23327/stat : 23327 (java) S 23306 23309 22091 0 -1 4202560 51 0 0 0 18 21 0 0 20 0 22 0 26553937 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932856163400 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23309/tid=23328] ppid=23306 vsize=9824732 CPUtime=886.12 cores=1,3,5,7
/proc/23309/task/23328/stat : 23328 (java) R 23306 23309 22091 0 -1 4202560 312 0 0 0 88595 17 0 0 20 0 22 0 26554011 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139932855106912 139932870905900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23329] ppid=23306 vsize=9824732 CPUtime=886.26 cores=1,3,5,7
/proc/23309/task/23329/stat : 23329 (java) R 23306 23309 22091 0 -1 4202560 2051 0 0 0 88576 50 0 0 20 0 22 0 26554011 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139931712215856 139932870700580 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23309/tid=23330] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23330/stat : 23330 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139931711165224 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23309/tid=23331] ppid=23306 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/23309/task/23331/stat : 23331 (java) S 23306 23309 22091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26554023 10060525568 524959 33554432000 1073741824 1073778376 140736707238560 139931710112680 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23309 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23309 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=119252
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=200665
# CPU time returned by wait4() is 1796.32
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 896.257
CPU time (s): 1800.11
CPU user time (s): 1798.46
CPU system time (s): 1.65
CPU usage (%): 200.847
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.12
system time used= 2.20066
maximum resident set size= 2874776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42305
page faults= 1
swaps= 0
block input operations= 0
block output operations= 880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36980
involuntary context switches= 49860
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.97209 second user time and 7.59485 second system time
The end