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: 63968 MiB (57105 MiB free)
memory of node 1: 64473 MiB (58213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4430013-1721131158/watcher-4430013-1721131158 -o /tmp/evaluation-result-4430013-1721131158/solver-4430013-1721131158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721127569-853198 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4430013-1721131158.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
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=856630, runsolver pid=856627
[startup+0.100162 s]*
/proc/loadavg: 4.36 4.28 4.21 6/334 856648
/proc/meminfo: memFree=118036492/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=18975048 memory=65276 CPUtime=0.14 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 7231 0 0 0 12 2 0 0 20 0 18 0 165279598 19430449152 16319 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4743762 16319 5676 1 0 549357 0
[pid=856630/tid=856632] ppid=856627 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 1078198336 5765 0 0 0 7 1 0 0 20 0 18 0 165279599 19430449152 16319 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165279601 19430449152 16319 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=18975048 memory=13847473600877114 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165279602 19430449152 16319 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65276 KiB
[startup+0.20599 s]*
/proc/loadavg: 4.36 4.28 4.21 7/334 856648
/proc/meminfo: memFree=118013800/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=18975048 memory=81876 CPUtime=0.33 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 7713 0 0 0 31 2 0 0 20 0 18 0 165279598 19430449152 20469 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4743762 20469 5831 1 0 549652 0
[pid=856630/tid=856632] ppid=856627 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 6001 0 0 0 17 2 0 0 20 0 18 0 165279599 19430449152 20469 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=18975048 memory=3640 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165279601 19430449152 20469 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165279602 19430449152 20469 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81876 KiB
[startup+0.305763 s]*
/proc/loadavg: 4.36 4.28 4.21 7/334 856648
/proc/meminfo: memFree=117978516/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=18975048 memory=113040 CPUtime=0.52 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 9350 0 0 0 49 3 0 0 20 0 18 0 165279598 19430449152 28260 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4743762 28260 5831 1 0 550706 0
[pid=856630/tid=856632] ppid=856627 vsize=18975048 memory=-8672635898448683708 CPUtime=0.27 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 6015 0 0 0 25 2 0 0 20 0 18 0 165279599 19430449152 28260 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 165279601 19430449152 28260 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 165279602 19430449152 28260 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 113040 KiB
[startup+0.700991 s]
/proc/loadavg: 4.36 4.28 4.21 7/335 856649
/proc/meminfo: memFree=117854292/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19041612 memory=535052 CPUtime=1.21 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 10690 0 0 0 109 12 0 0 20 0 19 0 165279598 19498610688 133763 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4760403 133763 5879 1 0 1104605 0
[pid=856630/tid=856632] ppid=856627 vsize=19041612 memory=5496 CPUtime=0.59 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 6222 0 0 0 49 10 0 0 20 0 19 0 165279599 19498610688 133763 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19041612 memory=12180 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165279601 19498610688 133763 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165279602 19498610688 133763 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 535052 KiB
[startup+1.50099 s]
/proc/loadavg: 4.36 4.28 4.21 6/335 856649
/proc/meminfo: memFree=116917036/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19041612 memory=2147900 CPUtime=2.25 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 12916 0 0 0 181 44 0 0 20 0 19 0 165279598 19498610688 536975 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4760403 536975 5910 1 0 1700193 0
[pid=856630/tid=856632] ppid=856627 vsize=19041612 memory=12180 CPUtime=1.28 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 6990 0 0 0 88 40 0 0 20 0 19 0 165279599 19498610688 536975 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165279601 19498610688 536975 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165279602 19498610688 536975 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2147900 KiB
[startup+3.11398 s]
/proc/loadavg: 4.36 4.28 4.21 6/335 856649
/proc/meminfo: memFree=113690320/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19041612 memory=4220660 CPUtime=4.58 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 26208 0 0 0 372 86 0 0 20 0 19 0 165279598 19498610688 1055165 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4760403 1055165 5910 1 0 1706139 0
[pid=856630/tid=856632] ppid=856627 vsize=19041612 memory=0 CPUtime=2.82 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 7992 0 0 0 203 79 0 0 20 0 19 0 165279599 19498610688 1055165 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19041612 memory=12180 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165279601 19498610688 1055165 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19041612 memory=2725436 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165279602 19498610688 1055165 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 4.58 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4220660 KiB
[startup+6.30099 s]
/proc/loadavg: 4.33 4.27 4.21 5/335 856651
/proc/meminfo: memFree=113550828/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19041612 memory=4210468 CPUtime=7.9 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 26542 0 0 0 704 86 0 0 20 0 19 0 165279598 19498610688 1052617 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4760403 1052617 5910 1 0 1706140 0
[pid=856630/tid=856632] ppid=856627 vsize=19041612 memory=0 CPUtime=5.91 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 8240 0 0 0 512 79 0 0 20 0 19 0 165279599 19498610688 1052617 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19041612 memory=2149948 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165279601 19498610688 1052617 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19041612 memory=224194199869 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165279602 19498610688 1052617 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 7.9 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4210468 KiB
[startup+12.7003 s]
/proc/loadavg: 4.31 4.27 4.21 5/335 856651
/proc/meminfo: memFree=112934636/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19041612 memory=4225160 CPUtime=14.34 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 27521 0 0 0 1347 87 0 0 20 0 19 0 165279598 19498610688 1056290 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4760403 1056290 5910 1 0 1706140 0
[pid=856630/tid=856632] ppid=856627 vsize=19041612 memory=4225160 CPUtime=12.11 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 9105 0 0 0 1132 79 0 0 20 0 19 0 165279599 19498610688 1056290 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19041612 memory=4216744 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165279601 19498610688 1056290 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19041612 memory=14412605397665070 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165279602 19498610688 1056290 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 14.34 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4225160 KiB
[startup+25.5003 s]
/proc/loadavg: 4.24 4.25 4.21 5/335 856654
/proc/meminfo: memFree=112749428/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19041612 memory=4238052 CPUtime=27.22 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 31475 0 0 0 2633 89 0 0 20 0 19 0 165279598 19498610688 1059513 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4760403 1059513 5910 1 0 1706140 0
[pid=856630/tid=856632] ppid=856627 vsize=19041612 memory=4233956 CPUtime=24.64 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 10186 0 0 0 2384 80 0 0 20 0 19 0 165279599 19498610688 1059513 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165279601 19498610688 1059513 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19041612 memory=0 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165279602 19498610688 1059513 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 27.22 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4238052 KiB
[startup+51.106 s]
/proc/loadavg: 4.22 4.25 4.21 5/337 856661
/proc/meminfo: memFree=112241828/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19041612 memory=4262800 CPUtime=53.27 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 41890 0 0 0 5235 92 0 0 20 0 19 0 165279598 19498610688 1065700 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4760403 1065700 5910 1 0 1706143 0
[pid=856630/tid=856632] ppid=856627 vsize=19041612 memory=0 CPUtime=49.63 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 13989 0 0 0 4882 81 0 0 20 0 19 0 165279599 19498610688 1065700 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19041612 memory=4225160 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 165279601 19498610688 1065700 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19041612 memory=4220660 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 165279602 19498610688 1065700 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 53.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 4262800 KiB
[startup+102.301 s]
/proc/loadavg: 4.25 4.26 4.21 5/336 856683
/proc/meminfo: memFree=111586396/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19108176 memory=4330332 CPUtime=109.61 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 64304 0 0 0 10862 99 0 0 20 0 20 0 165279598 19566772224 1082583 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4777044 1082583 5947 1 0 1707135 0
################
# More data... #
################
/proc/meminfo: memFree=97708460/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19108176 memory=6650364 CPUtime=3288.46 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 414525 0 0 0 328556 290 0 0 20 0 20 0 165279598 19566772224 1662591 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4777044 1662591 5978 1 0 1709961 0
[pid=856630/tid=856632] ppid=856627 vsize=19108176 memory=6650364 CPUtime=3252.69 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 184388 0 0 0 325154 115 0 0 20 0 20 0 165279599 19566772224 1662591 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19108176 memory=11560 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165279601 19566772224 1662591 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19108176 memory=6650364 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 5350 0 0 0 0 0 0 0 20 0 20 0 165279602 19566772224 1662591 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856666] ppid=856627 vsize=19108176 memory=42176 CPUtime=0 cores=1,3
/proc/856630/task/856666/stat : 856666 (Timer-0) S 856627 856630 853186 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165286912 19566772224 1662591 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 3288.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6650364 KiB
[startup+3342.3 s]
/proc/loadavg: 5.19 4.53 4.37 5/333 858423
/proc/meminfo: memFree=97594020/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19108176 memory=6760992 CPUtime=3349.51 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 436691 0 0 0 334653 298 0 0 20 0 20 0 165279598 19566772224 1690248 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4777044 1690248 5978 1 0 1712069 0
[pid=856630/tid=856632] ppid=856627 vsize=19108176 memory=6650364 CPUtime=3312.41 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 186557 0 0 0 331126 115 0 0 20 0 20 0 165279599 19566772224 1690248 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19108176 memory=6760992 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165279601 19566772224 1690248 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19108176 memory=3668 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 5403 0 0 0 0 0 0 0 20 0 20 0 165279602 19566772224 1690248 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856666] ppid=856627 vsize=19108176 memory=42176 CPUtime=0 cores=1,3
/proc/856630/task/856666/stat : 856666 (Timer-0) S 856627 856630 853186 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165286912 19566772224 1690248 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 3349.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6760992 KiB
[startup+3402.3 s]
/proc/loadavg: 4.88 4.55 4.38 5/333 858501
/proc/meminfo: memFree=105660856/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19108176 memory=6761024 CPUtime=3409.48 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 442822 0 0 0 340648 300 0 0 20 0 20 0 165279598 19566772224 1690256 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4777044 1690256 5978 1 0 1712069 0
[pid=856630/tid=856632] ppid=856627 vsize=19108176 memory=6760992 CPUtime=3372.2 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 189286 0 0 0 337104 116 0 0 20 0 20 0 165279599 19566772224 1690256 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19108176 memory=42176 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165279601 19566772224 1690256 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19108176 memory=11560 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 5499 0 0 0 0 0 0 0 20 0 20 0 165279602 19566772224 1690256 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856666] ppid=856627 vsize=19108176 memory=6761024 CPUtime=0 cores=1,3
/proc/856630/task/856666/stat : 856666 (Timer-0) S 856627 856630 853186 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165286912 19566772224 1690256 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 3409.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6761024 KiB
[startup+3462.3 s]
/proc/loadavg: 4.41 4.47 4.36 5/333 858512
/proc/meminfo: memFree=105398556/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19108176 memory=6761204 CPUtime=3469.45 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 450563 0 0 0 346642 303 0 0 20 0 20 0 165279598 19566772224 1690301 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4777044 1690301 5978 1 0 1712107 0
[pid=856630/tid=856632] ppid=856627 vsize=19108176 memory=6760992 CPUtime=3431.94 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 192356 0 0 0 343078 116 0 0 20 0 20 0 165279599 19566772224 1690301 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19108176 memory=42176 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165279601 19566772224 1690301 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19108176 memory=6761148 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 5588 0 0 0 0 0 0 0 20 0 20 0 165279602 19566772224 1690301 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856666] ppid=856627 vsize=19108176 memory=11560 CPUtime=0 cores=1,3
/proc/856630/task/856666/stat : 856666 (Timer-0) S 856627 856630 853186 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165286912 19566772224 1690301 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 3469.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6761204 KiB
[startup+3522.3 s]
/proc/loadavg: 4.46 4.48 4.37 5/335 858693
/proc/meminfo: memFree=105173948/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19108176 memory=6778664 CPUtime=3529.8 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 464673 0 0 0 352674 306 0 0 20 0 20 0 165279598 19566772224 1694666 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4777044 1694666 5975 1 0 1712112 0
[pid=856630/tid=856632] ppid=856627 vsize=19108176 memory=42176 CPUtime=3491.45 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 196744 0 0 0 349027 118 0 0 20 0 20 0 165279599 19566772224 1694666 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19108176 memory=6761204 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165279601 19566772224 1694666 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19108176 memory=6778664 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 5645 0 0 0 0 0 0 0 20 0 20 0 165279602 19566772224 1694666 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856666] ppid=856627 vsize=19108176 memory=6778664 CPUtime=0 cores=1,3
/proc/856630/task/856666/stat : 856666 (Timer-0) S 856627 856630 853186 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165286912 19566772224 1694666 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 3529.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6778664 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.40 4.35 5/335 858705
/proc/meminfo: memFree=104751672/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19108176 memory=6783760 CPUtime=3589.9 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 473383 0 0 0 358683 307 0 0 20 0 20 0 165279598 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4777044 1695940 5975 1 0 1712357 0
[pid=856630/tid=856632] ppid=856627 vsize=19108176 memory=12180 CPUtime=3550.95 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 200741 0 0 0 354977 118 0 0 20 0 20 0 165279599 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19108176 memory=6783760 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165279601 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19108176 memory=11560 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 5722 0 0 0 0 0 0 0 20 0 20 0 165279602 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856666] ppid=856627 vsize=19108176 memory=11560 CPUtime=0 cores=1,3
/proc/856630/task/856666/stat : 856666 (Timer-0) S 856627 856630 853186 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165286912 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 3589.9 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6783760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3592.5 s]
/proc/loadavg: 4.19 4.39 4.35 5/335 858707
/proc/meminfo: memFree=104751520/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19108176 memory=6783760 CPUtime=3600.02 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 473706 0 0 0 359694 308 0 0 20 0 20 0 165279598 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4777044 1695940 5975 1 0 1712357 0
[pid=856630/tid=856632] ppid=856627 vsize=19108176 memory=6783760 CPUtime=3561.05 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 201064 0 0 0 355987 118 0 0 20 0 20 0 165279599 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19108176 memory=42176 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165279601 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19108176 memory=-8672635898448683708 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 5722 0 0 0 0 0 0 0 20 0 20 0 165279602 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856666] ppid=856627 vsize=19108176 memory=16152 CPUtime=0 cores=1,3
/proc/856630/task/856666/stat : 856666 (Timer-0) S 856627 856630 853186 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165286912 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6783760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3592.58 s]
# the end of solver process 856630 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.05 s, system=3.10614 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3592.5 s]
/proc/loadavg: 4.19 4.39 4.35 5/335 858707
/proc/meminfo: memFree=104751520/131524600 swapFree=131071996/131071996
[pid=856630] ppid=856627 vsize=19108176 memory=6783760 CPUtime=3600.02 cores=1,3
/proc/856630/stat : 856630 (java) S 856627 856630 853186 0 -1 1077936128 473706 0 0 0 359694 308 0 0 20 0 20 0 165279598 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
/proc/856630/statm: 4777044 1695940 5975 1 0 1712357 0
[pid=856630/tid=856632] ppid=856627 vsize=19108176 memory=6783760 CPUtime=3561.05 cores=1,3
/proc/856630/task/856632/stat : 856632 (java) R 856627 856630 853186 0 -1 4194368 201064 0 0 0 355987 118 0 0 20 0 20 0 165279599 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856641] ppid=856627 vsize=19108176 memory=42176 CPUtime=0 cores=1,3
/proc/856630/task/856641/stat : 856641 (Finalizer) S 856627 856630 853186 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 165279601 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856648] ppid=856627 vsize=19108176 memory=-8672635898448683708 CPUtime=0 cores=1,3
/proc/856630/task/856648/stat : 856648 (Common-Cleaner) S 856627 856630 853186 0 -1 1077936192 5722 0 0 0 0 0 0 0 20 0 20 0 165279602 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
[pid=856630/tid=856666] ppid=856627 vsize=19108176 memory=16152 CPUtime=0 cores=1,3
/proc/856630/task/856666/stat : 856666 (Timer-0) S 856627 856630 853186 0 -1 1077936192 22 0 0 0 0 0 0 0 20 0 20 0 165286912 19566772224 1695940 134679101440 94914710663168 94914710666864 140729683655056 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94914710674680 94914710675472 94914722570240 140729683661813 140729683661921 140729683661921 140729683668936 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 6783760 KiB
Child status: 143
Real time (s): 3592.58
CPU time (s): 3600.16
CPU user time (s): 3597.05
CPU system time (s): 3.10614
CPU usage (%): 100.211
Max. virtual memory (cumulated for all children) (KiB): 19110700
Max. memory (cumulated for all children) (KiB): 6783760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.05
system time used= 3.10614
maximum resident set size= 6785520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477874
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116483
involuntary context switches= 17077
# summary of solver processes directly reported to runsolver:
# pid: 856630
# total CPU time (s): 3600.16
# total CPU user time (s): 3597.05
# total CPU system time (s): 3.10614
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.65355 second user time and 17.5384 second system time
The end