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 (53570 MiB free)
  memory of node 1: 64473 MiB (58879 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4440527-1721820866/watcher-4440527-1721820866 -o /tmp/evaluation-result-4440527-1721820866/solver-4440527-1721820866 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721817188-183883 --watchdog 3760 java -Dveripb=PROOFDIR/proof-4440527-1721820866 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4440527-1721820866.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=187167, runsolver pid=187164
Current StackSize limit: 8192 KiB


[startup+0.10004 s]*
/proc/loadavg: 4.32 4.21 4.11 7/335 187185
/proc/meminfo: memFree=115104332/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=18975048 memory=65108 CPUtime=0.13 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 7225 0 0 0 11 2 0 0 20 0 18 0 18609941 19430449152 16277 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4743762 16277 5655 1 0 549331 0
[pid=187167/tid=187169] ppid=187164 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) S 187164 187167 183872 0 -1 1077936192 5761 0 0 0 7 1 0 0 20 0 18 0 18609941 19430449152 16277 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=18975048 memory=237146210664 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18609944 19430449152 16277 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=18975048 memory=15262540772067107 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18609944 19430449152 16277 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65108 KiB

[startup+0.210042 s]*
/proc/loadavg: 4.32 4.21 4.11 7/335 187185
/proc/meminfo: memFree=115088324/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=18975048 memory=80088 CPUtime=0.32 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 8453 0 0 0 29 3 0 0 20 0 18 0 18609941 19430449152 20022 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4743762 20022 5804 1 0 550269 0
[pid=187167/tid=187169] ppid=187164 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 5967 0 0 0 15 2 0 0 20 0 18 0 18609941 19430449152 20022 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=18975048 memory=1230895 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18609944 19430449152 20022 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=18975048 memory=13855165887284878 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18609944 19430449152 20022 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 80088 KiB

[startup+0.305865 s]*
/proc/loadavg: 4.32 4.21 4.11 7/335 187185
/proc/meminfo: memFree=115055424/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=18975048 memory=111408 CPUtime=0.51 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 9422 0 0 0 47 4 0 0 20 0 18 0 18609941 19430449152 27852 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4743762 27852 5804 1 0 550816 0
[pid=187167/tid=187169] ppid=187164 vsize=18975048 memory=-8887688273868923580 CPUtime=0.26 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 5993 0 0 0 24 2 0 0 20 0 18 0 18609941 19430449152 27852 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 18609944 19430449152 27852 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 18609944 19430449152 27852 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 111408 KiB

[startup+0.701039 s]
/proc/loadavg: 4.32 4.21 4.11 7/336 187186
/proc/meminfo: memFree=115007880/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=176020 CPUtime=1.26 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 10603 0 0 0 121 5 0 0 20 0 20 0 18609941 19566772224 44005 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 44005 5842 1 0 551888 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=5432 CPUtime=0.58 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 6148 0 0 0 55 3 0 0 20 0 20 0 18609941 19566772224 44005 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 44005 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=280034418156200 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 44005 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 44005 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 176020 KiB

[startup+1.5002 s]
/proc/loadavg: 4.32 4.21 4.11 9/337 187187
/proc/meminfo: memFree=114968736/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=191864 CPUtime=2.85 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 11372 0 0 0 278 7 0 0 20 0 20 0 18609941 19566772224 47966 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 47966 5880 1 0 552137 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=12304 CPUtime=1.32 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) S 187164 187167 183872 0 -1 1077936192 6158 0 0 0 128 4 0 0 20 0 20 0 18609941 19566772224 47966 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 47966 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 47966 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=280034418009360 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 47966 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191864 KiB

[startup+3.10604 s]
/proc/loadavg: 4.38 4.22 4.11 4/337 187187
/proc/meminfo: memFree=114646340/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=428092 CPUtime=5.35 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 14820 0 0 0 523 12 0 0 20 0 20 0 18609941 19566772224 107023 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 107023 5880 1 0 827947 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=0 CPUtime=2.7 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 6226 0 0 0 263 7 0 0 20 0 20 0 18609941 19566772224 107023 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 107023 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 107023 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 107023 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 5.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 428092 KiB

[startup+6.30105 s]
/proc/loadavg: 4.38 4.22 4.11 5/337 187187
/proc/meminfo: memFree=113977452/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=1020828 CPUtime=8.99 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 16337 0 0 0 870 29 0 0 20 0 20 0 18609941 19566772224 255207 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 255207 5896 1 0 1471376 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=12304 CPUtime=5.68 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 6474 0 0 0 549 19 0 0 20 0 20 0 18609941 19566772224 255207 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 255207 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=5450909891216438826 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 255207 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=198008 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 255207 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 8.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1020828 KiB

