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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432466-1721139784/watcher-4432466-1721139784 -o /tmp/evaluation-result-4432466-1721139784/solver-4432466-1721139784 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721139796-861245 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432466-1721139784.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=861291, runsolver pid=861286
Current StackSize limit: 8192 KiB


[startup+0.100422 s]*
/proc/loadavg: 1.35 1.73 2.34 10/325 861376
/proc/meminfo: memFree=126227528/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=18975048 memory=65324 CPUtime=0.14 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 7218 0 0 0 12 2 0 0 20 0 18 0 166142218 19430449152 16331 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4743762 16331 5670 1 0 549335 0
[pid=861291/tid=861299] ppid=861286 vsize=18975048 memory=4026531971 CPUtime=0.08 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 1078198336 5739 0 0 0 7 1 0 0 20 0 18 0 166142219 19430449152 16331 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=18975048 memory=3640 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166142221 19430449152 16331 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166142222 19430449152 16331 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65324 KiB

[startup+0.206312 s]*
/proc/loadavg: 1.35 1.73 2.34 13/325 861376
/proc/meminfo: memFree=126161512/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=18975048 memory=79760 CPUtime=0.33 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 8419 0 0 0 31 2 0 0 20 0 18 0 166142218 19430449152 19940 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4743762 19940 5820 1 0 550213 0
[pid=861291/tid=861299] ppid=861286 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 5923 0 0 0 17 1 0 0 20 0 18 0 166142219 19430449152 19940 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=18975048 memory=3640 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166142221 19430449152 19940 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=18975048 memory=15819993166120615 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166142222 19430449152 19940 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79760 KiB

[startup+0.307313 s]*
/proc/loadavg: 1.35 1.73 2.34 13/325 861376
/proc/meminfo: memFree=126039776/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=18975048 memory=104924 CPUtime=0.53 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 9303 0 0 0 50 3 0 0 20 0 18 0 166142218 19430449152 26231 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4743762 26231 5820 1 0 550715 0
[pid=861291/tid=861299] ppid=861286 vsize=18975048 memory=-8673202168395047612 CPUtime=0.25 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 5950 0 0 0 23 2 0 0 20 0 18 0 166142219 19430449152 26231 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 166142221 19430449152 26231 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=18975048 memory=0 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 166142222 19430449152 26231 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 104924 KiB

[startup+0.700315 s]
/proc/loadavg: 1.35 1.73 2.34 12/329 861380
/proc/meminfo: memFree=125892636/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19041612 memory=137884 CPUtime=1.28 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 10728 0 0 0 124 4 0 0 20 0 19 0 166142218 19498610688 34471 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4760403 34471 5857 1 0 551947 0
[pid=861291/tid=861299] ppid=861286 vsize=19041612 memory=5496 CPUtime=0.6 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 6070 0 0 0 58 2 0 0 20 0 19 0 166142219 19498610688 34471 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19041612 memory=12180 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 166142221 19498610688 34471 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19041612 memory=280366338597608 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 166142222 19498610688 34471 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19041612 memory=752915830193226110 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 166142259 19498610688 34471 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 137884 KiB

[startup+1.50031 s]
/proc/loadavg: 1.35 1.73 2.34 10/332 861383
/proc/meminfo: memFree=125756540/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19108176 memory=255240 CPUtime=2.4 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 11013 0 0 0 233 7 0 0 20 0 20 0 166142218 19566772224 63810 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4777044 63810 5873 1 0 552280 0
[pid=861291/tid=861299] ppid=861286 vsize=19108176 memory=12180 CPUtime=1.31 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) S 861286 861291 861235 0 -1 1077936192 6133 0 0 0 128 3 0 0 20 0 20 0 166142219 19566772224 63810 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 63810 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 63810 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19108176 memory=1084 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19566772224 63810 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 2.4 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 255240 KiB

[startup+3.10566 s]
/proc/loadavg: 1.35 1.73 2.34 5/333 861384
/proc/meminfo: memFree=125452996/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19108176 memory=421936 CPUtime=4.29 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 14112 0 0 0 418 11 0 0 20 0 20 0 166142218 19566772224 105484 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4777044 105484 5888 1 0 552785 0
[pid=861291/tid=861299] ppid=861286 vsize=19108176 memory=0 CPUtime=2.75 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 6266 0 0 0 272 3 0 0 20 0 20 0 166142219 19566772224 105484 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 105484 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19108176 memory=12180 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 105484 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19566772224 105484 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 4.29 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 421936 KiB

[startup+6.30028 s]
/proc/loadavg: 1.56 1.77 2.35 5/333 861385
/proc/meminfo: memFree=124740484/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19108176 memory=1041000 CPUtime=7.86 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 17654 0 0 0 763 23 0 0 20 0 20 0 166142218 19566772224 260250 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4777044 260250 5920 1 0 1079175 0
[pid=861291/tid=861299] ppid=861286 vsize=19108176 memory=0 CPUtime=5.58 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 7023 0 0 0 551 7 0 0 20 0 20 0 166142219 19566772224 260250 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19108176 memory=7596274402215094376 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 260250 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19108176 memory=5496 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 260250 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19108176 memory=267672 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19566772224 260250 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1041000 KiB

