runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (59488 MiB free)
  memory of node 1: 64473 MiB (55707 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4447052-1721824476/watcher-4447052-1721824476 -o /tmp/evaluation-result-4447052-1721824476/solver-4447052-1721824476 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1721817188-181609 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4447052-1721824476 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4447052-1721824476.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
Current StackSize limit: 8192 KiB

solver pid=187014, runsolver pid=187011

[startup+0.10338 s]*
/proc/loadavg: 4.12 4.20 4.18 4/336 187032
/proc/meminfo: memFree=117922484/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=18975048 memory=58336 CPUtime=0.08 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 6665 0 0 0 7 1 0 0 20 0 18 0 18977323 19430449152 14584 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4743762 14584 5539 1 0 548948 0
[pid=187014/tid=187016] ppid=187011 vsize=18975048 memory=4026561586 CPUtime=0.05 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 5550 0 0 0 4 1 0 0 20 0 18 0 18977325 19430449152 14584 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 14584 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=18975048 memory=14131147602140469 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 14584 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 58336 KiB

[startup+0.205917 s]*
/proc/loadavg: 4.12 4.20 4.18 4/336 187032
/proc/meminfo: memFree=117914380/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=18975048 memory=65880 CPUtime=0.18 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 7322 0 0 0 16 2 0 0 20 0 18 0 18977323 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4743762 16470 5740 1 0 549484 0
[pid=187014/tid=187016] ppid=187011 vsize=18975048 memory=4782652875487838339 CPUtime=0.1 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) D 187011 187014 181598 0 -1 1078198336 5817 0 0 0 9 1 0 0 20 0 18 0 18977325 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=18975048 memory=1318409 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=18975048 memory=15537422972749500 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65880 KiB

[startup+0.305846 s]*
/proc/loadavg: 4.12 4.20 4.18 5/336 187032
/proc/meminfo: memFree=117893228/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=18975048 memory=65880 CPUtime=0.18 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 7322 0 0 0 16 2 0 0 20 0 18 0 18977323 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4743762 16470 5740 1 0 549484 0
[pid=187014/tid=187016] ppid=187011 vsize=18975048 memory=-9105269530377888444 CPUtime=0.1 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) D 187011 187014 181598 0 -1 1078198336 5817 0 0 0 9 1 0 0 20 0 18 0 18977325 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65880 KiB

[startup+0.700181 s]
/proc/loadavg: 4.12 4.20 4.18 4/336 187032
/proc/meminfo: memFree=117885996/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=18975048 memory=65880 CPUtime=0.18 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 7322 0 0 0 16 2 0 0 20 0 18 0 18977323 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4743762 16470 5740 1 0 549484 0
[pid=187014/tid=187016] ppid=187011 vsize=18975048 memory=5476 CPUtime=0.1 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) D 187011 187014 181598 0 -1 1078198336 5817 0 0 0 9 1 0 0 20 0 18 0 18977325 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=18975048 memory=12928 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65880 KiB

[startup+1.50024 s]
/proc/loadavg: 4.12 4.20 4.18 4/336 187032
/proc/meminfo: memFree=117883864/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=18975048 memory=65880 CPUtime=0.18 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 7324 0 0 0 16 2 0 0 20 0 18 0 18977323 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4743762 16470 5740 1 0 549484 0
[pid=187014/tid=187016] ppid=187011 vsize=18975048 memory=12928 CPUtime=0.1 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) D 187011 187014 181598 0 -1 1077936192 5819 0 0 0 9 1 0 0 20 0 18 0 18977325 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 18977329 19430449152 16470 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65880 KiB

[startup+3.10578 s]
/proc/loadavg: 4.12 4.20 4.18 6/338 187036
/proc/meminfo: memFree=117655776/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=185476 CPUtime=3.2 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 19832 0 0 0 313 7 0 0 20 0 20 0 18977323 19566772224 46369 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 46369 5853 1 0 555163 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=198340509722 CPUtime=1.58 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 6905 0 0 0 154 4 0 0 20 0 20 0 18977325 19566772224 46369 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 46369 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 46369 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=103960 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 46369 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 185476 KiB