[startup+12.7002 s]
/proc/loadavg: 4.35 4.22 4.11 5/337 187189
/proc/meminfo: memFree=112510024/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=1870212 CPUtime=15.67 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 20251 0 0 0 1515 52 0 0 20 0 20 0 18609941 19566772224 467553 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 467553 5896 1 0 1575825 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=0 CPUtime=11.65 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 8087 0 0 0 1128 37 0 0 20 0 20 0 18609941 19566772224 467553 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 467553 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=1845576 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 467553 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=12304 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 467553 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 15.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1870212 KiB

[startup+25.5002 s]
/proc/loadavg: 4.58 4.28 4.13 6/337 187190
/proc/meminfo: memFree=109105300/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=4584552 CPUtime=29 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 26031 0 0 0 2779 121 0 0 20 0 20 0 18609941 19566772224 1146138 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 1146138 5912 1 0 1575839 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=1845576 CPUtime=23.87 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 10242 0 0 0 2293 94 0 0 20 0 20 0 18609941 19566772224 1146138 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=-8887688273868923580 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 1146138 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=68028 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 1146138 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 1146138 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4584552 KiB

[startup+51.1057 s]
/proc/loadavg: 4.38 4.25 4.13 5/339 187197
/proc/meminfo: memFree=105854692/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=5977316 CPUtime=52.78 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 34544 0 0 0 5106 172 0 0 20 0 20 0 18609941 19566772224 1494329 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 1494329 5912 1 0 1715797 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=5588132 CPUtime=45.22 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 12279 0 0 0 4395 127 0 0 20 0 20 0 18609941 19566772224 1494329 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 298 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=68028 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 1494329 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0

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

Current children cumulated memory: 16275720 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/339 189081
/proc/meminfo: memFree=45359696/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=16275720 CPUtime=3327.14 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 615293 0 0 0 329552 3162 0 0 20 0 20 0 18609941 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 4068930 5912 1 0 4083641 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=16275720 CPUtime=3101.82 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 186822 0 0 0 307221 2961 0 0 20 0 20 0 18609941 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11604 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 2536 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 3327.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16275720 KiB

[startup+3402.3 s]
/proc/loadavg: 4.05 4.12 4.15 5/340 189151
/proc/meminfo: memFree=44423264/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=16275720 CPUtime=3387.7 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 622931 0 0 0 335559 3211 0 0 20 0 20 0 18609941 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 4068930 5912 1 0 4083641 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=16275720 CPUtime=3158.85 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 190345 0 0 0 312877 3008 0 0 20 0 20 0 18609941 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 11683 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 2536 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 3387.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16275720 KiB

[startup+3462.3 s]
/proc/loadavg: 4.42 4.22 4.18 5/340 189162
/proc/meminfo: memFree=43493032/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=16275720 CPUtime=3446.88 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 625707 0 0 0 341428 3260 0 0 20 0 20 0 18609941 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 4068930 5912 1 0 4083641 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=16275720 CPUtime=3214.22 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 192119 0 0 0 318366 3056 0 0 20 0 20 0 18609941 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 11908 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 2601 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 3446.88 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16275720 KiB