[startup+12.7003 s]
/proc/loadavg: 1.84 1.82 2.36 6/333 861387
/proc/meminfo: memFree=123342828/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19108176 memory=1925784 CPUtime=14.76 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 19380 0 0 0 1437 39 0 0 20 0 20 0 166142218 19566772224 481446 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4777044 481446 5920 1 0 1490689 0
[pid=861291/tid=861299] ppid=861286 vsize=19108176 memory=0 CPUtime=11.4 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 7315 0 0 0 1129 11 0 0 20 0 20 0 166142219 19566772224 481446 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19108176 memory=1751652 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 481446 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19108176 memory=1751652 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 481446 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19566772224 481446 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 14.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1925784 KiB

[startup+25.5003 s]
/proc/loadavg: 2.25 1.91 2.38 5/333 861388
/proc/meminfo: memFree=120577728/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19108176 memory=3532720 CPUtime=28.73 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 23522 0 0 0 2803 70 0 0 20 0 20 0 166142218 19566772224 883180 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4777044 883180 5920 1 0 1804023 0
[pid=861291/tid=861299] ppid=861286 vsize=19108176 memory=-8743009062130918076 CPUtime=22.95 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 8287 0 0 0 2278 17 0 0 20 0 20 0 166142219 19566772224 883180 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19108176 memory=3317 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 883180 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19108176 memory=39896 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 166142222 19566772224 883180 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19566772224 883180 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 28.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3532720 KiB

[startup+51.1103 s]
/proc/loadavg: 2.94 2.11 2.44 6/334 861394
/proc/meminfo: memFree=116447244/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19108176 memory=5925984 CPUtime=56.99 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 46407 0 0 0 5581 118 0 0 20 0 20 0 166142218 19566772224 1481496 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4777044 1481496 5920 1 0 2125821 0
[pid=861291/tid=861299] ppid=861286 vsize=19108176 memory=5919840 CPUtime=46.26 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) S 861286 861291 861235 0 -1 1077936192 11937 0 0 0 4597 29 0 0 20 0 20 0 166142219 19566772224 1481496 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19108176 memory=11560 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19566772224 1481496 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0

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

/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19173712 memory=14490336 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 1013 0 0 0 0 0 0 0 20 0 20 0 166142222 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19173712 memory=14490336 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 3163.41 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14490336 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.23 4.18 6/331 863135
/proc/meminfo: memFree=82650388/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19173712 memory=14490336 CPUtime=3225.87 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 598156 0 0 0 322137 450 0 0 20 0 20 0 166142218 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4793428 3622584 5936 1 0 4104710 0
[pid=861291/tid=861299] ppid=861286 vsize=19173712 memory=14490336 CPUtime=2866.39 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 141724 0 0 0 286532 107 0 0 20 0 20 0 166142219 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19173712 memory=11560 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19173712 memory=12180 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 1014 0 0 0 0 0 0 0 20 0 20 0 166142222 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19173712 memory=14490336 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 3225.87 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14490336 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.23 4.18 5/332 863148
/proc/meminfo: memFree=81853624/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19173712 memory=14490336 CPUtime=3290.14 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 599874 0 0 0 328560 454 0 0 20 0 20 0 166142218 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4793428 3622584 5936 1 0 4104710 0
[pid=861291/tid=861299] ppid=861286 vsize=19173712 memory=14490336 CPUtime=2923.65 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 142348 0 0 0 292258 107 0 0 20 0 20 0 166142219 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19173712 memory=11560 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19173712 memory=14490336 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 1014 0 0 0 0 0 0 0 20 0 20 0 166142222 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19173712 memory=11560 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 3290.14 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14490336 KiB

[startup+3162.3 s]
/proc/loadavg: 4.33 4.26 4.19 5/331 863158
/proc/meminfo: memFree=81852104/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19173712 memory=14490336 CPUtime=3352.4 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 605144 0 0 0 334783 457 0 0 20 0 20 0 166142218 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4793428 3622584 5936 1 0 4104710 0
[pid=861291/tid=861299] ppid=861286 vsize=19173712 memory=14490336 CPUtime=2980.59 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 143556 0 0 0 297951 108 0 0 20 0 20 0 166142219 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19173712 memory=14490336 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19173712 memory=14490336 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 1015 0 0 0 0 0 0 0 20 0 20 0 166142222 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19173712 memory=11560 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 3352.4 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14490336 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.21 4.18 5/331 863169
/proc/meminfo: memFree=81634264/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19173712 memory=14490336 CPUtime=3414.69 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 606726 0 0 0 341010 459 0 0 20 0 20 0 166142218 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4793428 3622584 5936 1 0 4104710 0
[pid=861291/tid=861299] ppid=861286 vsize=19173712 memory=14490336 CPUtime=3037.71 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 144229 0 0 0 303663 108 0 0 20 0 20 0 166142219 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19173712 memory=12180 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19173712 memory=14490336 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 1068 0 0 0 0 0 0 0 20 0 20 0 166142222 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19173712 memory=14490336 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19633881088 3622584 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 3414.69 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14490336 KiB

