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: 63931 MiB (48638 MiB free)
memory of node 1: 64510 MiB (54850 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4456119-1721718396/watcher-4456119-1721718396 -o /tmp/evaluation-result-4456119-1721718396/solver-4456119-1721718396 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721718396-86514 --watchdog 3760 java -jar sat4j-pb.jar PartialRoundingSatPB24 HOME/instance-4456119-1721718396.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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=86578, runsolver pid=86571
[startup+0.100114 s]*
/proc/loadavg: 1.44 1.92 2.03 2/283 86604
/proc/meminfo: memFree=105858008/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=18175400 memory=39016 CPUtime=0.01 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 4923 0 63 0 0 1 0 0 20 0 7 0 8369927 18611609600 9754 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16784588 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4543850 9754 3679 1 0 544770 0
[pid=86578/tid=86580] ppid=86571 vsize=18175400 memory=4026561586 CPUtime=0.01 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 4365 0 55 0 0 1 0 0 20 0 7 0 8369928 18611609600 9754 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16784588 0 0 0 -1 4 0 0 6 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 18175400 KiB
Current children cumulated memory: 39016 KiB
[startup+0.205971 s]*
/proc/loadavg: 1.44 1.92 2.03 9/328 86649
/proc/meminfo: memFree=105774220/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=18975048 memory=64588 CPUtime=0.13 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 7300 0 91 0 11 2 0 0 20 0 18 0 8369927 19430449152 16147 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4743762 16147 5544 1 0 549317 0
[pid=86578/tid=86580] ppid=86571 vsize=18975048 memory=7885630755128410243 CPUtime=0.09 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 5801 0 74 0 7 2 0 0 20 0 18 0 8369928 19430449152 16147 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=18975048 memory=583 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8369940 19430449152 16147 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=18975048 memory=14411523065906868 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 8369941 19430449152 16147 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64588 KiB
[startup+0.309312 s]*
/proc/loadavg: 1.44 1.92 2.03 14/328 86649
/proc/meminfo: memFree=105737620/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=18975048 memory=75348 CPUtime=0.32 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 7853 0 91 0 30 2 0 0 20 0 18 0 8369927 19430449152 18837 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4743762 18837 5637 1 0 549670 0
[pid=86578/tid=86580] ppid=86571 vsize=18975048 memory=-6000919502737729127 CPUtime=0.18 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 6092 0 74 0 16 2 0 0 20 0 18 0 8369928 19430449152 18837 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=18975048 memory=-4421386500593116511 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 8369940 19430449152 18837 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 18 0 8369941 19430449152 18837 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75348 KiB
[startup+0.70331 s]
/proc/loadavg: 1.44 1.92 2.03 12/332 86653
/proc/meminfo: memFree=105492268/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=175364 CPUtime=1.04 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 14136 0 91 0 100 4 0 0 20 0 20 0 8369927 19566772224 43841 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 43841 5796 1 0 553835 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=34848 CPUtime=0.48 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 6317 0 74 0 45 3 0 0 20 0 20 0 8369928 19566772224 43841 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 43841 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 43841 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=16012 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 43841 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 175364 KiB
[startup+1.50031 s]
/proc/loadavg: 1.44 1.92 2.03 12/336 86657
/proc/meminfo: memFree=105306388/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=184080 CPUtime=2.62 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 18614 0 91 0 257 5 0 0 20 0 20 0 8369927 19566772224 46020 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 46020 5813 1 0 554715 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=0 CPUtime=1.24 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 6981 0 74 0 121 3 0 0 20 0 20 0 8369928 19566772224 46020 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 46020 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=33 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 46020 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 46020 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 184080 KiB
[startup+3.10593 s]
/proc/loadavg: 2.13 2.05 2.07 7/336 86657
/proc/meminfo: memFree=105056032/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=313112 CPUtime=5.68 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 27703 0 91 0 559 9 0 0 20 0 20 0 8369927 19566772224 78278 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 78278 5835 1 0 558039 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=0 CPUtime=2.81 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 7483 0 74 0 276 5 0 0 20 0 20 0 8369928 19566772224 78278 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 78278 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=-6000919502737729127 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 78278 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=33016 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 78278 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 5.68 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 313112 KiB
[startup+6.30028 s]
/proc/loadavg: 2.13 2.05 2.07 6/336 86658
/proc/meminfo: memFree=104533172/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=312212 CPUtime=9.12 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 27892 0 91 0 902 10 0 0 20 0 20 0 8369927 19566772224 78053 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 78053 5835 1 0 558039 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=0 CPUtime=5.93 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 7551 0 74 0 588 5 0 0 20 0 20 0 8369928 19566772224 78053 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 78053 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 78053 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=184144 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 78053 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 9.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 312212 KiB
[startup+12.7003 s]
/proc/loadavg: 2.28 2.08 2.08 6/336 86658
/proc/meminfo: memFree=102864164/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=887860 CPUtime=15.66 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 29948 0 91 0 1545 21 0 0 20 0 20 0 8369927 19566772224 221965 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 221965 5835 1 0 558039 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=184144 CPUtime=12.27 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 8351 0 74 0 1212 15 0 0 20 0 20 0 8369928 19566772224 221965 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 221965 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=887732 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 221965 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 221965 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 15.66 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 887860 KiB
[startup+25.5003 s]
/proc/loadavg: 2.66 2.18 2.11 7/336 86660
/proc/meminfo: memFree=100763700/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=1285516 CPUtime=28.5 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 35702 0 91 0 2820 30 0 0 20 0 20 0 8369927 19566772224 321379 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 321379 5835 1 0 558039 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=0 CPUtime=24.79 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 11021 0 74 0 2458 21 0 0 20 0 20 0 8369928 19566772224 321379 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=1256788 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 321379 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=1256788 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 321379 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=-6000919502737729127 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 321379 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 28.5 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 1285516 KiB
[startup+51.1061 s]
/proc/loadavg: 3.23 2.36 2.18 6/336 86665
/proc/meminfo: memFree=99561240/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=1464000 CPUtime=54.51 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 43592 0 91 0 5416 35 0 0 20 0 20 0 8369927 19566772224 366000 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 366000 5835 1 0 558039 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=-6000919502737729127 CPUtime=50.09 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 13234 0 74 0 4987 22 0 0 20 0 20 0 8369928 19566772224 366000 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=1412764 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 366000 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=1410528 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 27 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 366000 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=-6000919502737729127 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 366000 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 54.51 s
################
# More data... #
################
/proc/meminfo: memFree=96354988/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=2183616 CPUtime=3181.19 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 326242 0 91 0 317928 191 0 0 20 0 20 0 8369927 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 545904 5864 1 0 558658 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=2183616 CPUtime=3128.41 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 121063 0 74 0 312800 41 0 0 20 0 20 0 8369928 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=2183616 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 3524 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=2183616 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 3181.19 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183616 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.26 4.19 6/335 88428
/proc/meminfo: memFree=96354076/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=2183616 CPUtime=3241.79 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 335908 0 91 0 323985 194 0 0 20 0 20 0 8369927 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 545904 5864 1 0 558658 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=2183616 CPUtime=3187.77 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 124673 0 74 0 318736 41 0 0 20 0 20 0 8369928 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=2183616 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=2183616 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 3672 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=2183616 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 545904 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 3241.79 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183616 KiB
[startup+3282.3 s]
/proc/loadavg: 4.29 4.30 4.21 6/333 88451
/proc/meminfo: memFree=96352816/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=2183692 CPUtime=3303.41 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 352204 0 91 0 330143 198 0 0 20 0 20 0 8369927 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 545923 5880 1 0 558658 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=2183616 CPUtime=3247.19 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 128547 0 74 0 324677 42 0 0 20 0 20 0 8369928 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 3822 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 3303.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183692 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.29 4.21 7/333 88462
/proc/meminfo: memFree=96352108/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=2183692 CPUtime=3364.07 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 355811 0 91 0 336205 202 0 0 20 0 20 0 8369927 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 545923 5880 1 0 558658 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=2183616 CPUtime=3306.46 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 130420 0 74 0 330604 42 0 0 20 0 20 0 8369928 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=11576 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=2228 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 3825 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 3364.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183692 KiB
[startup+3402.3 s]
/proc/loadavg: 4.28 4.29 4.21 6/333 88473
/proc/meminfo: memFree=96351724/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=2183692 CPUtime=3424.99 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 366370 0 91 0 342293 206 0 0 20 0 20 0 8369927 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 545923 5880 1 0 558658 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=2183616 CPUtime=3366.04 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 133720 0 74 0 336561 43 0 0 20 0 20 0 8369928 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 3871 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=16012 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 3424.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183692 KiB
[startup+3462.3 s]
/proc/loadavg: 4.21 4.27 4.21 6/332 88483
/proc/meminfo: memFree=96350804/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=2183692 CPUtime=3486.74 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 381723 0 91 0 348464 210 0 0 20 0 20 0 8369927 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 545923 5880 1 0 558658 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=2183616 CPUtime=3425.61 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 136315 0 74 0 342518 43 0 0 20 0 20 0 8369928 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 3929 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 545923 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 3486.74 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183692 KiB
[startup+3522.3 s]
/proc/loadavg: 4.41 4.31 4.22 6/332 88495
/proc/meminfo: memFree=96349972/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=2183704 CPUtime=3547.62 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 385756 0 91 0 354549 213 0 0 20 0 20 0 8369927 19566772224 545926 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 545926 5880 1 0 558660 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=2183616 CPUtime=3485.21 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 138599 0 74 0 348478 43 0 0 20 0 20 0 8369928 19566772224 545926 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 545926 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 3966 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 545926 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=2183692 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 545926 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 3547.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183704 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3573.8 s]
/proc/loadavg: 4.29 4.29 4.22 5/329 88570
/proc/meminfo: memFree=94466368/131524600 swapFree=131071996/131071996
[pid=86578] ppid=86571 vsize=19108176 memory=2183708 CPUtime=3600 cores=4,6
/proc/86578/stat : 86578 (java) S 86571 86578 86503 0 -1 1077936128 394158 0 91 0 359785 215 0 0 20 0 20 0 8369927 19566772224 545927 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 0 0 16800975 0 0 0 17 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
/proc/86578/statm: 4777044 545927 5880 1 0 558660 0
[pid=86578/tid=86580] ppid=86571 vsize=19108176 memory=31196 CPUtime=3536.32 cores=4,6
/proc/86578/task/86580/stat : 86580 (java) R 86571 86578 86503 0 -1 4194368 140542 0 74 0 353588 44 0 0 20 0 20 0 8369928 19566772224 545927 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 16 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86617] ppid=86571 vsize=19108176 memory=12348 CPUtime=0 cores=4,6
/proc/86578/task/86617/stat : 86617 (Finalizer) S 86571 86578 86503 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 8369940 19566772224 545927 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86649] ppid=86571 vsize=19108176 memory=5552 CPUtime=0 cores=4,6
/proc/86578/task/86649/stat : 86649 (Common-Cleaner) S 86571 86578 86503 0 -1 1077936192 4020 0 0 0 0 0 0 0 20 0 20 0 8369941 19566772224 545927 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
[pid=86578/tid=86652] ppid=86571 vsize=19108176 memory=16012 CPUtime=0 cores=4,6
/proc/86578/task/86652/stat : 86652 (Timer-0) S 86571 86578 86503 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 8369967 19566772224 545927 134679101440 93968582737920 93968582741616 140729470343584 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 93968582749432 93968582750224 93968609251328 140729470350319 140729470350432 140729470350432 140729470357448 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2183708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3573.88 s]
# the end of solver process 86578 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.97 s, system=2.17216 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3573.88
CPU time (s): 3600.14
CPU user time (s): 3597.97
CPU system time (s): 2.17216
CPU usage (%): 100.735
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2183708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.97
system time used= 2.17216
maximum resident set size= 2185120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397868
page faults= 91
swaps= 0
block input operations= 16440
block output operations= 3840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 125351
involuntary context switches= 13118
# summary of solver processes directly reported to runsolver:
# pid: 86578
# total CPU time (s): 3600.14
# total CPU user time (s): 3597.97
# total CPU system time (s): 2.17216
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.76651 second user time and 20.3914 second system time
The end