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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (57728 MiB free)
  memory of node 1: 64510 MiB (58984 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429893-1721057661/watcher-4429893-1721057661 -o /tmp/evaluation-result-4429893-1721057661/solver-4429893-1721057661 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721050507-805438 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429893-1721057661.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=809794, runsolver pid=809791

[startup+0.100658 s]*
/proc/loadavg: 4.25 4.17 4.18 5/318 809812
/proc/meminfo: memFree=119479416/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=18975048 memory=55392 CPUtime=0.11 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 6481 0 0 0 8 3 0 0 20 0 18 0 157924119 19430449152 13848 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4743762 13848 5536 1 0 550830 0
[pid=809794/tid=809796] ppid=809791 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 5415 0 0 0 6 2 0 0 20 0 18 0 157924120 19430449152 13848 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=18975048 memory=228556276070 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157924125 19430449152 13848 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=18975048 memory=3978424728183636000 CPUtime=0 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157924127 19430449152 13848 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 55392 KiB

[startup+0.221642 s]*
/proc/loadavg: 4.25 4.17 4.18 7/318 809812
/proc/meminfo: memFree=119468988/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=18975048 memory=66668 CPUtime=0.33 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 7541 0 0 0 29 4 0 0 20 0 18 0 157924119 19430449152 16667 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4743762 16667 5731 1 0 551704 0
[pid=809794/tid=809796] ppid=809791 vsize=18975048 memory=4782652875487838339 CPUtime=0.2 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 6061 0 0 0 17 3 0 0 20 0 18 0 157924120 19430449152 16667 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=18975048 memory=694 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 157924125 19430449152 16667 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=18975048 memory=14135562894328173 CPUtime=0 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 157924127 19430449152 16667 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 66668 KiB

[startup+0.321637 s]*
/proc/loadavg: 4.25 4.17 4.18 10/318 809812
/proc/meminfo: memFree=119455832/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19041612 memory=79580 CPUtime=0.51 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 7717 0 0 0 47 4 0 0 20 0 19 0 157924119 19498610688 19895 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4760403 19895 5769 1 0 552084 0
[pid=809794/tid=809796] ppid=809791 vsize=19041612 memory=-9103010025526633148 CPUtime=0.29 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 6177 0 0 0 26 3 0 0 20 0 19 0 157924120 19498610688 19895 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157924125 19498610688 19895 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 157924127 19498610688 19895 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (java) R 809791 809794 805427 0 -1 1077936192 1 0 0 0 0 0 0 0 20 0 19 0 157924153 19498610688 19895 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 79580 KiB

[startup+0.706635 s]
/proc/loadavg: 4.25 4.17 4.18 6/319 809813
/proc/meminfo: memFree=119447624/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19041612 memory=101832 CPUtime=1.23 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 14645 0 0 0 117 6 0 0 20 0 19 0 157924119 19498610688 25458 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4760403 25458 5885 1 0 555946 0
[pid=809794/tid=809796] ppid=809791 vsize=19041612 memory=12676 CPUtime=0.62 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 6229 0 0 0 59 3 0 0 20 0 19 0 157924120 19498610688 25458 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19041612 memory=12676 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157924125 19498610688 25458 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19041612 memory=117636 CPUtime=0 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 157924127 19498610688 25458 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19041612 memory=5608 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157924153 19498610688 25458 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 101832 KiB

[startup+1.50064 s]
/proc/loadavg: 4.25 4.17 4.18 7/319 809813
/proc/meminfo: memFree=119421616/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19041612 memory=149380 CPUtime=2.69 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 17995 0 0 0 262 7 0 0 20 0 19 0 157924119 19498610688 37345 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4760403 37345 5885 1 0 556251 0
[pid=809794/tid=809796] ppid=809791 vsize=19041612 memory=12676 CPUtime=1.38 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 6523 0 0 0 134 4 0 0 20 0 19 0 157924120 19498610688 37345 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 157924125 19498610688 37345 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 157924127 19498610688 37345 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19041612 memory=65 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 157924153 19498610688 37345 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 149380 KiB

[startup+3.10563 s]
/proc/loadavg: 4.25 4.17 4.18 7/320 809816
/proc/meminfo: memFree=119354484/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=180816 CPUtime=4.84 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 20290 0 0 0 475 9 0 0 20 0 20 0 157924119 19566772224 45204 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 45204 5917 1 0 556544 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=0 CPUtime=2.92 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 6845 0 0 0 288 4 0 0 20 0 20 0 157924120 19566772224 45204 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 45204 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=157572 CPUtime=0 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 157924127 19566772224 45204 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=12676 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 45204 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180816 KiB

[startup+6.30064 s]
/proc/loadavg: 4.23 4.16 4.18 5/320 809816
/proc/meminfo: memFree=119360064/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=179384 CPUtime=8.46 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 22258 0 0 0 836 10 0 0 20 0 20 0 157924119 19566772224 44846 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 44846 5917 1 0 556545 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=12676 CPUtime=6.05 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 7046 0 0 0 601 4 0 0 20 0 20 0 157924120 19566772224 44846 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 44846 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=6084479015151229009 CPUtime=0 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 157924127 19566772224 44846 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=5576 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 44846 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 8.46 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 179384 KiB

[startup+12.7005 s]
/proc/loadavg: 4.29 4.18 4.18 6/320 809817
/proc/meminfo: memFree=119304308/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=230716 CPUtime=15.2 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 25913 0 0 0 1509 11 0 0 20 0 20 0 157924119 19566772224 57679 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 57679 5917 1 0 556545 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=0 CPUtime=12.38 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 8071 0 0 0 1233 5 0 0 20 0 20 0 157924120 19566772224 57679 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=230716 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 57679 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 157924127 19566772224 57679 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=16328 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 57679 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 15.2 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 230716 KiB

[startup+25.5005 s]
/proc/loadavg: 4.31 4.18 4.18 5/320 809887
/proc/meminfo: memFree=121482388/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=437480 CPUtime=29.1 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 38986 0 0 0 2892 18 0 0 20 0 20 0 157924119 19566772224 109370 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 109370 5917 1 0 558015 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=230716 CPUtime=25.12 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 10439 0 0 0 2503 9 0 0 20 0 20 0 157924120 19566772224 109370 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=16328 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 109370 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=281944 CPUtime=0 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 43 0 0 0 0 0 0 0 20 0 20 0 157924127 19566772224 109370 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=179384 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 109370 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 29.1 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 437480 KiB

[startup+51.1134 s]
/proc/loadavg: 4.59 4.27 4.21 7/320 809959
/proc/meminfo: memFree=125840580/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=649064 CPUtime=56.95 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 56185 0 0 0 5668 27 0 0 20 0 20 0 157924119 19566772224 162266 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 162266 5917 1 0 558653 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=648368 CPUtime=50.61 cores=4,6

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

[startup+3282.3 s]
/proc/loadavg: 4.36 4.31 4.23 5/321 811681
/proc/meminfo: memFree=116509112/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=2924780 CPUtime=3292.55 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 267152 0 0 0 328974 281 0 0 20 0 20 0 157924119 19566772224 731195 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 731195 5932 1 0 798496 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=12440 CPUtime=3266 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 78956 0 0 0 326537 63 0 0 20 0 20 0 157924120 19566772224 731195 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=2348220 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 731195 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=3618359624644246 CPUtime=0.01 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 3890 0 0 0 0 1 0 0 20 0 20 0 157924127 19566772224 731195 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=2924780 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 731195 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 3292.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2924780 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.32 4.23 5/321 811692
/proc/meminfo: memFree=116465368/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=2965920 CPUtime=3352.59 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 270214 0 0 0 334971 288 0 0 20 0 20 0 157924119 19566772224 741480 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 741480 5932 1 0 798496 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=2965920 CPUtime=3325.51 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 80491 0 0 0 332487 64 0 0 20 0 20 0 157924120 19566772224 741480 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=42368 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 741480 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=12440 CPUtime=0.01 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 3890 0 0 0 0 1 0 0 20 0 20 0 157924127 19566772224 741480 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=2728 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 741480 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 3352.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2965920 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.27 4.22 5/320 811759
/proc/meminfo: memFree=116392720/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=2994604 CPUtime=3412.55 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 273675 0 0 0 340962 293 0 0 20 0 20 0 157924119 19566772224 748651 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 748651 5932 1 0 798496 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=2994604 CPUtime=3385.12 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 82623 0 0 0 338448 64 0 0 20 0 20 0 157924120 19566772224 748651 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 748651 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=1796 CPUtime=0.01 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 3973 0 0 0 0 1 0 0 20 0 20 0 157924127 19566772224 748651 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=2978220 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 748651 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 3412.55 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2994604 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.26 4.22 5/320 811769
/proc/meminfo: memFree=116373792/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=3010992 CPUtime=3472.52 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 277241 0 0 0 346955 297 0 0 20 0 20 0 157924119 19566772224 752748 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 752748 5932 1 0 798496 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=12440 CPUtime=3444.79 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 84495 0 0 0 344414 65 0 0 20 0 20 0 157924120 19566772224 752748 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=3002800 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 752748 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=3010992 CPUtime=0.01 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 4057 0 0 0 0 1 0 0 20 0 20 0 157924127 19566772224 752748 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=12440 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 752748 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 3472.52 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3010992 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.23 4.21 5/320 811780
/proc/meminfo: memFree=116352608/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=3031484 CPUtime=3532.51 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 280739 0 0 0 352949 302 0 0 20 0 20 0 157924119 19566772224 757871 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 757871 5932 1 0 798496 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=2976172 CPUtime=3504.45 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 87209 0 0 0 350380 65 0 0 20 0 20 0 157924120 19566772224 757871 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=3031484 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 757871 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=31900 CPUtime=0.01 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 4129 0 0 0 0 1 0 0 20 0 20 0 157924127 19566772224 757871 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=42368 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 757871 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 3532.51 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3031484 KiB

[startup+3582.3 s]
/proc/loadavg: 4.30 4.25 4.22 6/319 811790
/proc/meminfo: memFree=116312908/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=3068356 CPUtime=3592.49 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 284430 0 0 0 358943 306 0 0 20 0 20 0 157924119 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 767089 5932 1 0 798496 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=5576 CPUtime=3564.02 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 89231 0 0 0 356336 66 0 0 20 0 20 0 157924120 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=3058112 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=3068356 CPUtime=0.01 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 4212 0 0 0 0 1 0 0 20 0 20 0 157924127 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=27220 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 3592.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3068356 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3589.8 s]
/proc/loadavg: 4.28 4.25 4.22 4/293 811824
/proc/meminfo: memFree=119385812/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19108176 memory=3068356 CPUtime=3600 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 284630 0 0 0 359693 307 0 0 20 0 20 0 157924119 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4777044 767089 5932 1 0 798496 0
[pid=809794/tid=809796] ppid=809791 vsize=19108176 memory=-9103010025526633148 CPUtime=3571.47 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 89428 0 0 0 357081 66 0 0 20 0 20 0 157924120 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19108176 memory=19312 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 157924125 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19108176 memory=26356 CPUtime=0.01 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 4212 0 0 0 0 1 0 0 20 0 20 0 157924127 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809813] ppid=809791 vsize=19108176 memory=104 CPUtime=0 cores=4,6
/proc/809794/task/809813/stat : 809813 (Timer-0) S 809791 809794 805427 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 157924153 19566772224 767089 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3068356 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.26 s, system=3.09862 s

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

