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 (60243 MiB free)
memory of node 1: 64510 MiB (51816 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4442981-1721308354/watcher-4442981-1721308354 -o /tmp/evaluation-result-4442981-1721308354/solver-4442981-1721308354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721304841-947643 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4442981-1721308354.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
Starting watchdog thread
solver pid=950314, runsolver pid=950311
Current StackSize limit: 8192 KiB
[startup+0.100285 s]*
/proc/loadavg: 4.18 4.30 4.33 5/318 950332
/proc/meminfo: memFree=114714604/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=18975048 memory=56256 CPUtime=0.13 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 6521 0 0 0 10 3 0 0 20 0 18 0 182992014 19430449152 14064 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4743762 14064 5694 1 0 550845 0
[pid=950314/tid=950316] ppid=950311 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 5438 0 0 0 6 2 0 0 20 0 18 0 182992015 19430449152 14064 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182992018 19430449152 14064 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=18975048 memory=14976684994783103 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182992020 19430449152 14064 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56256 KiB
[startup+0.208818 s]*
/proc/loadavg: 4.18 4.30 4.33 5/318 950332
/proc/meminfo: memFree=114705040/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=18975048 memory=65404 CPUtime=0.29 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 7223 0 0 0 25 4 0 0 20 0 18 0 182992014 19430449152 16351 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4743762 16351 5702 1 0 551419 0
[pid=950314/tid=950316] ppid=950311 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 5741 0 0 0 16 2 0 0 20 0 18 0 182992015 19430449152 16351 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=18975048 memory=5822 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182992018 19430449152 16351 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=18975048 memory=13563812552906645 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182992020 19430449152 16351 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65404 KiB
[startup+0.315414 s]*
/proc/loadavg: 4.18 4.30 4.33 6/318 950332
/proc/meminfo: memFree=114701824/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=18975048 memory=68476 CPUtime=0.45 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 7494 0 0 0 41 4 0 0 20 0 18 0 182992014 19430449152 17119 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4743762 17119 5718 1 0 551653 0
[pid=950314/tid=950316] ppid=950311 vsize=18975048 memory=-9105266261957583548 CPUtime=0.29 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) S 950311 950314 947632 0 -1 1077936192 5928 0 0 0 26 3 0 0 20 0 18 0 182992015 19430449152 17119 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 182992018 19430449152 17119 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 182992020 19430449152 17119 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68476 KiB
[startup+0.701204 s]
/proc/loadavg: 4.18 4.30 4.33 5/318 950332
/proc/meminfo: memFree=114656344/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19041612 memory=168640 CPUtime=1.15 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 9398 0 0 0 107 8 0 0 20 0 19 0 182992014 19498610688 42160 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4760403 42160 5835 1 0 553150 0
[pid=950314/tid=950316] ppid=950311 vsize=19041612 memory=5620 CPUtime=0.62 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 6071 0 0 0 56 6 0 0 20 0 19 0 182992015 19498610688 42160 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19041612 memory=12724 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 182992018 19498610688 42160 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 182992020 19498610688 42160 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 168640 KiB
[startup+1.50121 s]
/proc/loadavg: 4.49 4.36 4.35 9/319 950333
/proc/meminfo: memFree=114511084/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19108176 memory=251172 CPUtime=2.71 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 16917 0 0 0 260 11 0 0 20 0 20 0 182992014 19566772224 62793 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4777044 62793 5866 1 0 556768 0
[pid=950314/tid=950316] ppid=950311 vsize=19108176 memory=0 CPUtime=1.34 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 6475 0 0 0 127 7 0 0 20 0 20 0 182992015 19566772224 62793 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182992018 19566772224 62793 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19108176 memory=12724 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 182992020 19566772224 62793 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 2.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 251172 KiB
[startup+3.10621 s]
/proc/loadavg: 4.49 4.36 4.35 6/320 950334
/proc/meminfo: memFree=114258440/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19108176 memory=302332 CPUtime=5.85 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 18765 0 0 0 573 12 0 0 20 0 20 0 182992014 19566772224 75583 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4777044 75583 5866 1 0 557377 0
[pid=950314/tid=950316] ppid=950311 vsize=19108176 memory=12724 CPUtime=2.89 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 6836 0 0 0 281 8 0 0 20 0 20 0 182992015 19566772224 75583 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19108176 memory=168640 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182992018 19566772224 75583 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 182992020 19566772224 75583 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182992118 19566772224 75583 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 302332 KiB
[startup+6.30044 s]
/proc/loadavg: 4.53 4.37 4.35 5/320 950334
/proc/meminfo: memFree=113867860/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19108176 memory=683608 CPUtime=9.81 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 19329 0 0 0 961 20 0 0 20 0 20 0 182992014 19566772224 170902 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4777044 170902 5866 1 0 557383 0
[pid=950314/tid=950316] ppid=950311 vsize=19108176 memory=0 CPUtime=6.06 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 7284 0 0 0 591 15 0 0 20 0 20 0 182992015 19566772224 170902 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182992018 19566772224 170902 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 182992020 19566772224 170902 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19108176 memory=11408 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182992118 19566772224 170902 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 9.81 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 683608 KiB
[startup+12.7004 s]
/proc/loadavg: 4.73 4.41 4.37 5/320 950336
/proc/meminfo: memFree=112849068/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19108176 memory=1135240 CPUtime=18.41 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 30289 0 0 0 1810 31 0 0 20 0 20 0 182992014 19566772224 283810 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4777044 283810 5866 1 0 560319 0
[pid=950314/tid=950316] ppid=950311 vsize=19108176 memory=11408 CPUtime=12.45 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 8678 0 0 0 1220 25 0 0 20 0 20 0 182992015 19566772224 283810 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19108176 memory=1108616 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182992018 19566772224 283810 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19108176 memory=-9105266261957583548 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 182992020 19566772224 283810 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19108176 memory=308480 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182992118 19566772224 283810 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 18.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1135240 KiB
[startup+25.5005 s]
/proc/loadavg: 4.69 4.41 4.37 5/320 950337
/proc/meminfo: memFree=111790188/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19108176 memory=1722432 CPUtime=32.16 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 35493 0 0 0 3172 44 0 0 20 0 20 0 182992014 19566772224 430608 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4777044 430608 5882 1 0 1105513 0
[pid=950314/tid=950316] ppid=950311 vsize=19108176 memory=1108616 CPUtime=24.9 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 9327 0 0 0 2457 33 0 0 20 0 20 0 182992015 19566772224 430608 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19108176 memory=1722432 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182992018 19566772224 430608 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19108176 memory=1722432 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 182992020 19566772224 430608 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182992118 19566772224 430608 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 32.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1722432 KiB
[startup+51.113 s]
/proc/loadavg: 4.78 4.46 4.38 6/320 950410
/proc/meminfo: memFree=112578344/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19108176 memory=1878448 CPUtime=57.9 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 40946 0 0 0 5739 51 0 0 20 0 20 0 182992014 19566772224 469612 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4777044 469612 5882 1 0 1105513 0
[pid=950314/tid=950316] ppid=950311 vsize=19108176 memory=1878448 CPUtime=50.03 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 10742 0 0 0 4968 35 0 0 20 0 20 0 182992015 19566772224 469612 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19108176 memory=1763736 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 182992018 19566772224 469612 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19108176 memory=1755540 CPUtime=0 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 54 0 0 0 0 0 0 0 20 0 20 0 182992020 19566772224 469612 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 182992118 19566772224 469612 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.18 4.13 4.17 5/319 952371
/proc/meminfo: memFree=93614608/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3299.6 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 344746 0 0 0 329697 263 0 0 20 0 21 0 182992014 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4793685 1095509 5926 1 0 1108539 0
[pid=950314/tid=950316] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3259.83 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 141878 0 0 0 325901 82 0 0 20 0 21 0 182992015 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19174740 memory=11408 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 182992018 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19174740 memory=43532 CPUtime=0.01 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 5243 0 0 0 0 1 0 0 20 0 21 0 182992020 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 182992118 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 3299.6 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4382036 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.14 4.17 5/319 952381
/proc/meminfo: memFree=93614300/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3359.64 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 347606 0 0 0 335697 267 0 0 20 0 21 0 182992014 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4793685 1095509 5926 1 0 1108539 0
[pid=950314/tid=950316] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3319.48 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 142952 0 0 0 331866 82 0 0 20 0 21 0 182992015 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 182992018 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0.01 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 5331 0 0 0 0 1 0 0 20 0 21 0 182992020 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 182992118 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 3359.64 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4382036 KiB
[startup+3402.3 s]
/proc/loadavg: 4.23 4.16 4.18 5/319 952392
/proc/meminfo: memFree=93614032/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3419.74 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 351376 0 0 0 341704 270 0 0 20 0 21 0 182992014 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4793685 1095509 5926 1 0 1108539 0
[pid=950314/tid=950316] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3378.99 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 145107 0 0 0 337817 82 0 0 20 0 21 0 182992015 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 182992018 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19174740 memory=11408 CPUtime=0.01 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 5420 0 0 0 0 1 0 0 20 0 21 0 182992020 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 182992118 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 3419.74 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4382036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.25 4.17 4.18 5/323 952408
/proc/meminfo: memFree=95209700/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3479.76 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 355419 0 0 0 347703 273 0 0 20 0 21 0 182992014 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4793685 1095509 5926 1 0 1108539 0
[pid=950314/tid=950316] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3438.72 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 147536 0 0 0 343789 83 0 0 20 0 21 0 182992015 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 182992018 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19174740 memory=11408 CPUtime=0.01 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 5556 0 0 0 0 1 0 0 20 0 21 0 182992020 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19174740 memory=11408 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 182992118 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 3479.76 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4382036 KiB
[startup+3522.3 s]
/proc/loadavg: 4.32 4.20 4.19 5/323 952419
/proc/meminfo: memFree=95209380/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3539.81 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 356893 0 0 0 353705 276 0 0 20 0 21 0 182992014 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4793685 1095509 5926 1 0 1108539 0
[pid=950314/tid=950316] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3498.43 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 148656 0 0 0 349760 83 0 0 20 0 21 0 182992015 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 182992018 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0.01 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 5557 0 0 0 0 1 0 0 20 0 21 0 182992020 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19174740 memory=1904 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 182992118 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 3539.81 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4382036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.31 4.22 4.20 5/323 952564
/proc/meminfo: memFree=112460804/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3599.78 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 360531 0 0 0 359700 278 0 0 20 0 21 0 182992014 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4793685 1095509 5926 1 0 1108539 0
[pid=950314/tid=950316] ppid=950311 vsize=19174740 memory=12724 CPUtime=3558.2 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 150869 0 0 0 355736 84 0 0 20 0 21 0 182992015 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19174740 memory=4382036 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 182992018 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19174740 memory=2248 CPUtime=0.01 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 5690 0 0 0 0 1 0 0 20 0 21 0 182992020 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19174740 memory=26520 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 182992118 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 3599.78 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4382036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3582.6 s]
/proc/loadavg: 4.31 4.22 4.20 5/323 952564
/proc/meminfo: memFree=112460804/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19174740 memory=4382036 CPUtime=3600.08 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 360535 0 0 0 359730 278 0 0 20 0 21 0 182992014 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4793685 1095509 5926 1 0 1108539 0
[pid=950314/tid=950316] ppid=950311 vsize=19174740 memory=5620 CPUtime=3558.5 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) R 950311 950314 947632 0 -1 4194368 150873 0 0 0 355766 84 0 0 20 0 21 0 182992015 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19174740 memory=16212 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 182992018 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19174740 memory=-9105266261957583548 CPUtime=0.01 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 5690 0 0 0 0 1 0 0 20 0 21 0 182992020 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950334] ppid=950311 vsize=19174740 memory=26520 CPUtime=0 cores=4,6
/proc/950314/task/950334/stat : 950334 (Timer-0) S 950311 950314 947632 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 21 0 182992118 19634933760 1095509 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19174740 KiB
Current children cumulated memory: 4382036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3582.74 s]
# the end of solver process 950314 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.47 s, system=2.82151 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3582.7 s]
/proc/loadavg: 4.31 4.22 4.20 5/323 952564
/proc/meminfo: memFree=112460804/131655788 swapFree=131071996/131071996
[pid=950314] ppid=950311 vsize=19374432 memory=4382668 CPUtime=3600.25 cores=4,6
/proc/950314/stat : 950314 (java) S 950311 950314 947632 0 -1 1077936128 364086 0 0 0 359746 279 0 0 20 0 19 0 182992014 19839418368 1095667 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
/proc/950314/statm: 4843608 1095667 5922 1 0 1109458 0
[pid=950314/tid=950316] ppid=950311 vsize=19374432 memory=12724 CPUtime=3558.56 cores=4,6
/proc/950314/task/950316/stat : 950316 (java) S 950311 950314 947632 0 -1 1077936192 150975 0 0 0 355772 84 0 0 20 0 19 0 182992015 19839418368 1095667 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 7 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950325] ppid=950311 vsize=19374432 memory=4382036 CPUtime=0 cores=4,6
/proc/950314/task/950325/stat : 950325 (Finalizer) S 950311 950314 947632 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 182992018 19839418368 1095667 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
[pid=950314/tid=950332] ppid=950311 vsize=19374432 memory=2248 CPUtime=0.01 cores=4,6
/proc/950314/task/950332/stat : 950332 (Common-Cleaner) S 950311 950314 947632 0 -1 1077936192 5690 0 0 0 0 1 0 0 20 0 19 0 182992020 19839418368 1095667 134679101440 94364011356160 94364011359856 140735684872992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94364011367672 94364011368464 94364038430720 140735684875252 140735684875360 140735684875360 140735684882376 0
Current children cumulated CPU time: 3600.25 s
Current children cumulated vsize: 19374432 KiB
Current children cumulated memory: 4382668 KiB
Child status: 143
Real time (s): 3582.74
CPU time (s): 3600.29
CPU user time (s): 3597.47
CPU system time (s): 2.82151
CPU usage (%): 100.49
Max. virtual memory (cumulated for all children) (KiB): 19374432
Max. memory (cumulated for all children) (KiB): 4382668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.47
system time used= 2.82151
maximum resident set size= 4383392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108643
involuntary context switches= 8570
# summary of solver processes directly reported to runsolver:
# pid: 950314
# total CPU time (s): 3600.29
# total CPU user time (s): 3597.47
# total CPU system time (s): 2.82151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4904 second user time and 33.976 second system time
The end