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 (10152 MiB free)
memory of node 1: 16384 MiB (15634 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395750-1568403975/watcher-4395750-1568403975 -o /tmp/evaluation-result-4395750-1568403975/solver-4395750-1568403975 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1568401436-22174 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2035013920 HOME/instance-4395750-1568403975.xml
running on 4 cores: 1,3,5,7
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=22884, runsolver pid=22881
Current StackSize limit: 8192 KiB
[startup+0.100126 s]*
/proc/loadavg: 1.56 1.49 1.47 3/218 22941
/proc/meminfo: memFree=26400684/32770624 swapFree=67020720/67108860
[pid=22884] ppid=22881 vsize=9989820 memory=17744 CPUtime=0.1 cores=1,3,5,7
/proc/22884/stat : 22884 (java) S 22881 22884 22142 0 -1 1077944320 4653 13010 0 0 2 0 5 3 20 0 6 0 416670130 10229575680 4436 33554432000 4194304 4196468 140724006650896 140724006633440 139748844646135 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
/proc/22884/statm: 2497455 4436 1995 1 0 2485893 0
[pid=22884/tid=22937] ppid=22881 vsize=9989820 memory=4279135703980213390 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22937/stat : 22937 (java) R 22881 22884 22142 0 -1 4202560 2442 13010 0 0 1 0 5 3 20 0 7 0 416670139 10229575680 4948 33554432000 4194304 4196468 140724006650896 139748816482896 139748837385985 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22938] ppid=22881 vsize=9989820 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22938/stat : 22938 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 7 0 416670139 10229575680 4948 33554432000 4194304 4196468 140724006650896 139748848888464 139748844656341 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22939] ppid=22881 vsize=9989820 memory=140522374157952 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22939/stat : 22939 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 7 0 416670139 10229575680 4948 33554432000 4194304 4196468 140724006650896 139748417657360 139748844656341 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22940] ppid=22881 vsize=9989820 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22940/stat : 22940 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 7 0 416670139 10229575680 4948 33554432000 4194304 4196468 140724006650896 139748416604560 139748844656341 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22941] ppid=22881 vsize=10055356 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22941/stat : 22941 (java) S 22881 22884 22142 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 7 0 416670139 10296684544 4948 33554432000 4194304 4196468 140724006650896 139748415551760 139748844656341 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22942] ppid=22881 vsize=10055356 memory=140522374157952 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22942/stat : 22942 (java) S 22881 22884 22142 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 7 0 416670141 10296684544 4948 33554432000 4194304 4196468 140724006650896 139747847564144 139748844657282 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9989820 KiB
Current children cumulated memory: 17744 KiB
[startup+0.210031 s]*
/proc/loadavg: 1.56 1.49 1.47 3/227 22950
/proc/meminfo: memFree=26383040/32770624 swapFree=67020720/67108860
[pid=22884] ppid=22881 vsize=10819664 memory=44232 CPUtime=0.26 cores=1,3,5,7
/proc/22884/stat : 22884 (java) S 22881 22884 22142 0 -1 1077944320 7340 13010 0 0 17 1 5 3 20 0 15 0 416670130 11079335936 10994 33554432000 4194304 4196468 140724006650896 140724006633440 139748844646135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
/proc/22884/statm: 2704916 10994 3161 1 0 2667149 0
[pid=22884/tid=22937] ppid=22881 vsize=10819664 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/22884/task/22937/stat : 22937 (java) R 22881 22884 22142 0 -1 4202560 3823 13010 0 0 11 0 5 3 20 0 15 0 416670139 11079335936 11058 33554432000 4194304 4196468 140724006650896 139748816451936 139748836887525 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22938] ppid=22881 vsize=10819664 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22938/stat : 22938 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670139 11079335936 11058 33554432000 4194304 4196468 140724006650896 139748848888464 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22939] ppid=22881 vsize=10819664 memory=140522374157952 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22939/stat : 22939 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670139 11079335936 11058 33554432000 4194304 4196468 140724006650896 139748417657360 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22940] ppid=22881 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22940/stat : 22940 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670139 11079335936 11058 33554432000 4194304 4196468 140724006650896 139748416604560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22941] ppid=22881 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22941/stat : 22941 (java) S 22881 22884 22142 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 416670139 11079335936 11058 33554432000 4194304 4196468 140724006650896 139748415551760 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22942] ppid=22881 vsize=10819664 memory=140522374157952 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22942/stat : 22942 (java) S 22881 22884 22142 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 416670141 11079335936 11058 33554432000 4194304 4196468 140724006650896 139747847564144 139748844657282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22943] ppid=22881 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22943/stat : 22943 (java) S 22881 22884 22142 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 416670141 11079335936 11058 33554432000 4194304 4196468 140724006650896 139747766822432 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22944] ppid=22881 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22944/stat : 22944 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670141 11079335936 11058 33554432000 4194304 4196468 140724006650896 139747632604528 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22945] ppid=22881 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22945/stat : 22945 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11079335936 11058 33554432000 4194304 4196468 140724006650896 139747392313680 139748844664731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22946] ppid=22881 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22946/stat : 22946 (java) S 22881 22884 22142 0 -1 1077944384 469 13010 0 0 1 0 5 3 20 0 15 0 416670144 11079335936 11058 33554432000 4194304 4196468 140724006650896 139747846510960 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22947] ppid=22881 vsize=10819664 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22947/stat : 22947 (java) S 22881 22884 22142 0 -1 1077944384 191 13010 0 0 1 0 5 3 20 0 15 0 416670144 11079335936 11058 33554432000 4194304 4196468 140724006650896 139747845458160 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22948] ppid=22881 vsize=10819664 memory=140522374157952 CPUtime=0.11 cores=1,3,5,7
/proc/22884/task/22948/stat : 22948 (java) R 22881 22884 22142 0 -1 4202560 624 13010 0 0 3 0 5 3 20 0 15 0 416670144 11079335936 11058 33554432000 4194304 4196468 140724006650896 139747844405360 139748836883262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22949] ppid=22881 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22949/stat : 22949 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11079335936 11058 33554432000 4194304 4196468 140724006650896 139747358755040 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22950] ppid=22881 vsize=10819664 memory=140522374157952 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22950/stat : 22950 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670145 11079335936 11058 33554432000 4194304 4196468 140724006650896 139747843353776 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 44232 KiB
[startup+0.310471 s]*
/proc/loadavg: 1.56 1.49 1.47 3/227 22950
/proc/meminfo: memFree=26369060/32770624 swapFree=67020720/67108860
[pid=22884] ppid=22881 vsize=10820148 memory=53324 CPUtime=0.41 cores=1,3,5,7
/proc/22884/stat : 22884 (java) S 22881 22884 22142 0 -1 1077944320 11018 13010 0 0 30 3 5 3 20 0 15 0 416670130 11079831552 13331 33554432000 4194304 4196468 140724006650896 140724006633440 139748844646135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
/proc/22884/statm: 2705037 13331 3322 1 0 2667149 0
[pid=22884/tid=22937] ppid=22881 vsize=10820148 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/22884/task/22937/stat : 22937 (java) R 22881 22884 22142 0 -1 4202560 7481 13010 0 0 20 2 5 3 20 0 15 0 416670139 11079831552 13331 33554432000 4194304 4196468 140724006650896 139748816446048 139748828726622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22938] ppid=22881 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22938/stat : 22938 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670139 11079831552 13331 33554432000 4194304 4196468 140724006650896 139748848888464 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22939] ppid=22881 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22939/stat : 22939 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670139 11079831552 13331 33554432000 4194304 4196468 140724006650896 139748417657360 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22940] ppid=22881 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22940/stat : 22940 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670139 11079831552 13331 33554432000 4194304 4196468 140724006650896 139748416604560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22941] ppid=22881 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22941/stat : 22941 (java) S 22881 22884 22142 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 416670139 11079831552 13331 33554432000 4194304 4196468 140724006650896 139748415551760 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22942] ppid=22881 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22942/stat : 22942 (java) S 22881 22884 22142 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 416670141 11079831552 13331 33554432000 4194304 4196468 140724006650896 139747847564144 139748844657282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22943] ppid=22881 vsize=10820148 memory=140522374157951 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22943/stat : 22943 (java) S 22881 22884 22142 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 416670141 11079831552 13331 33554432000 4194304 4196468 140724006650896 139747766822432 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22944] ppid=22881 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22944/stat : 22944 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670141 11079831552 13331 33554432000 4194304 4196468 140724006650896 139747632604528 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22945] ppid=22881 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22945/stat : 22945 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11079831552 13331 33554432000 4194304 4196468 140724006650896 139747392313680 139748844664731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22946] ppid=22881 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/22884/task/22946/stat : 22946 (java) S 22881 22884 22142 0 -1 1077944384 470 13010 0 0 2 0 5 3 20 0 15 0 416670144 11079831552 13331 33554432000 4194304 4196468 140724006650896 139747846510960 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22947] ppid=22881 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22947/stat : 22947 (java) S 22881 22884 22142 0 -1 1077944384 200 13010 0 0 1 0 5 3 20 0 15 0 416670144 11079831552 13331 33554432000 4194304 4196468 140724006650896 139747845458160 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22948] ppid=22881 vsize=10820148 memory=140522374157952 CPUtime=0.13 cores=1,3,5,7
/proc/22884/task/22948/stat : 22948 (java) S 22881 22884 22142 0 -1 1077944384 632 13010 0 0 5 0 5 3 20 0 15 0 416670144 11079831552 13331 33554432000 4194304 4196468 140724006650896 139747844405360 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22949] ppid=22881 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22949/stat : 22949 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11079831552 13331 33554432000 4194304 4196468 140724006650896 139747358755040 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22950] ppid=22881 vsize=10820148 memory=140522374157952 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22950/stat : 22950 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670145 11079831552 13331 33554432000 4194304 4196468 140724006650896 139747843353776 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 53324 KiB
[startup+0.70074 s]
/proc/loadavg: 1.56 1.49 1.47 5/227 22950
/proc/meminfo: memFree=26358536/32770624 swapFree=67020720/67108860
[pid=22884] ppid=22881 vsize=10824360 memory=85300 CPUtime=1.14 cores=1,3,5,7
/proc/22884/stat : 22884 (java) S 22881 22884 22142 0 -1 1077944320 15097 13010 0 0 102 4 5 3 20 0 15 0 416670130 11084144640 21325 33554432000 4194304 4196468 140724006650896 140724006633440 139748844646135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
/proc/22884/statm: 2706090 21325 3505 1 0 2668173 0
[pid=22884/tid=22937] ppid=22881 vsize=10824360 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/22884/task/22937/stat : 22937 (java) R 22881 22884 22142 0 -1 4202560 10392 13010 0 0 56 3 5 3 20 0 15 0 416670139 11084144640 21325 33554432000 4194304 4196468 140724006650896 139748816460640 139748828726622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22938] ppid=22881 vsize=10824360 memory=140522273275654 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22938/stat : 22938 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670139 11084144640 21325 33554432000 4194304 4196468 140724006650896 139748848888464 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22939] ppid=22881 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22939/stat : 22939 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670139 11084144640 21325 33554432000 4194304 4196468 140724006650896 139748417657360 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22940] ppid=22881 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22940/stat : 22940 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670139 11084144640 21325 33554432000 4194304 4196468 140724006650896 139748416604560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22941] ppid=22881 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22941/stat : 22941 (java) S 22881 22884 22142 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 416670139 11084144640 21325 33554432000 4194304 4196468 140724006650896 139748415551760 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22942] ppid=22881 vsize=10824360 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22942/stat : 22942 (java) S 22881 22884 22142 0 -1 1077944384 5 13010 0 0 0 0 5 3 20 0 15 0 416670141 11084144640 21325 33554432000 4194304 4196468 140724006650896 139747847564144 139748844657282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22943] ppid=22881 vsize=10824360 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22943/stat : 22943 (java) S 22881 22884 22142 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 416670141 11084144640 21325 33554432000 4194304 4196468 140724006650896 139747766822432 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22944] ppid=22881 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22944/stat : 22944 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670141 11084144640 21325 33554432000 4194304 4196468 140724006650896 139747632604528 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22945] ppid=22881 vsize=10824360 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22945/stat : 22945 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11084144640 21325 33554432000 4194304 4196468 140724006650896 139747392313680 139748844664731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22946] ppid=22881 vsize=10824360 memory=11044 CPUtime=0.2 cores=1,3,5,7
/proc/22884/task/22946/stat : 22946 (java) S 22881 22884 22142 0 -1 1077944384 856 13010 0 0 12 0 5 3 20 0 15 0 416670144 11084144640 21325 33554432000 4194304 4196468 140724006650896 139747846510960 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22947] ppid=22881 vsize=10824360 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/22884/task/22947/stat : 22947 (java) R 22881 22884 22142 0 -1 4202560 825 13010 0 0 15 0 5 3 20 0 15 0 416670144 11084144640 21325 33554432000 4194304 4196468 140724006650896 139747845458160 139748829525702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22948] ppid=22881 vsize=10824360 memory=27300 CPUtime=0.25 cores=1,3,5,7
/proc/22884/task/22948/stat : 22948 (java) S 22881 22884 22142 0 -1 1077944384 786 13010 0 0 17 0 5 3 20 0 15 0 416670144 11084144640 21325 33554432000 4194304 4196468 140724006650896 139747844405360 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22949] ppid=22881 vsize=10824360 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22949/stat : 22949 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11084144640 21325 33554432000 4194304 4196468 140724006650896 139747358755040 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22950] ppid=22881 vsize=10824360 memory=140522270262928 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22950/stat : 22950 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670145 11084144640 21325 33554432000 4194304 4196468 140724006650896 139747843353776 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85300 KiB
[startup+1.50096 s]
/proc/loadavg: 1.56 1.49 1.47 3/227 22950
/proc/meminfo: memFree=26123104/32770624 swapFree=67020720/67108860
[pid=22884] ppid=22881 vsize=10834676 memory=176224 CPUtime=2.54 cores=1,3,5,7
/proc/22884/stat : 22884 (java) S 22881 22884 22142 0 -1 1077944320 22182 13010 0 0 236 10 5 3 20 0 15 0 416670130 11094708224 44056 33554432000 4194304 4196468 140724006650896 140724006633440 139748844646135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
/proc/22884/statm: 2708669 44056 3578 1 0 2670733 0
[pid=22884/tid=22937] ppid=22881 vsize=10834676 memory=23 CPUtime=1.44 cores=1,3,5,7
/proc/22884/task/22937/stat : 22937 (java) R 22881 22884 22142 0 -1 1077944384 15275 13010 0 0 130 6 5 3 20 0 15 0 416670139 11094708224 44056 33554432000 4194304 4196468 140724006650896 139748816444224 139748844656341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22938] ppid=22881 vsize=10834676 memory=24 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22938/stat : 22938 (java) S 22881 22884 22142 0 -1 1077944384 60 13010 0 0 1 0 5 3 20 0 15 0 416670139 11094708224 44056 33554432000 4194304 4196468 140724006650896 139748848888464 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22939] ppid=22881 vsize=10834676 memory=29 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22939/stat : 22939 (java) S 22881 22884 22142 0 -1 1077944384 323 13010 0 0 0 0 5 3 20 0 15 0 416670139 11094708224 44056 33554432000 4194304 4196468 140724006650896 139748417657360 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22940] ppid=22881 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22940/stat : 22940 (java) S 22881 22884 22142 0 -1 1077944384 22 13010 0 0 1 0 5 3 20 0 15 0 416670139 11094708224 44056 33554432000 4194304 4196468 140724006650896 139748416604560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22941] ppid=22881 vsize=10834676 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22941/stat : 22941 (java) S 22881 22884 22142 0 -1 1077944384 83 13010 0 0 1 0 5 3 20 0 15 0 416670139 11094708224 44056 33554432000 4194304 4196468 140724006650896 139748415551760 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22942] ppid=22881 vsize=10834676 memory=7090162675606381656 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22942/stat : 22942 (java) S 22881 22884 22142 0 -1 1077944384 148 13010 0 0 1 0 5 3 20 0 15 0 416670141 11094708224 44056 33554432000 4194304 4196468 140724006650896 139747847564144 139748844657282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22943] ppid=22881 vsize=10834676 memory=7594856100799795554 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22943/stat : 22943 (java) S 22881 22884 22142 0 -1 1077944384 14 13010 0 0 0 0 5 3 20 0 15 0 416670141 11094708224 44056 33554432000 4194304 4196468 140724006650896 139747766822496 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22944] ppid=22881 vsize=10834676 memory=7157181242384542057 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22944/stat : 22944 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670141 11094708224 44056 33554432000 4194304 4196468 140724006650896 139747632604544 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22945] ppid=22881 vsize=10834676 memory=5571041044932417637 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22945/stat : 22945 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11094708224 44056 33554432000 4194304 4196468 140724006650896 139747392313680 139748844664731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22946] ppid=22881 vsize=10834676 memory=7237396108858646889 CPUtime=0.37 cores=1,3,5,7
/proc/22884/task/22946/stat : 22946 (java) S 22881 22884 22142 0 -1 1077944384 1420 13010 0 0 29 0 5 3 20 0 15 0 416670144 11094708224 44056 33554432000 4194304 4196468 140724006650896 139747846510960 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22947] ppid=22881 vsize=10834676 memory=7372784490393398888 CPUtime=0.35 cores=1,3,5,7
/proc/22884/task/22947/stat : 22947 (java) S 22881 22884 22142 0 -1 1077944384 1046 13010 0 0 27 0 5 3 20 0 15 0 416670144 11094708224 44056 33554432000 4194304 4196468 140724006650896 139747845458160 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22948] ppid=22881 vsize=10834676 memory=7517752886507040616 CPUtime=0.5 cores=1,3,5,7
/proc/22884/task/22948/stat : 22948 (java) R 22881 22884 22142 0 -1 4202560 1578 13010 0 0 42 0 5 3 20 0 15 0 416670144 11094708224 44056 33554432000 4194304 4196468 140724006650896 139747844401088 139748844667482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22949] ppid=22881 vsize=10834676 memory=6226624956494211943 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22949/stat : 22949 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11094708224 44056 33554432000 4194304 4196468 140724006650896 139747358755040 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22950] ppid=22881 vsize=10834676 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22950/stat : 22950 (java) S 22881 22884 22142 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 416670145 11094708224 44056 33554432000 4194304 4196468 140724006650896 139747843353776 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
################
# More data... #
################
[startup+4.36249 s]
# the end of solver process 22884 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.68989 s, system=0.254605 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20087 s]
/proc/loadavg: 1.60 1.50 1.47 6/227 22950
/proc/meminfo: memFree=25513368/32770624 swapFree=67020720/67108860
[pid=22884] ppid=22881 vsize=10842888 memory=288672 CPUtime=7.2 cores=1,3,5,7
/proc/22884/stat : 22884 (java) S 22881 22884 22142 0 -1 1077944320 36054 13010 0 0 696 16 5 3 20 0 15 0 416670130 11103117312 72168 33554432000 4194304 4196468 140724006650896 140724006633440 139748844646135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
/proc/22884/statm: 2710722 72168 3606 1 0 2672781 0
[pid=22884/tid=22937] ppid=22881 vsize=10842888 memory=0 CPUtime=3.11 cores=1,3,5,7
/proc/22884/task/22937/stat : 22937 (java) R 22881 22884 22142 0 -1 4202560 20086 13010 0 0 294 9 5 3 20 0 15 0 416670139 11103117312 72168 33554432000 4194304 4196468 140724006650896 139748816475776 139748458049976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22938] ppid=22881 vsize=10842888 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22938/stat : 22938 (java) S 22881 22884 22142 0 -1 1077944384 66 13010 0 0 1 0 5 3 20 0 15 0 416670139 11103117312 72168 33554432000 4194304 4196468 140724006650896 139748848888464 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22939] ppid=22881 vsize=10842888 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22939/stat : 22939 (java) S 22881 22884 22142 0 -1 1077944384 326 13010 0 0 1 0 5 3 20 0 15 0 416670139 11103117312 72168 33554432000 4194304 4196468 140724006650896 139748417657360 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22940] ppid=22881 vsize=10842888 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22940/stat : 22940 (java) S 22881 22884 22142 0 -1 1077944384 32 13010 0 0 1 0 5 3 20 0 15 0 416670139 11103117312 72168 33554432000 4194304 4196468 140724006650896 139748416604560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22941] ppid=22881 vsize=10842888 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22941/stat : 22941 (java) S 22881 22884 22142 0 -1 1077944384 88 13010 0 0 1 0 5 3 20 0 15 0 416670139 11103117312 72168 33554432000 4194304 4196468 140724006650896 139748415551760 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22942] ppid=22881 vsize=10842888 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22884/task/22942/stat : 22942 (java) S 22881 22884 22142 0 -1 1077944384 184 13010 0 0 1 0 5 3 20 0 15 0 416670141 11103117312 72168 33554432000 4194304 4196468 140724006650896 139747847564144 139748844657282 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22943] ppid=22881 vsize=10842888 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22943/stat : 22943 (java) S 22881 22884 22142 0 -1 1077944384 17 13010 0 0 0 0 5 3 20 0 15 0 416670141 11103117312 72168 33554432000 4194304 4196468 140724006650896 139747766822496 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22944] ppid=22881 vsize=10842888 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22944/stat : 22944 (java) S 22881 22884 22142 0 -1 1077944384 5 13010 0 0 0 0 5 3 20 0 15 0 416670141 11103117312 72168 33554432000 4194304 4196468 140724006650896 139747632604544 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22945] ppid=22881 vsize=10842888 memory=174532 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22945/stat : 22945 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11103117312 72168 33554432000 4194304 4196468 140724006650896 139747392313680 139748844664731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22946] ppid=22881 vsize=10842888 memory=5793388752799809639 CPUtime=1.38 cores=1,3,5,7
/proc/22884/task/22946/stat : 22946 (java) S 22881 22884 22142 0 -1 1077944384 3574 13010 0 0 130 0 5 3 20 0 15 0 416670144 11103117312 72168 33554432000 4194304 4196468 140724006650896 139747846510960 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22947] ppid=22881 vsize=10842888 memory=5789766824730651987 CPUtime=1.63 cores=1,3,5,7
/proc/22884/task/22947/stat : 22947 (java) S 22881 22884 22142 0 -1 1077944384 3826 13010 0 0 155 0 5 3 20 0 15 0 416670144 11103117312 72168 33554432000 4194304 4196468 140724006650896 139747845458160 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22948] ppid=22881 vsize=10842888 memory=7228928657774891088 CPUtime=1.14 cores=1,3,5,7
/proc/22884/task/22948/stat : 22948 (java) S 22881 22884 22142 0 -1 1077944384 5612 13010 0 0 104 2 5 3 20 0 15 0 416670144 11103117312 72168 33554432000 4194304 4196468 140724006650896 139747844405360 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22949] ppid=22881 vsize=10842888 memory=5792825802846388323 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22949/stat : 22949 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11103117312 72168 33554432000 4194304 4196468 140724006650896 139747358755040 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22950] ppid=22881 vsize=10842888 memory=283896 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22950/stat : 22950 (java) S 22881 22884 22142 0 -1 1077944384 24 13010 0 0 0 0 5 3 20 0 15 0 416670145 11103117312 72168 33554432000 4194304 4196468 140724006650896 139747843353776 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
Current children cumulated CPU time: 7.2 s
Current children cumulated vsize: 10842888 KiB
Current children cumulated memory: 288672 KiB
[startup+4.00072 s]*
/proc/loadavg: 1.60 1.50 1.47 4/227 22950
/proc/meminfo: memFree=25452684/32770624 swapFree=67020720/67108860
[pid=22884] ppid=22881 vsize=10844936 memory=344640 CPUtime=8.89 cores=1,3,5,7
/proc/22884/stat : 22884 (java) S 22881 22884 22142 0 -1 1077944320 48998 13010 0 0 861 20 5 3 20 0 15 0 416670130 11105214464 86160 33554432000 4194304 4196468 140724006650896 140724006633440 139748844646135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
/proc/22884/statm: 2711234 86160 3613 1 0 2673293 0
[pid=22884/tid=22937] ppid=22881 vsize=10844936 memory=720575944405811505 CPUtime=3.85 cores=1,3,5,7
/proc/22884/task/22937/stat : 22937 (java) R 22881 22884 22142 0 -1 4202560 22220 13010 0 0 368 9 5 3 20 0 15 0 416670139 11105214464 86160 33554432000 4194304 4196468 140724006650896 139748816480112 139748455432859 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22938] ppid=22881 vsize=10844936 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22938/stat : 22938 (java) S 22881 22884 22142 0 -1 1077944384 626 13010 0 0 5 1 5 3 20 0 15 0 416670139 11105214464 86160 33554432000 4194304 4196468 140724006650896 139748848888464 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22939] ppid=22881 vsize=10844936 memory=3762389148451067552 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22939/stat : 22939 (java) S 22881 22884 22142 0 -1 1077944384 438 13010 0 0 5 1 5 3 20 0 15 0 416670139 11105214464 86160 33554432000 4194304 4196468 140724006650896 139748417657360 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22940] ppid=22881 vsize=10844936 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22940/stat : 22940 (java) S 22881 22884 22142 0 -1 1077944384 401 13010 0 0 5 1 5 3 20 0 15 0 416670139 11105214464 86160 33554432000 4194304 4196468 140724006650896 139748416604560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22941] ppid=22881 vsize=10844936 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22941/stat : 22941 (java) S 22881 22884 22142 0 -1 1077944384 116 13010 0 0 5 1 5 3 20 0 15 0 416670139 11105214464 86160 33554432000 4194304 4196468 140724006650896 139748415551760 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22942] ppid=22881 vsize=10844936 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22884/task/22942/stat : 22942 (java) S 22881 22884 22142 0 -1 1077944384 5378 13010 0 0 4 0 5 3 20 0 15 0 416670141 11105214464 86160 33554432000 4194304 4196468 140724006650896 139747847564144 139748844657282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22943] ppid=22881 vsize=10844936 memory=98286031602664 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22943/stat : 22943 (java) S 22881 22884 22142 0 -1 1077944384 29 13010 0 0 0 0 5 3 20 0 15 0 416670141 11105214464 86160 33554432000 4194304 4196468 140724006650896 139747766822560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22944] ppid=22881 vsize=10844936 memory=281044540895288 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22944/stat : 22944 (java) S 22881 22884 22142 0 -1 1077944384 14 13010 0 0 0 0 5 3 20 0 15 0 416670141 11105214464 86160 33554432000 4194304 4196468 140724006650896 139747632604544 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22945] ppid=22881 vsize=10844936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22945/stat : 22945 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11105214464 86160 33554432000 4194304 4196468 140724006650896 139747392313680 139748844664731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22946] ppid=22881 vsize=10844936 memory=0 CPUtime=1.66 cores=1,3,5,7
/proc/22884/task/22946/stat : 22946 (java) S 22881 22884 22142 0 -1 1077944384 4395 13010 0 0 157 1 5 3 20 0 15 0 416670144 11105214464 86160 33554432000 4194304 4196468 140724006650896 139747846510960 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22947] ppid=22881 vsize=10844936 memory=-1 CPUtime=1.99 cores=1,3,5,7
/proc/22884/task/22947/stat : 22947 (java) R 22881 22884 22142 0 -1 4202560 6293 13010 0 0 190 1 5 3 20 0 15 0 416670144 11105214464 86160 33554432000 4194304 4196468 140724006650896 139747845439768 139748823891983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22948] ppid=22881 vsize=10844936 memory=140522374157952 CPUtime=1.27 cores=1,3,5,7
/proc/22884/task/22948/stat : 22948 (java) S 22881 22884 22142 0 -1 1077944384 6850 13010 0 0 117 2 5 3 20 0 15 0 416670144 11105214464 86160 33554432000 4194304 4196468 140724006650896 139747844405360 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22949] ppid=22881 vsize=10844936 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22949/stat : 22949 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11105214464 86160 33554432000 4194304 4196468 140724006650896 139747358755040 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22950] ppid=22881 vsize=10844936 memory=140522374171661 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22950/stat : 22950 (java) S 22881 22884 22142 0 -1 1077944384 24 13010 0 0 0 0 5 3 20 0 15 0 416670145 11105214464 86160 33554432000 4194304 4196468 140724006650896 139747843353776 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
Current children cumulated CPU time: 8.89 s
Current children cumulated vsize: 10844936 KiB
Current children cumulated memory: 344640 KiB
[startup+4.20069 s]
/proc/loadavg: 1.60 1.50 1.47 4/227 22950
/proc/meminfo: memFree=25452684/32770624 swapFree=67020720/67108860
[pid=22884] ppid=22881 vsize=10847136 memory=352260 CPUtime=9.48 cores=1,3,5,7
/proc/22884/stat : 22884 (java) S 22881 22884 22142 0 -1 1077944320 51114 13010 0 0 919 21 5 3 20 0 15 0 416670130 11107467264 88065 33554432000 4194304 4196468 140724006650896 140724006633440 139748844646135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
/proc/22884/statm: 2711784 88065 3614 1 0 2673843 0
[pid=22884/tid=22937] ppid=22881 vsize=10847136 memory=-8990767739041718176 CPUtime=4.04 cores=1,3,5,7
/proc/22884/task/22937/stat : 22937 (java) R 22881 22884 22142 0 -1 4202560 22256 13010 0 0 387 9 5 3 20 0 15 0 416670139 11107467264 88065 33554432000 4194304 4196468 140724006650896 139748816474792 139748844658070 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22938] ppid=22881 vsize=10847136 memory=4137284780655915066 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22938/stat : 22938 (java) S 22881 22884 22142 0 -1 1077944384 626 13010 0 0 5 1 5 3 20 0 15 0 416670139 11107467264 88065 33554432000 4194304 4196468 140724006650896 139748848888464 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22939] ppid=22881 vsize=10847136 memory=8046186993342713441 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22939/stat : 22939 (java) S 22881 22884 22142 0 -1 1077944384 438 13010 0 0 5 1 5 3 20 0 15 0 416670139 11107467264 88065 33554432000 4194304 4196468 140724006650896 139748417657360 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22940] ppid=22881 vsize=10847136 memory=-6739178820818791275 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22940/stat : 22940 (java) S 22881 22884 22142 0 -1 1077944384 401 13010 0 0 5 1 5 3 20 0 15 0 416670139 11107467264 88065 33554432000 4194304 4196468 140724006650896 139748416604560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22941] ppid=22881 vsize=10847136 memory=8257237230706253920 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22941/stat : 22941 (java) S 22881 22884 22142 0 -1 1077944384 116 13010 0 0 5 1 5 3 20 0 15 0 416670139 11107467264 88065 33554432000 4194304 4196468 140724006650896 139748415551760 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22942] ppid=22881 vsize=10847136 memory=-7025452035940392864 CPUtime=0.12 cores=1,3,5,7
/proc/22884/task/22942/stat : 22942 (java) S 22881 22884 22142 0 -1 1077944384 5378 13010 0 0 4 0 5 3 20 0 15 0 416670141 11107467264 88065 33554432000 4194304 4196468 140724006650896 139747847564144 139748844657282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22943] ppid=22881 vsize=10847136 memory=6944656592455360608 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22943/stat : 22943 (java) S 22881 22884 22142 0 -1 1077944384 29 13010 0 0 0 0 5 3 20 0 15 0 416670141 11107467264 88065 33554432000 4194304 4196468 140724006650896 139747766822560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22944] ppid=22881 vsize=10847136 memory=4498404016631593314 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22944/stat : 22944 (java) S 22881 22884 22142 0 -1 1077944384 14 13010 0 0 0 0 5 3 20 0 15 0 416670141 11107467264 88065 33554432000 4194304 4196468 140724006650896 139747632604544 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22945] ppid=22881 vsize=10847136 memory=-8033973737701895300 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22945/stat : 22945 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11107467264 88065 33554432000 4194304 4196468 140724006650896 139747392313680 139748844664731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22946] ppid=22881 vsize=10847136 memory=4713745541279610410 CPUtime=1.81 cores=1,3,5,7
/proc/22884/task/22946/stat : 22946 (java) R 22881 22884 22142 0 -1 4202560 4699 13010 0 0 172 1 5 3 20 0 15 0 416670144 11107467264 88065 33554432000 4194304 4196468 140724006650896 139747846498384 139748823902491 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22947] ppid=22881 vsize=10847136 memory=-7749694995119233653 CPUtime=2.18 cores=1,3,5,7
/proc/22884/task/22947/stat : 22947 (java) R 22881 22884 22142 0 -1 4202560 7574 13010 0 0 209 1 5 3 20 0 15 0 416670144 11107467264 88065 33554432000 4194304 4196468 140724006650896 139747845439768 139748826191365 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22948] ppid=22881 vsize=10847136 memory=7245577201579234449 CPUtime=1.32 cores=1,3,5,7
/proc/22884/task/22948/stat : 22948 (java) R 22881 22884 22142 0 -1 1077944384 7344 13010 0 0 122 2 5 3 20 0 15 0 416670144 11107467264 88065 33554432000 4194304 4196468 140724006650896 139747844405360 139748844657282 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22949] ppid=22881 vsize=10847136 memory=-6878854171813264217 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22949/stat : 22949 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11107467264 88065 33554432000 4194304 4196468 140724006650896 139747358755040 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22950] ppid=22881 vsize=10847136 memory=3472328296227679279 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22950/stat : 22950 (java) S 22881 22884 22142 0 -1 1077944384 25 13010 0 0 0 0 5 3 20 0 15 0 416670145 11107467264 88065 33554432000 4194304 4196468 140724006650896 139747843353776 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
Current children cumulated CPU time: 9.48 s
Current children cumulated vsize: 10847136 KiB
Current children cumulated memory: 352260 KiB
[startup+4.30101 s]
/proc/loadavg: 1.60 1.50 1.47 4/227 22950
/proc/meminfo: memFree=25452684/32770624 swapFree=67020720/67108860
[pid=22884] ppid=22881 vsize=10849596 memory=358036 CPUtime=9.82 cores=1,3,5,7
/proc/22884/stat : 22884 (java) S 22881 22884 22142 0 -1 1077944320 53013 13010 0 0 953 21 5 3 20 0 15 0 416670130 11109986304 89509 33554432000 4194304 4196468 140724006650896 140724006633440 139748844646135 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
/proc/22884/statm: 2712399 89509 3614 1 0 2674458 0
[pid=22884/tid=22937] ppid=22881 vsize=10849596 memory=56 CPUtime=4.14 cores=1,3,5,7
/proc/22884/task/22937/stat : 22937 (java) R 22881 22884 22142 0 -1 4202560 22583 13010 0 0 397 9 5 3 20 0 15 0 416670139 11109986304 89509 33554432000 4194304 4196468 140724006650896 139748816471392 139748844667482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22938] ppid=22881 vsize=10849596 memory=8 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22938/stat : 22938 (java) S 22881 22884 22142 0 -1 1077944384 626 13010 0 0 5 1 5 3 20 0 15 0 416670139 11109986304 89509 33554432000 4194304 4196468 140724006650896 139748848888464 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22939] ppid=22881 vsize=10849596 memory=8 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22939/stat : 22939 (java) S 22881 22884 22142 0 -1 1077944384 438 13010 0 0 5 1 5 3 20 0 15 0 416670139 11109986304 89509 33554432000 4194304 4196468 140724006650896 139748417657360 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22940] ppid=22881 vsize=10849596 memory=8 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22940/stat : 22940 (java) S 22881 22884 22142 0 -1 1077944384 401 13010 0 0 5 1 5 3 20 0 15 0 416670139 11109986304 89509 33554432000 4194304 4196468 140724006650896 139748416604560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22941] ppid=22881 vsize=10849596 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/22884/task/22941/stat : 22941 (java) S 22881 22884 22142 0 -1 1077944384 116 13010 0 0 5 1 5 3 20 0 15 0 416670139 11109986304 89509 33554432000 4194304 4196468 140724006650896 139748415551760 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22942] ppid=22881 vsize=10849596 memory=7594283272402334635 CPUtime=0.12 cores=1,3,5,7
/proc/22884/task/22942/stat : 22942 (java) S 22881 22884 22142 0 -1 1077944384 5378 13010 0 0 4 0 5 3 20 0 15 0 416670141 11109986304 89509 33554432000 4194304 4196468 140724006650896 139747847564144 139748844657282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22943] ppid=22881 vsize=10849596 memory=8098967879894393442 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22943/stat : 22943 (java) S 22881 22884 22142 0 -1 1077944384 29 13010 0 0 0 0 5 3 20 0 15 0 416670141 11109986304 89509 33554432000 4194304 4196468 140724006650896 139747766822560 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22944] ppid=22881 vsize=10849596 memory=7018666949276286060 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22944/stat : 22944 (java) S 22881 22884 22142 0 -1 1077944384 14 13010 0 0 0 0 5 3 20 0 15 0 416670141 11109986304 89509 33554432000 4194304 4196468 140724006650896 139747632604544 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22945] ppid=22881 vsize=10849596 memory=-8485537726473019037 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22945/stat : 22945 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11109986304 89509 33554432000 4194304 4196468 140724006650896 139747392313680 139748844664731 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22946] ppid=22881 vsize=10849596 memory=6446745912524 CPUtime=1.91 cores=1,3,5,7
/proc/22884/task/22946/stat : 22946 (java) R 22881 22884 22142 0 -1 4202560 5249 13010 0 0 182 1 5 3 20 0 15 0 416670144 11109986304 89509 33554432000 4194304 4196468 140724006650896 139747846501088 139748824073582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22947] ppid=22881 vsize=10849596 memory=288230583166042426 CPUtime=2.27 cores=1,3,5,7
/proc/22884/task/22947/stat : 22947 (java) R 22881 22884 22142 0 -1 4202560 8392 13010 0 0 218 1 5 3 20 0 15 0 416670144 11109986304 89509 33554432000 4194304 4196468 140724006650896 139747845439768 139748829756194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22948] ppid=22881 vsize=10849596 memory=15816698942982814 CPUtime=1.36 cores=1,3,5,7
/proc/22884/task/22948/stat : 22948 (java) S 22881 22884 22142 0 -1 1077944384 7548 13010 0 0 126 2 5 3 20 0 15 0 416670144 11109986304 89509 33554432000 4194304 4196468 140724006650896 139747844405360 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22949] ppid=22881 vsize=10849596 memory=3978146534578716704 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22949/stat : 22949 (java) S 22881 22884 22142 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 416670144 11109986304 89509 33554432000 4194304 4196468 140724006650896 139747358755040 139748844656341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
[pid=22884/tid=22950] ppid=22881 vsize=10849596 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22884/task/22950/stat : 22950 (java) S 22881 22884 22142 0 -1 1077944384 25 13010 0 0 0 0 5 3 20 0 15 0 416670145 11109986304 89509 33554432000 4194304 4196468 140724006650896 139747843353776 139748844657282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20307968 140724006656751 140724006659269 140724006659269 140724006662095 0
Current children cumulated CPU time: 9.82 s
Current children cumulated vsize: 10849596 KiB
Current children cumulated memory: 358036 KiB
Child status: 0
Real time (s): 4.36255
CPU time (s): 9.9445
CPU user time (s): 9.68989
CPU system time (s): 0.254605
CPU usage (%): 227.952
Max. virtual memory (cumulated for all children) (KiB): 10849596
Max. memory (cumulated for all children) (KiB): 358036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.68989
system time used= 0.254605
maximum resident set size= 360752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66913
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5752
involuntary context switches= 46
# summary of solver processes directly reported to runsolver:
# pid: 22884
# total CPU time (s): 9.9445
# total CPU user time (s): 9.68989
# total CPU system time (s): 0.254605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049679 second user time and 0.085934 second system time
The end