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-4085321-1465236891/watcher-4085321-1465236891 -o /tmp/evaluation-result-4085321-1465236891/solver-4085321-1465236891 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1465216773-5890 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085321-1465236891.opb
pid=9513
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.25 2.23 2.18 3/194 9516
/proc/meminfo: memFree=27371184/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/9516/stat : 9516 (java) R 9513 9516 5873 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 105621710 2560000 46 33554432000 1073741824 1073778376 140736704715424 140736704712552 214528257319 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 625 46 37 9 0 29 0
[startup+0.10006 s]
/proc/loadavg: 2.25 2.23 2.18 3/194 9516
/proc/meminfo: memFree=27371184/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 4355 0 1 0 8 1 0 0 20 0 18 0 105621710 9787879424 5475 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2389619 5486 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200226 s]
/proc/loadavg: 2.25 2.23 2.18 3/194 9516
/proc/meminfo: memFree=27371184/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 4670 0 1 0 23 1 0 0 20 0 18 0 105621710 9787879424 6774 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2389619 6774 2201 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300322 s]
/proc/loadavg: 2.25 2.23 2.18 3/194 9516
/proc/meminfo: memFree=27371184/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9558476 CPUtime=0.44 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 5331 0 1 0 42 2 0 0 20 0 18 0 105621710 9787879424 8167 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2389619 8167 2229 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558476
[startup+0.700295 s]
/proc/loadavg: 2.25 2.23 2.18 3/194 9516
/proc/meminfo: memFree=27371184/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 12399 0 1 0 147 4 0 0 20 0 19 0 105621710 9856040960 23041 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2406260 23041 2259 9 0 2396937 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 9625040
[startup+1.50082 s]
/proc/loadavg: 2.25 2.23 2.18 3/213 9535
/proc/meminfo: memFree=27274876/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9625040 CPUtime=2.44 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 13150 0 1 0 240 4 0 0 20 0 19 0 105621710 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2406260 29196 2269 9 0 2396937 0
[pid=9516/tid=9518] ppid=9513 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (java) R 9513 9516 5873 0 -1 4202560 2444 0 1 0 144 2 0 0 20 0 19 0 105621710 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217382179368 140217211038610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9519] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217343670824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9520] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9520/stat : 9520 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217342618024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9521] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9521/stat : 9521 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217341565224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9522] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9522/stat : 9522 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217340512424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9523] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9523/stat : 9523 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217339460648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9524] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9524/stat : 9524 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217338407848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9525] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9525/stat : 9525 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217337355048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9526] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9526/stat : 9526 (java) S 9513 9516 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217336302248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9527] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9527/stat : 9527 (java) S 9513 9516 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217205893608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9528] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9528/stat : 9528 (java) S 9513 9516 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217204839672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9529] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9529/stat : 9529 (java) S 9513 9516 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217203786760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9530] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9530/stat : 9530 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217202735248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9531] ppid=9513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/9516/task/9531/stat : 9531 (java) S 9513 9516 5873 0 -1 4202560 4202 0 0 0 51 0 0 0 20 0 19 0 105621716 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217201683384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9532] ppid=9513 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/9516/task/9532/stat : 9532 (java) S 9513 9516 5873 0 -1 4202560 5226 0 0 0 41 1 0 0 20 0 19 0 105621716 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217200630584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9533] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9533/stat : 9533 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217199577976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9534] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9534/stat : 9534 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217198525384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9535] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9535/stat : 9535 (java) S 9513 9516 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105621760 9856040960 29196 33554432000 1073741824 1073778376 140736704715424 140217197470888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 9625040
[startup+3.10085 s]
/proc/loadavg: 2.25 2.23 2.18 3/213 9535
/proc/meminfo: memFree=27241860/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9625040 CPUtime=4.08 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 13173 0 1 0 403 5 0 0 20 0 19 0 105621710 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2406260 40460 2269 9 0 2396937 0
[pid=9516/tid=9518] ppid=9513 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (java) R 9513 9516 5873 0 -1 4202560 2467 0 1 0 303 3 0 0 20 0 19 0 105621710 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217382179224 140217210850430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9519] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217343670824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9520] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9520/stat : 9520 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217342618024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9521] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9521/stat : 9521 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217341565224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9522] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9522/stat : 9522 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217340512424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9523] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9523/stat : 9523 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217339460648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9524] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9524/stat : 9524 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217338407848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9525] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9525/stat : 9525 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217337355048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9526] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9526/stat : 9526 (java) S 9513 9516 5873 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217336302248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9527] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9527/stat : 9527 (java) S 9513 9516 5873 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217205893608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9528] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9528/stat : 9528 (java) S 9513 9516 5873 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217204839672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9529] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9529/stat : 9529 (java) S 9513 9516 5873 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217203786760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9530] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9530/stat : 9530 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217202735248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9531] ppid=9513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/9516/task/9531/stat : 9531 (java) S 9513 9516 5873 0 -1 4202560 4202 0 0 0 51 0 0 0 20 0 19 0 105621716 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217201683384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9532] ppid=9513 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/9516/task/9532/stat : 9532 (java) S 9513 9516 5873 0 -1 4202560 5226 0 0 0 45 1 0 0 20 0 19 0 105621716 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217200630584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9533] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9533/stat : 9533 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217199577976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9534] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9534/stat : 9534 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217198525384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9535] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9535/stat : 9535 (java) S 9513 9516 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105621760 9856040960 40460 33554432000 1073741824 1073778376 140736704715424 140217197470888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 9625040
[startup+6.30094 s]
/proc/loadavg: 2.23 2.22 2.18 3/213 9535
/proc/meminfo: memFree=27169560/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9625040 CPUtime=7.37 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 13280 0 1 0 726 11 0 0 20 0 19 0 105621710 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2406260 52142 2283 9 0 2396937 0
[pid=9516/tid=9518] ppid=9513 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (java) R 9513 9516 5873 0 -1 4202560 2476 0 1 0 620 3 0 0 20 0 19 0 105621710 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217382170304 140217210858716 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9519] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (java) S 9513 9516 5873 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217343670824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9520] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9520/stat : 9520 (java) S 9513 9516 5873 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217342618024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9521] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9521/stat : 9521 (java) S 9513 9516 5873 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217341565224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9522] ppid=9513 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/9516/task/9522/stat : 9522 (java) S 9513 9516 5873 0 -1 4202560 26 0 0 0 0 2 0 0 20 0 19 0 105621712 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217340512424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9523] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9523/stat : 9523 (java) S 9513 9516 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217339460648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9524] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9524/stat : 9524 (java) S 9513 9516 5873 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217338407848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9525] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9525/stat : 9525 (java) S 9513 9516 5873 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217337355048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9526] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9526/stat : 9526 (java) S 9513 9516 5873 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105621712 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217336302248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9527] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9527/stat : 9527 (java) S 9513 9516 5873 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217205893608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9528] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9528/stat : 9528 (java) S 9513 9516 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217204839672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9529] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9529/stat : 9529 (java) S 9513 9516 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217203786760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9530] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9530/stat : 9530 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217202735248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9531] ppid=9513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/9516/task/9531/stat : 9531 (java) S 9513 9516 5873 0 -1 4202560 4202 0 0 0 51 0 0 0 20 0 19 0 105621716 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217201683384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9532] ppid=9513 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/9516/task/9532/stat : 9532 (java) S 9513 9516 5873 0 -1 4202560 5226 0 0 0 45 1 0 0 20 0 19 0 105621716 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217200630584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9533] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9533/stat : 9533 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217199577976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9534] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9534/stat : 9534 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217198525384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9535] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9535/stat : 9535 (java) S 9513 9516 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105621760 9856040960 52142 33554432000 1073741824 1073778376 140736704715424 140217197470888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=9516/tid=9528] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9528/stat : 9528 (java) S 9513 9516 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 136803 33554432000 1073741824 1073778376 140736704715424 140217204839672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9529] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9529/stat : 9529 (java) S 9513 9516 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 136803 33554432000 1073741824 1073778376 140736704715424 140217203786760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9530] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9530/stat : 9530 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 136803 33554432000 1073741824 1073778376 140736704715424 140217202735248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9531] ppid=9513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/9516/task/9531/stat : 9531 (java) S 9513 9516 5873 0 -1 4202560 4202 0 0 0 51 0 0 0 20 0 19 0 105621716 9856040960 136803 33554432000 1073741824 1073778376 140736704715424 140217201683384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9532] ppid=9513 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/9516/task/9532/stat : 9532 (java) S 9513 9516 5873 0 -1 4202560 5240 0 0 0 47 1 0 0 20 0 19 0 105621716 9856040960 136803 33554432000 1073741824 1073778376 140736704715424 140217200630584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9533] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9533/stat : 9533 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 136803 33554432000 1073741824 1073778376 140736704715424 140217199577976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9534] ppid=9513 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/9516/task/9534/stat : 9534 (java) S 9513 9516 5873 0 -1 4202560 93 0 0 0 33 37 0 0 20 0 19 0 105621716 9856040960 136803 33554432000 1073741824 1073778376 140736704715424 140217198525384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9535] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9535/stat : 9535 (java) S 9513 9516 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105621760 9856040960 136803 33554432000 1073741824 1073778376 140736704715424 140217197470888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1621.26
Current children cumulated vsize (KiB) 9625040
[startup+1662.3 s]
/proc/loadavg: 2.20 2.19 2.18 3/213 9642
/proc/meminfo: memFree=30032196/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9625040 CPUtime=1681.93 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 34667 0 1 0 167952 241 0 0 20 0 19 0 105621710 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2406260 137587 2292 9 0 2396937 0
[pid=9516/tid=9518] ppid=9513 vsize=9625040 CPUtime=1648.22 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (java) R 9513 9516 5873 0 -1 4202560 2891 0 1 0 164790 32 0 0 20 0 19 0 105621710 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217382178016 140217210936855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9519] ppid=9513 vsize=9625040 CPUtime=3.35 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (java) S 9513 9516 5873 0 -1 4202560 2074 0 0 0 306 29 0 0 20 0 19 0 105621712 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217343670824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9520] ppid=9513 vsize=9625040 CPUtime=3.22 cores=1,3,5,7
/proc/9516/task/9520/stat : 9520 (java) S 9513 9516 5873 0 -1 4202560 2387 0 0 0 300 22 0 0 20 0 19 0 105621712 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217342618024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9521] ppid=9513 vsize=9625040 CPUtime=3.11 cores=1,3,5,7
/proc/9516/task/9521/stat : 9521 (java) S 9513 9516 5873 0 -1 4202560 1858 0 0 0 288 23 0 0 20 0 19 0 105621712 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217341565224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9522] ppid=9513 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/9516/task/9522/stat : 9522 (java) S 9513 9516 5873 0 -1 4202560 3566 0 0 0 301 27 0 0 20 0 19 0 105621712 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217340512424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9523] ppid=9513 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/9516/task/9523/stat : 9523 (java) S 9513 9516 5873 0 -1 4202560 2273 0 0 0 310 21 0 0 20 0 19 0 105621712 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217339460648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9524] ppid=9513 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/9516/task/9524/stat : 9524 (java) S 9513 9516 5873 0 -1 4202560 2453 0 0 0 321 25 0 0 20 0 19 0 105621712 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217338407848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9525] ppid=9513 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/9516/task/9525/stat : 9525 (java) S 9513 9516 5873 0 -1 4202560 2699 0 0 0 299 25 0 0 20 0 19 0 105621712 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217337355048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9526] ppid=9513 vsize=9625040 CPUtime=3.15 cores=1,3,5,7
/proc/9516/task/9526/stat : 9526 (java) S 9513 9516 5873 0 -1 4202560 1939 0 0 0 293 22 0 0 20 0 19 0 105621712 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217336302248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9527] ppid=9513 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/9516/task/9527/stat : 9527 (java) S 9513 9516 5873 0 -1 4202560 1724 0 0 0 617 7 0 0 20 0 19 0 105621713 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217205893608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9528] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9528/stat : 9528 (java) S 9513 9516 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217204839672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9529] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9529/stat : 9529 (java) S 9513 9516 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217203786760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9530] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9530/stat : 9530 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217202735248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9531] ppid=9513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/9516/task/9531/stat : 9531 (java) S 9513 9516 5873 0 -1 4202560 4202 0 0 0 51 0 0 0 20 0 19 0 105621716 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217201683384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9532] ppid=9513 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/9516/task/9532/stat : 9532 (java) S 9513 9516 5873 0 -1 4202560 5240 0 0 0 47 1 0 0 20 0 19 0 105621716 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217200630584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9533] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9533/stat : 9533 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217199577976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9534] ppid=9513 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/9516/task/9534/stat : 9534 (java) S 9513 9516 5873 0 -1 4202560 97 0 0 0 34 39 0 0 20 0 19 0 105621716 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217198525384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9535] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9535/stat : 9535 (java) S 9513 9516 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105621760 9856040960 137587 33554432000 1073741824 1073778376 140736704715424 140217197470888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1681.93
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.19 2.18 2.18 3/213 9643
/proc/meminfo: memFree=30024848/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9625040 CPUtime=1742.75 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 35896 0 1 0 174025 250 0 0 20 0 19 0 105621710 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2406260 137060 2292 9 0 2396937 0
[pid=9516/tid=9518] ppid=9513 vsize=9625040 CPUtime=1707.56 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (java) R 9513 9516 5873 0 -1 4202560 2917 0 1 0 170724 32 0 0 20 0 19 0 105621710 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217382178016 140217210936855 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9519] ppid=9513 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (java) S 9513 9516 5873 0 -1 4202560 2080 0 0 0 317 29 0 0 20 0 19 0 105621712 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217343670824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9520] ppid=9513 vsize=9625040 CPUtime=3.38 cores=1,3,5,7
/proc/9516/task/9520/stat : 9520 (java) S 9513 9516 5873 0 -1 4202560 2646 0 0 0 314 24 0 0 20 0 19 0 105621712 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217342618024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9521] ppid=9513 vsize=9625040 CPUtime=3.26 cores=1,3,5,7
/proc/9516/task/9521/stat : 9521 (java) S 9513 9516 5873 0 -1 4202560 2073 0 0 0 302 24 0 0 20 0 19 0 105621712 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217341565224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9522] ppid=9513 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/9516/task/9522/stat : 9522 (java) S 9513 9516 5873 0 -1 4202560 3576 0 0 0 312 27 0 0 20 0 19 0 105621712 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217340512424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9523] ppid=9513 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/9516/task/9523/stat : 9523 (java) S 9513 9516 5873 0 -1 4202560 2559 0 0 0 323 23 0 0 20 0 19 0 105621712 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217339460648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9524] ppid=9513 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/9516/task/9524/stat : 9524 (java) S 9513 9516 5873 0 -1 4202560 2465 0 0 0 334 26 0 0 20 0 19 0 105621712 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217338407848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9525] ppid=9513 vsize=9625040 CPUtime=3.38 cores=1,3,5,7
/proc/9516/task/9525/stat : 9525 (java) S 9513 9516 5873 0 -1 4202560 3025 0 0 0 313 25 0 0 20 0 19 0 105621712 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217337355048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9526] ppid=9513 vsize=9625040 CPUtime=3.3 cores=1,3,5,7
/proc/9516/task/9526/stat : 9526 (java) S 9513 9516 5873 0 -1 4202560 1949 0 0 0 307 23 0 0 20 0 19 0 105621712 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217336302248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9527] ppid=9513 vsize=9625040 CPUtime=6.57 cores=1,3,5,7
/proc/9516/task/9527/stat : 9527 (java) S 9513 9516 5873 0 -1 4202560 1801 0 0 0 650 7 0 0 20 0 19 0 105621713 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217205893608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9528] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9528/stat : 9528 (java) S 9513 9516 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217204839672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9529] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9529/stat : 9529 (java) S 9513 9516 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217203786760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9530] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9530/stat : 9530 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217202735248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9531] ppid=9513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/9516/task/9531/stat : 9531 (java) S 9513 9516 5873 0 -1 4202560 4202 0 0 0 51 0 0 0 20 0 19 0 105621716 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217201683384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9532] ppid=9513 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/9516/task/9532/stat : 9532 (java) S 9513 9516 5873 0 -1 4202560 5240 0 0 0 47 1 0 0 20 0 19 0 105621716 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217200630584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9533] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9533/stat : 9533 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217199577976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9534] ppid=9513 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/9516/task/9534/stat : 9534 (java) S 9513 9516 5873 0 -1 4202560 99 0 0 0 35 41 0 0 20 0 19 0 105621716 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217198525384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9535] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9535/stat : 9535 (java) S 9513 9516 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105621760 9856040960 137060 33554432000 1073741824 1073778376 140736704715424 140217197470888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1742.75
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1778.81 s]
/proc/loadavg: 2.26 2.20 2.18 3/213 9645
/proc/meminfo: memFree=29983640/32872528 swapFree=16740/1306504
[pid=9516] ppid=9513 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/9516/stat : 9516 (java) S 9513 9516 5873 0 -1 4202496 37885 0 1 0 179738 262 0 0 20 0 19 0 105621710 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140736704706560 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/9516/statm: 2406260 141354 2292 9 0 2396937 0
[pid=9516/tid=9518] ppid=9513 vsize=9625040 CPUtime=1763.52 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (java) R 9513 9516 5873 0 -1 4202560 2937 0 1 0 176319 33 0 0 20 0 19 0 105621710 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217382178016 140217210936855 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9519] ppid=9513 vsize=9625040 CPUtime=3.59 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (java) S 9513 9516 5873 0 -1 4202560 2341 0 0 0 329 30 0 0 20 0 19 0 105621712 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217343670824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9520] ppid=9513 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/9516/task/9520/stat : 9520 (java) S 9513 9516 5873 0 -1 4202560 3033 0 0 0 327 25 0 0 20 0 19 0 105621712 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217342618024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9521] ppid=9513 vsize=9625040 CPUtime=3.39 cores=1,3,5,7
/proc/9516/task/9521/stat : 9521 (java) S 9513 9516 5873 0 -1 4202560 2233 0 0 0 314 25 0 0 20 0 19 0 105621712 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217341565224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9522] ppid=9513 vsize=9625040 CPUtime=3.51 cores=1,3,5,7
/proc/9516/task/9522/stat : 9522 (java) S 9513 9516 5873 0 -1 4202560 3769 0 0 0 323 28 0 0 20 0 19 0 105621712 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217340512424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9523] ppid=9513 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/9516/task/9523/stat : 9523 (java) S 9513 9516 5873 0 -1 4202560 2902 0 0 0 336 25 0 0 20 0 19 0 105621712 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217339460648 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9524] ppid=9513 vsize=9625040 CPUtime=3.73 cores=1,3,5,7
/proc/9516/task/9524/stat : 9524 (java) S 9513 9516 5873 0 -1 4202560 2653 0 0 0 346 27 0 0 20 0 19 0 105621712 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217338407848 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9516/tid=9525] ppid=9513 vsize=9625040 CPUtime=3.51 cores=1,3,5,7
/proc/9516/task/9525/stat : 9525 (java) S 9513 9516 5873 0 -1 4202560 3043 0 0 0 325 26 0 0 20 0 19 0 105621712 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217337355048 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9526] ppid=9513 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/9516/task/9526/stat : 9526 (java) S 9513 9516 5873 0 -1 4202560 2242 0 0 0 318 24 0 0 20 0 19 0 105621712 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217336302248 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9527] ppid=9513 vsize=9625040 CPUtime=6.82 cores=1,3,5,7
/proc/9516/task/9527/stat : 9527 (java) S 9513 9516 5873 0 -1 4202560 1923 0 0 0 674 8 0 0 20 0 19 0 105621713 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217205893608 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9528] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9528/stat : 9528 (java) S 9513 9516 5873 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217204839672 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9529] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9529/stat : 9529 (java) S 9513 9516 5873 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105621713 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217203786760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9530] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9530/stat : 9530 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217202735248 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9531] ppid=9513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/9516/task/9531/stat : 9531 (java) S 9513 9516 5873 0 -1 4202560 4202 0 0 0 51 0 0 0 20 0 19 0 105621716 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217201683384 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9516/tid=9532] ppid=9513 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/9516/task/9532/stat : 9532 (java) S 9513 9516 5873 0 -1 4202560 5240 0 0 0 47 1 0 0 20 0 19 0 105621716 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217200630584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9533] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9533/stat : 9533 (java) S 9513 9516 5873 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105621716 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217199577976 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9516/tid=9534] ppid=9513 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/9516/task/9534/stat : 9534 (java) S 9513 9516 5873 0 -1 4202560 103 0 0 0 37 42 0 0 20 0 19 0 105621716 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217198525384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9516/tid=9535] ppid=9513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9535/stat : 9535 (java) S 9513 9516 5873 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105621760 9856040960 141354 33554432000 1073741824 1073778376 140736704715424 140217197470888 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040
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 9516 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1778.85
CPU time (s): 1800.74
CPU user time (s): 1797.66
CPU system time (s): 3.08253
CPU usage (%): 101.23
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.66
system time used= 3.08253
maximum resident set size= 846844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37922
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 52469
involuntary context switches= 52091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8122 second user time and 12.5221 second system time
The end