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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4450564-1721410977/watcher-4450564-1721410977 -o /tmp/evaluation-result-4450564-1721410977/solver-4450564-1721410977 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721410942-1024582 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4450564-1721410977.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
Current StackSize limit: 8192 KiB

solver pid=1025309, runsolver pid=1025306

[startup+0.100154 s]*
/proc/loadavg: 3.33 2.10 2.83 7/332 1025327
/proc/meminfo: memFree=128147036/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=18975048 memory=63584 CPUtime=0.13 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 7225 0 0 0 11 2 0 0 20 0 18 0 193263850 19430449152 15896 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4743762 15896 5734 1 0 549336 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 1077936192 5741 0 0 0 7 1 0 0 20 0 18 0 193263850 19430449152 15896 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193263853 19430449152 15896 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=18975048 memory=13845278874243994 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 193263853 19430449152 15896 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63584 KiB

[startup+0.210245 s]*
/proc/loadavg: 3.33 2.10 2.83 8/332 1025327
/proc/meminfo: memFree=128129188/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=18975048 memory=81248 CPUtime=0.34 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 8233 0 0 0 32 2 0 0 20 0 18 0 193263850 19430449152 20312 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4743762 20312 5868 1 0 550009 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=18975048 memory=6876556183782621315 CPUtime=0.18 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 1077936192 5923 0 0 0 17 1 0 0 20 0 18 0 193263850 19430449152 20312 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=18975048 memory=1676398 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 193263853 19430449152 20312 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 193263853 19430449152 20312 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 81248 KiB

[startup+0.306437 s]*
/proc/loadavg: 3.33 2.10 2.83 7/333 1025328
/proc/meminfo: memFree=128109416/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19041612 memory=100972 CPUtime=0.52 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 9291 0 0 0 49 3 0 0 20 0 19 0 193263850 19498610688 25243 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4760403 25243 5868 1 0 550905 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19041612 memory=-7452434265927543652 CPUtime=0.27 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 5965 0 0 0 25 2 0 0 20 0 19 0 193263850 19498610688 25243 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 25243 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 25243 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193263876 19498610688 25243 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 100972 KiB

[startup+0.700449 s]
/proc/loadavg: 3.33 2.10 2.83 7/333 1025328
/proc/meminfo: memFree=128104512/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19041612 memory=104500 CPUtime=1.28 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 11280 0 0 0 125 3 0 0 20 0 19 0 193263850 19498610688 26125 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4760403 26125 5900 1 0 551798 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19041612 memory=12420 CPUtime=0.65 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 5970 0 0 0 63 2 0 0 20 0 19 0 193263850 19498610688 26125 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 26125 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 26125 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19041612 memory=39476 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193263876 19498610688 26125 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 104500 KiB

[startup+1.50845 s]
/proc/loadavg: 3.33 2.10 2.83 5/333 1025328
/proc/meminfo: memFree=128091956/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19041612 memory=125460 CPUtime=2.63 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 18619 0 0 0 258 5 0 0 20 0 19 0 193263850 19498610688 31365 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4760403 31365 5900 1 0 554254 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19041612 memory=12420 CPUtime=1.44 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 6375 0 0 0 142 2 0 0 20 0 19 0 193263850 19498610688 31365 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 31365 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 31365 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19041612 memory=65 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193263876 19498610688 31365 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 2.63 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 125460 KiB

[startup+3.10644 s]
/proc/loadavg: 3.38 2.13 2.84 5/333 1025329
/proc/meminfo: memFree=128049076/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19041612 memory=147076 CPUtime=4.53 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 21277 0 0 0 447 6 0 0 20 0 19 0 193263850 19498610688 36769 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4760403 36769 5900 1 0 555499 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19041612 memory=0 CPUtime=3.02 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 6677 0 0 0 300 2 0 0 20 0 19 0 193263850 19498610688 36769 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 36769 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19041612 memory=127508 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 36769 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193263876 19498610688 36769 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 4.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 147076 KiB

