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 (61129 MiB free)
memory of node 1: 64510 MiB (61176 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456150-1721717825/watcher-4456150-1721717825 -o /tmp/evaluation-result-4456150-1721717825/solver-4456150-1721717825 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721717812-78073 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4456150-1721717825.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
solver pid=79877, runsolver pid=79874
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 2.75 2.23 2.13 7/299 79911
/proc/meminfo: memFree=125199472/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=18975048 memory=58924 CPUtime=0.13 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 6640 0 0 0 10 3 0 0 20 0 18 0 7771825 19430449152 14731 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4743762 14731 5701 1 0 551052 0
[pid=79877/tid=79879] ppid=79874 vsize=18975048 memory=4026532157 CPUtime=0.08 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 5455 0 0 0 6 2 0 0 20 0 18 0 7771825 19430449152 14731 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=18975048 memory=215671374179 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771829 19430449152 14731 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=18975048 memory=15825512215896080 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7771830 19430449152 14731 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58924 KiB
[startup+0.207918 s]*
/proc/loadavg: 2.75 2.23 2.13 8/319 79939
/proc/meminfo: memFree=125150288/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=18975048 memory=67324 CPUtime=0.31 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 7237 0 0 0 28 3 0 0 20 0 18 0 7771825 19430449152 16831 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4743762 16831 5717 1 0 551543 0
[pid=79877/tid=79879] ppid=79874 vsize=18975048 memory=664970838410264707 CPUtime=0.19 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 5735 0 0 0 17 2 0 0 20 0 18 0 7771825 19430449152 16831 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=18975048 memory=3637 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771829 19430449152 16831 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=18975048 memory=14126749604647555 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7771830 19430449152 16831 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67324 KiB
[startup+0.319801 s]*
/proc/loadavg: 2.75 2.23 2.13 9/321 79941
/proc/meminfo: memFree=125096508/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=18975048 memory=70652 CPUtime=0.5 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 7540 0 0 0 46 4 0 0 20 0 18 0 7771825 19430449152 17663 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4743762 17663 5732 1 0 551736 0
[pid=79877/tid=79879] ppid=79874 vsize=18975048 memory=-6000919507116319592 CPUtime=0.29 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 5924 0 0 0 27 2 0 0 20 0 18 0 7771825 19430449152 17663 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 7771829 19430449152 17663 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 7771830 19430449152 17663 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 70652 KiB
[startup+0.700327 s]
/proc/loadavg: 2.75 2.23 2.13 11/301 79954
/proc/meminfo: memFree=125164232/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19041612 memory=91760 CPUtime=1.2 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 9154 0 0 0 115 5 0 0 20 0 19 0 7771825 19498610688 22940 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4760403 22940 5869 1 0 552837 0
[pid=79877/tid=79879] ppid=79874 vsize=19041612 memory=31436 CPUtime=0.6 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 6063 0 0 0 58 2 0 0 20 0 19 0 7771825 19498610688 22940 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19041612 memory=12932 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 7771829 19498610688 22940 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19041612 memory=2316 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 7771830 19498610688 22940 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19041612 memory=100 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 7771867 19498610688 22940 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 91760 KiB
[startup+1.50023 s]
/proc/loadavg: 2.75 2.23 2.13 8/323 80009
/proc/meminfo: memFree=124958132/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=183656 CPUtime=2.78 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 22327 0 0 0 269 9 0 0 20 0 20 0 7771825 19566772224 45914 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 45914 5869 1 0 557420 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=12932 CPUtime=1.37 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 6827 0 0 0 133 4 0 0 20 0 20 0 7771825 19566772224 45914 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 45914 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 45914 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 45914 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 2.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 183656 KiB
[startup+3.10624 s]
/proc/loadavg: 3.33 2.36 2.18 7/327 80079
/proc/meminfo: memFree=124724628/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=196480 CPUtime=5.92 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 26011 0 0 0 581 11 0 0 20 0 20 0 7771825 19566772224 49120 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 49120 5932 1 0 558823 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=109264 CPUtime=2.91 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 7396 0 0 0 287 4 0 0 20 0 20 0 7771825 19566772224 49120 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=-6000919489852629864 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 49120 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 49120 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=12932 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 49120 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196480 KiB
[startup+6.30124 s]
/proc/loadavg: 3.33 2.36 2.18 5/305 80227
/proc/meminfo: memFree=124189384/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=447816 CPUtime=10.05 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 26394 0 0 0 989 16 0 0 20 0 20 0 7771825 19566772224 111954 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 111954 5932 1 0 558825 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=12932 CPUtime=6.02 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 7635 0 0 0 594 8 0 0 20 0 20 0 7771825 19566772224 111954 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 111954 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=-6000919489852629864 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 111954 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 111954 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 10.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 447816 KiB
[startup+12.7004 s]
/proc/loadavg: 3.63 2.44 2.20 7/326 80344
/proc/meminfo: memFree=119810960/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=794432 CPUtime=17.24 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 32573 0 0 0 1700 24 0 0 20 0 20 0 7771825 19566772224 198608 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 198608 5932 1 0 558825 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=681720 CPUtime=12.35 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 9125 0 0 0 1219 16 0 0 20 0 20 0 7771825 19566772224 198608 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=11652 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 198608 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=3413696 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 198608 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 198608 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 17.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 794432 KiB
[startup+25.5005 s]
/proc/loadavg: 3.94 2.57 2.25 5/326 80614
/proc/meminfo: memFree=118329072/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1071044 CPUtime=30.33 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 39792 0 0 0 3001 32 0 0 20 0 20 0 7771825 19566772224 267761 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 267761 5932 1 0 558825 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=11652 CPUtime=24.85 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 11857 0 0 0 2464 21 0 0 20 0 20 0 7771825 19566772224 267761 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=164 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 267761 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=279738871142592 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 267761 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=-6000919489852629864 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 267761 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 30.33 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1071044 KiB
[startup+51.1136 s]
/proc/loadavg: 4.24 2.75 2.32 5/327 80820
/proc/meminfo: memFree=119086140/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1646764 CPUtime=59.47 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 62972 0 0 0 5897 50 0 0 20 0 20 0 7771825 19566772224 411691 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 411691 5931 1 0 670864 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=-6000919489852629864 CPUtime=49.84 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 14549 0 0 0 4953 31 0 0 20 0 20 0 7771825 19566772224 411691 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=1646764 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 411691 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=11652 CPUtime=0 cores=4,6
################
# More data... #
################
/proc/loadavg: 4.24 2.75 2.32 5/327 80820
/proc/meminfo: memFree=119086140/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1646764 CPUtime=59.56 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 62972 0 0 0 5906 50 0 0 20 0 20 0 7771825 19566772224 411691 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 411691 5931 1 0 670864 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=2273 CPUtime=49.92 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 14549 0 0 0 4961 31 0 0 20 0 20 0 7771825 19566772224 411691 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=1734 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 411691 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=-6000919489852629864 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 40 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 411691 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=1582028 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 411691 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 59.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1646764 KiB
[startup+64.0004 s]*
/proc/loadavg: 4.33 2.84 2.36 5/327 80821
/proc/meminfo: memFree=118395888/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1651404 CPUtime=72.34 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 64693 0 0 0 7182 52 0 0 20 0 20 0 7771825 19566772224 412851 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 412851 5931 1 0 670864 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=-6000919485524175975 CPUtime=62.58 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 15676 0 0 0 6227 31 0 0 20 0 20 0 7771825 19566772224 412851 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=5983787740543739855 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 412851 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=3472467998330349569 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 127 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 412851 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=3472467998330349441 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 412851 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 72.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1651404 KiB
[startup+76.8004 s]
/proc/loadavg: 4.28 2.88 2.37 5/327 80823
/proc/meminfo: memFree=118250764/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1655500 CPUtime=85.15 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 65446 0 0 0 8463 52 0 0 20 0 20 0 7771825 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 413875 5931 1 0 670864 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=1672404 CPUtime=75.23 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 15913 0 0 0 7492 31 0 0 20 0 20 0 7771825 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=1655500 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 127 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=11652 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 85.15 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1655500 KiB
[startup+80.0004 s]*
/proc/loadavg: 4.26 2.90 2.38 5/327 80824
/proc/meminfo: memFree=118197144/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1655500 CPUtime=88.37 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 65703 0 0 0 8784 53 0 0 20 0 20 0 7771825 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 413875 5931 1 0 670864 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=-6000919485524175975 CPUtime=78.44 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 16169 0 0 0 7812 32 0 0 20 0 20 0 7771825 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=11436 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=11480 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 127 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=2688 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 413875 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 88.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1655500 KiB
[startup+83.2004 s]
/proc/loadavg: 4.32 2.94 2.40 5/327 80824
/proc/meminfo: memFree=118176612/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1659596 CPUtime=91.55 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 65759 0 0 0 9102 53 0 0 20 0 20 0 7771825 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 414899 5931 1 0 670864 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=1655500 CPUtime=81.5 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 16216 0 0 0 8118 32 0 0 20 0 20 0 7771825 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=12932 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=1655500 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 127 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=7696 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 91.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1659596 KiB
[startup+84.0004 s]*
/proc/loadavg: 4.32 2.94 2.40 5/327 80824
/proc/meminfo: memFree=118176528/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1659596 CPUtime=92.36 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 65855 0 0 0 9183 53 0 0 20 0 20 0 7771825 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 414899 5931 1 0 670864 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=-6000919485524175975 CPUtime=82.31 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 16312 0 0 0 8199 32 0 0 20 0 20 0 7771825 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=2598092 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=2756 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 127 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=4608 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 92.36 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1659596 KiB
[startup+84.4004 s]
/proc/loadavg: 4.32 2.94 2.40 5/327 80824
/proc/meminfo: memFree=118176528/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1659596 CPUtime=92.74 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 65877 0 0 0 9221 53 0 0 20 0 20 0 7771825 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 414899 5931 1 0 670864 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=-6000919489852629864 CPUtime=82.7 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 16334 0 0 0 8238 32 0 0 20 0 20 0 7771825 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=15976 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=2316 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 127 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=100 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 414899 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 92.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1659596 KiB
[startup+84.8004 s]
/proc/loadavg: 4.32 2.94 2.40 5/327 80824
/proc/meminfo: memFree=118176528/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19108176 memory=1659672 CPUtime=93.21 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 67406 0 0 0 9267 54 0 0 20 0 20 0 7771825 19566772224 414918 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4777044 414918 5931 1 0 670864 0
[pid=79877/tid=79879] ppid=79874 vsize=19108176 memory=-6000919489852629864 CPUtime=83.1 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) R 79874 79877 78062 0 -1 4194368 16866 0 0 0 8278 32 0 0 20 0 20 0 7771825 19566772224 414918 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19108176 memory=4676 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 7771829 19566772224 414918 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19108176 memory=1659596 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 127 0 0 0 0 0 0 0 20 0 20 0 7771830 19566772224 414918 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79945] ppid=79874 vsize=19108176 memory=27348 CPUtime=0 cores=4,6
/proc/79877/task/79945/stat : 79945 (Timer-0) S 79874 79877 78062 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 7771867 19566772224 414918 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 93.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1659672 KiB
[startup+84.9075 s]
/proc/loadavg: 4.32 2.94 2.40 5/327 80824
/proc/meminfo: memFree=118176528/131655788 swapFree=131071996/131071996
[pid=79877] ppid=79874 vsize=19241304 memory=1660100 CPUtime=93.33 cores=4,6
/proc/79877/stat : 79877 (java) S 79874 79877 78062 0 -1 1077936128 69369 0 0 0 9279 54 0 0 20 0 21 0 7771825 19703095296 415025 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
/proc/79877/statm: 4810326 415025 5930 1 0 671502 0
[pid=79877/tid=79879] ppid=79874 vsize=19241304 memory=-6000919489852629864 CPUtime=83.17 cores=4,6
/proc/79877/task/79879/stat : 79879 (java) S 79874 79877 78062 0 -1 1077936192 18026 0 0 0 8285 32 0 0 20 0 21 0 7771825 19703095296 415025 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79891] ppid=79874 vsize=19241304 memory=1395532 CPUtime=0 cores=4,6
/proc/79877/task/79891/stat : 79891 (Finalizer) S 79874 79877 78062 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 7771829 19703095296 415025 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
[pid=79877/tid=79898] ppid=79874 vsize=19241304 memory=1646764 CPUtime=0 cores=4,6
/proc/79877/task/79898/stat : 79898 (Common-Cleaner) S 79874 79877 78062 0 -1 1077936192 127 0 0 0 0 0 0 0 20 0 21 0 7771830 19703095296 415025 134679101440 93884377849856 93884377853552 140728353079264 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93884377861368 93884377862160 93884392550400 140728353088500 140728353088608 140728353088608 140728353095624 0
Current children cumulated CPU time: 93.33 s
Current children cumulated vsize: 19241304 KiB
Current children cumulated memory: 1660100 KiB
Child status: 30
Real time (s): 84.9241
CPU time (s): 93.3513
CPU user time (s): 92.7988
CPU system time (s): 0.552487
CPU usage (%): 109.923
Max. virtual memory (cumulated for all children) (KiB): 19241304
Max. memory (cumulated for all children) (KiB): 1672404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.7988
system time used= 0.552487
maximum resident set size= 1675344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4161
involuntary context switches= 763
# summary of solver processes directly reported to runsolver:
# pid: 79877
# total CPU time (s): 93.3513
# total CPU user time (s): 92.7988
# total CPU system time (s): 0.552487
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.449067 second user time and 0.90653 second system time
The end