runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9416 MiB free)
memory of node 1: 16384 MiB (11362 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392026-1568313119/watcher-4392026-1568313119 -o /tmp/evaluation-result-4392026-1568313119/solver-4392026-1568313119 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568306047-10997 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=16900756 HOME/instance-4392026-1568313119.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13339, runsolver pid=13336
[startup+0.101643 s]*
/proc/loadavg: 1.81 1.53 1.46 3/220 13396
/proc/meminfo: memFree=21269856/32770624 swapFree=66939824/67108860
[pid=13339] ppid=13336 vsize=9972712 memory=17076 CPUtime=0.08 cores=0,2,4,6
/proc/13339/stat : 13339 (java) S 13336 13339 9865 0 -1 1077944320 4517 13091 0 0 1 0 5 2 20 0 6 0 407226838 10212057088 4269 33554432000 4194304 4196468 140736986313536 140736986296080 140031321132791 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
/proc/13339/statm: 2493178 4269 1935 1 0 2481616 0
[pid=13339/tid=13392] ppid=13336 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=0,2,4,6
/proc/13339/task/13392/stat : 13392 (java) R 13336 13339 9865 0 -1 4202560 2346 13091 0 0 1 0 5 2 20 0 6 0 407226847 10212057088 4335 33554432000 4194304 4196468 140736986313536 140031292969552 140031313369918 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13393] ppid=13336 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13393/stat : 13393 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 6 0 407226848 10212057088 4335 33554432000 4194304 4196468 140736986313536 140031325375248 140031321142997 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13394] ppid=13336 vsize=9972712 memory=140393573107328 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13394/stat : 13394 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 6 0 407226848 10212057088 4335 33554432000 4194304 4196468 140736986313536 140031240194960 140031321142997 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13395] ppid=13336 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13395/stat : 13395 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 6 0 407226848 10212057088 4335 33554432000 4194304 4196468 140736986313536 140031239142416 140031321142997 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13396] ppid=13336 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13396/stat : 13396 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 6 0 407226848 10212057088 4335 33554432000 4194304 4196468 140736986313536 140031238089872 140031321142997 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210205 s]*
/proc/loadavg: 1.81 1.53 1.46 3/229 13405
/proc/meminfo: memFree=21251276/32770624 swapFree=66939824/67108860
[pid=13339] ppid=13336 vsize=10818940 memory=38988 CPUtime=0.26 cores=0,2,4,6
/proc/13339/stat : 13339 (java) S 13336 13339 9865 0 -1 1077944320 7098 13091 0 0 17 2 5 2 20 0 15 0 407226838 11078594560 9747 33554432000 4194304 4196468 140736986313536 140736986296080 140031321132791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
/proc/13339/statm: 2704735 9747 2957 1 0 2667149 0
[pid=13339/tid=13392] ppid=13336 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/13339/task/13392/stat : 13392 (java) R 13336 13339 9865 0 -1 4202560 3619 13091 0 0 11 1 5 2 20 0 15 0 407226847 11078594560 9747 33554432000 4194304 4196468 140736986313536 140031292962784 140031305213308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13393] ppid=13336 vsize=10818940 memory=365 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13393/stat : 13393 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226848 11078594560 9747 33554432000 4194304 4196468 140736986313536 140031325375248 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13394] ppid=13336 vsize=10818940 memory=140393576075281 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13394/stat : 13394 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226848 11078594560 9747 33554432000 4194304 4196468 140736986313536 140031240194960 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13395] ppid=13336 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13395/stat : 13395 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226848 11078594560 9747 33554432000 4194304 4196468 140736986313536 140031239142416 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13396] ppid=13336 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13396/stat : 13396 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226848 11078594560 9747 33554432000 4194304 4196468 140736986313536 140031238089872 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13397] ppid=13336 vsize=10818940 memory=140393573107328 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13397/stat : 13397 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226850 11078594560 9747 33554432000 4194304 4196468 140736986313536 140030593017840 140031321143938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13398] ppid=13336 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13398/stat : 13398 (java) S 13336 13339 9865 0 -1 1077944384 13 13091 0 0 0 0 5 2 20 0 15 0 407226850 11078594560 9747 33554432000 4194304 4196468 140736986313536 140030496465824 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13399] ppid=13336 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13399/stat : 13399 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226850 11078594560 9747 33554432000 4194304 4196468 140736986313536 140030362248176 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13400] ppid=13336 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13400/stat : 13400 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11078594560 9747 33554432000 4194304 4196468 140736986313536 140029853522128 140031321151387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13401] ppid=13336 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13339/task/13401/stat : 13401 (java) S 13336 13339 9865 0 -1 1077944384 572 13091 0 0 1 0 5 2 20 0 15 0 407226853 11078594560 9747 33554432000 4194304 4196468 140736986313536 140030591965680 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13402] ppid=13336 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13402/stat : 13402 (java) S 13336 13339 9865 0 -1 1077944384 61 13091 0 0 0 0 5 2 20 0 15 0 407226853 11078594560 9747 33554432000 4194304 4196468 140736986313536 140030590913136 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13403] ppid=13336 vsize=10818940 memory=140393573107328 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13403/stat : 13403 (java) S 13336 13339 9865 0 -1 1077944384 628 13091 0 0 3 0 5 2 20 0 15 0 407226853 11078594560 9747 33554432000 4194304 4196468 140736986313536 140030589860592 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13404] ppid=13336 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13404/stat : 13404 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11078594560 9747 33554432000 4194304 4196468 140736986313536 140029819964512 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13405] ppid=13336 vsize=10818940 memory=140393573107328 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13405/stat : 13405 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226854 11078594560 9747 33554432000 4194304 4196468 140736986313536 140030588807472 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38988 KiB
[startup+0.31069 s]*
/proc/loadavg: 1.81 1.53 1.46 3/229 13405
/proc/meminfo: memFree=21240664/32770624 swapFree=66939824/67108860
[pid=13339] ppid=13336 vsize=10820096 memory=48276 CPUtime=0.39 cores=0,2,4,6
/proc/13339/stat : 13339 (java) S 13336 13339 9865 0 -1 1077944320 10870 13091 0 0 29 3 5 2 20 0 15 0 407226838 11079778304 12069 33554432000 4194304 4196468 140736986313536 140736986296080 140031321132791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
/proc/13339/statm: 2705024 12069 3211 1 0 2667149 0
[pid=13339/tid=13392] ppid=13336 vsize=10820096 memory=8317482817917895235 CPUtime=0.28 cores=0,2,4,6
/proc/13339/task/13392/stat : 13392 (java) R 13336 13339 9865 0 -1 4202560 7362 13091 0 0 19 2 5 2 20 0 15 0 407226847 11079778304 12069 33554432000 4194304 4196468 140736986313536 140031292944336 140031321154717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13393] ppid=13336 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13393/stat : 13393 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226848 11079778304 12069 33554432000 4194304 4196468 140736986313536 140031325375248 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13394] ppid=13336 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13394/stat : 13394 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226848 11079778304 12069 33554432000 4194304 4196468 140736986313536 140031240194960 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13395] ppid=13336 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13395/stat : 13395 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226848 11079778304 12069 33554432000 4194304 4196468 140736986313536 140031239142416 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13396] ppid=13336 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13396/stat : 13396 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226848 11079778304 12069 33554432000 4194304 4196468 140736986313536 140031238089872 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13397] ppid=13336 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13397/stat : 13397 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226850 11079778304 12069 33554432000 4194304 4196468 140736986313536 140030593017840 140031321143938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13398] ppid=13336 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13398/stat : 13398 (java) S 13336 13339 9865 0 -1 1077944384 13 13091 0 0 0 0 5 2 20 0 15 0 407226850 11079778304 12069 33554432000 4194304 4196468 140736986313536 140030496465824 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13399] ppid=13336 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13399/stat : 13399 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226850 11079778304 12069 33554432000 4194304 4196468 140736986313536 140030362248176 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13400] ppid=13336 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13400/stat : 13400 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11079778304 12069 33554432000 4194304 4196468 140736986313536 140029853522128 140031321151387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13401] ppid=13336 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13339/task/13401/stat : 13401 (java) S 13336 13339 9865 0 -1 1077944384 574 13091 0 0 2 0 5 2 20 0 15 0 407226853 11079778304 12069 33554432000 4194304 4196468 140736986313536 140030591965680 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13402] ppid=13336 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13339/task/13402/stat : 13402 (java) S 13336 13339 9865 0 -1 1077944384 61 13091 0 0 1 0 5 2 20 0 15 0 407226853 11079778304 12069 33554432000 4194304 4196468 140736986313536 140030590913136 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13403] ppid=13336 vsize=10820096 memory=140393573107328 CPUtime=0.12 cores=0,2,4,6
/proc/13339/task/13403/stat : 13403 (java) S 13336 13339 9865 0 -1 1077944384 637 13091 0 0 5 0 5 2 20 0 15 0 407226853 11079778304 12069 33554432000 4194304 4196468 140736986313536 140030589860592 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13404] ppid=13336 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13404/stat : 13404 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11079778304 12069 33554432000 4194304 4196468 140736986313536 140029819964512 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13405] ppid=13336 vsize=10820096 memory=140393573107328 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13405/stat : 13405 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226854 11079778304 12069 33554432000 4194304 4196468 140736986313536 140030588807472 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 48276 KiB
[startup+0.700911 s]
/proc/loadavg: 1.81 1.53 1.46 5/229 13405
/proc/meminfo: memFree=21228844/32770624 swapFree=66939824/67108860
[pid=13339] ppid=13336 vsize=10824340 memory=80288 CPUtime=1.14 cores=0,2,4,6
/proc/13339/stat : 13339 (java) S 13336 13339 9865 0 -1 1077944320 14807 13091 0 0 101 6 5 2 20 0 15 0 407226838 11084124160 20072 33554432000 4194304 4196468 140736986313536 140736986296080 140031321132791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
/proc/13339/statm: 2706085 20072 3496 1 0 2668173 0
[pid=13339/tid=13392] ppid=13336 vsize=10824340 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13339/task/13392/stat : 13392 (java) R 13336 13339 9865 0 -1 4202560 10516 13091 0 0 55 4 5 2 20 0 15 0 407226847 11084124160 20072 33554432000 4194304 4196468 140736986313536 140031292949952 140031255182879 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13393] ppid=13336 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13393/stat : 13393 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226848 11084124160 20072 33554432000 4194304 4196468 140736986313536 140031325375248 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13394] ppid=13336 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13394/stat : 13394 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226848 11084124160 20072 33554432000 4194304 4196468 140736986313536 140031240194960 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13395] ppid=13336 vsize=10824340 memory=140393421353168 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13395/stat : 13395 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226848 11084124160 20072 33554432000 4194304 4196468 140736986313536 140031239142416 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13396] ppid=13336 vsize=10824340 memory=140393890972267 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13396/stat : 13396 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226848 11084124160 20072 33554432000 4194304 4196468 140736986313536 140031238089872 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13397] ppid=13336 vsize=10824340 memory=1064 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13397/stat : 13397 (java) S 13336 13339 9865 0 -1 1077944384 6 13091 0 0 0 0 5 2 20 0 15 0 407226850 11084124160 20072 33554432000 4194304 4196468 140736986313536 140030593017840 140031321143938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13398] ppid=13336 vsize=10824340 memory=7014751519650698577 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13398/stat : 13398 (java) S 13336 13339 9865 0 -1 1077944384 13 13091 0 0 0 0 5 2 20 0 15 0 407226850 11084124160 20072 33554432000 4194304 4196468 140736986313536 140030496465824 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13399] ppid=13336 vsize=10824340 memory=7885636184287302246 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13399/stat : 13399 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226850 11084124160 20072 33554432000 4194304 4196468 140736986313536 140030362248176 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13400] ppid=13336 vsize=10824340 memory=14056 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13400/stat : 13400 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11084124160 20072 33554432000 4194304 4196468 140736986313536 140029853522128 140031321151387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13401] ppid=13336 vsize=10824340 memory=2116 CPUtime=0.22 cores=0,2,4,6
/proc/13339/task/13401/stat : 13401 (java) S 13336 13339 9865 0 -1 1077944384 947 13091 0 0 15 0 5 2 20 0 15 0 407226853 11084124160 20072 33554432000 4194304 4196468 140736986313536 140030591965680 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13402] ppid=13336 vsize=10824340 memory=520 CPUtime=0.19 cores=0,2,4,6
/proc/13339/task/13402/stat : 13402 (java) S 13336 13339 9865 0 -1 1077944384 305 13091 0 0 12 0 5 2 20 0 15 0 407226853 11084124160 20072 33554432000 4194304 4196468 140736986313536 140030590913136 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13403] ppid=13336 vsize=10824340 memory=1560 CPUtime=0.24 cores=0,2,4,6
/proc/13339/task/13403/stat : 13403 (java) S 13336 13339 9865 0 -1 1077944384 799 13091 0 0 17 0 5 2 20 0 15 0 407226853 11084124160 20072 33554432000 4194304 4196468 140736986313536 140030589860592 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13404] ppid=13336 vsize=10824340 memory=924 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13404/stat : 13404 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11084124160 20072 33554432000 4194304 4196468 140736986313536 140029819964512 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13405] ppid=13336 vsize=10824340 memory=3688 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13405/stat : 13405 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226854 11084124160 20072 33554432000 4194304 4196468 140736986313536 140030588807472 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80288 KiB
[startup+1.50076 s]
/proc/loadavg: 1.91 1.55 1.47 3/229 13405
/proc/meminfo: memFree=21185296/32770624 swapFree=66939824/67108860
[pid=13339] ppid=13336 vsize=10834656 memory=175496 CPUtime=2.6 cores=0,2,4,6
/proc/13339/stat : 13339 (java) S 13336 13339 9865 0 -1 1077944320 22969 13091 0 0 242 11 5 2 20 0 15 0 407226838 11094687744 43874 33554432000 4194304 4196468 140736986313536 140736986296080 140031321132791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
/proc/13339/statm: 2708664 43874 3573 1 0 2670733 0
[pid=13339/tid=13392] ppid=13336 vsize=10834656 memory=171724 CPUtime=1.43 cores=0,2,4,6
/proc/13339/task/13392/stat : 13392 (java) R 13336 13339 9865 0 -1 4202560 15391 13091 0 0 130 6 5 2 20 0 15 0 407226847 11094687744 43874 33554432000 4194304 4196468 140736986313536 140031292956960 140031306827923 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13393] ppid=13336 vsize=10834656 memory=6944656592455359580 CPUtime=0.08 cores=0,2,4,6
/proc/13339/task/13393/stat : 13393 (java) S 13336 13339 9865 0 -1 1077944384 69 13091 0 0 1 0 5 2 20 0 15 0 407226848 11094687744 43874 33554432000 4194304 4196468 140736986313536 140031325375248 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13394] ppid=13336 vsize=10834656 memory=7976406965554101975 CPUtime=0.08 cores=0,2,4,6
/proc/13339/task/13394/stat : 13394 (java) S 13336 13339 9865 0 -1 1077944384 309 13091 0 0 1 0 5 2 20 0 15 0 407226848 11094687744 43874 33554432000 4194304 4196468 140736986313536 140031240194960 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13395] ppid=13336 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13339/task/13395/stat : 13395 (java) S 13336 13339 9865 0 -1 1077944384 52 13091 0 0 1 0 5 2 20 0 15 0 407226848 11094687744 43874 33554432000 4194304 4196468 140736986313536 140031239142416 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13396] ppid=13336 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13339/task/13396/stat : 13396 (java) S 13336 13339 9865 0 -1 1077944384 38 13091 0 0 1 0 5 2 20 0 15 0 407226848 11094687744 43874 33554432000 4194304 4196468 140736986313536 140031238089872 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13397] ppid=13336 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13339/task/13397/stat : 13397 (java) S 13336 13339 9865 0 -1 1077944384 115 13091 0 0 1 0 5 2 20 0 15 0 407226850 11094687744 43874 33554432000 4194304 4196468 140736986313536 140030593017840 140031321143938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13398] ppid=13336 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13398/stat : 13398 (java) S 13336 13339 9865 0 -1 1077944384 13 13091 0 0 0 0 5 2 20 0 15 0 407226850 11094687744 43874 33554432000 4194304 4196468 140736986313536 140030496465888 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13399] ppid=13336 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13399/stat : 13399 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226850 11094687744 43874 33554432000 4194304 4196468 140736986313536 140030362248192 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13400] ppid=13336 vsize=10834656 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13400/stat : 13400 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11094687744 43874 33554432000 4194304 4196468 140736986313536 140029853522128 140031321151387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13401] ppid=13336 vsize=10834656 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/13339/task/13401/stat : 13401 (java) S 13336 13339 9865 0 -1 1077944384 1570 13091 0 0 31 0 5 2 20 0 15 0 407226853 11094687744 43874 33554432000 4194304 4196468 140736986313536 140030591965680 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13402] ppid=13336 vsize=10834656 memory=4580 CPUtime=0.39 cores=0,2,4,6
/proc/13339/task/13402/stat : 13402 (java) S 13336 13339 9865 0 -1 1077944384 1411 13091 0 0 32 0 5 2 20 0 15 0 407226853 11094687744 43874 33554432000 4194304 4196468 140736986313536 140030590913136 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13403] ppid=13336 vsize=10834656 memory=7517476922023830123 CPUtime=0.48 cores=0,2,4,6
/proc/13339/task/13403/stat : 13403 (java) R 13336 13339 9865 0 -1 4202560 1786 13091 0 0 40 1 5 2 20 0 15 0 407226853 11094687744 43874 33554432000 4194304 4196468 140736986313536 140030589860592 140031300605413 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13404] ppid=13336 vsize=10834656 memory=7597132098393106257 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13404/stat : 13404 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11094687744 43874 33554432000 4194304 4196468 140736986313536 140029819964512 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13405] ppid=13336 vsize=10834656 memory=7446545215058241379 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13405/stat : 13405 (java) S 13336 13339 9865 0 -1 1077944384 1 13091 0 0 0 0 5 2 20 0 15 0 407226854 11094687744 43874 33554432000 4194304 4196468 140736986313536 140030588807472 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
Current children cumulated CPU time: 2.6 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/13339/task/13392/stat : 13392 (java) R 13336 13339 9865 0 -1 4202560 21496 13091 0 0 283 8 5 2 20 0 15 0 407226847 11105193984 65755 33554432000 4194304 4196468 140736986313536 140031292968320 140031300210264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13393] ppid=13336 vsize=10844916 memory=1 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13393/stat : 13393 (java) S 13336 13339 9865 0 -1 1077944384 88 13091 0 0 3 0 5 2 20 0 15 0 407226848 11105193984 65755 33554432000 4194304 4196468 140736986313536 140031325375248 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13394] ppid=13336 vsize=10844916 memory=1 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13394/stat : 13394 (java) S 13336 13339 9865 0 -1 1077944384 330 13091 0 0 3 0 5 2 20 0 15 0 407226848 11105193984 65755 33554432000 4194304 4196468 140736986313536 140031240194960 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13395] ppid=13336 vsize=10844916 memory=1 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13395/stat : 13395 (java) S 13336 13339 9865 0 -1 1077944384 66 13091 0 0 3 0 5 2 20 0 15 0 407226848 11105193984 65755 33554432000 4194304 4196468 140736986313536 140031239142416 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13396] ppid=13336 vsize=10844916 memory=1 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13396/stat : 13396 (java) S 13336 13339 9865 0 -1 1077944384 48 13091 0 0 3 0 5 2 20 0 15 0 407226848 11105193984 65755 33554432000 4194304 4196468 140736986313536 140031238089872 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13397] ppid=13336 vsize=10844916 memory=2 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13397/stat : 13397 (java) S 13336 13339 9865 0 -1 1077944384 2534 13091 0 0 3 0 5 2 20 0 15 0 407226850 11105193984 65755 33554432000 4194304 4196468 140736986313536 140030593017840 140031321143938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13398] ppid=13336 vsize=10844916 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13398/stat : 13398 (java) S 13336 13339 9865 0 -1 1077944384 13 13091 0 0 0 0 5 2 20 0 15 0 407226850 11105193984 65755 33554432000 4194304 4196468 140736986313536 140030496465888 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13399] ppid=13336 vsize=10844916 memory=180972 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13399/stat : 13399 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226850 11105193984 65755 33554432000 4194304 4196468 140736986313536 140030362248192 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13400] ppid=13336 vsize=10844916 memory=4206468019014099040 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13400/stat : 13400 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11105193984 65755 33554432000 4194304 4196468 140736986313536 140029853522128 140031321151387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13401] ppid=13336 vsize=10844916 memory=-7531822216213012384 CPUtime=1.33 cores=0,2,4,6
/proc/13339/task/13401/stat : 13401 (java) R 13336 13339 9865 0 -1 4202560 4179 13091 0 0 125 1 5 2 20 0 15 0 407226853 11105193984 65755 33554432000 4194304 4196468 140736986313536 140030591963696 140031305895045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13402] ppid=13336 vsize=10844916 memory=6944656592452807323 CPUtime=1.27 cores=0,2,4,6
/proc/13339/task/13402/stat : 13402 (java) R 13336 13339 9865 0 -1 4202560 4181 13091 0 0 119 1 5 2 20 0 15 0 407226853 11105193984 65755 33554432000 4194304 4196468 140736986313536 140030590893160 140031307147100 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13403] ppid=13336 vsize=10844916 memory=7165052628913121896 CPUtime=1.32 cores=0,2,4,6
/proc/13339/task/13403/stat : 13403 (java) R 13336 13339 9865 0 -1 1077944384 6273 13091 0 0 123 2 5 2 20 0 15 0 407226853 11105193984 65755 33554432000 4194304 4196468 140736986313536 140030589855952 140031321142997 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13404] ppid=13336 vsize=10844916 memory=7813865652928602452 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13404/stat : 13404 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11105193984 65755 33554432000 4194304 4196468 140736986313536 140029819964512 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13405] ppid=13336 vsize=10844916 memory=7451021344040839777 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13405/stat : 13405 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226854 11105193984 65755 33554432000 4194304 4196468 140736986313536 140030588807472 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
Current children cumulated CPU time: 6.95 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 263020 KiB
[startup+4.37239 s]
# the end of solver process 13339 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.2393 s, system=0.262435 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20085 s]
/proc/loadavg: 1.91 1.55 1.47 5/229 13405
/proc/meminfo: memFree=21035032/32770624 swapFree=66939824/67108860
[pid=13339] ppid=13336 vsize=10846964 memory=267004 CPUtime=7.16 cores=0,2,4,6
/proc/13339/stat : 13339 (java) S 13336 13339 9865 0 -1 1077944320 44756 13091 0 0 692 17 5 2 20 0 15 0 407226838 11107291136 66750 33554432000 4194304 4196468 140736986313536 140736986296080 140031321132791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
/proc/13339/statm: 2711741 66751 3600 1 0 2673805 0
[pid=13339/tid=13392] ppid=13336 vsize=10846964 memory=-6876588627878687573 CPUtime=3.07 cores=0,2,4,6
/proc/13339/task/13392/stat : 13392 (java) R 13336 13339 9865 0 -1 4202560 23658 13091 0 0 292 8 5 2 20 0 15 0 407226847 11107291136 66751 33554432000 4194304 4196468 140736986313536 140031292951680 140031306826289 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13393] ppid=13336 vsize=10846964 memory=-7812736537705029536 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13393/stat : 13393 (java) S 13336 13339 9865 0 -1 1077944384 88 13091 0 0 3 0 5 2 20 0 15 0 407226848 11107291136 66751 33554432000 4194304 4196468 140736986313536 140031325375248 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13394] ppid=13336 vsize=10846964 memory=7681407940103534239 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13394/stat : 13394 (java) S 13336 13339 9865 0 -1 1077944384 330 13091 0 0 3 0 5 2 20 0 15 0 407226848 11107291136 66752 33554432000 4194304 4196468 140736986313536 140031240194960 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13395] ppid=13336 vsize=10846964 memory=6655300316396806240 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13395/stat : 13395 (java) S 13336 13339 9865 0 -1 1077944384 66 13091 0 0 3 0 5 2 20 0 15 0 407226848 11107291136 66752 33554432000 4194304 4196468 140736986313536 140031239142416 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13396] ppid=13336 vsize=10846964 memory=6656426216303648864 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13396/stat : 13396 (java) S 13336 13339 9865 0 -1 1077944384 48 13091 0 0 3 0 5 2 20 0 15 0 407226848 11107291136 66752 33554432000 4194304 4196468 140736986313536 140031238089872 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13397] ppid=13336 vsize=10846964 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13397/stat : 13397 (java) S 13336 13339 9865 0 -1 1077944384 2534 13091 0 0 3 0 5 2 20 0 15 0 407226850 11107291136 66752 33554432000 4194304 4196468 140736986313536 140030593017840 140031321143938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13398] ppid=13336 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13398/stat : 13398 (java) S 13336 13339 9865 0 -1 1077944384 13 13091 0 0 0 0 5 2 20 0 15 0 407226850 11107291136 66752 33554432000 4194304 4196468 140736986313536 140030496465888 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13399] ppid=13336 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13399/stat : 13399 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226850 11107291136 66752 33554432000 4194304 4196468 140736986313536 140030362248192 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13400] ppid=13336 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13400/stat : 13400 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11107291136 66752 33554432000 4194304 4196468 140736986313536 140029853522128 140031321151387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13401] ppid=13336 vsize=10846964 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/13339/task/13401/stat : 13401 (java) S 13336 13339 9865 0 -1 1077944384 4361 13091 0 0 129 1 5 2 20 0 15 0 407226853 11107291136 66752 33554432000 4194304 4196468 140736986313536 140030591965680 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13402] ppid=13336 vsize=10846964 memory=2241 CPUtime=1.35 cores=0,2,4,6
/proc/13339/task/13402/stat : 13402 (java) R 13336 13339 9865 0 -1 4202560 5041 13091 0 0 127 1 5 2 20 0 15 0 407226853 11107291136 66752 33554432000 4194304 4196468 140736986313536 140030590894152 140031313422173 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13403] ppid=13336 vsize=10846964 memory=2244 CPUtime=1.33 cores=0,2,4,6
/proc/13339/task/13403/stat : 13403 (java) S 13336 13339 9865 0 -1 1077944384 6458 13091 0 0 124 2 5 2 20 0 15 0 407226853 11107291136 66752 33554432000 4194304 4196468 140736986313536 140030589860592 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13404] ppid=13336 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13404/stat : 13404 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11107291136 66752 33554432000 4194304 4196468 140736986313536 140029819964512 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13405] ppid=13336 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13405/stat : 13405 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226854 11107291136 66752 33554432000 4194304 4196468 140736986313536 140030588807472 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
Current children cumulated CPU time: 7.16 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 267004 KiB
[startup+4.00092 s]*
/proc/loadavg: 1.91 1.55 1.47 5/229 13405
/proc/meminfo: memFree=20986364/32770624 swapFree=66939824/67108860
[pid=13339] ppid=13336 vsize=10849012 memory=302564 CPUtime=9.84 cores=0,2,4,6
/proc/13339/stat : 13339 (java) S 13336 13339 9865 0 -1 1077944320 56101 13091 0 0 957 20 5 2 20 0 15 0 407226838 11109388288 75641 33554432000 4194304 4196468 140736986313536 140736986296080 140031321132791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
/proc/13339/statm: 2712253 75641 3606 1 0 2674317 0
[pid=13339/tid=13392] ppid=13336 vsize=10849012 memory=8317482817917895235 CPUtime=3.87 cores=0,2,4,6
/proc/13339/task/13392/stat : 13392 (java) R 13336 13339 9865 0 -1 4202560 25153 13091 0 0 371 9 5 2 20 0 15 0 407226847 11109388288 75652 33554432000 4194304 4196468 140736986313536 140031292961664 140030931498423 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13393] ppid=13336 vsize=10849012 memory=4872558044660077418 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13393/stat : 13393 (java) S 13336 13339 9865 0 -1 1077944384 88 13091 0 0 3 0 5 2 20 0 15 0 407226848 11109388288 75652 33554432000 4194304 4196468 140736986313536 140031325375248 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13394] ppid=13336 vsize=10849012 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13394/stat : 13394 (java) S 13336 13339 9865 0 -1 1077944384 330 13091 0 0 3 0 5 2 20 0 15 0 407226848 11109388288 75652 33554432000 4194304 4196468 140736986313536 140031240194960 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13395] ppid=13336 vsize=10849012 memory=-3040564339240289162 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13395/stat : 13395 (java) S 13336 13339 9865 0 -1 1077944384 66 13091 0 0 3 0 5 2 20 0 15 0 407226848 11109388288 75652 33554432000 4194304 4196468 140736986313536 140031239142416 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13396] ppid=13336 vsize=10849012 memory=6943526294502006880 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13396/stat : 13396 (java) S 13336 13339 9865 0 -1 1077944384 48 13091 0 0 3 0 5 2 20 0 15 0 407226848 11109388288 75652 33554432000 4194304 4196468 140736986313536 140031238089872 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13397] ppid=13336 vsize=10849012 memory=6944656592387989600 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13397/stat : 13397 (java) S 13336 13339 9865 0 -1 1077944384 3448 13091 0 0 3 0 5 2 20 0 15 0 407226850 11109388288 75652 33554432000 4194304 4196468 140736986313536 140030593017840 140031321143938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13398] ppid=13336 vsize=10849012 memory=-7161732098442470212 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13398/stat : 13398 (java) S 13336 13339 9865 0 -1 1077944384 13 13091 0 0 0 0 5 2 20 0 15 0 407226850 11109388288 75652 33554432000 4194304 4196468 140736986313536 140030496465888 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13399] ppid=13336 vsize=10849012 memory=7445129005055890800 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13399/stat : 13399 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226850 11109388288 75652 33554432000 4194304 4196468 140736986313536 140030362248192 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13400] ppid=13336 vsize=10849012 memory=3053811428158493008 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13400/stat : 13400 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11109388288 75652 33554432000 4194304 4196468 140736986313536 140029853522128 140031321151387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13401] ppid=13336 vsize=10849012 memory=6940425714476859492 CPUtime=2.03 cores=0,2,4,6
/proc/13339/task/13401/stat : 13401 (java) R 13336 13339 9865 0 -1 4202560 4814 13091 0 0 195 1 5 2 20 0 15 0 407226853 11109388288 75652 33554432000 4194304 4196468 140736986313536 140030591950880 140031299299272 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13402] ppid=13336 vsize=10849012 memory=3054355819557830758 CPUtime=2.16 cores=0,2,4,6
/proc/13339/task/13402/stat : 13402 (java) R 13336 13339 9865 0 -1 4202560 10557 13091 0 0 207 2 5 2 20 0 15 0 407226853 11109388288 75652 33554432000 4194304 4196468 140736986313536 140030590902992 140031302676895 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13403] ppid=13336 vsize=10849012 memory=3467841327271012672 CPUtime=1.74 cores=0,2,4,6
/proc/13339/task/13403/stat : 13403 (java) R 13336 13339 9865 0 -1 1077944384 9366 13091 0 0 163 4 5 2 20 0 15 0 407226853 11109388288 75652 33554432000 4194304 4196468 140736986313536 140030589860592 140031321143938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13404] ppid=13336 vsize=10849012 memory=-9001734013606258791 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13404/stat : 13404 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11109388288 75652 33554432000 4194304 4196468 140736986313536 140029819964512 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13405] ppid=13336 vsize=10849012 memory=-7384994778349281184 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13405/stat : 13405 (java) S 13336 13339 9865 0 -1 1077944384 6 13091 0 0 0 0 5 2 20 0 15 0 407226854 11109388288 75652 33554432000 4194304 4196468 140736986313536 140030588807472 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
Current children cumulated CPU time: 9.84 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 302564 KiB
[startup+4.20091 s]
/proc/loadavg: 1.91 1.55 1.47 5/229 13405
/proc/meminfo: memFree=20986364/32770624 swapFree=66939824/67108860
[pid=13339] ppid=13336 vsize=10849012 memory=329916 CPUtime=10.44 cores=0,2,4,6
/proc/13339/stat : 13339 (java) S 13336 13339 9865 0 -1 1077944320 56593 13091 0 0 1015 22 5 2 20 0 15 0 407226838 11109388288 82479 33554432000 4194304 4196468 140736986313536 140736986296080 140031321132791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
/proc/13339/statm: 2712253 82479 3615 1 0 2674317 0
[pid=13339/tid=13392] ppid=13336 vsize=10849012 memory=10788 CPUtime=4.06 cores=0,2,4,6
/proc/13339/task/13392/stat : 13392 (java) R 13336 13339 9865 0 -1 4202560 25181 13091 0 0 389 10 5 2 20 0 15 0 407226847 11109388288 82479 33554432000 4194304 4196468 140736986313536 140031292961376 140030930903200 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13393] ppid=13336 vsize=10849012 memory=2416953 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13393/stat : 13393 (java) S 13336 13339 9865 0 -1 1077944384 91 13091 0 0 3 0 5 2 20 0 15 0 407226848 11109388288 82479 33554432000 4194304 4196468 140736986313536 140031325375248 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13394] ppid=13336 vsize=10849012 memory=146 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13394/stat : 13394 (java) S 13336 13339 9865 0 -1 1077944384 530 13091 0 0 3 0 5 2 20 0 15 0 407226848 11109388288 82479 33554432000 4194304 4196468 140736986313536 140031240194960 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13395] ppid=13336 vsize=10849012 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13395/stat : 13395 (java) S 13336 13339 9865 0 -1 1077944384 81 13091 0 0 3 0 5 2 20 0 15 0 407226848 11109388288 82479 33554432000 4194304 4196468 140736986313536 140031239142416 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13396] ppid=13336 vsize=10849012 memory=6298073420687757921 CPUtime=0.1 cores=0,2,4,6
/proc/13339/task/13396/stat : 13396 (java) S 13336 13339 9865 0 -1 1077944384 65 13091 0 0 3 0 5 2 20 0 15 0 407226848 11109388288 82479 33554432000 4194304 4196468 140736986313536 140031238089872 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13397] ppid=13336 vsize=10849012 memory=7300728970739542608 CPUtime=0.11 cores=0,2,4,6
/proc/13339/task/13397/stat : 13397 (java) S 13336 13339 9865 0 -1 1077944384 3485 13091 0 0 4 0 5 2 20 0 15 0 407226850 11109388288 82479 33554432000 4194304 4196468 140736986313536 140030593017840 140031321143938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13398] ppid=13336 vsize=10849012 memory=4639086193136390224 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13398/stat : 13398 (java) S 13336 13339 9865 0 -1 1077944384 14 13091 0 0 0 0 5 2 20 0 15 0 407226850 11109388288 82479 33554432000 4194304 4196468 140736986313536 140030496465952 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13399] ppid=13336 vsize=10849012 memory=7100839861566347365 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13399/stat : 13399 (java) S 13336 13339 9865 0 -1 1077944384 2 13091 0 0 0 0 5 2 20 0 15 0 407226850 11109388288 82479 33554432000 4194304 4196468 140736986313536 140030362248192 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13400] ppid=13336 vsize=10849012 memory=-5345911735740496598 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13400/stat : 13400 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11109388288 82479 33554432000 4194304 4196468 140736986313536 140029853522128 140031321151387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13401] ppid=13336 vsize=10849012 memory=6944656592455360569 CPUtime=2.21 cores=0,2,4,6
/proc/13339/task/13401/stat : 13401 (java) R 13336 13339 9865 0 -1 4202560 4878 13091 0 0 212 2 5 2 20 0 15 0 407226853 11109388288 82479 33554432000 4194304 4196468 140736986313536 140030591951704 140031305797127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13402] ppid=13336 vsize=10849012 memory=-7533511066075829596 CPUtime=2.34 cores=0,2,4,6
/proc/13339/task/13402/stat : 13402 (java) R 13336 13339 9865 0 -1 4202560 10603 13091 0 0 225 2 5 2 20 0 15 0 407226853 11109388288 82479 33554432000 4194304 4196468 140736986313536 140030590899984 140031302676944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13403] ppid=13336 vsize=10849012 memory=-7595718148000617571 CPUtime=1.78 cores=0,2,4,6
/proc/13339/task/13403/stat : 13403 (java) S 13336 13339 9865 0 -1 1077944384 9444 13091 0 0 167 4 5 2 20 0 15 0 407226853 11109388288 82479 33554432000 4194304 4196468 140736986313536 140030589860592 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13404] ppid=13336 vsize=10849012 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13404/stat : 13404 (java) S 13336 13339 9865 0 -1 1077944384 3 13091 0 0 0 0 5 2 20 0 15 0 407226853 11109388288 82479 33554432000 4194304 4196468 140736986313536 140029819964512 140031321142997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
[pid=13339/tid=13405] ppid=13336 vsize=10849012 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/13339/task/13405/stat : 13405 (java) S 13336 13339 9865 0 -1 1077944384 7 13091 0 0 0 0 5 2 20 0 15 0 407226854 11109388288 82479 33554432000 4194304 4196468 140736986313536 140030588807472 140031321143938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34918400 140736986315511 140736986318021 140736986318021 140736986320847 0
Current children cumulated CPU time: 10.44 s
Current children cumulated vsize: 10849012 KiB
Current children cumulated memory: 329916 KiB
[startup+4.30072 s]*
/proc/loadavg: 1.91 1.55 1.47 3/216 13406
/proc/meminfo: memFree=21277124/32770624 swapFree=66939824/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.37244
CPU time (s): 10.5018
CPU user time (s): 10.2393
CPU system time (s): 0.262435
CPU usage (%): 240.18
Max. virtual memory (cumulated for all children) (KiB): 10851828
Max. memory (cumulated for all children) (KiB): 329916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2393
system time used= 0.262435
maximum resident set size= 331976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69772
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6324
involuntary context switches= 53
# summary of solver processes directly reported to runsolver:
# pid: 13339
# total CPU time (s): 10.5018
# total CPU user time (s): 10.2393
# total CPU system time (s): 0.262435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.051328 second user time and 0.085896 second system time
The end