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 (59964 MiB free)
memory of node 1: 64473 MiB (59002 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429811-1721088664/watcher-4429811-1721088664 -o /tmp/evaluation-result-4429811-1721088664/solver-4429811-1721088664 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721085159-829948 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429811-1721088664.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=832048, runsolver pid=832045
[startup+0.100262 s]*
/proc/loadavg: 4.27 4.28 4.32 6/332 832066
/proc/meminfo: memFree=121778180/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=18975048 memory=64948 CPUtime=0.14 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 7626 0 0 0 12 2 0 0 20 0 18 0 161032558 19430449152 16237 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4743762 16237 5699 1 0 549358 0
[pid=832048/tid=832050] ppid=832045 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 1078198336 6204 0 0 0 7 1 0 0 20 0 18 0 161032558 19430449152 16237 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=18975048 memory=228556276070 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161032561 19430449152 16237 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=18975048 memory=13845278872568824 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 161032561 19430449152 16237 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64948 KiB
[startup+0.206195 s]*
/proc/loadavg: 4.27 4.28 4.32 8/332 832066
/proc/meminfo: memFree=121769580/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=18975048 memory=73460 CPUtime=0.33 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 8154 0 0 0 31 2 0 0 20 0 18 0 161032558 19430449152 18365 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4743762 18365 5814 1 0 549701 0
[pid=832048/tid=832050] ppid=832045 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) S 832045 832048 829938 0 -1 1077936192 6465 0 0 0 17 1 0 0 20 0 18 0 161032558 19430449152 18365 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=18975048 memory=16952 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 161032561 19430449152 18365 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=18975048 memory=15544020042516215 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 161032561 19430449152 18365 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 73460 KiB
[startup+0.315902 s]*
/proc/loadavg: 4.27 4.28 4.32 7/333 832068
/proc/meminfo: memFree=121758876/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19041612 memory=81844 CPUtime=0.54 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 8885 0 0 0 52 2 0 0 20 0 19 0 161032558 19498610688 20461 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4760403 20461 5868 1 0 550320 0
[pid=832048/tid=832050] ppid=832045 vsize=19041612 memory=-8816194750854308540 CPUtime=0.28 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 6598 0 0 0 27 1 0 0 20 0 19 0 161032558 19498610688 20461 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161032561 19498610688 20461 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 161032561 19498610688 20461 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161032581 19498610688 20461 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 81844 KiB
[startup+0.700238 s]
/proc/loadavg: 4.27 4.28 4.32 6/333 832068
/proc/meminfo: memFree=121725032/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19041612 memory=158688 CPUtime=1.29 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 13497 0 0 0 124 5 0 0 20 0 19 0 161032558 19498610688 39672 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4760403 39672 5868 1 0 553547 0
[pid=832048/tid=832050] ppid=832045 vsize=19041612 memory=12420 CPUtime=0.62 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 6636 0 0 0 59 3 0 0 20 0 19 0 161032558 19498610688 39672 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19041612 memory=12420 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 161032561 19498610688 39672 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19041612 memory=117636 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 19 0 161032561 19498610688 39672 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19041612 memory=39476 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 19 0 161032581 19498610688 39672 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 158688 KiB
[startup+1.50057 s]
/proc/loadavg: 4.27 4.28 4.32 5/312 832086
/proc/meminfo: memFree=124645976/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=190616 CPUtime=2.87 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 24863 0 0 0 280 7 0 0 20 0 20 0 161032558 19566772224 47654 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 47654 5884 1 0 556634 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=12420 CPUtime=1.38 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) S 832045 832048 829938 0 -1 1077936192 7190 0 0 0 134 4 0 0 20 0 20 0 161032558 19566772224 47654 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 47654 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 47654 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=65 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 47654 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 2.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 190616 KiB
[startup+3.10588 s]
/proc/loadavg: 4.49 4.33 4.33 7/334 832137
/proc/meminfo: memFree=124252340/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=358144 CPUtime=5.83 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 28852 0 0 0 571 12 0 0 20 0 20 0 161032558 19566772224 89536 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 89536 5884 1 0 557650 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=0 CPUtime=2.92 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 7807 0 0 0 284 8 0 0 20 0 20 0 161032558 19566772224 89536 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 89536 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=196312 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 89536 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=12420 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 89536 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 5.83 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 358144 KiB
[startup+6.30026 s]
/proc/loadavg: 4.49 4.33 4.33 5/334 832137
/proc/meminfo: memFree=123658012/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=573268 CPUtime=9.35 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 29231 0 0 0 918 17 0 0 20 0 20 0 161032558 19566772224 143317 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 143317 5884 1 0 557652 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=12420 CPUtime=6.04 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 8024 0 0 0 593 11 0 0 20 0 20 0 161032558 19566772224 143317 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 143317 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=8514726395715219830 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 143317 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 143317 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 9.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 573268 KiB
[startup+12.7003 s]
/proc/loadavg: 4.50 4.33 4.33 5/334 832139
/proc/meminfo: memFree=122613008/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=1272704 CPUtime=15.85 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 30315 0 0 0 1554 31 0 0 20 0 20 0 161032558 19566772224 318176 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 318176 5884 1 0 689241 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=0 CPUtime=12.26 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 8697 0 0 0 1202 24 0 0 20 0 20 0 161032558 19566772224 318176 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=1272704 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 318176 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=579412 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 46 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 318176 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=-8816194750854308540 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 318176 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 15.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1272704 KiB
[startup+25.5003 s]
/proc/loadavg: 4.50 4.34 4.33 5/334 832140
/proc/meminfo: memFree=120867828/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=1718068 CPUtime=29.54 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 43727 0 0 0 2914 40 0 0 20 0 20 0 161032558 19566772224 429517 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 429517 5884 1 0 689294 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=1272704 CPUtime=24.94 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 12386 0 0 0 2464 30 0 0 20 0 20 0 161032558 19566772224 429517 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=1724936 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 429517 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=573268 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 67 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 429517 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 429517 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 29.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1718068 KiB
[startup+51.1057 s]
/proc/loadavg: 4.40 4.33 4.33 6/334 832145
/proc/meminfo: memFree=120385876/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=1872604 CPUtime=56 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 57971 0 0 0 5554 46 0 0 20 0 20 0 161032558 19566772224 468151 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 468151 5884 1 0 689295 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=1868472 CPUtime=50.06 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 16324 0 0 0 4975 31 0 0 20 0 20 0 161032558 19566772224 468151 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
################
# More data... #
################
/proc/meminfo: memFree=116282108/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=2488212 CPUtime=3256.34 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 410696 0 0 0 325389 245 0 0 20 0 20 0 161032558 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 622053 5933 1 0 635094 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=2488196 CPUtime=3159.46 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 104290 0 0 0 315886 60 0 0 20 0 20 0 161032558 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=2488196 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=2488212 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 1980 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=2488212 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 3256.34 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2488212 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.18 4.19 5/331 833986
/proc/meminfo: memFree=116281508/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=2488212 CPUtime=3316.65 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 411108 0 0 0 331418 247 0 0 20 0 20 0 161032558 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 622053 5933 1 0 635094 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=2488212 CPUtime=3218.67 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 104556 0 0 0 321807 60 0 0 20 0 20 0 161032558 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=2488212 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 1980 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=2488212 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 3316.65 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2488212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.23 4.20 5/331 833996
/proc/meminfo: memFree=116280848/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=2488212 CPUtime=3376.66 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 412133 0 0 0 337417 249 0 0 20 0 20 0 161032558 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 622053 5933 1 0 635094 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=2488212 CPUtime=3277.6 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 105455 0 0 0 327700 60 0 0 20 0 20 0 161032558 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=2488212 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=-8816194750854308540 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 1980 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=2488212 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 622053 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 3376.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2488212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.36 4.26 4.21 5/331 834008
/proc/meminfo: memFree=115852144/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=2488360 CPUtime=3437.45 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 415986 0 0 0 343492 253 0 0 20 0 20 0 161032558 19566772224 622090 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 622090 5933 1 0 635157 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=2488352 CPUtime=3336.81 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 105980 0 0 0 333621 60 0 0 20 0 20 0 161032558 19566772224 622090 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=2488212 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622090 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=2488212 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 2061 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622090 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=41216 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 622090 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 3437.45 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2488360 KiB
[startup+3462.3 s]
/proc/loadavg: 4.31 4.26 4.21 5/331 834018
/proc/meminfo: memFree=115935704/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=2488376 CPUtime=3498.14 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 416429 0 0 0 349557 257 0 0 20 0 20 0 161032558 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 622094 5933 1 0 635157 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=2488212 CPUtime=3395.65 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 106244 0 0 0 339504 61 0 0 20 0 20 0 161032558 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=2488212 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=11664 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 2061 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=2488376 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 3498.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2488376 KiB
[startup+3522.3 s]
/proc/loadavg: 4.33 4.27 4.22 5/330 834096
/proc/meminfo: memFree=117332208/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=2488376 CPUtime=3558.12 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 416823 0 0 0 355552 260 0 0 20 0 20 0 161032558 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 622094 5933 1 0 635157 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=2488376 CPUtime=3454.5 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 106617 0 0 0 345389 61 0 0 20 0 20 0 161032558 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 17 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=2488376 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=2488376 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 2061 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=5468 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 3558.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2488376 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3564.11 s]
/proc/loadavg: 4.37 4.28 4.22 5/334 834176
/proc/meminfo: memFree=115516988/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=2488376 CPUtime=3600 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 416957 0 0 0 359739 261 0 0 20 0 20 0 161032558 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 622094 5933 1 0 635157 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=11664 CPUtime=3495.51 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 106727 0 0 0 349490 61 0 0 20 0 20 0 161032558 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=5468 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 2061 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=2488376 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2488376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3564.18 s]
# the end of solver process 832048 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.53 s, system=2.62636 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3564.11 s]
/proc/loadavg: 4.37 4.28 4.22 5/334 834176
/proc/meminfo: memFree=115516988/131524600 swapFree=131071996/131071996
[pid=832048] ppid=832045 vsize=19108176 memory=2488376 CPUtime=3600 cores=0,2
/proc/832048/stat : 832048 (java) S 832045 832048 829938 0 -1 1077936128 416957 0 0 0 359739 261 0 0 20 0 20 0 161032558 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
/proc/832048/statm: 4777044 622094 5933 1 0 635157 0
[pid=832048/tid=832050] ppid=832045 vsize=19108176 memory=11664 CPUtime=3495.51 cores=0,2
/proc/832048/task/832050/stat : 832050 (java) R 832045 832048 829938 0 -1 4194368 106727 0 0 0 349490 61 0 0 20 0 20 0 161032558 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 17 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832059] ppid=832045 vsize=19108176 memory=5468 CPUtime=0 cores=0,2
/proc/832048/task/832059/stat : 832059 (Finalizer) S 832045 832048 829938 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832066] ppid=832045 vsize=19108176 memory=16156 CPUtime=0 cores=0,2
/proc/832048/task/832066/stat : 832066 (Common-Cleaner) S 832045 832048 829938 0 -1 1077936192 2061 0 0 0 0 0 0 0 20 0 20 0 161032561 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
[pid=832048/tid=832067] ppid=832045 vsize=19108176 memory=2488376 CPUtime=0 cores=0,2
/proc/832048/task/832067/stat : 832067 (Timer-0) S 832045 832048 829938 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 161032581 19566772224 622094 134679101440 94819059044352 94819059048048 140732823787808 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94819059055864 94819059056656 94819069087744 140732823794677 140732823794785 140732823794785 140732823801800 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2488376 KiB
Child status: 143
Real time (s): 3564.18
CPU time (s): 3600.16
CPU user time (s): 3597.53
CPU system time (s): 2.62636
CPU usage (%): 101.009
Max. virtual memory (cumulated for all children) (KiB): 19113708
Max. memory (cumulated for all children) (KiB): 2720644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.53
system time used= 2.62636
maximum resident set size= 2723284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 139632
involuntary context switches= 35825
# summary of solver processes directly reported to runsolver:
# pid: 832048
# total CPU time (s): 3600.16
# total CPU user time (s): 3597.53
# total CPU system time (s): 2.62636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28974 second user time and 17.7066 second system time
The end