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: 63931 MiB (60542 MiB free)
memory of node 1: 64510 MiB (60340 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446641-1721342568/watcher-4446641-1721342568 -o /tmp/evaluation-result-4446641-1721342568/solver-4446641-1721342568 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721342580-1001659 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446641-1721342568.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
solver pid=1001719, runsolver pid=1001706
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100058 s]*
/proc/loadavg: 1.10 1.13 1.65 17/325 1001790
/proc/meminfo: memFree=123613156/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=18975048 memory=63944 CPUtime=0.14 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 7136 0 0 0 12 2 0 0 20 0 18 0 186426549 19430449152 15986 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4743762 15986 5515 1 0 549375 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=18975048 memory=4026531971 CPUtime=0.09 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 1078198336 5691 0 0 0 7 2 0 0 20 0 18 0 186426549 19430449152 15986 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=18975048 memory=17963 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 15986 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 15986 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63944 KiB
[startup+0.215629 s]*
/proc/loadavg: 1.10 1.13 1.65 14/325 1001790
/proc/meminfo: memFree=123509336/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=18975048 memory=83744 CPUtime=0.35 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 7658 0 0 0 32 3 0 0 20 0 18 0 186426549 19430449152 20936 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4743762 20936 5817 1 0 549679 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 5948 0 0 0 16 2 0 0 20 0 18 0 186426549 19430449152 20936 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=18975048 memory=17963 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 20936 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=18975048 memory=14697378909259238 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 20936 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 83744 KiB
[startup+0.305627 s]*
/proc/loadavg: 1.10 1.13 1.65 12/328 1001793
/proc/meminfo: memFree=123250564/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=18975048 memory=114196 CPUtime=0.53 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 9581 0 0 0 49 4 0 0 20 0 18 0 186426549 19430449152 28549 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4743762 28549 5817 1 0 550667 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=18975048 memory=-7741227592032611168 CPUtime=0.27 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 5963 0 0 0 24 3 0 0 20 0 18 0 186426549 19430449152 28549 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 28549 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 186426552 19430449152 28549 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 114196 KiB
[startup+0.700631 s]
/proc/loadavg: 1.10 1.13 1.65 11/329 1001794
/proc/meminfo: memFree=122580328/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19042536 memory=678864 CPUtime=1.22 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 12815 0 0 0 108 14 0 0 20 0 19 0 186426549 19499556864 169716 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4760634 169716 5865 1 0 553287 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19042536 memory=5492 CPUtime=0.62 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 6243 0 0 0 50 12 0 0 20 0 19 0 186426549 19499556864 169716 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19042536 memory=12312 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 186426552 19499556864 169716 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19042536 memory=0 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 186426552 19499556864 169716 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 19042536 KiB
Current children cumulated memory: 678864 KiB
[startup+1.50463 s]
/proc/loadavg: 1.10 1.13 1.65 12/329 1001794
/proc/meminfo: memFree=117010852/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=1324484 CPUtime=2.78 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 22045 0 0 0 249 29 0 0 20 0 20 0 186426549 19566772224 331121 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 331121 5865 1 0 557471 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=0 CPUtime=1.36 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 6636 0 0 0 111 25 0 0 20 0 20 0 186426549 19566772224 331121 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=5492 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 331121 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 331121 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1324484 KiB
[startup+3.10663 s]
/proc/loadavg: 1.97 1.31 1.70 15/333 1001798
/proc/meminfo: memFree=115883960/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=1325852 CPUtime=5.93 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 22472 0 0 0 564 29 0 0 20 0 20 0 186426549 19566772224 331463 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 331463 5865 1 0 557514 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=12312 CPUtime=2.9 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 6704 0 0 0 265 25 0 0 20 0 20 0 186426549 19566772224 331463 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 331463 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=1324748 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 331463 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 331463 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 5.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1325852 KiB
[startup+6.30463 s]
/proc/loadavg: 1.97 1.31 1.70 9/333 1001800
/proc/meminfo: memFree=115342124/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=1484092 CPUtime=11.34 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 30685 0 0 0 1100 34 0 0 20 0 20 0 186426549 19566772224 371023 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 371023 5898 1 0 1084186 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=0 CPUtime=6.02 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 7635 0 0 0 574 28 0 0 20 0 20 0 186426549 19566772224 371023 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 371023 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 371023 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=-7671999165582111936 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 371023 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 11.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1484092 KiB
[startup+12.7003 s]
/proc/loadavg: 2.14 1.36 1.72 8/334 1001801
/proc/meminfo: memFree=113722800/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=2453244 CPUtime=18.58 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 32712 0 0 0 1804 54 0 0 20 0 20 0 186426549 19566772224 613311 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 613311 5898 1 0 1084202 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=12312 CPUtime=12.39 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 8464 0 0 0 1192 47 0 0 20 0 20 0 186426549 19566772224 613311 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=2332412 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 613311 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=2174612 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 613311 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=12340 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 613311 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 18.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2453244 KiB
[startup+25.5006 s]
/proc/loadavg: 2.62 1.51 1.76 8/334 1001804
/proc/meminfo: memFree=112210080/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=3399620 CPUtime=31.44 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 36231 0 0 0 3070 74 0 0 20 0 20 0 186426549 19566772224 849905 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 849905 5898 1 0 1084234 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=12340 CPUtime=25.08 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 10326 0 0 0 2441 67 0 0 20 0 20 0 186426549 19566772224 849905 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=12340 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 849905 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=12340 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 849905 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=8761640388318109335 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 849905 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 31.44 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3399620 KiB
[startup+51.1064 s]
/proc/loadavg: 3.09 1.71 1.82 8/334 1001807
/proc/meminfo: memFree=111853572/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=3479888 CPUtime=57.21 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 45199 0 0 0 5644 77 0 0 20 0 20 0 186426549 19566772224 869972 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 869972 5898 1 0 1084271 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=3463380 CPUtime=50.48 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 12529 0 0 0 4981 67 0 0 20 0 20 0 186426549 19566772224 869972 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426551 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=3463380 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 869972 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=46904 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 34 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 869972 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 869972 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
################
# More data... #
################
/proc/meminfo: memFree=107865676/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=3410752 CPUtime=3189.48 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 466688 0 0 0 318508 440 0 0 20 0 20 0 186426549 19566772224 852688 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 852688 5941 1 0 870146 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=2417552 CPUtime=3119.08 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 144170 0 0 0 311656 252 0 0 20 0 20 0 186426549 19566772224 852688 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426572 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=3410740 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 852688 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=3410744 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 3026 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 852688 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=3410744 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 852688 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 3189.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3410752 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.19 4.10 9/331 1003561
/proc/meminfo: memFree=108360676/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=2916104 CPUtime=3250.16 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 480876 0 0 0 324558 458 0 0 20 0 20 0 186426549 19566772224 729026 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 729026 5941 1 0 744866 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=2417552 CPUtime=3178 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 146112 0 0 0 317536 264 0 0 20 0 20 0 186426549 19566772224 729026 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426572 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=3410740 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 729026 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=2916104 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 3098 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 729026 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=12340 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 729026 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 3250.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2916104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.10 8/331 1003572
/proc/meminfo: memFree=108914968/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=2359248 CPUtime=3310.81 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 494700 0 0 0 330608 473 0 0 20 0 20 0 186426549 19566772224 589812 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 589812 5941 1 0 602882 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=3449624 CPUtime=3236.91 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 148277 0 0 0 323416 275 0 0 20 0 20 0 186426549 19566772224 589812 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426572 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=32260 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 589812 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=1816 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 3098 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 589812 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=2359248 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 589812 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 3310.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2359248 KiB
[startup+3342.3 s]
/proc/loadavg: 4.23 4.18 4.10 8/331 1003582
/proc/meminfo: memFree=107936064/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=3336000 CPUtime=3371.18 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 497113 0 0 0 336622 496 0 0 20 0 20 0 186426549 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 834000 5941 1 0 851354 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=12340 CPUtime=3295.73 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 149381 0 0 0 329279 294 0 0 20 0 20 0 186426549 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426572 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=12340 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=3336000 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 3170 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=3336000 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 3371.18 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3336000 KiB
[startup+3402.3 s]
/proc/loadavg: 4.21 4.19 4.11 8/331 1003592
/proc/meminfo: memFree=107459596/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=3176576 CPUtime=3431.66 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 512202 0 0 0 342656 510 0 0 20 0 20 0 186426549 19566772224 794144 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 794144 5941 1 0 809594 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=3410744 CPUtime=3354.27 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 151905 0 0 0 335122 305 0 0 20 0 20 0 186426549 19566772224 794144 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426572 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=12312 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 794144 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=3176576 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 3244 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 794144 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=12340 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 794144 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 3431.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3176576 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.20 4.11 8/330 1003602
/proc/meminfo: memFree=107289820/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=3336000 CPUtime=3492.35 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 527830 0 0 0 348701 534 0 0 20 0 20 0 186426549 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 834000 5941 1 0 851354 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=46904 CPUtime=3413.21 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 154249 0 0 0 340997 324 0 0 20 0 20 0 186426549 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426572 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=2802392 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=-7741227592032676704 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 3244 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=2802392 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 834000 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 3492.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3336000 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.11 8/332 1003617
/proc/meminfo: memFree=107289184/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=3336060 CPUtime=3552.68 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 531664 0 0 0 354730 538 0 0 20 0 20 0 186426549 19566772224 834015 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 834015 5941 1 0 851354 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=3336000 CPUtime=3472.11 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 156285 0 0 0 346887 324 0 0 20 0 20 0 186426549 19566772224 834015 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426580 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=2417552 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 834015 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=12340 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 3271 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 834015 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=3336060 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 834015 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 3552.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3336060 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3569.2 s]
/proc/loadavg: 4.54 4.26 4.14 8/332 1003694
/proc/meminfo: memFree=109140828/131524600 swapFree=131071996/131071996
[pid=1001719] ppid=1001706 vsize=19108176 memory=2952012 CPUtime=3600.03 cores=4,6
/proc/1001719/stat : 1001719 (java) S 1001706 1001719 1001648 0 -1 1077936128 544750 0 0 0 359451 552 0 0 20 0 20 0 186426549 19566772224 738003 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
/proc/1001719/statm: 4777044 738003 5957 1 0 753218 0
[pid=1001719/tid=1001725] ppid=1001706 vsize=19108176 memory=5568 CPUtime=3518.08 cores=4,6
/proc/1001719/task/1001725/stat : 1001725 (java) R 1001706 1001719 1001648 0 -1 4194368 157411 0 0 0 351475 333 0 0 20 0 20 0 186426549 19566772224 738003 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 186426590 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001771] ppid=1001706 vsize=19108176 memory=-7741227592032676704 CPUtime=0 cores=4,6
/proc/1001719/task/1001771/stat : 1001771 (Finalizer) S 1001706 1001719 1001648 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 738003 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001788] ppid=1001706 vsize=19108176 memory=1470488434079006849 CPUtime=0 cores=4,6
/proc/1001719/task/1001788/stat : 1001788 (Common-Cleaner) S 1001706 1001719 1001648 0 -1 1077936192 3298 0 0 0 0 0 0 0 20 0 20 0 186426552 19566772224 738003 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
[pid=1001719/tid=1001795] ppid=1001706 vsize=19108176 memory=2652 CPUtime=0 cores=4,6
/proc/1001719/task/1001795/stat : 1001795 (Timer-0) S 1001706 1001719 1001648 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 186426657 19566772224 738003 134679101440 94802876375040 94802876378736 140733924117424 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94802876386552 94802876387344 94802900164608 140733924119539 140733924119647 140733924119647 140733924126664 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2952012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3569.3 s]
# the end of solver process 1001719 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3594.65 s, system=5.54733 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3569.3
CPU time (s): 3600.19
CPU user time (s): 3594.65
CPU system time (s): 5.54733
CPU usage (%): 100.866
Max. virtual memory (cumulated for all children) (KiB): 19114192
Max. memory (cumulated for all children) (KiB): 5395868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.65
system time used= 5.54733
maximum resident set size= 5395892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 548325
page faults= 0
swaps= 0
block input operations= 32
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202604
involuntary context switches= 7183
# summary of solver processes directly reported to runsolver:
# pid: 1001719
# total CPU time (s): 3600.19
# total CPU user time (s): 3594.65
# total CPU system time (s): 5.54733
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14118 second user time and 21.4484 second system time
The end