[startup+6.30043 s]
/proc/loadavg: 3.38 2.13 2.84 5/334 1025330
/proc/meminfo: memFree=127932324/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19041612 memory=164880 CPUtime=7.71 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 23840 0 0 0 765 6 0 0 20 0 19 0 193263850 19498610688 41220 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4760403 41220 5919 1 0 555499 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19041612 memory=12420 CPUtime=6.18 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 7396 0 0 0 616 2 0 0 20 0 19 0 193263850 19498610688 41220 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 41220 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19041612 memory=7594300846757601382 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 193263853 19498610688 41220 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19041612 memory=5468 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 193263876 19498610688 41220 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 7.71 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 164880 KiB

[startup+12.7003 s]
/proc/loadavg: 3.43 2.16 2.84 5/335 1025332
/proc/meminfo: memFree=127835092/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=179880 CPUtime=14.16 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 28066 0 0 0 1408 8 0 0 20 0 20 0 193263850 19566772224 44970 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 44970 5967 1 0 555788 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=0 CPUtime=12.56 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 8125 0 0 0 1253 3 0 0 20 0 20 0 193263850 19566772224 44970 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=179880 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 44970 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 44970 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 44970 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 14.16 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179880 KiB

[startup+25.5003 s]
/proc/loadavg: 3.64 2.27 2.87 5/335 1025334
/proc/meminfo: memFree=127649916/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=186124 CPUtime=26.93 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 30826 0 0 0 2685 8 0 0 20 0 20 0 193263850 19566772224 46531 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 46531 5967 1 0 555788 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=179880 CPUtime=25.29 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 9211 0 0 0 2526 3 0 0 20 0 20 0 193263850 19566772224 46531 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 46531 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=186116 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 46531 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 46531 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 26.93 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 186124 KiB

[startup+51.1058 s]
/proc/loadavg: 3.83 2.42 2.91 5/335 1025338
/proc/meminfo: memFree=127246348/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=254012 CPUtime=52.52 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 34276 0 0 0 5242 10 0 0 20 0 20 0 193263850 19566772224 63503 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 63503 5967 1 0 555788 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=254012 CPUtime=50.72 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 10482 0 0 0 5069 3 0 0 20 0 20 0 193263850 19566772224 63503 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0

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

/proc/meminfo: memFree=116315116/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=2119480 CPUtime=3205.63 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 124507 0 0 0 320394 169 0 0 20 0 20 0 193263850 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 529870 5967 1 0 557758 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=2119480 CPUtime=3198.35 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 58776 0 0 0 319814 21 0 0 20 0 20 0 193263850 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=2119480 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=2119480 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 4122 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=2119480 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 3205.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2119480 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.17 4.11 5/330 1027184
/proc/meminfo: memFree=116217776/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=2119480 CPUtime=3265.45 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 126191 0 0 0 326373 172 0 0 20 0 20 0 193263850 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 529870 5967 1 0 557758 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=2119480 CPUtime=3258.13 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 60154 0 0 0 325792 21 0 0 20 0 20 0 193263850 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 4265 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=2119480 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 529870 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 3265.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2119480 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/330 1027194
/proc/meminfo: memFree=116211192/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=2121536 CPUtime=3325.38 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 128455 0 0 0 332364 174 0 0 20 0 20 0 193263850 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 530384 5967 1 0 557758 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=0 CPUtime=3317.79 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 61138 0 0 0 331758 21 0 0 20 0 20 0 193263850 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=2121536 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=5176 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 4409 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=2121536 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 3325.38 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.47 4.24 4.13 5/331 1027206
/proc/meminfo: memFree=116210376/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=2121536 CPUtime=3385.2 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 129682 0 0 0 338345 175 0 0 20 0 20 0 193263850 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 530384 5967 1 0 557758 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=16156 CPUtime=3377.58 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 61907 0 0 0 337737 21 0 0 20 0 20 0 193263850 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=2804 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=12420 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 4559 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=3905523791650897666 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 3385.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.44 4.27 4.15 5/333 1027220
/proc/meminfo: memFree=116209460/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=2121536 CPUtime=3445.01 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 130948 0 0 0 344324 177 0 0 20 0 20 0 193263850 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 530384 5967 1 0 557758 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=281266536793488 CPUtime=3437.37 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 62907 0 0 0 343716 21 0 0 20 0 20 0 193263850 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=47456 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 4702 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 530384 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 3445.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.26 4.25 4.15 5/333 1027232
/proc/meminfo: memFree=116209000/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=2121540 CPUtime=3504.84 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 133111 0 0 0 350305 179 0 0 20 0 20 0 193263850 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 530385 5967 1 0 557758 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=2121536 CPUtime=3497.15 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 64029 0 0 0 349694 21 0 0 20 0 20 0 193263850 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=2121536 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 4845 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=32192 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 3504.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121540 KiB