[startup+3282.3 s]
/proc/loadavg: 4.27 4.23 4.19 5/331 863181
/proc/meminfo: memFree=81633004/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19173712 memory=14490728 CPUtime=3483.26 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 633191 0 0 0 347861 465 0 0 20 0 20 0 166142218 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4793428 3622682 5952 1 0 4104783 0
[pid=861291/tid=861299] ppid=861286 vsize=19173712 memory=14490728 CPUtime=3094.29 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 148687 0 0 0 309320 109 0 0 20 0 20 0 166142219 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19173712 memory=14490728 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19173712 memory=7644828 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 1070 0 0 0 0 0 0 0 20 0 20 0 166142222 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19173712 memory=14490728 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 3483.26 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14490728 KiB

[startup+3342.3 s]
/proc/loadavg: 4.28 4.24 4.19 5/331 863192
/proc/meminfo: memFree=81632284/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19173712 memory=14490728 CPUtime=3545.61 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 635759 0 0 0 354095 466 0 0 20 0 20 0 166142218 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4793428 3622682 5952 1 0 4104783 0
[pid=861291/tid=861299] ppid=861286 vsize=19173712 memory=11560 CPUtime=3151.57 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) R 861286 861291 861235 0 -1 4194368 149071 0 0 0 315048 109 0 0 20 0 20 0 166142219 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 2 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19173712 memory=11560 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19173712 memory=42176 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 1070 0 0 0 0 0 0 0 20 0 20 0 166142222 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19173712 memory=-8743009062130918076 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 3545.61 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14490728 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3394.4 s]
/proc/loadavg: 4.36 4.27 4.20 6/330 863200
/proc/meminfo: memFree=81631560/131524600 swapFree=131071996/131071996
[pid=861291] ppid=861286 vsize=19173712 memory=14490728 CPUtime=3600.05 cores=0,2
/proc/861291/stat : 861291 (java) S 861286 861291 861235 0 -1 1077936128 637586 0 0 0 359536 469 0 0 20 0 20 0 166142218 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
/proc/861291/statm: 4793428 3622682 5952 1 0 4104783 0
[pid=861291/tid=861299] ppid=861286 vsize=19173712 memory=14490728 CPUtime=3200.6 cores=0,2
/proc/861291/task/861299/stat : 861299 (java) S 861286 861291 861235 0 -1 1077936192 149689 0 0 0 319951 109 0 0 20 0 20 0 166142219 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 2 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861340] ppid=861286 vsize=19173712 memory=-8743009062130918076 CPUtime=0 cores=0,2
/proc/861291/task/861340/stat : 861340 (Finalizer) S 861286 861291 861235 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 166142221 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861362] ppid=861286 vsize=19173712 memory=5544 CPUtime=0 cores=0,2
/proc/861291/task/861362/stat : 861362 (Common-Cleaner) S 861286 861291 861235 0 -1 1077936192 1070 0 0 0 0 0 0 0 20 0 20 0 166142222 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
[pid=861291/tid=861378] ppid=861286 vsize=19173712 memory=1844 CPUtime=0 cores=0,2
/proc/861291/task/861378/stat : 861378 (Timer-0) S 861286 861291 861235 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 166142259 19633881088 3622682 134679101440 93835734867968 93835734871664 140731071501600 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 93835734879480 93835734880272 93835745792000 140731071505415 140731071505505 140731071505505 140731071512520 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 19173712 KiB
Current children cumulated memory: 14490728 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.63 s, system=4.73677 s

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

[startup+3394.6 s]*
/proc/loadavg: 4.36 4.27 4.20 5/312 863203
/proc/meminfo: memFree=95761380/131524600 swapFree=131071996/131071996
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 143

Real time (s): 3394.61
CPU time (s): 3600.36
CPU user time (s): 3595.63
CPU system time (s): 4.73677
CPU usage (%): 106.061
Max. virtual memory (cumulated for all children) (KiB): 19373404
Max. memory (cumulated for all children) (KiB): 14491260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.63
system time used= 4.73677
maximum resident set size= 14492284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 638879
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121711
involuntary context switches= 39306


# summary of solver processes directly reported to runsolver:
#   pid: 861291
#   total CPU time (s): 3600.36
#   total CPU user time (s): 3595.63
#   total CPU system time (s): 4.73677

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47024 second user time and 17.8117 second system time

The end