[startup+6.30025 s]
/proc/loadavg: 4.11 4.20 4.18 5/338 187036
/proc/meminfo: memFree=117480600/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=335212 CPUtime=7.63 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 23734 0 0 0 751 12 0 0 20 0 20 0 18977323 19566772224 83803 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 83803 5869 1 0 555542 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=0 CPUtime=4.74 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 7557 0 0 0 466 8 0 0 20 0 20 0 18977325 19566772224 83803 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 83803 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=174020 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 83803 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=269676 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 83803 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 7.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 335212 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.19 4.18 5/338 187036
/proc/meminfo: memFree=117069952/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=540684 CPUtime=14.48 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 27761 0 0 0 1428 20 0 0 20 0 20 0 18977323 19566772224 135171 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 135171 5885 1 0 556622 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=540684 CPUtime=11.07 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 8600 0 0 0 1092 15 0 0 20 0 20 0 18977325 19566772224 135171 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=11584 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 135171 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=7235994213700690771 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 135171 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 135171 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 14.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 540684 KiB

[startup+25.5003 s]
/proc/loadavg: 4.14 4.20 4.18 5/338 187039
/proc/meminfo: memFree=115806856/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=1101912 CPUtime=27.27 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 31367 0 0 0 2694 33 0 0 20 0 20 0 18977323 19566772224 275478 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 275478 5885 1 0 556622 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=7235994213700690771 CPUtime=23.79 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 10257 0 0 0 2351 28 0 0 20 0 20 0 18977325 19566772224 275478 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=557068 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 275478 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 275478 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=860236 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 275478 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 27.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1101912 KiB

[startup+51.1057 s]
/proc/loadavg: 4.17 4.20 4.18 5/336 187042
/proc/meminfo: memFree=115028780/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=1356000 CPUtime=52.66 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 38745 0 0 0 5216 50 0 0 20 0 20 0 18977323 19566772224 339000 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 339000 5885 1 0 556622 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=11584 CPUtime=48.82 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 12554 0 0 0 4841 41 0 0 20 0 20 0 18977325 19566772224 339000 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 39 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=1356000 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 339000 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=12928 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 41 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 339000 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=557068 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 339000 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0

################
# More data... #
################

[startup+3282.3 s]
/proc/loadavg: 4.08 4.12 4.12 5/336 188968
/proc/meminfo: memFree=88504448/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=2195844 CPUtime=3270.89 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 244469 0 0 0 325895 1194 0 0 20 0 20 0 18977323 19566772224 548961 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 548961 5898 1 0 558703 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=2195840 CPUtime=3209.82 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 92215 0 0 0 319927 1055 0 0 20 0 20 0 18977325 19566772224 548961 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 3344 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=2195840 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 548961 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=2195836 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 2143 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 548961 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=2195836 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 548961 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 3270.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195844 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/337 189036
/proc/meminfo: memFree=88308908/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=2195876 CPUtime=3331.73 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 251877 0 0 0 331960 1213 0 0 20 0 20 0 18977323 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 548969 5898 1 0 558703 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=164 CPUtime=3269.12 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 95239 0 0 0 325842 1070 0 0 20 0 20 0 18977325 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 3353 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=-9105269530377888444 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 2211 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=5476 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 3331.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195876 KiB

[startup+3402.3 s]
/proc/loadavg: 3.73 4.04 4.09 4/311 189082
/proc/meminfo: memFree=93503980/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=2195876 CPUtime=3391.71 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 252415 0 0 0 337938 1233 0 0 20 0 20 0 18977323 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 548969 5898 1 0 558703 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=67456 CPUtime=3328.22 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 95686 0 0 0 331734 1088 0 0 20 0 20 0 18977325 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3380 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=2195876 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=2195876 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 2211 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=2195876 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 3391.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195876 KiB

[startup+3462.3 s]
/proc/loadavg: 3.53 3.92 4.04 4/311 189092
/proc/meminfo: memFree=92916692/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=2195876 CPUtime=3452.47 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 255879 0 0 0 343996 1251 0 0 20 0 20 0 18977323 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 548969 5898 1 0 558703 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=108 CPUtime=3387.17 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 96996 0 0 0 337614 1103 0 0 20 0 20 0 18977325 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3399 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=-8672920667615437500 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 2218 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=2195876 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 548969 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 3452.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2195876 KiB

