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 (2095 MiB free)
memory of node 1: 16384 MiB (2045 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403312-1568974713/watcher-4403312-1568974713 -o /var/tmp/evaluation-result-4403312-1568974713/solver-4403312-1568974713 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568967597-26298 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1176612141 HOME/instance-4403312-1568974713.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
solver pid=28258, runsolver pid=28255
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 1.36 1.33 1.37 3/218 28315
/proc/meminfo: memFree=4232844/32770624 swapFree=66976740/67108860
[pid=28258] ppid=28255 vsize=9972712 memory=17076 CPUtime=0.09 cores=0,2,4,6
/proc/28258/stat : 28258 (java) S 28255 28258 26267 0 -1 1077944320 4483 13228 0 0 1 1 5 2 20 0 6 0 473411444 10212057088 4269 33554432000 4194304 4196468 140736279596656 140736279579200 139983800921847 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
/proc/28258/statm: 2493178 4269 1934 1 0 2481616 0
[pid=28258/tid=28311] ppid=28255 vsize=9972712 memory=4279135704013962638 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28311/stat : 28311 (java) R 28255 28258 26267 0 -1 4202560 2278 13228 0 0 0 0 5 2 20 0 6 0 473411453 10212057088 4269 33554432000 4194304 4196468 140736279596656 139983772758608 139983786604373 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28312] ppid=28255 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28312/stat : 28312 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 6 0 473411454 10212057088 4269 33554432000 4194304 4196468 140736279596656 139983805164432 139983800932053 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28313] ppid=28255 vsize=9972712 memory=140455284598400 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28313/stat : 28313 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 6 0 473411454 10212057088 4269 33554432000 4194304 4196468 140736279596656 139983723916048 139983800932053 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28314] ppid=28255 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28314/stat : 28314 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 6 0 473411454 10212057088 4269 33554432000 4194304 4196468 140736279596656 139983722863760 139983800932053 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28315] ppid=28255 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28315/stat : 28315 (java) S 28255 28258 26267 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 6 0 473411454 10212057088 4269 33554432000 4194304 4196468 140736279596656 139983372344336 139983800932053 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.210461 s]*
/proc/loadavg: 1.36 1.33 1.37 4/227 28324
/proc/meminfo: memFree=4210708/32770624 swapFree=66976740/67108860
[pid=28258] ppid=28255 vsize=10821220 memory=43224 CPUtime=0.26 cores=0,2,4,6
/proc/28258/stat : 28258 (java) S 28255 28258 26267 0 -1 1077944320 7581 13228 0 0 17 2 5 2 20 0 15 0 473411444 11080929280 10806 33554432000 4194304 4196468 140736279596656 140736279579200 139983800921847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
/proc/28258/statm: 2705305 10806 3303 1 0 2667405 0
[pid=28258/tid=28311] ppid=28255 vsize=10821220 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/28258/task/28311/stat : 28311 (java) R 28255 28258 26267 0 -1 4202560 4157 13228 0 0 10 1 5 2 20 0 15 0 473411453 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983772734208 139983793601565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28312] ppid=28255 vsize=10821220 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28312/stat : 28312 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411454 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983805164432 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28313] ppid=28255 vsize=10821220 memory=288370831436310144 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28313/stat : 28313 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411454 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983723916048 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28314] ppid=28255 vsize=10821220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28314/stat : 28314 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411454 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983722863760 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28315] ppid=28255 vsize=10821220 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28315/stat : 28315 (java) S 28255 28258 26267 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 473411454 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983372344336 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28316] ppid=28255 vsize=10821220 memory=140455284598400 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28316/stat : 28316 (java) S 28255 28258 26267 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 473411455 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983327529072 139983800932994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28317] ppid=28255 vsize=10821220 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28317/stat : 28317 (java) S 28255 28258 26267 0 -1 1077944384 13 13228 0 0 0 0 5 2 20 0 15 0 473411456 11080929280 10872 33554432000 4194304 4196468 140736279596656 139982714954528 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28318] ppid=28255 vsize=10821220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28318/stat : 28318 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411456 11080929280 10872 33554432000 4194304 4196468 140736279596656 139982580737136 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28319] ppid=28255 vsize=10821220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28319/stat : 28319 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411458 11080929280 10872 33554432000 4194304 4196468 140736279596656 139982340446288 139983800940443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28320] ppid=28255 vsize=10821220 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28320/stat : 28320 (java) S 28255 28258 26267 0 -1 1077944384 333 13228 0 0 0 0 5 2 20 0 15 0 473411458 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983326476912 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28321] ppid=28255 vsize=10821220 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/28258/task/28321/stat : 28321 (java) R 28255 28258 26267 0 -1 4202560 313 13228 0 0 1 0 5 2 20 0 15 0 473411458 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983325424112 139983784332808 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28322] ppid=28255 vsize=10821220 memory=140455284598400 CPUtime=0.1 cores=0,2,4,6
/proc/28258/task/28322/stat : 28322 (java) S 28255 28258 26267 0 -1 1077944384 612 13228 0 0 3 0 5 2 20 0 15 0 473411459 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983324371824 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28323] ppid=28255 vsize=10821220 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28323/stat : 28323 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411459 11080929280 10872 33554432000 4194304 4196468 140736279596656 139982306888672 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28324] ppid=28255 vsize=10821220 memory=140455284598400 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28324/stat : 28324 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411459 11080929280 10872 33554432000 4194304 4196468 140736279596656 139983323318704 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 43224 KiB
[startup+0.310633 s]*
/proc/loadavg: 1.36 1.33 1.37 4/227 28324
/proc/meminfo: memFree=4201084/32770624 swapFree=66976740/67108860
[pid=28258] ppid=28255 vsize=10820196 memory=50600 CPUtime=0.4 cores=0,2,4,6
/proc/28258/stat : 28258 (java) S 28255 28258 26267 0 -1 1077944320 10890 13228 0 0 29 4 5 2 20 0 15 0 473411444 11079880704 12650 33554432000 4194304 4196468 140736279596656 140736279579200 139983800921847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
/proc/28258/statm: 2705049 12650 3315 1 0 2667149 0
[pid=28258/tid=28311] ppid=28255 vsize=10820196 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/28258/task/28311/stat : 28311 (java) R 28255 28258 26267 0 -1 4202560 7381 13228 0 0 18 3 5 2 20 0 15 0 473411453 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983772730768 139983723964928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28312] ppid=28255 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28312/stat : 28312 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411454 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983805164432 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28313] ppid=28255 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28313/stat : 28313 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411454 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983723916048 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28314] ppid=28255 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28314/stat : 28314 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411454 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983722863760 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28315] ppid=28255 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28315/stat : 28315 (java) S 28255 28258 26267 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 473411454 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983372344336 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28316] ppid=28255 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28316/stat : 28316 (java) S 28255 28258 26267 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 473411455 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983327529072 139983800932994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28317] ppid=28255 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28317/stat : 28317 (java) S 28255 28258 26267 0 -1 1077944384 13 13228 0 0 0 0 5 2 20 0 15 0 473411456 11079880704 12650 33554432000 4194304 4196468 140736279596656 139982714954528 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28318] ppid=28255 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28318/stat : 28318 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411456 11079880704 12650 33554432000 4194304 4196468 140736279596656 139982580737136 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28319] ppid=28255 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28319/stat : 28319 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411458 11079880704 12650 33554432000 4194304 4196468 140736279596656 139982340446288 139983800940443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28320] ppid=28255 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28258/task/28320/stat : 28320 (java) S 28255 28258 26267 0 -1 1077944384 335 13228 0 0 1 0 5 2 20 0 15 0 473411458 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983326476912 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28321] ppid=28255 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/28258/task/28321/stat : 28321 (java) S 28255 28258 26267 0 -1 1077944384 322 13228 0 0 2 0 5 2 20 0 15 0 473411458 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983325424112 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28322] ppid=28255 vsize=10820196 memory=140455284598400 CPUtime=0.12 cores=0,2,4,6
/proc/28258/task/28322/stat : 28322 (java) S 28255 28258 26267 0 -1 1077944384 620 13228 0 0 5 0 5 2 20 0 15 0 473411459 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983324371824 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28323] ppid=28255 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28323/stat : 28323 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411459 11079880704 12650 33554432000 4194304 4196468 140736279596656 139982306888672 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28324] ppid=28255 vsize=10820196 memory=140455284598400 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28324/stat : 28324 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411459 11079880704 12650 33554432000 4194304 4196468 140736279596656 139983323318704 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50600 KiB
[startup+0.700696 s]
/proc/loadavg: 1.36 1.33 1.37 3/227 28324
/proc/meminfo: memFree=4186568/32770624 swapFree=66976740/67108860
[pid=28258] ppid=28255 vsize=10824364 memory=83588 CPUtime=1.14 cores=0,2,4,6
/proc/28258/stat : 28258 (java) S 28255 28258 26267 0 -1 1077944320 15158 13228 0 0 101 6 5 2 20 0 15 0 473411444 11084148736 20897 33554432000 4194304 4196468 140736279596656 140736279579200 139983800921847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
/proc/28258/statm: 2706091 20897 3504 1 0 2668173 0
[pid=28258/tid=28311] ppid=28255 vsize=10824364 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/28258/task/28311/stat : 28311 (java) R 28255 28258 26267 0 -1 4202560 10520 13228 0 0 54 5 5 2 20 0 15 0 473411453 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983772746240 139983800943773 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28312] ppid=28255 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28312/stat : 28312 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411454 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983805164432 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28313] ppid=28255 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28313/stat : 28313 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411454 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983723916048 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28314] ppid=28255 vsize=10824364 memory=607 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28314/stat : 28314 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411454 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983722863760 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28315] ppid=28255 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28315/stat : 28315 (java) S 28255 28258 26267 0 -1 1077944384 2 13228 0 0 0 0 5 2 20 0 15 0 473411454 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983372344336 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28316] ppid=28255 vsize=10824364 memory=6004251925163823717 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28316/stat : 28316 (java) S 28255 28258 26267 0 -1 1077944384 5 13228 0 0 0 0 5 2 20 0 15 0 473411455 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983327529072 139983800932994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28317] ppid=28255 vsize=10824364 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28317/stat : 28317 (java) S 28255 28258 26267 0 -1 1077944384 13 13228 0 0 0 0 5 2 20 0 15 0 473411456 11084148736 20897 33554432000 4194304 4196468 140736279596656 139982714954528 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28318] ppid=28255 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28318/stat : 28318 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411456 11084148736 20897 33554432000 4194304 4196468 140736279596656 139982580737136 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28319] ppid=28255 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28319/stat : 28319 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411458 11084148736 20897 33554432000 4194304 4196468 140736279596656 139982340446288 139983800940443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28320] ppid=28255 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/28258/task/28320/stat : 28320 (java) S 28255 28258 26267 0 -1 1077944384 784 13228 0 0 12 0 5 2 20 0 15 0 473411458 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983326476912 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28321] ppid=28255 vsize=10824364 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/28258/task/28321/stat : 28321 (java) R 28255 28258 26267 0 -1 4202560 829 13228 0 0 16 0 5 2 20 0 15 0 473411458 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983325413232 139983784407859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28322] ppid=28255 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/28258/task/28322/stat : 28322 (java) S 28255 28258 26267 0 -1 1077944384 790 13228 0 0 17 0 5 2 20 0 15 0 473411459 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983324371824 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28323] ppid=28255 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28323/stat : 28323 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411459 11084148736 20897 33554432000 4194304 4196468 140736279596656 139982306888672 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28324] ppid=28255 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28324/stat : 28324 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411459 11084148736 20897 33554432000 4194304 4196468 140736279596656 139983323318704 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83588 KiB
[startup+1.50093 s]
/proc/loadavg: 1.36 1.33 1.37 5/227 28324
/proc/meminfo: memFree=4116704/32770624 swapFree=66976740/67108860
[pid=28258] ppid=28255 vsize=10832632 memory=224240 CPUtime=3.21 cores=0,2,4,6
/proc/28258/stat : 28258 (java) S 28255 28258 26267 0 -1 1077944320 28154 13228 0 0 302 12 5 2 20 0 15 0 473411444 11092615168 56060 33554432000 4194304 4196468 140736279596656 140736279579200 139983800921847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
/proc/28258/statm: 2708158 56060 3589 1 0 2670221 0
[pid=28258/tid=28311] ppid=28255 vsize=10832632 memory=4426042776274957866 CPUtime=1.41 cores=0,2,4,6
/proc/28258/task/28311/stat : 28311 (java) R 28255 28258 26267 0 -1 4202560 14985 13228 0 0 127 7 5 2 20 0 15 0 473411453 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983772738840 139983785002334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28312] ppid=28255 vsize=10832632 memory=7230928777154355561 CPUtime=0.08 cores=0,2,4,6
/proc/28258/task/28312/stat : 28312 (java) S 28255 28258 26267 0 -1 1077944384 31 13228 0 0 1 0 5 2 20 0 15 0 473411454 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983805164432 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28313] ppid=28255 vsize=10832632 memory=7668897239601015129 CPUtime=0.09 cores=0,2,4,6
/proc/28258/task/28313/stat : 28313 (java) S 28255 28258 26267 0 -1 1077944384 51 13228 0 0 2 0 5 2 20 0 15 0 473411454 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983723916048 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28314] ppid=28255 vsize=10832632 memory=7665245765378007913 CPUtime=0.09 cores=0,2,4,6
/proc/28258/task/28314/stat : 28314 (java) S 28255 28258 26267 0 -1 1077944384 24 13228 0 0 2 0 5 2 20 0 15 0 473411454 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983722863760 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28315] ppid=28255 vsize=10832632 memory=152304 CPUtime=0.09 cores=0,2,4,6
/proc/28258/task/28315/stat : 28315 (java) S 28255 28258 26267 0 -1 1077944384 268 13228 0 0 2 0 5 2 20 0 15 0 473411454 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983372344336 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28316] ppid=28255 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28258/task/28316/stat : 28316 (java) S 28255 28258 26267 0 -1 1077944384 100 13228 0 0 1 0 5 2 20 0 15 0 473411455 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983327529072 139983800932994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28317] ppid=28255 vsize=10832632 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28317/stat : 28317 (java) S 28255 28258 26267 0 -1 1077944384 14 13228 0 0 0 0 5 2 20 0 15 0 473411456 11092615168 56060 33554432000 4194304 4196468 140736279596656 139982714954528 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28318] ppid=28255 vsize=10832632 memory=280910322794784 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28318/stat : 28318 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411456 11092615168 56060 33554432000 4194304 4196468 140736279596656 139982580737136 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28319] ppid=28255 vsize=10832632 memory=280910323209728 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28319/stat : 28319 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411458 11092615168 56060 33554432000 4194304 4196468 140736279596656 139982340446288 139983800940443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28320] ppid=28255 vsize=10832632 memory=140455161407104 CPUtime=0.63 cores=0,2,4,6
/proc/28258/task/28320/stat : 28320 (java) S 28255 28258 26267 0 -1 1077944384 5204 13228 0 0 56 0 5 2 20 0 15 0 473411458 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983326476912 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28321] ppid=28255 vsize=10832632 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/28258/task/28321/stat : 28321 (java) S 28255 28258 26267 0 -1 1077944384 3261 13228 0 0 62 1 5 2 20 0 15 0 473411458 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983325424112 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28322] ppid=28255 vsize=10832632 memory=1216 CPUtime=0.51 cores=0,2,4,6
/proc/28258/task/28322/stat : 28322 (java) S 28255 28258 26267 0 -1 1077944384 2008 13228 0 0 44 0 5 2 20 0 15 0 473411459 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983324371824 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28323] ppid=28255 vsize=10832632 memory=984 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28323/stat : 28323 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411459 11092615168 56060 33554432000 4194304 4196468 140736279596656 139982306888672 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28324] ppid=28255 vsize=10832632 memory=14004 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28324/stat : 28324 (java) S 28255 28258 26267 0 -1 1077944384 1 13228 0 0 0 0 5 2 20 0 15 0 473411459 11092615168 56060 33554432000 4194304 4196468 140736279596656 139983323318704 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/28258/task/28311/stat : 28311 (java) R 28255 28258 26267 0 -1 4202560 143085 13228 0 0 223874 58 5 2 20 0 15 0 473411453 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983772757920 139983405668715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28312] ppid=28255 vsize=10849036 memory=455760 CPUtime=14.3 cores=0,2,4,6
/proc/28258/task/28312/stat : 28312 (java) S 28255 28258 26267 0 -1 1077944384 22965 13228 0 0 1370 53 5 2 20 0 15 0 473411454 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983805164432 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28313] ppid=28255 vsize=10849036 memory=445896 CPUtime=14.28 cores=0,2,4,6
/proc/28258/task/28313/stat : 28313 (java) S 28255 28258 26267 0 -1 1077944384 18222 13228 0 0 1369 52 5 2 20 0 15 0 473411454 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983723916048 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28314] ppid=28255 vsize=10849036 memory=467384 CPUtime=14.28 cores=0,2,4,6
/proc/28258/task/28314/stat : 28314 (java) S 28255 28258 26267 0 -1 1077944384 19290 13228 0 0 1365 56 5 2 20 0 15 0 473411454 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983722863760 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28315] ppid=28255 vsize=10849036 memory=129 CPUtime=14.32 cores=0,2,4,6
/proc/28258/task/28315/stat : 28315 (java) S 28255 28258 26267 0 -1 1077944384 18951 13228 0 0 1368 57 5 2 20 0 15 0 473411454 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983372344336 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28316] ppid=28255 vsize=10849036 memory=465332 CPUtime=6.05 cores=0,2,4,6
/proc/28258/task/28316/stat : 28316 (java) S 28255 28258 26267 0 -1 1077944384 13213 13228 0 0 540 58 5 2 20 0 15 0 473411455 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983327529072 139983800932994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28317] ppid=28255 vsize=10849036 memory=466872 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28317/stat : 28317 (java) S 28255 28258 26267 0 -1 1077944384 16 13228 0 0 0 0 5 2 20 0 15 0 473411456 11109412864 115212 33554432000 4194304 4196468 140736279596656 139982714954592 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28318] ppid=28255 vsize=10849036 memory=465844 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28318/stat : 28318 (java) S 28255 28258 26267 0 -1 1077944384 6 13228 0 0 0 0 5 2 20 0 15 0 473411456 11109412864 115212 33554432000 4194304 4196468 140736279596656 139982580737152 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28319] ppid=28255 vsize=10849036 memory=462768 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28319/stat : 28319 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411458 11109412864 115212 33554432000 4194304 4196468 140736279596656 139982340446288 139983800940443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28320] ppid=28255 vsize=10849036 memory=460848 CPUtime=6.75 cores=0,2,4,6
/proc/28258/task/28320/stat : 28320 (java) S 28255 28258 26267 0 -1 1077944384 48013 13228 0 0 663 5 5 2 20 0 15 0 473411458 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983326476912 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28321] ppid=28255 vsize=10849036 memory=471284 CPUtime=6.61 cores=0,2,4,6
/proc/28258/task/28321/stat : 28321 (java) S 28255 28258 26267 0 -1 1077944384 46349 13228 0 0 650 4 5 2 20 0 15 0 473411458 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983325424112 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28322] ppid=28255 vsize=10849036 memory=3620 CPUtime=2.55 cores=0,2,4,6
/proc/28258/task/28322/stat : 28322 (java) S 28255 28258 26267 0 -1 1077944384 25417 13228 0 0 244 4 5 2 20 0 15 0 473411459 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983324371824 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28323] ppid=28255 vsize=10849036 memory=1660 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28323/stat : 28323 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411459 11109412864 115212 33554432000 4194304 4196468 140736279596656 139982306888672 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28324] ppid=28255 vsize=10849036 memory=6791534058613427641 CPUtime=1.36 cores=0,2,4,6
/proc/28258/task/28324/stat : 28324 (java) S 28255 28258 26267 0 -1 1077944384 2075 13228 0 0 65 64 5 2 20 0 15 0 473411459 11109412864 115212 33554432000 4194304 4196468 140736279596656 139983323318704 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
Current children cumulated CPU time: 2319.39 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 460848 KiB
[startup+2322.3 s]
/proc/loadavg: 1.36 1.39 1.40 3/227 28671
/proc/meminfo: memFree=3564636/32770624 swapFree=66976740/67108860
[pid=28258] ppid=28255 vsize=10849036 memory=455268 CPUtime=2379.93 cores=0,2,4,6
/proc/28258/stat : 28258 (java) S 28255 28258 26267 0 -1 1077944320 362604 13228 0 0 237604 382 5 2 20 0 15 0 473411444 11109412864 113817 33554432000 4194304 4196468 140736279596656 140736279579200 139983800921847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
/proc/28258/statm: 2712259 113817 3640 1 0 2674317 0
[pid=28258/tid=28311] ppid=28255 vsize=10849036 memory=456572 CPUtime=2299.1 cores=0,2,4,6
/proc/28258/task/28311/stat : 28311 (java) R 28255 28258 26267 0 -1 4202560 145068 13228 0 0 229845 58 5 2 20 0 15 0 473411453 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983772758096 139983404883904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28312] ppid=28255 vsize=10849036 memory=467384 CPUtime=14.49 cores=0,2,4,6
/proc/28258/task/28312/stat : 28312 (java) S 28255 28258 26267 0 -1 1077944384 23106 13228 0 0 1388 54 5 2 20 0 15 0 473411454 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983805164432 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28313] ppid=28255 vsize=10849036 memory=483748 CPUtime=14.46 cores=0,2,4,6
/proc/28258/task/28313/stat : 28313 (java) S 28255 28258 26267 0 -1 1077944384 18364 13228 0 0 1386 53 5 2 20 0 15 0 473411454 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983723916048 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28314] ppid=28255 vsize=10849036 memory=457084 CPUtime=14.46 cores=0,2,4,6
/proc/28258/task/28314/stat : 28314 (java) S 28255 28258 26267 0 -1 1077944384 19676 13228 0 0 1382 57 5 2 20 0 15 0 473411454 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983722863760 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28315] ppid=28255 vsize=10849036 memory=456572 CPUtime=14.5 cores=0,2,4,6
/proc/28258/task/28315/stat : 28315 (java) S 28255 28258 26267 0 -1 1077944384 19013 13228 0 0 1385 58 5 2 20 0 15 0 473411454 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983372344336 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28316] ppid=28255 vsize=10849036 memory=455544 CPUtime=6.13 cores=0,2,4,6
/proc/28258/task/28316/stat : 28316 (java) S 28255 28258 26267 0 -1 1077944384 13279 13228 0 0 547 59 5 2 20 0 15 0 473411455 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983327529072 139983800932994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28317] ppid=28255 vsize=10849036 memory=2321518684083273826 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28317/stat : 28317 (java) S 28255 28258 26267 0 -1 1077944384 16 13228 0 0 0 0 5 2 20 0 15 0 473411456 11109412864 113817 33554432000 4194304 4196468 140736279596656 139982714954592 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28318] ppid=28255 vsize=10849036 memory=455268 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28318/stat : 28318 (java) S 28255 28258 26267 0 -1 1077944384 6 13228 0 0 0 0 5 2 20 0 15 0 473411456 11109412864 113817 33554432000 4194304 4196468 140736279596656 139982580737152 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28319] ppid=28255 vsize=10849036 memory=3040 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28319/stat : 28319 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411458 11109412864 113817 33554432000 4194304 4196468 140736279596656 139982340446288 139983800940443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28320] ppid=28255 vsize=10849036 memory=456056 CPUtime=6.75 cores=0,2,4,6
/proc/28258/task/28320/stat : 28320 (java) S 28255 28258 26267 0 -1 1077944384 48015 13228 0 0 663 5 5 2 20 0 15 0 473411458 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983326476912 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28321] ppid=28255 vsize=10849036 memory=2828 CPUtime=6.61 cores=0,2,4,6
/proc/28258/task/28321/stat : 28321 (java) S 28255 28258 26267 0 -1 1077944384 46351 13228 0 0 650 4 5 2 20 0 15 0 473411458 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983325424112 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28322] ppid=28255 vsize=10849036 memory=56 CPUtime=2.55 cores=0,2,4,6
/proc/28258/task/28322/stat : 28322 (java) S 28255 28258 26267 0 -1 1077944384 25419 13228 0 0 244 4 5 2 20 0 15 0 473411459 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983324371824 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28323] ppid=28255 vsize=10849036 memory=7881416352863710055 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28323/stat : 28323 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411459 11109412864 113817 33554432000 4194304 4196468 140736279596656 139982306888672 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28324] ppid=28255 vsize=10849036 memory=1060 CPUtime=1.38 cores=0,2,4,6
/proc/28258/task/28324/stat : 28324 (java) S 28255 28258 26267 0 -1 1077944384 2081 13228 0 0 66 65 5 2 20 0 15 0 473411459 11109412864 113817 33554432000 4194304 4196468 140736279596656 139983323318704 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
Current children cumulated CPU time: 2379.93 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 455268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2342.11 s]
/proc/loadavg: 1.54 1.43 1.42 3/227 28671
/proc/meminfo: memFree=3549544/32770624 swapFree=66976740/67108860
[pid=28258] ppid=28255 vsize=10849036 memory=471120 CPUtime=2400.02 cores=0,2,4,6
/proc/28258/stat : 28258 (java) S 28255 28258 26267 0 -1 1077944320 366662 13228 0 0 239611 384 5 2 20 0 15 0 473411444 11109412864 117780 33554432000 4194304 4196468 140736279596656 140736279579200 139983800921847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
/proc/28258/statm: 2712259 117780 3640 1 0 2674317 0
[pid=28258/tid=28311] ppid=28255 vsize=10849036 memory=56 CPUtime=2318.76 cores=0,2,4,6
/proc/28258/task/28311/stat : 28311 (java) R 28255 28258 26267 0 -1 4202560 147602 13228 0 0 231810 59 5 2 20 0 15 0 473411453 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983772757712 139983407272385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28312] ppid=28255 vsize=10849036 memory=471120 CPUtime=14.59 cores=0,2,4,6
/proc/28258/task/28312/stat : 28312 (java) S 28255 28258 26267 0 -1 1077944384 23449 13228 0 0 1398 54 5 2 20 0 15 0 473411454 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983805164432 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28313] ppid=28255 vsize=10849036 memory=453216 CPUtime=14.56 cores=0,2,4,6
/proc/28258/task/28313/stat : 28313 (java) S 28255 28258 26267 0 -1 1077944384 18732 13228 0 0 1396 53 5 2 20 0 15 0 473411454 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983723916048 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28314] ppid=28255 vsize=10849036 memory=475060 CPUtime=14.56 cores=0,2,4,6
/proc/28258/task/28314/stat : 28314 (java) S 28255 28258 26267 0 -1 1077944384 20039 13228 0 0 1392 57 5 2 20 0 15 0 473411454 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983722863760 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28315] ppid=28255 vsize=10849036 memory=478136 CPUtime=14.6 cores=0,2,4,6
/proc/28258/task/28315/stat : 28315 (java) S 28255 28258 26267 0 -1 1077944384 19438 13228 0 0 1395 58 5 2 20 0 15 0 473411454 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983372344336 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28316] ppid=28255 vsize=10849036 memory=455268 CPUtime=6.17 cores=0,2,4,6
/proc/28258/task/28316/stat : 28316 (java) S 28255 28258 26267 0 -1 1077944384 13302 13228 0 0 551 59 5 2 20 0 15 0 473411455 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983327529072 139983800932994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28317] ppid=28255 vsize=10849036 memory=458584 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28317/stat : 28317 (java) S 28255 28258 26267 0 -1 1077944384 16 13228 0 0 0 0 5 2 20 0 15 0 473411456 11109412864 117780 33554432000 4194304 4196468 140736279596656 139982714954592 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28318] ppid=28255 vsize=10849036 memory=454756 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28318/stat : 28318 (java) S 28255 28258 26267 0 -1 1077944384 6 13228 0 0 0 0 5 2 20 0 15 0 473411456 11109412864 117780 33554432000 4194304 4196468 140736279596656 139982580737152 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28319] ppid=28255 vsize=10849036 memory=454756 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28319/stat : 28319 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411458 11109412864 117780 33554432000 4194304 4196468 140736279596656 139982340446288 139983800940443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28320] ppid=28255 vsize=10849036 memory=465268 CPUtime=6.75 cores=0,2,4,6
/proc/28258/task/28320/stat : 28320 (java) S 28255 28258 26267 0 -1 1077944384 48015 13228 0 0 663 5 5 2 20 0 15 0 473411458 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983326476912 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28321] ppid=28255 vsize=10849036 memory=471120 CPUtime=6.61 cores=0,2,4,6
/proc/28258/task/28321/stat : 28321 (java) S 28255 28258 26267 0 -1 1077944384 46351 13228 0 0 650 4 5 2 20 0 15 0 473411458 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983325424112 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28322] ppid=28255 vsize=10849036 memory=476084 CPUtime=2.56 cores=0,2,4,6
/proc/28258/task/28322/stat : 28322 (java) S 28255 28258 26267 0 -1 1077944384 25419 13228 0 0 244 5 5 2 20 0 15 0 473411459 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983324371824 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28323] ppid=28255 vsize=10849036 memory=477624 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28323/stat : 28323 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411459 11109412864 117780 33554432000 4194304 4196468 140736279596656 139982306888672 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28324] ppid=28255 vsize=10849036 memory=478136 CPUtime=1.39 cores=0,2,4,6
/proc/28258/task/28324/stat : 28324 (java) S 28255 28258 26267 0 -1 1077944384 2083 13228 0 0 66 66 5 2 20 0 15 0 473411459 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983323318704 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 471120 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2342.15 s]
# the end of solver process 28258 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.2 s, system=3.8837 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2342.11 s]
/proc/loadavg: 1.54 1.43 1.42 3/227 28671
/proc/meminfo: memFree=3549544/32770624 swapFree=66976740/67108860
[pid=28258] ppid=28255 vsize=10849036 memory=471120 CPUtime=2400.02 cores=0,2,4,6
/proc/28258/stat : 28258 (java) S 28255 28258 26267 0 -1 1077944320 366662 13228 0 0 239611 384 5 2 20 0 15 0 473411444 11109412864 117780 33554432000 4194304 4196468 140736279596656 140736279579200 139983800921847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
/proc/28258/statm: 2712259 117780 3640 1 0 2674317 0
[pid=28258/tid=28311] ppid=28255 vsize=10849036 memory=56 CPUtime=2318.76 cores=0,2,4,6
/proc/28258/task/28311/stat : 28311 (java) R 28255 28258 26267 0 -1 4202560 147602 13228 0 0 231810 59 5 2 20 0 15 0 473411453 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983772757712 139983407272385 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28312] ppid=28255 vsize=10849036 memory=471120 CPUtime=14.59 cores=0,2,4,6
/proc/28258/task/28312/stat : 28312 (java) S 28255 28258 26267 0 -1 1077944384 23449 13228 0 0 1398 54 5 2 20 0 15 0 473411454 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983805164432 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28313] ppid=28255 vsize=10849036 memory=453216 CPUtime=14.56 cores=0,2,4,6
/proc/28258/task/28313/stat : 28313 (java) S 28255 28258 26267 0 -1 1077944384 18732 13228 0 0 1396 53 5 2 20 0 15 0 473411454 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983723916048 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28314] ppid=28255 vsize=10849036 memory=475060 CPUtime=14.56 cores=0,2,4,6
/proc/28258/task/28314/stat : 28314 (java) S 28255 28258 26267 0 -1 1077944384 20039 13228 0 0 1392 57 5 2 20 0 15 0 473411454 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983722863760 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28315] ppid=28255 vsize=10849036 memory=478136 CPUtime=14.6 cores=0,2,4,6
/proc/28258/task/28315/stat : 28315 (java) S 28255 28258 26267 0 -1 1077944384 19438 13228 0 0 1395 58 5 2 20 0 15 0 473411454 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983372344336 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28316] ppid=28255 vsize=10849036 memory=455268 CPUtime=6.17 cores=0,2,4,6
/proc/28258/task/28316/stat : 28316 (java) S 28255 28258 26267 0 -1 1077944384 13302 13228 0 0 551 59 5 2 20 0 15 0 473411455 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983327529072 139983800932994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28317] ppid=28255 vsize=10849036 memory=458584 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28317/stat : 28317 (java) S 28255 28258 26267 0 -1 1077944384 16 13228 0 0 0 0 5 2 20 0 15 0 473411456 11109412864 117780 33554432000 4194304 4196468 140736279596656 139982714954592 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28318] ppid=28255 vsize=10849036 memory=454756 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28318/stat : 28318 (java) S 28255 28258 26267 0 -1 1077944384 6 13228 0 0 0 0 5 2 20 0 15 0 473411456 11109412864 117780 33554432000 4194304 4196468 140736279596656 139982580737152 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28319] ppid=28255 vsize=10849036 memory=454756 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28319/stat : 28319 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411458 11109412864 117780 33554432000 4194304 4196468 140736279596656 139982340446288 139983800940443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28320] ppid=28255 vsize=10849036 memory=465268 CPUtime=6.75 cores=0,2,4,6
/proc/28258/task/28320/stat : 28320 (java) S 28255 28258 26267 0 -1 1077944384 48015 13228 0 0 663 5 5 2 20 0 15 0 473411458 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983326476912 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 12 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28321] ppid=28255 vsize=10849036 memory=471120 CPUtime=6.61 cores=0,2,4,6
/proc/28258/task/28321/stat : 28321 (java) S 28255 28258 26267 0 -1 1077944384 46351 13228 0 0 650 4 5 2 20 0 15 0 473411458 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983325424112 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28322] ppid=28255 vsize=10849036 memory=476084 CPUtime=2.56 cores=0,2,4,6
/proc/28258/task/28322/stat : 28322 (java) S 28255 28258 26267 0 -1 1077944384 25419 13228 0 0 244 5 5 2 20 0 15 0 473411459 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983324371824 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28323] ppid=28255 vsize=10849036 memory=477624 CPUtime=0.07 cores=0,2,4,6
/proc/28258/task/28323/stat : 28323 (java) S 28255 28258 26267 0 -1 1077944384 3 13228 0 0 0 0 5 2 20 0 15 0 473411459 11109412864 117780 33554432000 4194304 4196468 140736279596656 139982306888672 139983800932053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
[pid=28258/tid=28324] ppid=28255 vsize=10849036 memory=478136 CPUtime=1.39 cores=0,2,4,6
/proc/28258/task/28324/stat : 28324 (java) S 28255 28258 26267 0 -1 1077944384 2083 13228 0 0 66 66 5 2 20 0 15 0 473411459 11109412864 117780 33554432000 4194304 4196468 140736279596656 139983323318704 139983800932994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28737536 140736279603811 140736279606453 140736279606453 140736279609295 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 471120 KiB
Child status: 143
Real time (s): 2342.15
CPU time (s): 2400.09
CPU user time (s): 2396.2
CPU system time (s): 3.8837
CPU usage (%): 102.474
Max. virtual memory (cumulated for all children) (KiB): 10851680
Max. memory (cumulated for all children) (KiB): 1261196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.2
system time used= 3.8837
maximum resident set size= 1261196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 381153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 177050
involuntary context switches= 11122
# summary of solver processes directly reported to runsolver:
# pid: 28258
# total CPU time (s): 2400.09
# total CPU user time (s): 2396.2
# total CPU system time (s): 3.8837
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2922 second user time and 22.0369 second system time
The end