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: 64059 MiB (62957 MiB free)
memory of node 1: 64510 MiB (62860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424380-1720874158/watcher-4424380-1720874158 -o /tmp/evaluation-result-4424380-1720874158/solver-4424380-1720874158 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1720874164-706099 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4424380-1720874158.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=706427, runsolver pid=706424
[startup+0.10048 s]*
/proc/loadavg: 1.14 0.32 0.16 5/323 706445
/proc/meminfo: memFree=128757216/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=18975048 memory=64768 CPUtime=0.13 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 7200 0 0 0 11 2 0 0 20 0 18 0 139573842 19430449152 16192 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4743762 16192 5596 1 0 551406 0
[pid=706427/tid=706429] ppid=706424 vsize=18975048 memory=4026561586 CPUtime=0.07 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 1077936192 5731 0 0 0 6 1 0 0 20 0 18 0 139573842 19430449152 16192 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139573845 19430449152 16192 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=18975048 memory=14135562894496790 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139573845 19430449152 16192 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64768 KiB
[startup+0.206233 s]*
/proc/loadavg: 1.14 0.32 0.16 9/323 706445
/proc/meminfo: memFree=128714228/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=18975048 memory=75596 CPUtime=0.33 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 7687 0 0 0 30 3 0 0 20 0 18 0 139573842 19430449152 18899 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4743762 18899 5754 1 0 551731 0
[pid=706427/tid=706429] ppid=706424 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 6033 0 0 0 16 2 0 0 20 0 18 0 139573842 19430449152 18899 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=18975048 memory=694 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139573845 19430449152 18899 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=18975048 memory=15536340708104212 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139573845 19430449152 18899 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75596 KiB
[startup+0.309235 s]*
/proc/loadavg: 1.14 0.32 0.16 8/323 706445
/proc/meminfo: memFree=128620424/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=18975048 memory=131732 CPUtime=0.52 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 7857 0 0 0 48 4 0 0 20 0 18 0 139573842 19430449152 32933 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4743762 32933 5839 1 0 551795 0
[pid=706427/tid=706429] ppid=706424 vsize=18975048 memory=-8888810879669674684 CPUtime=0.26 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 6073 0 0 0 23 3 0 0 20 0 18 0 139573842 19430449152 32933 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 139573845 19430449152 32933 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 139573845 19430449152 32933 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 131732 KiB
[startup+0.710233 s]
/proc/loadavg: 1.14 0.32 0.16 6/324 706446
/proc/meminfo: memFree=128443268/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19041612 memory=668752 CPUtime=1.27 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 9755 0 0 0 112 15 0 0 20 0 19 0 139573842 19498610688 167188 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4760403 167188 5839 1 0 553086 0
[pid=706427/tid=706429] ppid=706424 vsize=19041612 memory=5576 CPUtime=0.58 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) S 706424 706427 706088 0 -1 1077936192 6324 0 0 0 45 13 0 0 20 0 19 0 139573842 19498610688 167188 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19041612 memory=12676 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 139573845 19498610688 167188 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 139573845 19498610688 167188 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 668752 KiB
[startup+1.50024 s]
/proc/loadavg: 1.61 0.43 0.20 6/324 706446
/proc/meminfo: memFree=127299256/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=1400232 CPUtime=2.8 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 22213 0 0 0 248 32 0 0 20 0 20 0 139573842 19566772224 350058 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 350058 5877 1 0 1229415 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=12676 CPUtime=1.33 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 6806 0 0 0 106 27 0 0 20 0 20 0 139573842 19566772224 350058 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 350058 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 350058 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1400232 KiB
[startup+3.10624 s]
/proc/loadavg: 1.61 0.43 0.20 5/325 706447
/proc/meminfo: memFree=126135840/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=1603416 CPUtime=5.81 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 22445 0 0 0 544 37 0 0 20 0 20 0 139573842 19566772224 400854 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 400854 5877 1 0 1229466 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=198340509722 CPUtime=2.89 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 6924 0 0 0 258 31 0 0 20 0 20 0 139573842 19566772224 400854 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 400854 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=12676 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 400854 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=1463760 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 400854 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 5.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1603416 KiB
[startup+6.30123 s]
/proc/loadavg: 1.80 0.49 0.22 6/325 706449
/proc/meminfo: memFree=125701620/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=1976028 CPUtime=10.31 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 23931 0 0 0 986 45 0 0 20 0 20 0 139573842 19566772224 494007 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 494007 5878 1 0 1229471 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=0 CPUtime=6.06 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 7120 0 0 0 567 39 0 0 20 0 20 0 139573842 19566772224 494007 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=12676 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 494007 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=1531736 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 494007 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=1902764 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 494007 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 10.31 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1976028 KiB
[startup+12.7004 s]
/proc/loadavg: 1.98 0.55 0.24 5/325 706449
/proc/meminfo: memFree=125155876/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=2311992 CPUtime=16.98 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 26066 0 0 0 1645 53 0 0 20 0 20 0 139573842 19566772224 577998 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 577998 5878 1 0 1229471 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=2285368 CPUtime=12.43 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 8033 0 0 0 1197 46 0 0 20 0 20 0 139573842 19566772224 577998 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 577998 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=6082781338512483155 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 577998 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 577998 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 16.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2311992 KiB
[startup+25.5005 s]
/proc/loadavg: 2.52 0.71 0.30 5/325 706452
/proc/meminfo: memFree=123517712/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=2578232 CPUtime=29.77 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 27457 0 0 0 2917 60 0 0 20 0 20 0 139573842 19566772224 644558 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 644558 5878 1 0 1229471 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=6082781338512483155 CPUtime=25.2 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 9034 0 0 0 2468 52 0 0 20 0 20 0 139573842 19566772224 644558 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 644558 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=19312 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 644558 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=-8888810879669674684 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 644558 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 29.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2578232 KiB
[startup+51.1134 s]
/proc/loadavg: 3.18 1.04 0.42 5/325 706455
/proc/meminfo: memFree=122655628/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=2959268 CPUtime=55.34 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 29564 0 0 0 5465 69 0 0 20 0 20 0 139573842 19566772224 739817 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 739817 5878 1 0 1229471 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=2852772 CPUtime=50.73 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 10424 0 0 0 5014 59 0 0 20 0 20 0 139573842 19566772224 739817 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 739817 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 739817 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=12676 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 739817 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 55.34 s
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.08 4.13 4.07 5/322 708575
/proc/meminfo: memFree=106939892/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=4404848 CPUtime=3285.24 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 249391 0 0 0 328231 293 0 0 20 0 20 0 139573842 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 1101212 5893 1 0 1229582 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=4404848 CPUtime=3267.19 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 127289 0 0 0 326639 80 0 0 20 0 20 0 139573842 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=4404848 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=-8888810879669674684 CPUtime=0.01 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 6312 0 0 0 0 1 0 0 20 0 20 0 139573845 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=4404848 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 3285.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4404848 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.16 4.09 5/320 708585
/proc/meminfo: memFree=106939856/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=4404848 CPUtime=3345.14 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 251539 0 0 0 334218 296 0 0 20 0 20 0 139573842 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 1101212 5893 1 0 1229582 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=4404848 CPUtime=3327.04 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 129240 0 0 0 332624 80 0 0 20 0 20 0 139573842 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=4404848 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=4404848 CPUtime=0.01 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 6406 0 0 0 0 1 0 0 20 0 20 0 139573845 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=4404848 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 3345.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4404848 KiB
[startup+3402.3 s]
/proc/loadavg: 4.24 4.18 4.10 5/320 708596
/proc/meminfo: memFree=106938772/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=4404848 CPUtime=3405.04 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 254201 0 0 0 340205 299 0 0 20 0 20 0 139573842 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 1101212 5893 1 0 1229582 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=4404848 CPUtime=3386.9 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 131517 0 0 0 338610 80 0 0 20 0 20 0 139573842 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=6928 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=12440 CPUtime=0.01 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 6545 0 0 0 0 1 0 0 20 0 20 0 139573845 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 3405.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4404848 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.10 5/319 708606
/proc/meminfo: memFree=106938012/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=4404848 CPUtime=3464.94 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 256719 0 0 0 346192 302 0 0 20 0 20 0 139573842 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 1101212 5893 1 0 1229582 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=4404848 CPUtime=3446.75 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 133751 0 0 0 344594 81 0 0 20 0 20 0 139573842 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=6928 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=12440 CPUtime=0.01 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 6684 0 0 0 0 1 0 0 20 0 20 0 139573845 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 1101212 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 3464.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4404848 KiB
[startup+3522.3 s]
/proc/loadavg: 4.19 4.18 4.10 5/319 708617
/proc/meminfo: memFree=106937424/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=4404852 CPUtime=3524.92 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 260729 0 0 0 352187 305 0 0 20 0 20 0 139573842 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 1101213 5893 1 0 1229582 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=37036 CPUtime=3506.5 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 135850 0 0 0 350569 81 0 0 20 0 20 0 139573842 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=4404848 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=12440 CPUtime=0.01 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 6826 0 0 0 0 1 0 0 20 0 20 0 139573845 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 3524.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4404852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.03 4.14 4.09 4/292 708797
/proc/meminfo: memFree=113092384/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=4404852 CPUtime=3584.82 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 263166 0 0 0 358173 309 0 0 20 0 20 0 139573842 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 1101213 5893 1 0 1229582 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=12440 CPUtime=3566.34 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 138046 0 0 0 356553 81 0 0 20 0 20 0 139573842 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=5576 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=4404852 CPUtime=0.01 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 6964 0 0 0 0 1 0 0 20 0 20 0 139573845 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=37036 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 3584.82 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4404852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3597.6 s]
/proc/loadavg: 3.80 4.08 4.07 4/292 708800
/proc/meminfo: memFree=113092284/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19108176 memory=4404852 CPUtime=3600.08 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 263417 0 0 0 359699 309 0 0 20 0 20 0 139573842 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4777044 1101213 5893 1 0 1229582 0
[pid=706427/tid=706429] ppid=706424 vsize=19108176 memory=12440 CPUtime=3581.6 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 138297 0 0 0 358078 82 0 0 20 0 20 0 139573842 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19108176 memory=37036 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 139573845 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19108176 memory=12676 CPUtime=0.01 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 6964 0 0 0 0 1 0 0 20 0 20 0 139573845 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706447] ppid=706424 vsize=19108176 memory=5576 CPUtime=0 cores=4,6
/proc/706427/task/706447/stat : 706447 (Timer-0) S 706424 706427 706088 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 139573958 19566772224 1101213 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4404852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3597.77 s]
# the end of solver process 706427 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.26 s, system=3.13139 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3597.7 s]
/proc/loadavg: 3.80 4.08 4.07 4/292 708800
/proc/meminfo: memFree=113092284/131655788 swapFree=131071996/131071996
[pid=706427] ppid=706424 vsize=19307868 memory=4405592 CPUtime=3600.28 cores=4,6
/proc/706427/stat : 706427 (java) S 706424 706427 706088 0 -1 1077936128 266540 0 0 0 359718 310 0 0 20 0 21 0 139573842 19771256832 1101398 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
/proc/706427/statm: 4826967 1101398 5892 1 0 1230501 0
[pid=706427/tid=706429] ppid=706424 vsize=19307868 memory=12440 CPUtime=3581.71 cores=4,6
/proc/706427/task/706429/stat : 706429 (java) R 706424 706427 706088 0 -1 4194368 138297 0 0 0 358089 82 0 0 20 0 21 0 139573842 19771256832 1101398 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706438] ppid=706424 vsize=19307868 memory=12676 CPUtime=0 cores=4,6
/proc/706427/task/706438/stat : 706438 (Finalizer) S 706424 706427 706088 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 139573845 19771256832 1101398 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
[pid=706427/tid=706445] ppid=706424 vsize=19307868 memory=4404852 CPUtime=0.01 cores=4,6
/proc/706427/task/706445/stat : 706445 (Common-Cleaner) S 706424 706427 706088 0 -1 1077936192 6964 0 0 0 0 1 0 0 20 0 21 0 139573845 19771256832 1101398 134679101440 94251136970752 94251136974448 140724093900240 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94251136982264 94251136983056 94251144560640 140724093907926 140724093908039 140724093908039 140724093915080 0
Current children cumulated CPU time: 3600.28 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 4405592 KiB
Child status: 143
Real time (s): 3597.77
CPU time (s): 3600.39
CPU user time (s): 3597.26
CPU system time (s): 3.13139
CPU usage (%): 100.073
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 4405592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.26
system time used= 3.13139
maximum resident set size= 4406400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267215
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110895
involuntary context switches= 2444
# summary of solver processes directly reported to runsolver:
# pid: 706427
# total CPU time (s): 3600.39
# total CPU user time (s): 3597.26
# total CPU system time (s): 3.13139
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4865 second user time and 37.8702 second system time
The end