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 (15187 MiB free)
memory of node 1: 16384 MiB (14583 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401110-1568682909/watcher-4401110-1568682909 -o /tmp/evaluation-result-4401110-1568682909/solver-4401110-1568682909 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568673287-15922 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=479243401 HOME/instance-4401110-1568682909.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=18889, runsolver pid=18886
Current StackSize limit: 8192 KiB
[startup+0.102468 s]*
/proc/loadavg: 1.32 1.37 1.35 3/219 18946
/proc/meminfo: memFree=30477112/32770624 swapFree=67002404/67108860
[pid=18889] ppid=18886 vsize=9972712 memory=17080 CPUtime=0.09 cores=0,2,4,6
/proc/18889/stat : 18889 (java) S 18886 18889 15891 0 -1 1077944320 4528 13164 0 0 1 0 5 3 20 0 6 0 444539545 10212057088 4270 33554432000 4194304 4196468 140727289386976 140727289369520 140669736292087 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
/proc/18889/statm: 2493178 4270 1935 1 0 2481616 0
[pid=18889/tid=18942] ppid=18886 vsize=9972712 memory=4279135703913364878 CPUtime=0.09 cores=0,2,4,6
/proc/18889/task/18942/stat : 18942 (java) R 18886 18889 15891 0 -1 4202560 2329 13164 0 0 1 0 5 3 20 0 6 0 444539554 10212057088 4270 33554432000 4194304 4196468 140727289386976 140669708128848 140669717669434 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18943] ppid=18886 vsize=9972712 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18943/stat : 18943 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 6 0 444539555 10212057088 4270 33554432000 4194304 4196468 140727289386976 140669740534800 140669736302293 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18944] ppid=18886 vsize=9972712 memory=140063054104192 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18944/stat : 18944 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 444539555 10212057088 4270 33554432000 4194304 4196468 140727289386976 140669644737680 140669736302293 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18945] ppid=18886 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18945/stat : 18945 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 444539555 10212057088 4270 33554432000 4194304 4196468 140727289386976 140669643684624 140669736302293 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18946] ppid=18886 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18946/stat : 18946 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 6 0 444539555 10212057088 4270 33554432000 4194304 4196468 140727289386976 140669642632080 140669736302293 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.210139 s]*
/proc/loadavg: 1.32 1.37 1.35 5/228 18955
/proc/meminfo: memFree=30459216/32770624 swapFree=67002404/67108860
[pid=18889] ppid=18886 vsize=10820020 memory=42156 CPUtime=0.26 cores=0,2,4,6
/proc/18889/stat : 18889 (java) S 18886 18889 15891 0 -1 1077944320 7457 13164 0 0 17 1 5 3 20 0 15 0 444539545 11079700480 10539 33554432000 4194304 4196468 140727289386976 140727289369520 140669736292087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
/proc/18889/statm: 2705005 10539 3260 1 0 2667149 0
[pid=18889/tid=18942] ppid=18886 vsize=10820020 memory=-6517102902069810590 CPUtime=0.2 cores=0,2,4,6
/proc/18889/task/18942/stat : 18942 (java) R 18886 18889 15891 0 -1 4202560 3948 13164 0 0 11 1 5 3 20 0 15 0 444539554 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669708071232 140669736314013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18943] ppid=18886 vsize=10820020 memory=-7025452035940392864 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18943/stat : 18943 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539555 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669740534800 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18944] ppid=18886 vsize=10820020 memory=140063054104192 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18944/stat : 18944 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539555 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669644737680 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18945] ppid=18886 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18945/stat : 18945 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539555 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669643684624 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18946] ppid=18886 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18946/stat : 18946 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539555 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669642632080 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18947] ppid=18886 vsize=10820020 memory=140063054104192 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18947/stat : 18947 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539556 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669195839728 140669736303234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18948] ppid=18886 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18948/stat : 18948 (java) S 18886 18889 15891 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 444539557 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669104415904 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18949] ppid=18886 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18949/stat : 18949 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539557 11079700480 10539 33554432000 4194304 4196468 140727289386976 140668500435696 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18950] ppid=18886 vsize=10820020 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18950/stat : 18950 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11079700480 10539 33554432000 4194304 4196468 140727289386976 140668260145104 140669736310683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18951] ppid=18886 vsize=10820020 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18889/task/18951/stat : 18951 (java) R 18886 18889 15891 0 -1 4202560 354 13164 0 0 1 0 5 3 20 0 15 0 444539560 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669194787568 140669736303234 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18952] ppid=18886 vsize=10820020 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/18889/task/18952/stat : 18952 (java) R 18886 18889 15891 0 -1 1077944384 301 13164 0 0 1 0 5 3 20 0 15 0 444539560 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669193735024 140669736303234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18953] ppid=18886 vsize=10820020 memory=140063054104192 CPUtime=0.11 cores=0,2,4,6
/proc/18889/task/18953/stat : 18953 (java) S 18886 18889 15891 0 -1 1077944384 615 13164 0 0 3 0 5 3 20 0 15 0 444539560 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669192681968 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18954] ppid=18886 vsize=10820020 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18954/stat : 18954 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11079700480 10539 33554432000 4194304 4196468 140727289386976 140668226587488 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18955] ppid=18886 vsize=10820020 memory=140063054104192 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18955/stat : 18955 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539560 11079700480 10539 33554432000 4194304 4196468 140727289386976 140669191629360 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820020 KiB
Current children cumulated memory: 42156 KiB
[startup+0.310625 s]*
/proc/loadavg: 1.32 1.37 1.35 4/228 18955
/proc/meminfo: memFree=30447140/32770624 swapFree=67002404/67108860
[pid=18889] ppid=18886 vsize=10820196 memory=50436 CPUtime=0.4 cores=0,2,4,6
/proc/18889/stat : 18889 (java) S 18886 18889 15891 0 -1 1077944320 10848 13164 0 0 29 3 5 3 20 0 15 0 444539545 11079880704 12609 33554432000 4194304 4196468 140727289386976 140727289369520 140669736292087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
/proc/18889/statm: 2705049 12609 3314 1 0 2667149 0
[pid=18889/tid=18942] ppid=18886 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/18889/task/18942/stat : 18942 (java) R 18886 18889 15891 0 -1 4202560 7322 13164 0 0 19 2 5 3 20 0 15 0 444539554 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669708101040 140669720372574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18943] ppid=18886 vsize=10820196 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18943/stat : 18943 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539555 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669740534800 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18944] ppid=18886 vsize=10820196 memory=2209 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18944/stat : 18944 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539555 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669644737680 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18945] ppid=18886 vsize=10820196 memory=92612 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18945/stat : 18945 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539555 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669643684624 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18946] ppid=18886 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18946/stat : 18946 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539555 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669642632080 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18947] ppid=18886 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18947/stat : 18947 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539556 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669195839728 140669736303234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18948] ppid=18886 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18948/stat : 18948 (java) S 18886 18889 15891 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 444539557 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669104415904 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18949] ppid=18886 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18949/stat : 18949 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539557 11079880704 12609 33554432000 4194304 4196468 140727289386976 140668500435696 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18950] ppid=18886 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18950/stat : 18950 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11079880704 12609 33554432000 4194304 4196468 140727289386976 140668260145104 140669736310683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18951] ppid=18886 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18889/task/18951/stat : 18951 (java) S 18886 18889 15891 0 -1 1077944384 363 13164 0 0 1 0 5 3 20 0 15 0 444539560 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669194787568 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18952] ppid=18886 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/18889/task/18952/stat : 18952 (java) S 18886 18889 15891 0 -1 1077944384 302 13164 0 0 2 0 5 3 20 0 15 0 444539560 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669193735024 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18953] ppid=18886 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/18889/task/18953/stat : 18953 (java) S 18886 18889 15891 0 -1 1077944384 623 13164 0 0 5 0 5 3 20 0 15 0 444539560 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669192681968 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18954] ppid=18886 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18954/stat : 18954 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11079880704 12609 33554432000 4194304 4196468 140727289386976 140668226587488 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18955] ppid=18886 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18955/stat : 18955 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539560 11079880704 12609 33554432000 4194304 4196468 140727289386976 140669191629360 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50436 KiB
[startup+0.704161 s]
/proc/loadavg: 1.32 1.37 1.35 3/228 18955
/proc/meminfo: memFree=30432376/32770624 swapFree=67002404/67108860
[pid=18889] ppid=18886 vsize=10824364 memory=83784 CPUtime=1.13 cores=0,2,4,6
/proc/18889/stat : 18889 (java) S 18886 18889 15891 0 -1 1077944320 15124 13164 0 0 100 5 5 3 20 0 15 0 444539545 11084148736 20946 33554432000 4194304 4196468 140727289386976 140727289369520 140669736292087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
/proc/18889/statm: 2706091 20946 3511 1 0 2668173 0
[pid=18889/tid=18942] ppid=18886 vsize=10824364 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/18889/task/18942/stat : 18942 (java) R 18886 18889 15891 0 -1 4202560 10486 13164 0 0 55 4 5 3 20 0 15 0 444539554 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669708121632 140669720372574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18943] ppid=18886 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18943/stat : 18943 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539555 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669740534800 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18944] ppid=18886 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18944/stat : 18944 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539555 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669644737680 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18945] ppid=18886 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18945/stat : 18945 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539555 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669643684624 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18946] ppid=18886 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18946/stat : 18946 (java) S 18886 18889 15891 0 -1 1077944384 2 13164 0 0 0 0 5 3 20 0 15 0 444539555 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669642632080 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18947] ppid=18886 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18947/stat : 18947 (java) S 18886 18889 15891 0 -1 1077944384 5 13164 0 0 0 0 5 3 20 0 15 0 444539556 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669195839728 140669736303234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18948] ppid=18886 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18948/stat : 18948 (java) S 18886 18889 15891 0 -1 1077944384 13 13164 0 0 0 0 5 3 20 0 15 0 444539557 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669104415904 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18949] ppid=18886 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18949/stat : 18949 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539557 11084148736 20946 33554432000 4194304 4196468 140727289386976 140668500435696 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18950] ppid=18886 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18950/stat : 18950 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11084148736 20946 33554432000 4194304 4196468 140727289386976 140668260145104 140669736310683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18951] ppid=18886 vsize=10824364 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/18889/task/18951/stat : 18951 (java) R 18886 18889 15891 0 -1 4202560 794 13164 0 0 13 0 5 3 20 0 15 0 444539560 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669194769728 140669713888240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18952] ppid=18886 vsize=10824364 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/18889/task/18952/stat : 18952 (java) R 18886 18889 15891 0 -1 4202560 799 13164 0 0 13 0 5 3 20 0 15 0 444539560 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669193735024 140669719702973 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18953] ppid=18886 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/18889/task/18953/stat : 18953 (java) S 18886 18889 15891 0 -1 1077944384 808 13164 0 0 16 0 5 3 20 0 15 0 444539560 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669192681968 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18954] ppid=18886 vsize=10824364 memory=140062910089136 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18954/stat : 18954 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11084148736 20946 33554432000 4194304 4196468 140727289386976 140668226587488 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18955] ppid=18886 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18955/stat : 18955 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539560 11084148736 20946 33554432000 4194304 4196468 140727289386976 140669191629360 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83784 KiB
[startup+1.50078 s]
/proc/loadavg: 1.32 1.37 1.35 5/228 18955
/proc/meminfo: memFree=30365740/32770624 swapFree=67002404/67108860
[pid=18889] ppid=18886 vsize=10832632 memory=230364 CPUtime=2.97 cores=0,2,4,6
/proc/18889/stat : 18889 (java) S 18886 18889 15891 0 -1 1077944320 25682 13164 0 0 278 11 5 3 20 0 15 0 444539545 11092615168 57591 33554432000 4194304 4196468 140727289386976 140727289369520 140669736292087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
/proc/18889/statm: 2708158 57591 3580 1 0 2670221 0
[pid=18889/tid=18942] ppid=18886 vsize=10832632 memory=25 CPUtime=1.43 cores=0,2,4,6
/proc/18889/task/18942/stat : 18942 (java) R 18886 18889 15891 0 -1 4202560 15348 13164 0 0 128 7 5 3 20 0 15 0 444539554 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669708123040 140669736314013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18943] ppid=18886 vsize=10832632 memory=29 CPUtime=0.09 cores=0,2,4,6
/proc/18889/task/18943/stat : 18943 (java) S 18886 18889 15891 0 -1 1077944384 16 13164 0 0 1 0 5 3 20 0 15 0 444539555 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669740534800 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18944] ppid=18886 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18889/task/18944/stat : 18944 (java) S 18886 18889 15891 0 -1 1077944384 84 13164 0 0 1 0 5 3 20 0 15 0 444539555 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669644737680 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18945] ppid=18886 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18889/task/18945/stat : 18945 (java) S 18886 18889 15891 0 -1 1077944384 241 13164 0 0 1 0 5 3 20 0 15 0 444539555 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669643684624 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18946] ppid=18886 vsize=10832632 memory=107032 CPUtime=0.09 cores=0,2,4,6
/proc/18889/task/18946/stat : 18946 (java) S 18886 18889 15891 0 -1 1077944384 60 13164 0 0 1 0 5 3 20 0 15 0 444539555 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669642632080 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18947] ppid=18886 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/18889/task/18947/stat : 18947 (java) S 18886 18889 15891 0 -1 1077944384 660 13164 0 0 1 0 5 3 20 0 15 0 444539556 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669195839728 140669736303234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18948] ppid=18886 vsize=10832632 memory=7019520165901527384 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18948/stat : 18948 (java) S 18886 18889 15891 0 -1 1077944384 15 13164 0 0 0 0 5 3 20 0 15 0 444539557 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669104415968 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18949] ppid=18886 vsize=10832632 memory=7667488700730859864 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18949/stat : 18949 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539557 11092615168 57591 33554432000 4194304 4196468 140727289386976 140668500435696 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18950] ppid=18886 vsize=10832632 memory=7013906068273849445 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18950/stat : 18950 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11092615168 57591 33554432000 4194304 4196468 140727289386976 140668260145104 140669736310683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18951] ppid=18886 vsize=10832632 memory=5788348613576451160 CPUtime=0.61 cores=0,2,4,6
/proc/18889/task/18951/stat : 18951 (java) S 18886 18889 15891 0 -1 1077944384 3049 13164 0 0 53 0 5 3 20 0 15 0 444539560 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669194787568 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18952] ppid=18886 vsize=10832632 memory=7381234207170258028 CPUtime=0.59 cores=0,2,4,6
/proc/18889/task/18952/stat : 18952 (java) S 18886 18889 15891 0 -1 1077944384 2260 13164 0 0 51 0 5 3 20 0 15 0 444539560 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669193735024 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18953] ppid=18886 vsize=10832632 memory=7800344859672537426 CPUtime=0.44 cores=0,2,4,6
/proc/18889/task/18953/stat : 18953 (java) S 18886 18889 15891 0 -1 1077944384 1732 13164 0 0 36 0 5 3 20 0 15 0 444539560 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669192681968 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18954] ppid=18886 vsize=10832632 memory=5571041044932483173 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18954/stat : 18954 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11092615168 57591 33554432000 4194304 4196468 140727289386976 140668226587488 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18955] ppid=18886 vsize=10832632 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18955/stat : 18955 (java) S 18886 18889 15891 0 -1 1077944384 1 13164 0 0 0 0 5 3 20 0 15 0 444539560 11092615168 57591 33554432000 4194304 4196468 140727289386976 140669191629360 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
Current children cumulated CPU time: 2.97 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/18889/task/18942/stat : 18942 (java) R 18886 18889 15891 0 -1 4202560 105256 13164 0 0 236786 55 5 3 20 0 15 0 444539554 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669708127200 140669337857929 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18943] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.21 cores=0,2,4,6
/proc/18889/task/18943/stat : 18943 (java) S 18886 18889 15891 0 -1 1077944384 41003 13164 0 0 682 31 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669740534800 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18944] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.19 cores=0,2,4,6
/proc/18889/task/18944/stat : 18944 (java) S 18886 18889 15891 0 -1 1077944384 47802 13164 0 0 677 34 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669644737680 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18945] ppid=18886 vsize=10849036 memory=164 CPUtime=7.22 cores=0,2,4,6
/proc/18889/task/18945/stat : 18945 (java) S 18886 18889 15891 0 -1 1077944384 39771 13164 0 0 677 37 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669643684624 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18946] ppid=18886 vsize=10849036 memory=56 CPUtime=7.17 cores=0,2,4,6
/proc/18889/task/18946/stat : 18946 (java) S 18886 18889 15891 0 -1 1077944384 43462 13164 0 0 674 35 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669642632080 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18947] ppid=18886 vsize=10849036 memory=2267280 CPUtime=5.13 cores=0,2,4,6
/proc/18889/task/18947/stat : 18947 (java) S 18886 18889 15891 0 -1 1077944384 30466 13164 0 0 475 30 5 3 20 0 15 0 444539556 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669195839728 140669736303234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18948] ppid=18886 vsize=10849036 memory=2267280 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18948/stat : 18948 (java) S 18886 18889 15891 0 -1 1077944384 19 13164 0 0 0 0 5 3 20 0 15 0 444539557 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669104416032 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18949] ppid=18886 vsize=10849036 memory=2267280 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18949/stat : 18949 (java) S 18886 18889 15891 0 -1 1077944384 8 13164 0 0 0 0 5 3 20 0 15 0 444539557 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668500435712 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18950] ppid=18886 vsize=10849036 memory=3616 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18950/stat : 18950 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668260145104 140669736310683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18951] ppid=18886 vsize=10849036 memory=6791534058613427641 CPUtime=5.51 cores=0,2,4,6
/proc/18889/task/18951/stat : 18951 (java) S 18886 18889 15891 0 -1 1077944384 38939 13164 0 0 538 5 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669194787568 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18952] ppid=18886 vsize=10849036 memory=2267280 CPUtime=5.47 cores=0,2,4,6
/proc/18889/task/18952/stat : 18952 (java) S 18886 18889 15891 0 -1 1077944384 29924 13164 0 0 535 4 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669193735024 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 15 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18953] ppid=18886 vsize=10849036 memory=47416 CPUtime=1.9 cores=0,2,4,6
/proc/18889/task/18953/stat : 18953 (java) S 18886 18889 15891 0 -1 1077944384 14401 13164 0 0 178 4 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669192681968 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18954] ppid=18886 vsize=10849036 memory=988 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18954/stat : 18954 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668226587488 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18955] ppid=18886 vsize=10849036 memory=12040 CPUtime=1.46 cores=0,2,4,6
/proc/18889/task/18955/stat : 18955 (java) S 18886 18889 15891 0 -1 1077944384 1948 13164 0 0 67 71 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669191629360 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 18 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
Current children cumulated CPU time: 2416.12 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2267280 KiB
[startup+2442.3 s]
/proc/loadavg: 1.85 1.53 1.44 3/227 19724
/proc/meminfo: memFree=28699232/32770624 swapFree=67002416/67108860
[pid=18889] ppid=18886 vsize=10849036 memory=2267280 CPUtime=2476.76 cores=0,2,4,6
/proc/18889/stat : 18889 (java) S 18886 18889 15891 0 -1 1077944320 401794 13164 0 0 247398 270 5 3 20 0 15 0 444539545 11109412864 566820 33554432000 4194304 4196468 140727289386976 140727289369520 140669736292087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
/proc/18889/statm: 2712259 566820 3628 1 0 2674317 0
[pid=18889/tid=18942] ppid=18886 vsize=10849036 memory=2267280 CPUtime=2428.05 cores=0,2,4,6
/proc/18889/task/18942/stat : 18942 (java) R 18886 18889 15891 0 -1 4202560 106879 13164 0 0 242742 55 5 3 20 0 15 0 444539554 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669708111168 140669336753856 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18943] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.43 cores=0,2,4,6
/proc/18889/task/18943/stat : 18943 (java) S 18886 18889 15891 0 -1 1077944384 41234 13164 0 0 703 32 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669740534800 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18944] ppid=18886 vsize=10849036 memory=56 CPUtime=7.42 cores=0,2,4,6
/proc/18889/task/18944/stat : 18944 (java) S 18886 18889 15891 0 -1 1077944384 50081 13164 0 0 698 36 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669644737680 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18945] ppid=18886 vsize=10849036 memory=3616 CPUtime=7.45 cores=0,2,4,6
/proc/18889/task/18945/stat : 18945 (java) S 18886 18889 15891 0 -1 1077944384 40157 13164 0 0 699 38 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669643684624 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18946] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.38 cores=0,2,4,6
/proc/18889/task/18946/stat : 18946 (java) S 18886 18889 15891 0 -1 1077944384 44765 13164 0 0 695 35 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669642632080 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18947] ppid=18886 vsize=10849036 memory=10600 CPUtime=5.28 cores=0,2,4,6
/proc/18889/task/18947/stat : 18947 (java) S 18886 18889 15891 0 -1 1077944384 31142 13164 0 0 490 30 5 3 20 0 15 0 444539556 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669195839728 140669736303234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18948] ppid=18886 vsize=10849036 memory=2267280 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18948/stat : 18948 (java) S 18886 18889 15891 0 -1 1077944384 19 13164 0 0 0 0 5 3 20 0 15 0 444539557 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669104416032 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18949] ppid=18886 vsize=10849036 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18949/stat : 18949 (java) S 18886 18889 15891 0 -1 1077944384 8 13164 0 0 0 0 5 3 20 0 15 0 444539557 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668500435712 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18950] ppid=18886 vsize=10849036 memory=2267280 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18950/stat : 18950 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668260145104 140669736310683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18951] ppid=18886 vsize=10849036 memory=2267280 CPUtime=5.51 cores=0,2,4,6
/proc/18889/task/18951/stat : 18951 (java) S 18886 18889 15891 0 -1 1077944384 38944 13164 0 0 538 5 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669194787568 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18952] ppid=18886 vsize=10849036 memory=2267280 CPUtime=5.47 cores=0,2,4,6
/proc/18889/task/18952/stat : 18952 (java) S 18886 18889 15891 0 -1 1077944384 29929 13164 0 0 535 4 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669193735024 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18953] ppid=18886 vsize=10849036 memory=3616 CPUtime=1.9 cores=0,2,4,6
/proc/18889/task/18953/stat : 18953 (java) S 18886 18889 15891 0 -1 1077944384 14405 13164 0 0 178 4 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669192681968 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18954] ppid=18886 vsize=10849036 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18954/stat : 18954 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668226587488 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18955] ppid=18886 vsize=10849036 memory=636 CPUtime=1.5 cores=0,2,4,6
/proc/18889/task/18955/stat : 18955 (java) S 18886 18889 15891 0 -1 1077944384 2016 13164 0 0 70 72 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669191629360 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
Current children cumulated CPU time: 2476.76 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2267280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2485.11 s]
/proc/loadavg: 1.61 1.51 1.44 3/227 19728
/proc/meminfo: memFree=28593248/32770624 swapFree=67002416/67108860
[pid=18889] ppid=18886 vsize=10849036 memory=2267280 CPUtime=2520.02 cores=0,2,4,6
/proc/18889/stat : 18889 (java) S 18886 18889 15891 0 -1 1077944320 406482 13164 0 0 251720 274 5 3 20 0 15 0 444539545 11109412864 566820 33554432000 4194304 4196468 140727289386976 140727289369520 140669736292087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
/proc/18889/statm: 2712259 566820 3628 1 0 2674317 0
[pid=18889/tid=18942] ppid=18886 vsize=10849036 memory=2267280 CPUtime=2470.53 cores=0,2,4,6
/proc/18889/task/18942/stat : 18942 (java) R 18886 18889 15891 0 -1 4202560 107876 13164 0 0 246990 55 5 3 20 0 15 0 444539554 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669708115344 140669337861072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18943] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.59 cores=0,2,4,6
/proc/18889/task/18943/stat : 18943 (java) S 18886 18889 15891 0 -1 1077944384 41354 13164 0 0 719 32 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669740534800 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18944] ppid=18886 vsize=10849036 memory=3616 CPUtime=7.57 cores=0,2,4,6
/proc/18889/task/18944/stat : 18944 (java) S 18886 18889 15891 0 -1 1077944384 51317 13164 0 0 713 36 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669644737680 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18945] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.61 cores=0,2,4,6
/proc/18889/task/18945/stat : 18945 (java) S 18886 18889 15891 0 -1 1077944384 40824 13164 0 0 714 39 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669643684624 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18946] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.54 cores=0,2,4,6
/proc/18889/task/18946/stat : 18946 (java) S 18886 18889 15891 0 -1 1077944384 46040 13164 0 0 710 36 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669642632080 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18947] ppid=18886 vsize=10849036 memory=2267280 CPUtime=5.4 cores=0,2,4,6
/proc/18889/task/18947/stat : 18947 (java) S 18886 18889 15891 0 -1 1077944384 31504 13164 0 0 501 31 5 3 20 0 15 0 444539556 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669195839728 140669736303234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18948] ppid=18886 vsize=10849036 memory=2267280 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18948/stat : 18948 (java) S 18886 18889 15891 0 -1 1077944384 19 13164 0 0 0 0 5 3 20 0 15 0 444539557 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669104416032 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18949] ppid=18886 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18949/stat : 18949 (java) S 18886 18889 15891 0 -1 1077944384 8 13164 0 0 0 0 5 3 20 0 15 0 444539557 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668500435712 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18950] ppid=18886 vsize=10849036 memory=2120 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18950/stat : 18950 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668260145104 140669736310683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18951] ppid=18886 vsize=10849036 memory=25552 CPUtime=5.51 cores=0,2,4,6
/proc/18889/task/18951/stat : 18951 (java) S 18886 18889 15891 0 -1 1077944384 38946 13164 0 0 538 5 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669194787568 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18952] ppid=18886 vsize=10849036 memory=2267280 CPUtime=5.47 cores=0,2,4,6
/proc/18889/task/18952/stat : 18952 (java) S 18886 18889 15891 0 -1 1077944384 29932 13164 0 0 535 4 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669193735024 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18953] ppid=18886 vsize=10849036 memory=2267280 CPUtime=1.9 cores=0,2,4,6
/proc/18889/task/18953/stat : 18953 (java) S 18886 18889 15891 0 -1 1077944384 14407 13164 0 0 178 4 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669192681968 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18954] ppid=18886 vsize=10849036 memory=2267280 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18954/stat : 18954 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668226587488 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18955] ppid=18886 vsize=10849036 memory=2267280 CPUtime=1.52 cores=0,2,4,6
/proc/18889/task/18955/stat : 18955 (java) S 18886 18889 15891 0 -1 1077944384 2040 13164 0 0 71 73 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669191629360 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2267280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2485.15 s]
# the end of solver process 18889 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.28 s, system=2.79823 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2485.11 s]
/proc/loadavg: 1.61 1.51 1.44 3/227 19728
/proc/meminfo: memFree=28593248/32770624 swapFree=67002416/67108860
[pid=18889] ppid=18886 vsize=10849036 memory=2267280 CPUtime=2520.02 cores=0,2,4,6
/proc/18889/stat : 18889 (java) S 18886 18889 15891 0 -1 1077944320 406482 13164 0 0 251720 274 5 3 20 0 15 0 444539545 11109412864 566820 33554432000 4194304 4196468 140727289386976 140727289369520 140669736292087 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
/proc/18889/statm: 2712259 566820 3628 1 0 2674317 0
[pid=18889/tid=18942] ppid=18886 vsize=10849036 memory=2267280 CPUtime=2470.53 cores=0,2,4,6
/proc/18889/task/18942/stat : 18942 (java) R 18886 18889 15891 0 -1 4202560 107876 13164 0 0 246990 55 5 3 20 0 15 0 444539554 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669708115344 140669337861072 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18943] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.59 cores=0,2,4,6
/proc/18889/task/18943/stat : 18943 (java) S 18886 18889 15891 0 -1 1077944384 41354 13164 0 0 719 32 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669740534800 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18944] ppid=18886 vsize=10849036 memory=3616 CPUtime=7.57 cores=0,2,4,6
/proc/18889/task/18944/stat : 18944 (java) S 18886 18889 15891 0 -1 1077944384 51317 13164 0 0 713 36 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669644737680 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18945] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.61 cores=0,2,4,6
/proc/18889/task/18945/stat : 18945 (java) S 18886 18889 15891 0 -1 1077944384 40824 13164 0 0 714 39 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669643684624 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18946] ppid=18886 vsize=10849036 memory=2267280 CPUtime=7.54 cores=0,2,4,6
/proc/18889/task/18946/stat : 18946 (java) S 18886 18889 15891 0 -1 1077944384 46040 13164 0 0 710 36 5 3 20 0 15 0 444539555 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669642632080 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18947] ppid=18886 vsize=10849036 memory=2267280 CPUtime=5.4 cores=0,2,4,6
/proc/18889/task/18947/stat : 18947 (java) S 18886 18889 15891 0 -1 1077944384 31504 13164 0 0 501 31 5 3 20 0 15 0 444539556 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669195839728 140669736303234 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18948] ppid=18886 vsize=10849036 memory=2267280 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18948/stat : 18948 (java) S 18886 18889 15891 0 -1 1077944384 19 13164 0 0 0 0 5 3 20 0 15 0 444539557 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669104416032 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18949] ppid=18886 vsize=10849036 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18949/stat : 18949 (java) S 18886 18889 15891 0 -1 1077944384 8 13164 0 0 0 0 5 3 20 0 15 0 444539557 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668500435712 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18950] ppid=18886 vsize=10849036 memory=2120 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18950/stat : 18950 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668260145104 140669736310683 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18951] ppid=18886 vsize=10849036 memory=25552 CPUtime=5.51 cores=0,2,4,6
/proc/18889/task/18951/stat : 18951 (java) S 18886 18889 15891 0 -1 1077944384 38946 13164 0 0 538 5 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669194787568 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18952] ppid=18886 vsize=10849036 memory=2267280 CPUtime=5.47 cores=0,2,4,6
/proc/18889/task/18952/stat : 18952 (java) S 18886 18889 15891 0 -1 1077944384 29932 13164 0 0 535 4 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669193735024 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 15 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18953] ppid=18886 vsize=10849036 memory=2267280 CPUtime=1.9 cores=0,2,4,6
/proc/18889/task/18953/stat : 18953 (java) S 18886 18889 15891 0 -1 1077944384 14407 13164 0 0 178 4 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669192681968 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 15 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18954] ppid=18886 vsize=10849036 memory=2267280 CPUtime=0.08 cores=0,2,4,6
/proc/18889/task/18954/stat : 18954 (java) S 18886 18889 15891 0 -1 1077944384 3 13164 0 0 0 0 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140668226587488 140669736302293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
[pid=18889/tid=18955] ppid=18886 vsize=10849036 memory=2267280 CPUtime=1.52 cores=0,2,4,6
/proc/18889/task/18955/stat : 18955 (java) S 18886 18889 15891 0 -1 1077944384 2040 13164 0 0 71 73 5 3 20 0 15 0 444539560 11109412864 566820 33554432000 4194304 4196468 140727289386976 140669191629360 140669736303234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 18 0 0 6293624 6294260 30330880 140727289395952 140727289398469 140727289398469 140727289401295 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2267280 KiB
Child status: 143
Real time (s): 2485.15
CPU time (s): 2520.08
CPU user time (s): 2517.28
CPU system time (s): 2.79823
CPU usage (%): 101.406
Max. virtual memory (cumulated for all children) (KiB): 10850244
Max. memory (cumulated for all children) (KiB): 2320252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.28
system time used= 2.79823
maximum resident set size= 2322684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423656
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 172414
involuntary context switches= 4694
# summary of solver processes directly reported to runsolver:
# pid: 18889
# total CPU time (s): 2520.08
# total CPU user time (s): 2517.28
# total CPU system time (s): 2.79823
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5749 second user time and 24.1395 second system time
The end