[startup+3522.3 s]
/proc/loadavg: 3.25 3.77 3.98 4/312 189105
/proc/meminfo: memFree=92379900/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=2197020 CPUtime=3512.98 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 263360 0 0 0 350028 1270 0 0 20 0 20 0 18977323 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 549255 5898 1 0 558986 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=-8672920667615437500 CPUtime=3446.04 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 100453 0 0 0 343484 1120 0 0 20 0 20 0 18977325 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 3425 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=2195876 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=2195876 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 2271 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 3512.98 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2197020 KiB

[startup+3582.3 s]
/proc/loadavg: 3.21 3.66 3.93 4/311 189115
/proc/meminfo: memFree=91918076/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=2197020 CPUtime=3573.68 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 264162 0 0 0 356080 1288 0 0 20 0 20 0 18977323 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 549255 5898 1 0 558986 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=5528 CPUtime=3504.88 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 100887 0 0 0 349352 1136 0 0 20 0 20 0 18977325 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3449 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=2220 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 2271 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=11588 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 549255 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 3573.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2197020 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.6 s]
/proc/loadavg: 2.98 3.57 3.89 3/285 189154
/proc/meminfo: memFree=102002396/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19108176 memory=2197028 CPUtime=3600.09 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 267306 0 0 0 358713 1296 0 0 20 0 20 0 18977323 19566772224 549257 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4777044 549257 5898 1 0 558986 0
[pid=187014/tid=187016] ppid=187011 vsize=19108176 memory=20208 CPUtime=3530.82 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) R 187011 187014 181598 0 -1 4194368 101976 0 0 0 351939 1143 0 0 20 0 20 0 18977325 19566772224 549257 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 3456 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19108176 memory=6972 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 549257 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19108176 memory=7140 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 2372 0 0 0 0 0 0 0 20 0 20 0 18977329 19566772224 549257 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187033] ppid=187011 vsize=19108176 memory=198340509722 CPUtime=0 cores=4,6
/proc/187014/task/187033/stat : 187033 (Timer-0) S 187011 187014 181598 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18977492 19566772224 549257 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2197028 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3608.81 s]
# the end of solver process 187014 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3587.26 s, system=12.989 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3608.8 s]
/proc/loadavg: 2.98 3.57 3.89 3/285 189154
/proc/meminfo: memFree=102002396/131524600 swapFree=131064476/131071996
[pid=187014] ppid=187011 vsize=19307868 memory=2197620 CPUtime=3600.23 cores=4,6
/proc/187014/stat : 187014 (java) S 187011 187014 181598 0 -1 1077936128 269903 0 0 0 358726 1297 0 0 20 0 15 0 18977323 19771256832 549405 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
/proc/187014/statm: 4826967 549405 5894 1 0 559911 0
[pid=187014/tid=187016] ppid=187011 vsize=19307868 memory=39048 CPUtime=3530.85 cores=4,6
/proc/187014/task/187016/stat : 187016 (java) S 187011 187014 181598 0 -1 1077936192 102258 0 0 0 351941 1144 0 0 20 0 15 0 18977325 19771256832 549405 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 3479 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187025] ppid=187011 vsize=19307868 memory=2197028 CPUtime=0 cores=4,6
/proc/187014/task/187025/stat : 187025 (Finalizer) S 187011 187014 181598 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18977329 19771256832 549405 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
[pid=187014/tid=187032] ppid=187011 vsize=19307868 memory=67456 CPUtime=0 cores=4,6
/proc/187014/task/187032/stat : 187032 (Common-Cleaner) S 187011 187014 181598 0 -1 1077936192 2372 0 0 0 0 0 0 0 20 0 15 0 18977329 19771256832 549405 134679101440 94225690365952 94225690369648 140721910290384 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94225690377464 94225690378256 94225703526400 140721910293419 140721910293601 140721910293601 140721910300616 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2197620 KiB

Child status: 143

Real time (s): 3608.81
CPU time (s): 3600.25
CPU user time (s): 3587.26
CPU system time (s): 12.989
CPU usage (%): 99.7627
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2197620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.26
system time used= 12.989
maximum resident set size= 2198612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16079680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121469
involuntary context switches= 13145


# summary of solver processes directly reported to runsolver:
#   pid: 187014
#   total CPU time (s): 3600.25
#   total CPU user time (s): 3587.26
#   total CPU system time (s): 12.989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64973 second user time and 18.3523 second system time

The end