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 (10888 MiB free)
memory of node 1: 16384 MiB (12134 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284309-1503212475/watcher-4284309-1503212475 -o /tmp/evaluation-result-4284309-1503212475/solver-4284309-1503212475 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1859297536 HOME/instance-4284309-1503212475.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=5768, runsolver pid=5765
[startup+0.10014 s]*
/proc/loadavg: 1.70 1.81 1.79 3/217 5784
/proc/meminfo: memFree=23558164/32770624 swapFree=67108860/67108860
[pid=5768] ppid=5765 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5768/stat : 5768 (xcsp3-exec) S 5765 5768 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335182 9740288 346 33554432000 4194304 5098028 140727626285408 140727626283512 140128735302268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24416256 140727626290292 140727626290496 140727626290496 140727626293227 0
/proc/5768/statm: 2378 346 289 221 0 87 0
[pid=5770] ppid=5768 vsize=13978596 memory=28828 CPUtime=0.12 cores=1,3,5,7
/proc/5770/stat : 5770 (java) S 5768 5768 3809 0 -1 1077944320 5566 0 0 0 11 1 0 0 20 0 15 0 154335183 14314082304 7207 33554432000 4194304 4196468 140725928371168 140725928353712 139933657829111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
/proc/5770/statm: 3494649 7207 2872 1 0 3482966 0
[pid=5770/tid=5771] ppid=5768 vsize=13978596 memory=7971836018889560923 CPUtime=0.09 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (java) R 5768 5768 3809 0 -1 4202560 3577 0 0 0 8 1 0 0 20 0 15 0 154335183 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933662061440 139933657841046 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5772] ppid=5768 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335184 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933595429776 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5773] ppid=5768 vsize=13978596 memory=140657581168256 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335184 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933594376976 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5774] ppid=5768 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5774/stat : 5774 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335184 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933593324688 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5775] ppid=5768 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5775/stat : 5775 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335184 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933249969168 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5776] ppid=5768 vsize=13978596 memory=140657581168256 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5776/stat : 5776 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335185 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933199247472 139933657840258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5777] ppid=5768 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5777/stat : 5777 (java) S 5768 5768 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154335185 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933198193440 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5778] ppid=5768 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5778/stat : 5778 (java) S 5768 5768 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154335186 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933197141104 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5779] ppid=5768 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5779/stat : 5779 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933196089424 139933657847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5780] ppid=5768 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5780/stat : 5780 (java) S 5768 5768 3809 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 154335188 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933195037296 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5781] ppid=5768 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5781/stat : 5781 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933193984496 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5782] ppid=5768 vsize=13978596 memory=140657581168256 CPUtime=0.01 cores=1,3,5,7
/proc/5770/task/5782/stat : 5782 (java) R 5768 5768 3809 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 15 0 154335188 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933192932208 139933642359374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5783] ppid=5768 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5783/stat : 5783 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933191879648 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5784] ppid=5768 vsize=13978596 memory=140657581168256 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5784/stat : 5784 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335188 14314082304 7271 33554432000 4194304 4196468 140725928371168 139933190826416 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30212 KiB
[startup+0.21178 s]*
/proc/loadavg: 1.70 1.81 1.79 3/217 5784
/proc/meminfo: memFree=23547248/32770624 swapFree=67108860/67108860
[pid=5768] ppid=5765 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5768/stat : 5768 (xcsp3-exec) S 5765 5768 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335182 9740288 346 33554432000 4194304 5098028 140727626285408 140727626283512 140128735302268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24416256 140727626290292 140727626290496 140727626290496 140727626293227 0
/proc/5768/statm: 2378 346 289 221 0 87 0
[pid=5770] ppid=5768 vsize=13982852 memory=40540 CPUtime=0.33 cores=1,3,5,7
/proc/5770/stat : 5770 (java) S 5768 5768 3809 0 -1 1077944320 8263 0 0 0 31 2 0 0 20 0 15 0 154335183 14318440448 10135 33554432000 4194304 4196468 140725928371168 140725928353712 139933657829111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
/proc/5770/statm: 3495713 10135 3087 1 0 3482966 0
[pid=5770/tid=5771] ppid=5768 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (java) R 5768 5768 3809 0 -1 4202560 5434 0 0 0 18 2 0 0 20 0 15 0 154335183 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933662051136 139933641909598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5772] ppid=5768 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335184 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933595429776 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5773] ppid=5768 vsize=13982852 memory=140657581702109 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335184 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933594376976 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5774] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5774/stat : 5774 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335184 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933593324688 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5775] ppid=5768 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5775/stat : 5775 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335184 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933249969168 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5776] ppid=5768 vsize=13982852 memory=140657581168256 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5776/stat : 5776 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335185 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933199247472 139933657840258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5777] ppid=5768 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5777/stat : 5777 (java) S 5768 5768 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154335185 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933198193440 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5778] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5778/stat : 5778 (java) S 5768 5768 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154335186 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933197141104 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5779] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5779/stat : 5779 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933196089424 139933657847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5780] ppid=5768 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5770/task/5780/stat : 5780 (java) S 5768 5768 3809 0 -1 1077944384 534 0 0 0 2 0 0 0 20 0 15 0 154335188 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933195037296 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5781] ppid=5768 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/5770/task/5781/stat : 5781 (java) S 5768 5768 3809 0 -1 1077944384 274 0 0 0 3 0 0 0 20 0 15 0 154335188 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933193984496 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5782] ppid=5768 vsize=13982852 memory=140657581168256 CPUtime=0.08 cores=1,3,5,7
/proc/5770/task/5782/stat : 5782 (java) S 5768 5768 3809 0 -1 1077944384 722 0 0 0 8 0 0 0 20 0 15 0 154335188 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933192932208 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5783] ppid=5768 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5783/stat : 5783 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933191879648 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5784] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5784/stat : 5784 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335188 14318440448 10135 33554432000 4194304 4196468 140725928371168 139933190826416 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41924 KiB
[startup+0.310865 s]*
/proc/loadavg: 1.70 1.81 1.79 4/217 5784
/proc/meminfo: memFree=23540424/32770624 swapFree=67108860/67108860
[pid=5768] ppid=5765 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5768/stat : 5768 (xcsp3-exec) S 5765 5768 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335182 9740288 346 33554432000 4194304 5098028 140727626285408 140727626283512 140128735302268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24416256 140727626290292 140727626290496 140727626290496 140727626293227 0
/proc/5768/statm: 2378 346 289 221 0 87 0
[pid=5770] ppid=5768 vsize=13982852 memory=47396 CPUtime=0.52 cores=1,3,5,7
/proc/5770/stat : 5770 (java) S 5768 5768 3809 0 -1 1077944320 8973 0 0 0 49 3 0 0 20 0 15 0 154335183 14318440448 11849 33554432000 4194304 4196468 140725928371168 140725928353712 139933657829111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
/proc/5770/statm: 3495713 11849 3112 1 0 3482966 0
[pid=5770/tid=5771] ppid=5768 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (java) R 5768 5768 3809 0 -1 4202560 5958 0 0 0 27 2 0 0 20 0 15 0 154335183 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933662065616 139933657851037 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5772] ppid=5768 vsize=13982852 memory=9287 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335184 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933595429776 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5773] ppid=5768 vsize=13982852 memory=716024 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335184 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933594376976 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5774] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5774/stat : 5774 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335184 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933593324688 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5775] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5775/stat : 5775 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335184 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933249969168 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5776] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5776/stat : 5776 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335185 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933199247472 139933657840258 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5777] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5777/stat : 5777 (java) S 5768 5768 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154335185 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933198193440 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5778] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5778/stat : 5778 (java) S 5768 5768 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154335186 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933197141104 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5779] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5779/stat : 5779 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933196089424 139933657847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5780] ppid=5768 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5770/task/5780/stat : 5780 (java) R 5768 5768 3809 0 -1 1077944384 606 0 0 0 4 0 0 0 20 0 15 0 154335188 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933195037296 139933657840258 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5781] ppid=5768 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5770/task/5781/stat : 5781 (java) R 5768 5768 3809 0 -1 4202560 278 0 0 0 4 0 0 0 20 0 15 0 154335188 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933193984496 139933637483569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5782] ppid=5768 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/5770/task/5782/stat : 5782 (java) R 5768 5768 3809 0 -1 4202560 832 0 0 0 13 0 0 0 20 0 15 0 154335188 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933192927968 139933641909598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5783] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5783/stat : 5783 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933191879648 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5784] ppid=5768 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5784/stat : 5784 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335188 14318440448 11849 33554432000 4194304 4196468 140725928371168 139933190826416 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48780 KiB
[startup+0.700934 s]
/proc/loadavg: 1.70 1.81 1.79 7/217 5784
/proc/meminfo: memFree=23509900/32770624 swapFree=67108860/67108860
[pid=5768] ppid=5765 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5768/stat : 5768 (xcsp3-exec) S 5765 5768 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335182 9740288 346 33554432000 4194304 5098028 140727626285408 140727626283512 140128735302268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24416256 140727626290292 140727626290496 140727626290496 140727626293227 0
/proc/5768/statm: 2378 346 289 221 0 87 0
[pid=5770] ppid=5768 vsize=13982928 memory=120840 CPUtime=1.75 cores=1,3,5,7
/proc/5770/stat : 5770 (java) S 5768 5768 3809 0 -1 1077944320 12020 0 0 0 171 4 0 0 20 0 15 0 154335183 14318518272 30210 33554432000 4194304 4196468 140725928371168 140725928353712 139933657829111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
/proc/5770/statm: 3495732 30210 3200 1 0 3482966 0
[pid=5770/tid=5771] ppid=5768 vsize=13982928 memory=4048 CPUtime=0.68 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (java) R 5768 5768 3809 0 -1 4202560 6261 0 0 0 65 3 0 0 20 0 15 0 154335183 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933662062688 139933275812052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5772] ppid=5768 vsize=13982928 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335184 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933595429776 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5773] ppid=5768 vsize=13982928 memory=644 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335184 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933594376976 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5774] ppid=5768 vsize=13982928 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5774/stat : 5774 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335184 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933593324688 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5775] ppid=5768 vsize=13982928 memory=952 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5775/stat : 5775 (java) S 5768 5768 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154335184 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933249969168 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5776] ppid=5768 vsize=13982928 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5776/stat : 5776 (java) S 5768 5768 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154335185 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933199247472 139933657840258 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5777] ppid=5768 vsize=13982928 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5777/stat : 5777 (java) S 5768 5768 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154335185 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933198193440 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5778] ppid=5768 vsize=13982928 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5778/stat : 5778 (java) S 5768 5768 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154335186 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933197141104 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5779] ppid=5768 vsize=13982928 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5779/stat : 5779 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933196089424 139933657847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5780] ppid=5768 vsize=13982928 memory=4128 CPUtime=0.37 cores=1,3,5,7
/proc/5770/task/5780/stat : 5780 (java) R 5768 5768 3809 0 -1 4202560 1637 0 0 0 37 0 0 0 20 0 15 0 154335188 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933195023368 139933639347010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5781] ppid=5768 vsize=13982928 memory=2196 CPUtime=0.39 cores=1,3,5,7
/proc/5770/task/5781/stat : 5781 (java) R 5768 5768 3809 0 -1 4202560 1184 0 0 0 39 0 0 0 20 0 15 0 154335188 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933193984496 139933639350293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5782] ppid=5768 vsize=13982928 memory=8040 CPUtime=0.29 cores=1,3,5,7
/proc/5770/task/5782/stat : 5782 (java) S 5768 5768 3809 0 -1 1077944384 1631 0 0 0 29 0 0 0 20 0 15 0 154335188 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933192932208 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5783] ppid=5768 vsize=13982928 memory=840 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5783/stat : 5783 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933191879648 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5784] ppid=5768 vsize=13982928 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5784/stat : 5784 (java) S 5768 5768 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154335188 14318518272 30210 33554432000 4194304 4196468 140725928371168 139933190826416 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 122224 KiB
[startup+1.50141 s]
/proc/loadavg: 1.70 1.81 1.79 6/217 5784
/proc/meminfo: memFree=23369648/32770624 swapFree=67108860/67108860
[pid=5768] ppid=5765 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5768/stat : 5768 (xcsp3-exec) S 5765 5768 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154335182 9740288 346 33554432000 4194304 5098028 140727626285408 140727626283512 140128735302268 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 24416256 140727626290292 140727626290496 140727626290496 140727626293227 0
/proc/5768/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/5770/task/5773/stat : 5773 (java) R 5768 5768 3809 0 -1 4202560 14979 0 0 0 4419 189 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933594376784 139933642873505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5774] ppid=5768 vsize=13984976 memory=9126348 CPUtime=46.92 cores=1,3,5,7
/proc/5770/task/5774/stat : 5774 (java) R 5768 5768 3809 0 -1 4202560 36870 0 0 0 4499 193 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933593324808 139933643587451 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5775] ppid=5768 vsize=13984976 memory=1384 CPUtime=46.04 cores=1,3,5,7
/proc/5770/task/5775/stat : 5775 (java) R 5768 5768 3809 0 -1 4202560 35953 0 0 0 4420 184 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933249968552 139933642856354 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5776] ppid=5768 vsize=13984976 memory=0 CPUtime=4.87 cores=1,3,5,7
/proc/5770/task/5776/stat : 5776 (java) S 5768 5768 3809 0 -1 1077944384 34609 0 0 0 485 2 0 0 20 0 15 0 154335185 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933199245984 139933657839317 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5777] ppid=5768 vsize=13984976 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5777/stat : 5777 (java) S 5768 5768 3809 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 154335185 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933198193504 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5778] ppid=5768 vsize=13984976 memory=9145508 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5778/stat : 5778 (java) S 5768 5768 3809 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 154335186 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933197141120 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5779] ppid=5768 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5779/stat : 5779 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933196089424 139933657847707 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5780] ppid=5768 vsize=13984976 memory=1384 CPUtime=3.37 cores=1,3,5,7
/proc/5770/task/5780/stat : 5780 (java) S 5768 5768 3809 0 -1 1077944384 7966 0 0 0 336 1 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933195037296 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5781] ppid=5768 vsize=13984976 memory=8678924 CPUtime=3.64 cores=1,3,5,7
/proc/5770/task/5781/stat : 5781 (java) S 5768 5768 3809 0 -1 1077944384 19016 0 0 0 361 3 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933193984496 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5782] ppid=5768 vsize=13984976 memory=9126348 CPUtime=0.84 cores=1,3,5,7
/proc/5770/task/5782/stat : 5782 (java) S 5768 5768 3809 0 -1 1077944384 4327 0 0 0 83 1 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933192932208 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5783] ppid=5768 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5783/stat : 5783 (java) S 5768 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933191879648 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5784] ppid=5768 vsize=13984976 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/5770/task/5784/stat : 5784 (java) S 5768 5768 3809 0 -1 1077944384 152 0 0 0 3 4 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933190826416 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
Current children cumulated CPU time: 264.25 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 9146916 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+118.324 s]
# the end of solver process 5768 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000921 s, system=0.000921 s
[startup+118.757 s]
# the end of solver process 5770 was just reported to runsolver
# cumulated CPU time of all completed processes: user=258.061 s, system=7.8778 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+118.422 s]*
/proc/loadavg: 2.73 2.12 1.90 6/216 5863
/proc/meminfo: memFree=14370624/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5765 vsize=13984976 memory=9145532 CPUtime=264.76 cores=1,3,5,7
/proc/5770/stat : 5770 (java) S 5765 5768 3809 0 -1 1077944320 184891 0 0 0 25693 783 0 0 20 0 15 0 154335183 14320615424 2286383 33554432000 4194304 4196468 140725928371168 140725928353712 139933657829111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
/proc/5770/statm: 3496244 2286383 3283 1 0 3483478 0
[pid=5770/tid=5771] ppid=5765 vsize=13984976 memory=8040 CPUtime=65.87 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (java) S 5765 5768 3809 0 -1 1077944384 15809 0 0 0 6578 9 0 0 20 0 15 0 154335183 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933662067680 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5772] ppid=5765 vsize=13984976 memory=840 CPUtime=46.61 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (java) R 5765 5768 3809 0 -1 4202560 13869 0 0 0 4466 195 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933595429584 139933642873314 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5773] ppid=5765 vsize=13984976 memory=4126316290023845779 CPUtime=46.21 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (java) R 5765 5768 3809 0 -1 4202560 14988 0 0 0 4432 189 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933594376784 139933642873221 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5774] ppid=5765 vsize=13984976 memory=3012 CPUtime=47.05 cores=1,3,5,7
/proc/5770/task/5774/stat : 5774 (java) R 5765 5768 3809 0 -1 4202560 36880 0 0 0 4512 193 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933593324808 139933642873408 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5775] ppid=5765 vsize=13984976 memory=1384 CPUtime=46.16 cores=1,3,5,7
/proc/5770/task/5775/stat : 5775 (java) R 5765 5768 3809 0 -1 4202560 35967 0 0 0 4432 184 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933249968552 139933642856530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5776] ppid=5765 vsize=13984976 memory=9126348 CPUtime=4.87 cores=1,3,5,7
/proc/5770/task/5776/stat : 5776 (java) S 5765 5768 3809 0 -1 1077944384 34609 0 0 0 485 2 0 0 20 0 15 0 154335185 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933199245984 139933657839317 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5777] ppid=5765 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5777/stat : 5777 (java) S 5765 5768 3809 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 154335185 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933198193504 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5778] ppid=5765 vsize=13984976 memory=3032 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5778/stat : 5778 (java) S 5765 5768 3809 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 154335186 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933197141120 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5779] ppid=5765 vsize=13984976 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5779/stat : 5779 (java) S 5765 5768 3809 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933196089072 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5780] ppid=5765 vsize=13984976 memory=644 CPUtime=3.37 cores=1,3,5,7
/proc/5770/task/5780/stat : 5780 (java) S 5765 5768 3809 0 -1 1077944384 7966 0 0 0 336 1 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933195037296 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5781] ppid=5765 vsize=13984976 memory=1788 CPUtime=3.64 cores=1,3,5,7
/proc/5770/task/5781/stat : 5781 (java) S 5765 5768 3809 0 -1 1077944384 19016 0 0 0 361 3 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933193984496 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5782] ppid=5765 vsize=13984976 memory=952 CPUtime=0.84 cores=1,3,5,7
/proc/5770/task/5782/stat : 5782 (java) S 5765 5768 3809 0 -1 1077944384 4327 0 0 0 83 1 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933192932208 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5783] ppid=5765 vsize=13984976 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5783/stat : 5783 (java) S 5765 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933191879648 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5784] ppid=5765 vsize=13984976 memory=1580 CPUtime=0.07 cores=1,3,5,7
/proc/5770/task/5784/stat : 5784 (java) S 5765 5768 3809 0 -1 1077944384 152 0 0 0 3 4 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933190826416 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
Current cumulated CPU time of completed processes: 0.001842 s
Current children cumulated CPU time: 264.76 s
Current children cumulated vsize: 13984976 KiB
Current children cumulated memory: 9145532 KiB
[startup+118.601 s]
/proc/loadavg: 2.73 2.12 1.90 6/216 5863
/proc/meminfo: memFree=14370624/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5765 vsize=13984976 memory=9145532 CPUtime=265.44 cores=1,3,5,7
/proc/5770/stat : 5770 (java) S 5765 5768 3809 0 -1 1077944320 184950 0 0 0 25761 783 0 0 20 0 15 0 154335183 14320615424 2286383 33554432000 4194304 4196468 140725928371168 140725928353712 139933657829111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
/proc/5770/statm: 3496244 2286383 3283 1 0 3483478 0
[pid=5770/tid=5771] ppid=5765 vsize=13984976 memory=8112282956445269571 CPUtime=65.87 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (java) S 5765 5768 3809 0 -1 1077944384 15809 0 0 0 6578 9 0 0 20 0 15 0 154335183 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933662067680 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5772] ppid=5765 vsize=13984976 memory=355152 CPUtime=46.78 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (java) R 5765 5768 3809 0 -1 4202560 13882 0 0 0 4483 195 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933595429584 139933642873585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5773] ppid=5765 vsize=13984976 memory=8112282956445269571 CPUtime=46.38 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (java) R 5765 5768 3809 0 -1 4202560 14995 0 0 0 4449 189 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933594376784 139933642873585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5774] ppid=5765 vsize=13984976 memory=4126316290023845779 CPUtime=47.22 cores=1,3,5,7
/proc/5770/task/5774/stat : 5774 (java) R 5765 5768 3809 0 -1 4202560 36893 0 0 0 4529 193 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933593324808 139933642873280 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5775] ppid=5765 vsize=13984976 memory=8648072 CPUtime=46.32 cores=1,3,5,7
/proc/5770/task/5775/stat : 5775 (java) R 5765 5768 3809 0 -1 4202560 35992 0 0 0 4448 184 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933249968552 139933642854069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5776] ppid=5765 vsize=13984976 memory=1228 CPUtime=4.87 cores=1,3,5,7
/proc/5770/task/5776/stat : 5776 (java) S 5765 5768 3809 0 -1 1077944384 34609 0 0 0 485 2 0 0 20 0 15 0 154335185 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933199245984 139933657839317 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5777] ppid=5765 vsize=13984976 memory=1420 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5777/stat : 5777 (java) S 5765 5768 3809 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 154335185 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933198193504 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5778] ppid=5765 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5778/stat : 5778 (java) S 5765 5768 3809 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 154335186 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933197141120 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5779] ppid=5765 vsize=13984976 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5779/stat : 5779 (java) S 5765 5768 3809 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933196089072 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5780] ppid=5765 vsize=13984976 memory=6628 CPUtime=3.37 cores=1,3,5,7
/proc/5770/task/5780/stat : 5780 (java) S 5765 5768 3809 0 -1 1077944384 7966 0 0 0 336 1 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933195037296 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5781] ppid=5765 vsize=13984976 memory=8836 CPUtime=3.64 cores=1,3,5,7
/proc/5770/task/5781/stat : 5781 (java) S 5765 5768 3809 0 -1 1077944384 19016 0 0 0 361 3 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933193984496 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5782] ppid=5765 vsize=13984976 memory=11044 CPUtime=0.84 cores=1,3,5,7
/proc/5770/task/5782/stat : 5782 (java) S 5765 5768 3809 0 -1 1077944384 4327 0 0 0 83 1 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933192932208 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5783] ppid=5765 vsize=13984976 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5783/stat : 5783 (java) S 5765 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933191879648 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5784] ppid=5765 vsize=13984976 memory=4417 CPUtime=0.07 cores=1,3,5,7
/proc/5770/task/5784/stat : 5784 (java) S 5765 5768 3809 0 -1 1077944384 152 0 0 0 3 4 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933190826416 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
Current cumulated CPU time of completed processes: 0.001842 s
Current children cumulated CPU time: 265.44 s
Current children cumulated vsize: 13984976 KiB
Current children cumulated memory: 9145532 KiB
[startup+118.701 s]
/proc/loadavg: 2.73 2.12 1.90 6/216 5863
/proc/meminfo: memFree=14370624/32770624 swapFree=67108860/67108860
[pid=5770] ppid=5765 vsize=13984976 memory=9145532 CPUtime=265.84 cores=1,3,5,7
/proc/5770/stat : 5770 (java) S 5765 5768 3809 0 -1 1077944320 184983 0 0 0 25801 783 0 0 20 0 15 0 154335183 14320615424 2286383 33554432000 4194304 4196468 140725928371168 140725928353712 139933657829111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
/proc/5770/statm: 3496244 2286383 3283 1 0 3483478 0
[pid=5770/tid=5771] ppid=5765 vsize=13984976 memory=1384 CPUtime=65.87 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (java) S 5765 5768 3809 0 -1 1077944384 15809 0 0 0 6578 9 0 0 20 0 15 0 154335183 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933662067680 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5772] ppid=5765 vsize=13984976 memory=9145532 CPUtime=46.88 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (java) R 5765 5768 3809 0 -1 4202560 13891 0 0 0 4493 195 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933595429584 139933642873468 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5773] ppid=5765 vsize=13984976 memory=1384 CPUtime=46.48 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (java) R 5765 5768 3809 0 -1 4202560 15001 0 0 0 4459 189 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933594377096 139933642852814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5774] ppid=5765 vsize=13984976 memory=9126348 CPUtime=47.32 cores=1,3,5,7
/proc/5770/task/5774/stat : 5774 (java) R 5765 5768 3809 0 -1 4202560 36898 0 0 0 4539 193 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933593324808 139933642856488 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5775] ppid=5765 vsize=13984976 memory=1384 CPUtime=46.42 cores=1,3,5,7
/proc/5770/task/5775/stat : 5775 (java) R 5765 5768 3809 0 -1 4202560 36005 0 0 0 4458 184 0 0 20 0 15 0 154335184 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933249968552 139933642856530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5776] ppid=5765 vsize=13984976 memory=9145532 CPUtime=4.87 cores=1,3,5,7
/proc/5770/task/5776/stat : 5776 (java) S 5765 5768 3809 0 -1 1077944384 34609 0 0 0 485 2 0 0 20 0 15 0 154335185 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933199245984 139933657839317 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5777] ppid=5765 vsize=13984976 memory=281314855098248 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5777/stat : 5777 (java) S 5765 5768 3809 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 154335185 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933198193504 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5778] ppid=5765 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5778/stat : 5778 (java) S 5765 5768 3809 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 154335186 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933197141120 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5779] ppid=5765 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5779/stat : 5779 (java) S 5765 5768 3809 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933196089072 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5780] ppid=5765 vsize=13984976 memory=8678924 CPUtime=3.37 cores=1,3,5,7
/proc/5770/task/5780/stat : 5780 (java) S 5765 5768 3809 0 -1 1077944384 7966 0 0 0 336 1 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933195037296 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5781] ppid=5765 vsize=13984976 memory=0 CPUtime=3.64 cores=1,3,5,7
/proc/5770/task/5781/stat : 5781 (java) S 5765 5768 3809 0 -1 1077944384 19016 0 0 0 361 3 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933193984496 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5782] ppid=5765 vsize=13984976 memory=6944656592387989600 CPUtime=0.84 cores=1,3,5,7
/proc/5770/task/5782/stat : 5782 (java) S 5765 5768 3809 0 -1 1077944384 4327 0 0 0 83 1 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933192932208 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5783] ppid=5765 vsize=13984976 memory=9145508 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5783/stat : 5783 (java) S 5765 5768 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933191879648 139933657839317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
[pid=5770/tid=5784] ppid=5765 vsize=13984976 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/5770/task/5784/stat : 5784 (java) S 5765 5768 3809 0 -1 1077944384 152 0 0 0 3 4 0 0 20 0 15 0 154335188 14320615424 2286383 33554432000 4194304 4196468 140725928371168 139933190826416 139933657840258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17448960 140725928379549 140725928379724 140725928379724 140725928382415 0
Current cumulated CPU time of completed processes: 0.001842 s
Current children cumulated CPU time: 265.84 s
Current children cumulated vsize: 13984976 KiB
Current children cumulated memory: 9145532 KiB
Child status: 143
Real time (s): 118.757
CPU time (s): 265.939
CPU user time (s): 258.061
CPU system time (s): 7.8778
CPU usage (%): 223.935
Max. virtual memory (cumulated for all children) (KiB): 14060024
Max. memory (cumulated for all children) (KiB): 9146916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 258.061
system time used= 7.8778
maximum resident set size= 9146084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 186224
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9291
involuntary context switches= 3341
# summary of solver processes directly reported to runsolver:
# pid: 5768,5770
# total CPU time (s): 265.939
# total CPU user time (s): 258.061
# total CPU system time (s): 7.8778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.799329 second user time and 1.23694 second system time
The end