[startup+3522.3 s]
/proc/loadavg: 4.32 4.22 4.18 5/340 189174
/proc/meminfo: memFree=42732108/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=16275720 CPUtime=3506.03 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 631837 0 0 0 347306 3297 0 0 20 0 20 0 18609941 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 4068930 5912 1 0 4083641 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=16275720 CPUtime=3270.23 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 194246 0 0 0 323933 3090 0 0 20 0 20 0 18609941 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 12118 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=68028 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 2602 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 4068930 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 3506.03 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16275720 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.19 4.18 6/338 189184
/proc/meminfo: memFree=42043184/131524600 swapFree=131055480/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=16275796 CPUtime=3555.05 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 653715 0 0 0 352168 3337 0 0 20 0 20 0 18609941 19566772224 4068949 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 4068949 5928 1 0 4083641 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=16275720 CPUtime=3315.14 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 196200 0 0 0 328388 3126 0 0 20 0 20 0 18609941 19566772224 4068949 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13435 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=16275720 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068949 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=-8887688273868923580 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 2699 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068949 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 4068949 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 3555.05 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16275796 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3626.4 s]
/proc/loadavg: 4.20 4.20 4.18 5/338 189259
/proc/meminfo: memFree=56901148/131524600 swapFree=131055224/131071996
[pid=187167] ppid=187164 vsize=19108176 memory=16275888 CPUtime=3600.01 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 661759 0 0 0 356626 3375 0 0 20 0 20 0 18609941 19566772224 4068972 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4777044 4068972 5928 1 0 4083666 0
[pid=187167/tid=187169] ppid=187164 vsize=19108176 memory=5432 CPUtime=3354.82 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 196980 0 0 0 332322 3160 0 0 20 0 20 0 18609941 19566772224 4068972 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13713 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19108176 memory=16275888 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068972 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19108176 memory=11944 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 2699 0 0 0 0 0 0 0 20 0 20 0 18609944 19566772224 4068972 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187186] ppid=187164 vsize=19108176 memory=-8887688273868923580 CPUtime=0 cores=4,6
/proc/187167/task/187186/stat : 187186 (Timer-0) S 187164 187167 183872 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 18609986 19566772224 4068972 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 16275888 KiB

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

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

# cumulated CPU time of all completed processes:  user=3566.38 s, system=33.8465 s

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

[startup+3626.6 s]
/proc/loadavg: 4.20 4.20 4.18 5/338 189259
/proc/meminfo: memFree=56901148/131524600 swapFree=131055224/131071996
[pid=187167] ppid=187164 vsize=19307868 memory=16276448 CPUtime=3600.17 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 664040 0 0 0 356638 3379 0 0 20 0 15 0 18609941 19771256832 4069112 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4826967 4069112 5927 1 0 4084603 0
[pid=187167/tid=187169] ppid=187164 vsize=19307868 memory=5596 CPUtime=3354.87 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) R 187164 187167 183872 0 -1 4194368 197166 0 0 0 332323 3164 0 0 20 0 15 0 18609941 19771256832 4069112 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 13732 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19307868 memory=2004 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18609944 19771256832 4069112 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19307868 memory=1896 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 2699 0 0 0 0 0 0 0 20 0 15 0 18609944 19771256832 4069112 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16276448 KiB

[startup+3626.7 s]
/proc/loadavg: 4.20 4.20 4.18 5/338 189259
/proc/meminfo: memFree=56901148/131524600 swapFree=131055224/131071996
[pid=187167] ppid=187164 vsize=19307868 memory=16276448 CPUtime=3600.18 cores=4,6
/proc/187167/stat : 187167 (java) S 187164 187167 183872 0 -1 1077936128 664040 0 0 0 356638 3380 0 0 20 0 15 0 18609941 19771256832 4069112 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
/proc/187167/statm: 4826967 4069112 5927 1 0 4084603 0
[pid=187167/tid=187169] ppid=187164 vsize=19307868 memory=2296 CPUtime=3354.88 cores=4,6
/proc/187167/task/187169/stat : 187169 (java) D 187164 187167 183872 0 -1 1077936192 197166 0 0 0 332323 3165 0 0 20 0 15 0 18609941 19771256832 4069112 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 13743 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187178] ppid=187164 vsize=19307868 memory=16275796 CPUtime=0 cores=4,6
/proc/187167/task/187178/stat : 187178 (Finalizer) S 187164 187167 183872 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 15 0 18609944 19771256832 4069112 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
[pid=187167/tid=187185] ppid=187164 vsize=19307868 memory=68028 CPUtime=0 cores=4,6
/proc/187167/task/187185/stat : 187185 (Common-Cleaner) S 187164 187167 183872 0 -1 1077936192 2699 0 0 0 0 0 0 0 20 0 15 0 18609944 19771256832 4069112 134679101440 93910168158208 93910168161904 140723351825024 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93910168169720 93910168170512 93910199271424 140723351831467 140723351831649 140723351831649 140723351838664 0
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 16276448 KiB

Child status: 143

Real time (s): 3626.75
CPU time (s): 3600.23
CPU user time (s): 3566.38
CPU system time (s): 33.8465
CPU usage (%): 99.2687
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 16276448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.38
system time used= 33.8465
maximum resident set size= 16277388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 664091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 70734400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141083
involuntary context switches= 25894


# summary of solver processes directly reported to runsolver:
#   pid: 187167
#   total CPU time (s): 3600.23
#   total CPU user time (s): 3566.38
#   total CPU system time (s): 33.8465

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.39243 second user time and 17.1552 second system time

The end