runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3687900-1337874781/watcher-3687900-1337874781 -o /tmp/evaluation-result-3687900-1337874781/solver-3687900-1337874781 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687900-1337874781.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.98 3.94 3.67 4/197 19254
/proc/meminfo: memFree=27001984/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/19254/stat : 19254 (java) D 19252 19254 18255 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 253603564 2560000 46 33554432000 1073741824 1073778376 140734886975744 140734886972872 239863950631 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/19254/statm: 625 46 37 9 0 29 0
[startup+0.0819581 s]
/proc/loadavg: 3.98 3.94 3.67 4/197 19254
/proc/meminfo: memFree=27001984/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 3274 0 1 0 4 1 0 0 20 0 18 0 253603564 9787813888 4484 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2389603 4485 1771 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100336 s]
/proc/loadavg: 3.98 3.94 3.67 4/197 19254
/proc/meminfo: memFree=27001984/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 4175 0 1 0 6 1 0 0 20 0 18 0 253603564 9787813888 5369 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2389603 5370 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300292 s]
/proc/loadavg: 3.98 3.94 3.67 4/197 19254
/proc/meminfo: memFree=27001984/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 5448 0 1 0 43 2 0 0 20 0 18 0 253603564 9787813888 7828 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2389603 7828 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412
[startup+0.70033 s]
/proc/loadavg: 3.98 3.94 3.67 4/197 19254
/proc/meminfo: memFree=27001984/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9558412 CPUtime=1.54 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 17352 0 1 0 148 6 0 0 20 0 18 0 253603564 9787813888 34903 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2389603 34903 2233 9 0 2380296 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 9558412
[startup+1.50079 s]
/proc/loadavg: 3.98 3.94 3.67 3/216 19276
/proc/meminfo: memFree=26818964/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9824668 CPUtime=2.35 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 17642 0 1 0 223 12 0 0 20 0 19 0 253603564 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2456167 48417 2267 9 0 2446860 0
[pid=19254/tid=19256] ppid=19252 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/19254/task/19256/stat : 19256 (java) S 19252 19254 18255 0 -1 4202560 2518 0 1 0 78 4 0 0 20 0 19 0 253603566 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139968321029112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19257] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19257/stat : 19257 (java) S 19252 19254 18255 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253603567 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139968293480744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19254/tid=19258] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19258/stat : 19258 (java) S 19252 19254 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253603567 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139968292427944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19259] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19259/stat : 19259 (java) S 19252 19254 18255 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253603567 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139968291375656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19260] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19260/stat : 19260 (java) S 19252 19254 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253603567 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139968290322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19261] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19261/stat : 19261 (java) S 19252 19254 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253603567 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139968289270568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19262] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19262/stat : 19262 (java) S 19252 19254 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253603567 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139968288217768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19263] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19263/stat : 19263 (java) S 19252 19254 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253603567 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139968158149672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19264] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19264/stat : 19264 (java) S 19252 19254 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253603567 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139968157096872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19254/tid=19265] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19265/stat : 19265 (java) S 19252 19254 18255 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 253603568 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139967674149096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19266] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19266/stat : 19266 (java) S 19252 19254 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253603569 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139967673095160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19267] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19267/stat : 19267 (java) S 19252 19254 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253603569 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139967672042760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19268] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19268/stat : 19268 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603571 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139967670991248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19269] ppid=19252 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/19254/task/19269/stat : 19269 (java) R 19252 19254 18255 0 -1 4202560 6183 0 0 0 51 2 0 0 20 0 19 0 253603571 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139967669938872 139968325142830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19270] ppid=19252 vsize=9824668 CPUtime=0.64 cores=1,3,5,7
/proc/19254/task/19270/stat : 19270 (java) R 19252 19254 18255 0 -1 4202560 7526 0 0 0 62 2 0 0 20 0 19 0 253603571 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139967668873352 139968328015046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19271] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19271/stat : 19271 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603571 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139967667833976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19272] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19272/stat : 19272 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253603571 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139967666781384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19275] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19275/stat : 19275 (java) S 19252 19254 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253603653 10060460032 48417 33554432000 1073741824 1073778376 140736908650928 139967663621288 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.35
Current children cumulated vsize (KiB) 9824668
[startup+3.10078 s]
/proc/loadavg: 3.98 3.94 3.67 3/216 19282
/proc/meminfo: memFree=26807584/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9824668 CPUtime=3.86 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 22306 0 1 0 369 17 0 0 20 0 22 0 253603564 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2456167 48561 2273 9 0 2446860 0
[pid=19254/tid=19256] ppid=19252 vsize=9824668 CPUtime=0.83 cores=1,3,5,7
/proc/19254/task/19256/stat : 19256 (java) S 19252 19254 18255 0 -1 4202560 2520 0 1 0 78 5 0 0 20 0 22 0 253603566 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139968321029112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19257] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19257/stat : 19257 (java) S 19252 19254 18255 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253603567 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139968293480744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19254/tid=19258] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19258/stat : 19258 (java) S 19252 19254 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253603567 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139968292427944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19259] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19259/stat : 19259 (java) S 19252 19254 18255 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253603567 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139968291375656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19260] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19260/stat : 19260 (java) S 19252 19254 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253603567 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139968290322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19261] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19261/stat : 19261 (java) S 19252 19254 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253603567 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139968289270568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19262] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19262/stat : 19262 (java) S 19252 19254 18255 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253603567 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139968288217768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19263] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19263/stat : 19263 (java) S 19252 19254 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253603567 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139968158149672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19264] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19264/stat : 19264 (java) S 19252 19254 18255 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253603567 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139968157096872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19254/tid=19265] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19265/stat : 19265 (java) S 19252 19254 18255 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 253603568 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139967674149096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19266] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19266/stat : 19266 (java) S 19252 19254 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139967673095160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19267] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19267/stat : 19267 (java) S 19252 19254 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139967672042760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19268] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19268/stat : 19268 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139967670991248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19269] ppid=19252 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/19254/task/19269/stat : 19269 (java) S 19252 19254 18255 0 -1 4202560 10808 0 0 0 103 2 0 0 20 0 22 0 253603571 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139967669938872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19270] ppid=19252 vsize=9824668 CPUtime=1.02 cores=1,3,5,7
/proc/19254/task/19270/stat : 19270 (java) R 19252 19254 18255 0 -1 4202560 7543 0 0 0 100 2 0 0 20 0 22 0 253603571 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139967668886072 139968326988941 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19271] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19271/stat : 19271 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139967667833976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19272] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19272/stat : 19272 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139967666781384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19275] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19275/stat : 19275 (java) S 19252 19254 18255 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253603653 10060460032 48561 33554432000 1073741824 1073778376 140736908650928 139967663621288 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9824668
[startup+6.30084 s]
/proc/loadavg: 3.98 3.94 3.67 5/219 19291
/proc/meminfo: memFree=26532456/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9824668 CPUtime=9.22 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 23386 0 1 0 880 42 0 0 20 0 22 0 253603564 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2456167 125023 2287 9 0 2446860 0
[pid=19254/tid=19256] ppid=19252 vsize=9824668 CPUtime=0.84 cores=1,3,5,7
/proc/19254/task/19256/stat : 19256 (java) S 19252 19254 18255 0 -1 4202560 2523 0 1 0 79 5 0 0 20 0 22 0 253603566 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139968321029112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19257] ppid=19252 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/19254/task/19257/stat : 19257 (java) S 19252 19254 18255 0 -1 4202560 139 0 0 0 4 3 0 0 20 0 22 0 253603567 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139968293480744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19258] ppid=19252 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/19254/task/19258/stat : 19258 (java) S 19252 19254 18255 0 -1 4202560 69 0 0 0 2 2 0 0 20 0 22 0 253603567 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139968292427944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19259] ppid=19252 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/19254/task/19259/stat : 19259 (java) S 19252 19254 18255 0 -1 4202560 68 0 0 0 6 4 0 0 20 0 22 0 253603567 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139968291375656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19260] ppid=19252 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/19254/task/19260/stat : 19260 (java) S 19252 19254 18255 0 -1 4202560 30 0 0 0 2 2 0 0 20 0 22 0 253603567 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139968290322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19261] ppid=19252 vsize=9824668 CPUtime=0.04 cores=1,3,5,7
/proc/19254/task/19261/stat : 19261 (java) S 19252 19254 18255 0 -1 4202560 25 0 0 0 3 1 0 0 20 0 22 0 253603567 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139968289270568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19262] ppid=19252 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/19254/task/19262/stat : 19262 (java) S 19252 19254 18255 0 -1 4202560 127 0 0 0 5 3 0 0 20 0 22 0 253603567 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139968288217768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19263] ppid=19252 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/19254/task/19263/stat : 19263 (java) S 19252 19254 18255 0 -1 4202560 149 0 0 0 5 3 0 0 20 0 22 0 253603567 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139968158149672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19264] ppid=19252 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/19254/task/19264/stat : 19264 (java) S 19252 19254 18255 0 -1 4202560 65 0 0 0 8 4 0 0 20 0 22 0 253603567 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139968157096872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19265] ppid=19252 vsize=9824668 CPUtime=0.18 cores=1,3,5,7
/proc/19254/task/19265/stat : 19265 (java) S 19252 19254 18255 0 -1 4202560 236 0 0 0 18 0 0 0 20 0 22 0 253603568 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139967674149096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19266] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19266/stat : 19266 (java) S 19252 19254 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139967673095160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19267] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19267/stat : 19267 (java) S 19252 19254 18255 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139967672042760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19268] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19268/stat : 19268 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139967670991248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19269] ppid=19252 vsize=9824668 CPUtime=1.09 cores=1,3,5,7
/proc/19254/task/19269/stat : 19269 (java) S 19252 19254 18255 0 -1 4202560 10814 0 0 0 107 2 0 0 20 0 22 0 253603571 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139967669938872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19270] ppid=19252 vsize=9824668 CPUtime=1.16 cores=1,3,5,7
/proc/19254/task/19270/stat : 19270 (java) S 19252 19254 18255 0 -1 4202560 7548 0 0 0 114 2 0 0 20 0 22 0 253603571 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139967668886072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19271] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19271/stat : 19271 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139967667833976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19272] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19272/stat : 19272 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139967666781384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19288] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19288/stat : 19288 (java) S 19252 19254 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253603854 10060460032 125023 33554432000 1073741824 1073778376 140736908650928 139967662569000 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.22
Current children cumulated vsize (KiB) 9824668
[startup+12.7008 s]
################
# More data... #
################
/proc/loadavg: 3.93 3.89 3.77 5/219 19388
/proc/meminfo: memFree=22241916/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 35942 0 1 0 179645 368 0 0 20 0 22 0 253603564 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2456167 1106353 2288 9 0 2446860 0
[pid=19254/tid=19256] ppid=19252 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/19254/task/19256/stat : 19256 (java) S 19252 19254 18255 0 -1 4202560 2565 0 1 0 81 7 0 0 20 0 22 0 253603566 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968321029112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19257] ppid=19252 vsize=9824668 CPUtime=3.92 cores=1,3,5,7
/proc/19254/task/19257/stat : 19257 (java) S 19252 19254 18255 0 -1 4202560 886 0 0 0 363 29 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968293480744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19258] ppid=19252 vsize=9824668 CPUtime=4.1 cores=1,3,5,7
/proc/19254/task/19258/stat : 19258 (java) S 19252 19254 18255 0 -1 4202560 659 0 0 0 382 28 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968292427944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19259] ppid=19252 vsize=9824668 CPUtime=4.15 cores=1,3,5,7
/proc/19254/task/19259/stat : 19259 (java) S 19252 19254 18255 0 -1 4202560 643 0 0 0 378 37 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968291375656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19260] ppid=19252 vsize=9824668 CPUtime=3.96 cores=1,3,5,7
/proc/19254/task/19260/stat : 19260 (java) S 19252 19254 18255 0 -1 4202560 787 0 0 0 367 29 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968290322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19261] ppid=19252 vsize=9824668 CPUtime=4.46 cores=1,3,5,7
/proc/19254/task/19261/stat : 19261 (java) S 19252 19254 18255 0 -1 4202560 1121 0 0 0 414 32 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968289270568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19254/tid=19262] ppid=19252 vsize=9824668 CPUtime=4.28 cores=1,3,5,7
/proc/19254/task/19262/stat : 19262 (java) S 19252 19254 18255 0 -1 4202560 1125 0 0 0 393 35 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968288217768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19263] ppid=19252 vsize=9824668 CPUtime=4.44 cores=1,3,5,7
/proc/19254/task/19263/stat : 19263 (java) S 19252 19254 18255 0 -1 4202560 1110 0 0 0 407 37 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968158149672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19264] ppid=19252 vsize=9824668 CPUtime=4.04 cores=1,3,5,7
/proc/19254/task/19264/stat : 19264 (java) S 19252 19254 18255 0 -1 4202560 734 0 0 0 374 30 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968157096872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19265] ppid=19252 vsize=9824668 CPUtime=96.91 cores=1,3,5,7
/proc/19254/task/19265/stat : 19265 (java) S 19252 19254 18255 0 -1 4202560 4920 0 0 0 9656 35 0 0 20 0 22 0 253603568 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967674149096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19266] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19266/stat : 19266 (java) S 19252 19254 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967673095160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19267] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19267/stat : 19267 (java) S 19252 19254 18255 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967672042760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19268] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19268/stat : 19268 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967670991248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19269] ppid=19252 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/19254/task/19269/stat : 19269 (java) S 19252 19254 18255 0 -1 4202560 11262 0 0 0 181 3 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967669938872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19270] ppid=19252 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/19254/task/19270/stat : 19270 (java) S 19252 19254 18255 0 -1 4202560 7556 0 0 0 129 2 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967668886072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19271] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19271/stat : 19271 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967667833976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19272] ppid=19252 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/19254/task/19272/stat : 19272 (java) S 19252 19254 18255 0 -1 4202560 55 0 0 0 21 25 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967666781384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19288] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19288/stat : 19288 (java) S 19252 19254 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253603854 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967662569000 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19295] ppid=19252 vsize=9824668 CPUtime=825.78 cores=1,3,5,7
/proc/19254/task/19295/stat : 19295 (java) R 19252 19254 18255 0 -1 4202560 57 0 0 0 82564 14 0 0 20 0 22 0 253604476 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967665726432 139968170008247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19296] ppid=19252 vsize=9824668 CPUtime=825.69 cores=1,3,5,7
/proc/19254/task/19296/stat : 19296 (java) R 19252 19254 18255 0 -1 4202560 771 0 0 0 82545 24 0 0 20 0 22 0 253604476 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967663619072 139968170346173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19297] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19297/stat : 19297 (java) S 19252 19254 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253604476 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967664673704 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
[startup+942.301 s]
/proc/loadavg: 3.93 3.89 3.77 5/219 19388
/proc/meminfo: memFree=22241916/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 35942 0 1 0 179645 368 0 0 20 0 22 0 253603564 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2456167 1106353 2288 9 0 2446860 0
[pid=19254/tid=19256] ppid=19252 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/19254/task/19256/stat : 19256 (java) S 19252 19254 18255 0 -1 4202560 2565 0 1 0 81 7 0 0 20 0 22 0 253603566 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968321029112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19257] ppid=19252 vsize=9824668 CPUtime=3.92 cores=1,3,5,7
/proc/19254/task/19257/stat : 19257 (java) S 19252 19254 18255 0 -1 4202560 886 0 0 0 363 29 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968293480744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19258] ppid=19252 vsize=9824668 CPUtime=4.1 cores=1,3,5,7
/proc/19254/task/19258/stat : 19258 (java) S 19252 19254 18255 0 -1 4202560 659 0 0 0 382 28 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968292427944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19259] ppid=19252 vsize=9824668 CPUtime=4.15 cores=1,3,5,7
/proc/19254/task/19259/stat : 19259 (java) S 19252 19254 18255 0 -1 4202560 643 0 0 0 378 37 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968291375656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19260] ppid=19252 vsize=9824668 CPUtime=3.96 cores=1,3,5,7
/proc/19254/task/19260/stat : 19260 (java) S 19252 19254 18255 0 -1 4202560 787 0 0 0 367 29 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968290322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19261] ppid=19252 vsize=9824668 CPUtime=4.46 cores=1,3,5,7
/proc/19254/task/19261/stat : 19261 (java) S 19252 19254 18255 0 -1 4202560 1121 0 0 0 414 32 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968289270568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19254/tid=19262] ppid=19252 vsize=9824668 CPUtime=4.28 cores=1,3,5,7
/proc/19254/task/19262/stat : 19262 (java) S 19252 19254 18255 0 -1 4202560 1125 0 0 0 393 35 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968288217768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19263] ppid=19252 vsize=9824668 CPUtime=4.44 cores=1,3,5,7
/proc/19254/task/19263/stat : 19263 (java) S 19252 19254 18255 0 -1 4202560 1110 0 0 0 407 37 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968158149672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19264] ppid=19252 vsize=9824668 CPUtime=4.04 cores=1,3,5,7
/proc/19254/task/19264/stat : 19264 (java) S 19252 19254 18255 0 -1 4202560 734 0 0 0 374 30 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968157096872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19265] ppid=19252 vsize=9824668 CPUtime=96.91 cores=1,3,5,7
/proc/19254/task/19265/stat : 19265 (java) S 19252 19254 18255 0 -1 4202560 4920 0 0 0 9656 35 0 0 20 0 22 0 253603568 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967674149096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19266] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19266/stat : 19266 (java) S 19252 19254 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967673095160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19267] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19267/stat : 19267 (java) S 19252 19254 18255 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967672042760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19268] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19268/stat : 19268 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967670991248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19269] ppid=19252 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/19254/task/19269/stat : 19269 (java) S 19252 19254 18255 0 -1 4202560 11262 0 0 0 181 3 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967669938872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19270] ppid=19252 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/19254/task/19270/stat : 19270 (java) S 19252 19254 18255 0 -1 4202560 7556 0 0 0 129 2 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967668886072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19271] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19271/stat : 19271 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967667833976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19272] ppid=19252 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/19254/task/19272/stat : 19272 (java) S 19252 19254 18255 0 -1 4202560 55 0 0 0 21 25 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967666781384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19288] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19288/stat : 19288 (java) S 19252 19254 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253603854 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967662569000 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19295] ppid=19252 vsize=9824668 CPUtime=825.78 cores=1,3,5,7
/proc/19254/task/19295/stat : 19295 (java) R 19252 19254 18255 0 -1 4202560 57 0 0 0 82564 14 0 0 20 0 22 0 253604476 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967665726432 139968170008247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19296] ppid=19252 vsize=9824668 CPUtime=825.69 cores=1,3,5,7
/proc/19254/task/19296/stat : 19296 (java) R 19252 19254 18255 0 -1 4202560 771 0 0 0 82545 24 0 0 20 0 22 0 253604476 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967663619072 139968170346173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19297] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19297/stat : 19297 (java) S 19252 19254 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253604476 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967664673704 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+942.301 s]
/proc/loadavg: 3.93 3.89 3.77 5/219 19388
/proc/meminfo: memFree=22241916/32873844 swapFree=7384/7384
[pid=19254] ppid=19252 vsize=9824668 CPUtime=1800.13 cores=1,3,5,7
/proc/19254/stat : 19254 (java) S 19252 19254 18255 0 -1 4202496 35942 0 1 0 179645 368 0 0 20 0 22 0 253603564 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 140736908642064 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/19254/statm: 2456167 1106353 2288 9 0 2446860 0
[pid=19254/tid=19256] ppid=19252 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/19254/task/19256/stat : 19256 (java) S 19252 19254 18255 0 -1 4202560 2565 0 1 0 81 7 0 0 20 0 22 0 253603566 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968321029112 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19257] ppid=19252 vsize=9824668 CPUtime=3.92 cores=1,3,5,7
/proc/19254/task/19257/stat : 19257 (java) S 19252 19254 18255 0 -1 4202560 886 0 0 0 363 29 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968293480744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19258] ppid=19252 vsize=9824668 CPUtime=4.1 cores=1,3,5,7
/proc/19254/task/19258/stat : 19258 (java) S 19252 19254 18255 0 -1 4202560 659 0 0 0 382 28 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968292427944 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19259] ppid=19252 vsize=9824668 CPUtime=4.15 cores=1,3,5,7
/proc/19254/task/19259/stat : 19259 (java) S 19252 19254 18255 0 -1 4202560 643 0 0 0 378 37 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968291375656 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19260] ppid=19252 vsize=9824668 CPUtime=3.96 cores=1,3,5,7
/proc/19254/task/19260/stat : 19260 (java) S 19252 19254 18255 0 -1 4202560 787 0 0 0 367 29 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968290322856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19261] ppid=19252 vsize=9824668 CPUtime=4.46 cores=1,3,5,7
/proc/19254/task/19261/stat : 19261 (java) S 19252 19254 18255 0 -1 4202560 1121 0 0 0 414 32 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968289270568 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=19254/tid=19262] ppid=19252 vsize=9824668 CPUtime=4.28 cores=1,3,5,7
/proc/19254/task/19262/stat : 19262 (java) S 19252 19254 18255 0 -1 4202560 1125 0 0 0 393 35 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968288217768 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19263] ppid=19252 vsize=9824668 CPUtime=4.44 cores=1,3,5,7
/proc/19254/task/19263/stat : 19263 (java) S 19252 19254 18255 0 -1 4202560 1110 0 0 0 407 37 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968158149672 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19264] ppid=19252 vsize=9824668 CPUtime=4.04 cores=1,3,5,7
/proc/19254/task/19264/stat : 19264 (java) S 19252 19254 18255 0 -1 4202560 734 0 0 0 374 30 0 0 20 0 22 0 253603567 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139968157096872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19265] ppid=19252 vsize=9824668 CPUtime=96.91 cores=1,3,5,7
/proc/19254/task/19265/stat : 19265 (java) S 19252 19254 18255 0 -1 4202560 4920 0 0 0 9656 35 0 0 20 0 22 0 253603568 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967674149096 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19266] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19266/stat : 19266 (java) S 19252 19254 18255 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967673095160 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19267] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19267/stat : 19267 (java) S 19252 19254 18255 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253603569 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967672042760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19268] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19268/stat : 19268 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967670991248 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19269] ppid=19252 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/19254/task/19269/stat : 19269 (java) S 19252 19254 18255 0 -1 4202560 11262 0 0 0 181 3 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967669938872 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19270] ppid=19252 vsize=9824668 CPUtime=1.31 cores=1,3,5,7
/proc/19254/task/19270/stat : 19270 (java) S 19252 19254 18255 0 -1 4202560 7556 0 0 0 129 2 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967668886072 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19271] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19271/stat : 19271 (java) S 19252 19254 18255 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967667833976 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19272] ppid=19252 vsize=9824668 CPUtime=0.46 cores=1,3,5,7
/proc/19254/task/19272/stat : 19272 (java) S 19252 19254 18255 0 -1 4202560 55 0 0 0 21 25 0 0 20 0 22 0 253603571 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967666781384 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19288] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19288/stat : 19288 (java) S 19252 19254 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253603854 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967662569000 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=19254/tid=19295] ppid=19252 vsize=9824668 CPUtime=825.78 cores=1,3,5,7
/proc/19254/task/19295/stat : 19295 (java) R 19252 19254 18255 0 -1 4202560 57 0 0 0 82564 14 0 0 20 0 22 0 253604476 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967665726432 139968170008247 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=19254/tid=19296] ppid=19252 vsize=9824668 CPUtime=825.69 cores=1,3,5,7
/proc/19254/task/19296/stat : 19296 (java) R 19252 19254 18255 0 -1 4202560 771 0 0 0 82545 24 0 0 20 0 22 0 253604476 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967663619072 139968170346173 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=19254/tid=19297] ppid=19252 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/19254/task/19297/stat : 19297 (java) S 19252 19254 18255 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253604476 10060460032 1106353 33554432000 1073741824 1073778376 140736908650928 139967664673704 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19254 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=737614
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=24388
# CPU time returned by wait4() is 1795.76
# while last known CPU time is 1800.13
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 942.348
CPU time (s): 1800.13
CPU user time (s): 1796.45
CPU system time (s): 3.68
CPU usage (%): 191.026
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.74
system time used= 4.02439
maximum resident set size= 4425528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35974
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25250
involuntary context switches= 38862
runsolver used 3.68244 second user time and 9.45256 second system time
The end