[startup+3589.91 s]
/proc/loadavg: 4.28 4.25 4.22 4/293 811824
/proc/meminfo: memFree=119385812/131655788 swapFree=131071996/131071996
[pid=809794] ppid=809791 vsize=19307868 memory=3069136 CPUtime=3600.19 cores=4,6
/proc/809794/stat : 809794 (java) S 809791 809794 805427 0 -1 1077936128 287407 0 0 0 359712 307 0 0 20 0 21 0 157924119 19771256832 767284 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
/proc/809794/statm: 4826967 767284 5931 1 0 799415 0
[pid=809794/tid=809796] ppid=809791 vsize=19307868 memory=3058112 CPUtime=3571.57 cores=4,6
/proc/809794/task/809796/stat : 809796 (java) R 809791 809794 805427 0 -1 4194368 89431 0 0 0 357091 66 0 0 20 0 21 0 157924120 19771256832 767284 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 6 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809805] ppid=809791 vsize=19307868 memory=3058112 CPUtime=0 cores=4,6
/proc/809794/task/809805/stat : 809805 (Finalizer) S 809791 809794 805427 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 157924125 19771256832 767284 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
[pid=809794/tid=809812] ppid=809791 vsize=19307868 memory=2216 CPUtime=0.01 cores=4,6
/proc/809794/task/809812/stat : 809812 (Common-Cleaner) S 809791 809794 805427 0 -1 1077936192 4212 0 0 0 0 1 0 0 20 0 21 0 157924127 19771256832 767284 134679101440 93976346210304 93976346214000 140733616681712 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93976346221816 93976346222608 93976362409984 140733616690165 140733616690273 140733616690273 140733616697288 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 3069136 KiB

Child status: 143

Real time (s): 3589.99
CPU time (s): 3600.35
CPU user time (s): 3597.26
CPU system time (s): 3.09862
CPU usage (%): 100.289
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 3069136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.26
system time used= 3.09862
maximum resident set size= 3070092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 287956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123569
involuntary context switches= 4322


# summary of solver processes directly reported to runsolver:
#   pid: 809794
#   total CPU time (s): 3600.35
#   total CPU user time (s): 3597.26
#   total CPU system time (s): 3.09862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.8688 second user time and 36.9956 second system time

The end