runsolver version 3.4.2 (svn: 4680) 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: 64096 MiB (61673 MiB free)
memory of node 1: 64473 MiB (62627 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456129-1721718431/watcher-4456129-1721718431 -o /tmp/evaluation-result-4456129-1721718431/solver-4456129-1721718431 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC011-1721718431-77609 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456129-1721718431.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=77668, runsolver pid=77655
[startup+0.100067 s]*
/proc/loadavg: 1.10 1.21 1.58 5/248 77680
/proc/meminfo: memFree=127233312/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=16995924 memory=28992 CPUtime=0.04 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 2289 0 83 0 1 3 0 0 20 0 5 0 7832946 17403826176 7248 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16784588 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4248981 7248 3820 1 0 540900 0
[pid=77668/tid=77679] ppid=77655 vsize=16995924 memory=4026531971 CPUtime=0.02 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 1783 0 53 0 0 2 0 0 20 0 5 0 7832951 17403826176 7314 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77692] ppid=77655 vsize=16995924 memory=1652 CPUtime=0 cores=4,6
/proc/77668/task/77692/stat : 77692 (java) R 77655 77668 77597 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 5 0 7832958 17403826176 7314 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 16995924 KiB
Current children cumulated memory: 28992 KiB
[startup+0.216422 s]*
/proc/loadavg: 1.10 1.21 1.58 19/284 77716
/proc/meminfo: memFree=127130844/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=18793200 memory=48300 CPUtime=0.09 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 5931 0 103 0 3 6 0 0 20 0 15 0 7832946 19244236800 12075 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4698300 12075 4723 1 0 549582 0
[pid=77668/tid=77679] ppid=77655 vsize=18794228 memory=8505393642823811203 CPUtime=0.07 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 5248 0 73 0 3 4 0 0 20 0 15 0 7832951 19245289472 12075 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=18794228 memory=1652 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 16 0 7832968 19245289472 12075 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77735] ppid=77655 vsize=18794228 memory=3544395815948961836 CPUtime=0 cores=4,6
/proc/77668/task/77735/stat : 77735 (java) R 77655 77668 77597 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 16 0 7832970 19245289472 12075 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18793200 KiB
Current children cumulated memory: 48300 KiB
[startup+0.315629 s]*
/proc/loadavg: 1.10 1.21 1.58 11/312 77744
/proc/meminfo: memFree=127104372/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=18993908 memory=57396 CPUtime=0.22 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 6751 0 116 0 16 6 0 0 20 0 18 0 7832946 19449761792 14349 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4748477 14349 5828 1 0 550932 0
[pid=77668/tid=77679] ppid=77655 vsize=18993908 memory=-6000919489886315880 CPUtime=0.15 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 5619 0 79 0 10 5 0 0 20 0 18 0 7832951 19449761792 14349 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=18993908 memory=-4421386521933735008 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7832968 19449761792 14349 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=18993908 memory=0 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 7832970 19449761792 14349 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 57396 KiB
[startup+0.701316 s]
/proc/loadavg: 1.10 1.21 1.58 13/312 77744
/proc/meminfo: memFree=127064456/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=18993908 memory=72960 CPUtime=0.86 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 7916 0 116 0 77 9 0 0 20 0 18 0 7832946 19449761792 18240 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4748477 18240 5992 1 0 551778 0
[pid=77668/tid=77679] ppid=77655 vsize=18993908 memory=12312 CPUtime=0.48 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 6170 0 79 0 42 6 0 0 20 0 18 0 7832951 19449761792 18240 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=18993908 memory=139672068036357 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7832968 19449761792 18240 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=18993908 memory=18024 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 7832970 19449761792 18240 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 0.86 s
Current children cumulated vsize: 18993908 KiB
Current children cumulated memory: 72960 KiB
[startup+1.50031 s]
/proc/loadavg: 1.10 1.21 1.58 17/316 77748
/proc/meminfo: memFree=126894884/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19127036 memory=183284 CPUtime=2.42 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 19779 0 116 0 226 16 0 0 20 0 20 0 7832946 19586084864 45821 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4781759 45821 6118 1 0 557627 0
[pid=77668/tid=77679] ppid=77655 vsize=19127036 memory=18024 CPUtime=1.19 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 6683 0 79 0 110 9 0 0 20 0 20 0 7832951 19586084864 45821 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7832968 19586084864 45821 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19127036 memory=31960 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 7832970 19586084864 45821 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19127036 memory=11540 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7833035 19586084864 45821 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 183284 KiB
[startup+3.10631 s]
/proc/loadavg: 1.89 1.37 1.63 13/320 77752
/proc/meminfo: memFree=126564592/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19127036 memory=192632 CPUtime=5.6 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 22982 0 116 0 543 17 0 0 20 0 20 0 7832946 19586084864 48158 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4781759 48158 6145 1 0 557965 0
[pid=77668/tid=77679] ppid=77655 vsize=19127036 memory=11540 CPUtime=2.71 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 7360 0 79 0 262 9 0 0 20 0 20 0 7832951 19586084864 48158 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7832968 19586084864 48158 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19127036 memory=139672068190401 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 7832970 19586084864 48158 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19127036 memory=18024 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7833035 19586084864 48158 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 5.6 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 192632 KiB
[startup+6.30031 s]
/proc/loadavg: 1.89 1.37 1.63 8/320 77754
/proc/meminfo: memFree=125357124/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19127036 memory=506736 CPUtime=10.3 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 26638 0 116 0 1006 24 0 0 20 0 20 0 7832946 19586084864 126684 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4781759 126684 6145 1 0 560099 0
[pid=77668/tid=77679] ppid=77655 vsize=19127036 memory=0 CPUtime=5.84 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 7662 0 79 0 569 15 0 0 20 0 20 0 7832951 19586084864 126684 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19127036 memory=18024 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7832968 19586084864 126684 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19127036 memory=33 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 7832970 19586084864 126684 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19127036 memory=31252 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7833035 19586084864 126684 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 10.3 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 506736 KiB
[startup+12.7004 s]
/proc/loadavg: 2.37 1.49 1.66 8/320 77754
/proc/meminfo: memFree=124379976/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19127036 memory=783320 CPUtime=17.03 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 29478 0 116 0 1671 32 0 0 20 0 20 0 7832946 19586084864 195830 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4781759 195830 6145 1 0 560099 0
[pid=77668/tid=77679] ppid=77655 vsize=19127036 memory=31252 CPUtime=12.12 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 8588 0 79 0 1190 22 0 0 20 0 20 0 7832951 19586084864 195830 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19127036 memory=783304 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7832968 19586084864 195830 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 7832970 19586084864 195830 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7833035 19586084864 195830 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 17.03 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 783320 KiB
[startup+25.5003 s]
/proc/loadavg: 2.84 1.62 1.70 9/320 77757
/proc/meminfo: memFree=122926136/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19127036 memory=884224 CPUtime=30.76 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 40482 0 116 0 3039 37 0 0 20 0 20 0 7832946 19586084864 221056 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4781759 221056 6146 1 0 560099 0
[pid=77668/tid=77679] ppid=77655 vsize=19127036 memory=0 CPUtime=24.55 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 10818 0 79 0 2431 24 0 0 20 0 20 0 7832951 19586084864 221056 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19127036 memory=658288 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7832968 19586084864 221056 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 7832970 19586084864 221056 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19127036 memory=0 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7833035 19586084864 221056 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 30.76 s
Current children cumulated vsize: 19127036 KiB
Current children cumulated memory: 884224 KiB
[startup+51.1063 s]
/proc/loadavg: 3.39 1.85 1.78 8/320 77760
/proc/meminfo: memFree=121212428/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19127036 memory=1884996 CPUtime=56.96 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 49434 0 116 0 5636 60 0 0 20 0 20 0 7832946 19586084864 471249 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4781759 471249 6146 1 0 666626 0
[pid=77668/tid=77679] ppid=77655 vsize=19127036 memory=1884936 CPUtime=49.39 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 14003 0 79 0 4897 42 0 0 20 0 20 0 7832951 19586084864 471249 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19127036 memory=1884904 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 7832968 19586084864 471249 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19127036 memory=-6000919485591348584 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 7832970 19586084864 471249 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19127036 memory=783320 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7833035 19586084864 471249 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 56.96 s
################
# More data... #
################
[startup+3222.3 s]
/proc/loadavg: 4.24 4.23 4.13 6/318 80103
/proc/meminfo: memFree=110508124/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19193600 memory=3142584 CPUtime=3240.48 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 250617 0 116 0 323725 323 0 0 20 0 21 0 7832946 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4798400 785646 6179 1 0 795400 0
[pid=77668/tid=77679] ppid=77655 vsize=19193600 memory=3142540 CPUtime=3183.08 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 104062 0 79 0 318235 73 0 0 20 0 21 0 7832951 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19193600 memory=3142584 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 7832968 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19193600 memory=3142584 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 2723 0 0 0 0 0 0 0 20 0 21 0 7832970 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19193600 memory=3142584 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 7833035 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 3240.48 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 3142584 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.20 4.12 6/318 80125
/proc/meminfo: memFree=110505436/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19193600 memory=3142584 CPUtime=3300.66 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 251140 0 116 0 329739 327 0 0 20 0 21 0 7832946 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4798400 785646 6179 1 0 795400 0
[pid=77668/tid=77679] ppid=77655 vsize=19193600 memory=3142584 CPUtime=3242.42 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 104503 0 79 0 324169 73 0 0 20 0 21 0 7832951 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19193600 memory=3142584 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 7832968 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19193600 memory=-6000919485591348584 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 2723 0 0 0 0 0 0 0 20 0 21 0 7832970 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19193600 memory=31384 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 7833035 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 3300.66 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 3142584 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.19 4.12 6/319 80138
/proc/meminfo: memFree=110505096/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19193600 memory=3142584 CPUtime=3360.94 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 254053 0 116 0 335763 331 0 0 20 0 21 0 7832946 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4798400 785646 6179 1 0 795400 0
[pid=77668/tid=77679] ppid=77655 vsize=19193600 memory=-6000919485591348584 CPUtime=3301.8 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 106191 0 79 0 330107 73 0 0 20 0 21 0 7832951 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19193600 memory=11540 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 7832968 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19193600 memory=3142584 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 2724 0 0 0 0 0 0 0 20 0 21 0 7832970 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19193600 memory=11540 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 7833035 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 3360.94 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 3142584 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.20 4.13 6/318 80148
/proc/meminfo: memFree=110504720/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19193600 memory=3142584 CPUtime=3421.16 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 256030 0 116 0 341779 337 0 0 20 0 21 0 7832946 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4798400 785646 6179 1 0 795400 0
[pid=77668/tid=77679] ppid=77655 vsize=19193600 memory=31384 CPUtime=3361.16 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 107266 0 79 0 336042 74 0 0 20 0 21 0 7832951 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19193600 memory=31384 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 7832968 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19193600 memory=11540 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 2815 0 0 0 0 0 0 0 20 0 21 0 7832970 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19193600 memory=11540 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 7833035 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 3421.16 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 3142584 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.21 4.13 6/318 80158
/proc/meminfo: memFree=110504304/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19193600 memory=3142584 CPUtime=3481.34 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 256830 0 116 0 347794 340 0 0 20 0 21 0 7832946 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4798400 785646 6179 1 0 795400 0
[pid=77668/tid=77679] ppid=77655 vsize=19193600 memory=31384 CPUtime=3420.5 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 108036 0 79 0 341976 74 0 0 20 0 21 0 7832951 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19193600 memory=3142584 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 7832968 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19193600 memory=12312 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 2815 0 0 0 0 0 0 0 20 0 21 0 7832970 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19193600 memory=12312 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 7833035 19654246400 785646 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 3481.34 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 3142584 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.13 6/317 80168
/proc/meminfo: memFree=110501752/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19193600 memory=3142592 CPUtime=3541.5 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 260973 0 116 0 353805 345 0 0 20 0 21 0 7832946 19654246400 785648 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4798400 785648 6179 1 0 795400 0
[pid=77668/tid=77679] ppid=77655 vsize=19193600 memory=3142588 CPUtime=3479.79 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 110606 0 79 0 347904 75 0 0 20 0 21 0 7832951 19654246400 785648 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19193600 memory=3142584 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 7832968 19654246400 785648 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19193600 memory=18024 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 2908 0 0 0 0 0 0 0 20 0 21 0 7832970 19654246400 785648 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19193600 memory=3142588 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 7833035 19654246400 785648 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 3541.5 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 3142592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3580.6 s]
/proc/loadavg: 4.14 4.18 4.13 5/317 80246
/proc/meminfo: memFree=111598044/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19193600 memory=3142636 CPUtime=3600.08 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 263587 0 116 0 359657 351 0 0 20 0 21 0 7832946 19654246400 785659 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4798400 785659 6179 1 0 795400 0
[pid=77668/tid=77679] ppid=77655 vsize=19193600 memory=3428 CPUtime=3536.92 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 111537 0 79 0 353617 75 0 0 20 0 21 0 7832951 19654246400 785659 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19193600 memory=1536 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 21 0 7832968 19654246400 785659 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19193600 memory=20740 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 2919 0 0 0 0 0 0 0 20 0 21 0 7832970 19654246400 785659 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77747] ppid=77655 vsize=19193600 memory=18916 CPUtime=0 cores=4,6
/proc/77668/task/77747/stat : 77747 (Timer-0) S 77655 77668 77597 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 7833035 19654246400 785659 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19193600 KiB
Current children cumulated memory: 3142636 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3580.79 s]
# the end of solver process 77668 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.86 s, system=3.5422 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3580.7 s]
/proc/loadavg: 4.14 4.18 4.13 5/317 80246
/proc/meminfo: memFree=111598044/131655788 swapFree=131071996/131071996
[pid=77668] ppid=77655 vsize=19393292 memory=3143388 CPUtime=3600.28 cores=4,6
/proc/77668/stat : 77668 (java) S 77655 77668 77597 0 -1 1077936128 265741 0 116 0 359677 351 0 0 20 0 23 0 7832946 19858731008 785847 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 0 0 16800975 0 0 0 17 6 0 0 3 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
/proc/77668/statm: 4848323 785847 6179 1 0 796384 0
[pid=77668/tid=77679] ppid=77655 vsize=19393292 memory=3142636 CPUtime=3537.01 cores=4,6
/proc/77668/task/77679/stat : 77679 (java) R 77655 77668 77597 0 -1 4194368 111592 0 79 0 353626 75 0 0 20 0 23 0 7832951 19858731008 785847 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 10 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77714] ppid=77655 vsize=19393292 memory=11540 CPUtime=0 cores=4,6
/proc/77668/task/77714/stat : 77714 (Finalizer) S 77655 77668 77597 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 23 0 7832968 19858731008 785847 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
[pid=77668/tid=77740] ppid=77655 vsize=19393292 memory=11540 CPUtime=0 cores=4,6
/proc/77668/task/77740/stat : 77740 (Common-Cleaner) S 77655 77668 77597 0 -1 1077936192 2919 0 0 0 0 0 0 0 20 0 23 0 7832970 19858731008 785847 134679101440 93993251905536 93993251909232 140729737515952 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93993251917048 93993251917840 93993266597888 140729737520115 140729737520228 140729737520228 140729737527240 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19393292 KiB
Current children cumulated memory: 3143388 KiB
Child status: 143
Real time (s): 3580.79
CPU time (s): 3600.4
CPU user time (s): 3596.86
CPU system time (s): 3.5422
CPU usage (%): 100.548
Max. virtual memory (cumulated for all children) (KiB): 19393292
Max. memory (cumulated for all children) (KiB): 3143388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.86
system time used= 3.54219
maximum resident set size= 3144720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266314
page faults= 116
swaps= 0
block input operations= 17600
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117784
involuntary context switches= 9080
# summary of solver processes directly reported to runsolver:
# pid: 77668
# total CPU time (s): 3600.4
# total CPU user time (s): 3596.86
# total CPU system time (s): 3.5422
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9898 second user time and 37.9202 second system time
The end