[startup+3582.3 s]
/proc/loadavg: 4.20 4.23 4.15 5/333 1027309
/proc/meminfo: memFree=122704916/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=2121540 CPUtime=3564.65 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 134550 0 0 0 356284 181 0 0 20 0 20 0 193263850 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 530385 5967 1 0 557758 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=2121540 CPUtime=3556.94 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 65195 0 0 0 355673 21 0 0 20 0 20 0 193263850 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=47456 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 4974 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=3428 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 3564.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121540 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3617.8 s]
/proc/loadavg: 4.17 4.22 4.14 5/333 1027383
/proc/meminfo: memFree=124529744/131524600 swapFree=131071996/131071996
[pid=1025309] ppid=1025306 vsize=19108176 memory=2121540 CPUtime=3600.04 cores=0,2
/proc/1025309/stat : 1025309 (java) S 1025306 1025309 1024572 0 -1 1077936128 135014 0 0 0 359822 182 0 0 20 0 20 0 193263850 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
/proc/1025309/statm: 4777044 530385 5967 1 0 557758 0
[pid=1025309/tid=1025311] ppid=1025306 vsize=19108176 memory=-7452434265927543652 CPUtime=3592.31 cores=0,2
/proc/1025309/task/1025311/stat : 1025311 (java) R 1025306 1025309 1024572 0 -1 4194368 65562 0 0 0 359210 21 0 0 20 0 20 0 193263850 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025320] ppid=1025306 vsize=19108176 memory=104 CPUtime=0 cores=0,2
/proc/1025309/task/1025320/stat : 1025320 (Finalizer) S 1025306 1025309 1024572 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025327] ppid=1025306 vsize=19108176 memory=31024 CPUtime=0 cores=0,2
/proc/1025309/task/1025327/stat : 1025327 (Common-Cleaner) S 1025306 1025309 1024572 0 -1 1077936192 5063 0 0 0 0 0 0 0 20 0 20 0 193263853 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
[pid=1025309/tid=1025328] ppid=1025306 vsize=19108176 memory=7488 CPUtime=0 cores=0,2
/proc/1025309/task/1025328/stat : 1025328 (Timer-0) S 1025306 1025309 1024572 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 193263876 19566772224 530385 134679101440 94902511251456 94902511255152 140736776558832 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94902511262968 94902511263760 94902537162752 140736776565765 140736776565855 140736776565855 140736776572872 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2121540 KiB

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

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

# cumulated CPU time of all completed processes:  user=3598.35 s, system=1.84203 s

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

Child status: 143

Real time (s): 3617.89
CPU time (s): 3600.19
CPU user time (s): 3598.35
CPU system time (s): 1.84203
CPU usage (%): 99.5107
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2121540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.35
system time used= 1.84203
maximum resident set size= 2123516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138255
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102798
involuntary context switches= 34525


# summary of solver processes directly reported to runsolver:
#   pid: 1025309
#   total CPU time (s): 3600.19
#   total CPU user time (s): 3598.35
#   total CPU system time (s): 1.84203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51959 second user time and 17.0807 second system time

The end