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 (61670 MiB free)
memory of node 1: 64473 MiB (63345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429744-1721071776/watcher-4429744-1721071776 -o /tmp/evaluation-result-4429744-1721071776/solver-4429744-1721071776 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1721071788-816606 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429744-1721071776.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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=816855, runsolver pid=816852
[startup+0.100032 s]*
/proc/loadavg: 1.15 1.12 1.51 14/334 816875
/proc/meminfo: memFree=127946684/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=18975048 memory=64772 CPUtime=0.13 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 7205 0 0 0 11 2 0 0 20 0 18 0 159342617 19430449152 16193 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4743762 16193 5626 1 0 549317 0
[pid=816855/tid=816857] ppid=816852 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 1077936192 5746 0 0 0 6 2 0 0 20 0 18 0 159342617 19430449152 16193 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=18975048 memory=232851243367 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159342619 19430449152 16193 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=18975048 memory=13846374089254215 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159342620 19430449152 16193 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64772 KiB
[startup+0.208029 s]*
/proc/loadavg: 1.15 1.12 1.51 12/334 816875
/proc/meminfo: memFree=127912956/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=18975048 memory=79504 CPUtime=0.32 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 8385 0 0 0 29 3 0 0 20 0 18 0 159342617 19430449152 19876 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4743762 19876 5838 1 0 550021 0
[pid=816855/tid=816857] ppid=816852 vsize=18975048 memory=4782652875487838339 CPUtime=0.17 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 6005 0 0 0 15 2 0 0 20 0 18 0 159342617 19430449152 19876 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=18975048 memory=5714 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159342619 19430449152 19876 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=18975048 memory=15252649461155485 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159342620 19430449152 19876 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 79504 KiB
[startup+0.313027 s]*
/proc/loadavg: 1.15 1.12 1.51 11/334 816875
/proc/meminfo: memFree=127850772/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=18975048 memory=114968 CPUtime=0.53 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 9990 0 0 0 49 4 0 0 20 0 18 0 159342617 19430449152 28742 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4743762 28742 5838 1 0 551187 0
[pid=816855/tid=816857] ppid=816852 vsize=18975048 memory=-9032077244752044732 CPUtime=0.27 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 6021 0 0 0 25 2 0 0 20 0 18 0 159342617 19430449152 28742 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 159342619 19430449152 28742 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=18975048 memory=0 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 159342620 19430449152 28742 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 114968 KiB
[startup+0.70025 s]
/proc/loadavg: 1.15 1.12 1.51 12/336 816877
/proc/meminfo: memFree=127659752/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19041612 memory=197944 CPUtime=1.25 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 10395 0 0 0 119 6 0 0 20 0 19 0 159342617 19498610688 49486 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4760403 49486 5838 1 0 551577 0
[pid=816855/tid=816857] ppid=816852 vsize=19041612 memory=5432 CPUtime=0.6 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 6089 0 0 0 56 4 0 0 20 0 19 0 159342617 19498610688 49486 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19041612 memory=12952 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 159342619 19498610688 49486 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19041612 memory=0 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 159342620 19498610688 49486 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 197944 KiB
[startup+1.50103 s]
/proc/loadavg: 1.15 1.12 1.51 12/336 816877
/proc/meminfo: memFree=127474244/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=430440 CPUtime=2.67 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 11719 0 0 0 255 12 0 0 20 0 20 0 159342617 19566772224 107610 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 107610 5907 1 0 1078391 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=0 CPUtime=1.27 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 6338 0 0 0 119 8 0 0 20 0 20 0 159342617 19566772224 107610 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 107610 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=12952 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 107610 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 430440 KiB
[startup+3.10602 s]
/proc/loadavg: 1.38 1.17 1.52 6/313 816888
/proc/meminfo: memFree=127154016/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=435360 CPUtime=4.41 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 13471 0 0 0 428 13 0 0 20 0 20 0 159342617 19566772224 108840 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 108840 5907 1 0 1079649 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=12952 CPUtime=2.86 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 6338 0 0 0 278 8 0 0 20 0 20 0 159342617 19566772224 108840 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=210752 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 108840 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 108840 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 108840 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 4.41 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 435360 KiB
[startup+6.30102 s]
/proc/loadavg: 1.38 1.17 1.52 6/337 817012
/proc/meminfo: memFree=125954840/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=428024 CPUtime=7.58 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 14143 0 0 0 745 13 0 0 20 0 20 0 159342617 19566772224 107006 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 107006 5907 1 0 1079649 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=0 CPUtime=6.02 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 6399 0 0 0 594 8 0 0 20 0 20 0 159342617 19566772224 107006 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 107006 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 107006 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=3472328296227733899 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 107006 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 7.58 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 428024 KiB
[startup+12.701 s]
/proc/loadavg: 1.75 1.25 1.55 6/337 817014
/proc/meminfo: memFree=124810588/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=431144 CPUtime=14.27 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 21415 0 0 0 1413 14 0 0 20 0 20 0 159342617 19566772224 107786 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 107786 5907 1 0 1080564 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=431056 CPUtime=12.36 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 6939 0 0 0 1228 8 0 0 20 0 20 0 159342617 19566772224 107786 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=431056 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 107786 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 107786 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=904868 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 107786 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 14.27 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 431144 KiB
[startup+25.5003 s]
/proc/loadavg: 2.32 1.40 1.59 5/333 817015
/proc/meminfo: memFree=123695804/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=435812 CPUtime=27.37 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 27588 0 0 0 2722 15 0 0 20 0 20 0 159342617 19566772224 108953 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 108953 5907 1 0 1080764 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=-9032077244752044732 CPUtime=25.11 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 7558 0 0 0 2503 8 0 0 20 0 20 0 159342617 19566772224 108953 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=0 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 108953 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=439448 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 108953 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=15996 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 108953 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 27.37 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 435812 KiB
[startup+51.1056 s]
/proc/loadavg: 2.97 1.63 1.66 5/335 817078
/proc/meminfo: memFree=122608424/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=462756 CPUtime=53.27 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 37532 0 0 0 5309 18 0 0 20 0 20 0 159342617 19566772224 115689 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 115689 5907 1 0 1080937 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=462756 CPUtime=50.57 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 8739 0 0 0 5049 8 0 0 20 0 20 0 159342617 19566772224 115689 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=436168 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 115689 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 64 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 115689 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=435360 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 115689 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
################
# More data... #
################
/proc/meminfo: memFree=116692016/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=2616564 CPUtime=3219.87 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 131011 0 0 0 321798 189 0 0 20 0 20 0 159342617 19566772224 654141 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 654141 5922 1 0 1082392 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=2458824 CPUtime=3211.62 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 24894 0 0 0 321111 51 0 0 20 0 20 0 159342617 19566772224 654141 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=2602228 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 654141 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=2610420 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 2909 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 654141 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=2606324 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 654141 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 3219.87 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2616564 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.19 4.10 5/332 818295
/proc/meminfo: memFree=116621816/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=2686196 CPUtime=3279.8 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 131880 0 0 0 327787 193 0 0 20 0 20 0 159342617 19566772224 671549 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 671549 5922 1 0 1082392 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=11648 CPUtime=3271.48 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 25229 0 0 0 327096 52 0 0 20 0 20 0 159342617 19566772224 671549 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=15996 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 671549 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 2909 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 671549 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 671549 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 3279.8 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2686196 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.18 4.10 5/332 818689
/proc/meminfo: memFree=116583740/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=2723096 CPUtime=3339.7 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 133526 0 0 0 333774 196 0 0 20 0 20 0 159342617 19566772224 680774 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 680774 5922 1 0 1082403 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=11648 CPUtime=3331.28 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 25276 0 0 0 333076 52 0 0 20 0 20 0 159342617 19566772224 680774 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=2649332 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 680774 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=2723096 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 3019 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 680774 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 680774 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 3339.7 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2723096 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.18 4.10 6/332 818700
/proc/meminfo: memFree=116583372/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=2723100 CPUtime=3399.59 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 134003 0 0 0 339761 198 0 0 20 0 20 0 159342617 19566772224 680775 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 680775 5922 1 0 1082403 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=2723100 CPUtime=3391.13 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 25570 0 0 0 339061 52 0 0 20 0 20 0 159342617 19566772224 680775 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=2723096 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 680775 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=2618612 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 3102 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 680775 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=2632 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 680775 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 3399.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2723100 KiB
[startup+3462.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/332 818711
/proc/meminfo: memFree=116582832/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=2723104 CPUtime=3459.47 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 134590 0 0 0 345748 199 0 0 20 0 20 0 159342617 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 680776 5922 1 0 1082403 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=2723096 CPUtime=3450.99 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 25932 0 0 0 345047 52 0 0 20 0 20 0 159342617 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=2723104 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=2723104 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 3221 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=12952 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 3459.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2723104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.17 4.10 6/334 818891
/proc/meminfo: memFree=116582056/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=2723104 CPUtime=3519.35 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 135141 0 0 0 351734 201 0 0 20 0 20 0 159342617 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 680776 5922 1 0 1082403 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=40940 CPUtime=3510.84 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 26256 0 0 0 351032 52 0 0 20 0 20 0 159342617 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=2723104 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=2723104 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 3257 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 3519.35 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2723104 KiB
[startup+3582.3 s]
/proc/loadavg: 4.25 4.19 4.11 6/334 818969
/proc/meminfo: memFree=119457844/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=2723104 CPUtime=3579.24 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 135506 0 0 0 357721 203 0 0 20 0 20 0 159342617 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 680776 5922 1 0 1082403 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=2723104 CPUtime=3570.69 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 26391 0 0 0 357017 52 0 0 20 0 20 0 159342617 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 3368 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=2723104 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 3579.24 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2723104 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3603.2 s]
/proc/loadavg: 4.18 4.17 4.10 6/334 819040
/proc/meminfo: memFree=120495560/131524600 swapFree=131071996/131071996
[pid=816855] ppid=816852 vsize=19108176 memory=2723104 CPUtime=3600.09 cores=4,6
/proc/816855/stat : 816855 (java) S 816852 816855 816595 0 -1 1077936128 135845 0 0 0 359806 203 0 0 20 0 20 0 159342617 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
/proc/816855/statm: 4777044 680776 5922 1 0 1082403 0
[pid=816855/tid=816857] ppid=816852 vsize=19108176 memory=2723104 CPUtime=3591.54 cores=4,6
/proc/816855/task/816857/stat : 816857 (java) R 816852 816855 816595 0 -1 4194368 26578 0 0 0 359102 52 0 0 20 0 20 0 159342617 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816866] ppid=816852 vsize=19108176 memory=19856 CPUtime=0 cores=4,6
/proc/816855/task/816866/stat : 816866 (Finalizer) S 816852 816855 816595 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 159342619 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816873] ppid=816852 vsize=19108176 memory=2723104 CPUtime=0 cores=4,6
/proc/816855/task/816873/stat : 816873 (Common-Cleaner) S 816852 816855 816595 0 -1 1077936192 3511 0 0 0 0 0 0 0 20 0 20 0 159342620 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
[pid=816855/tid=816878] ppid=816852 vsize=19108176 memory=11648 CPUtime=0 cores=4,6
/proc/816855/task/816878/stat : 816878 (Timer-0) S 816852 816855 816595 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 159342745 19566772224 680776 134679101440 94347406069760 94347406073456 140725221434992 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94347406081272 94347406082064 94347418669056 140725221442549 140725221442657 140725221442657 140725221449672 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2723104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3603.26 s]
# the end of solver process 816855 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.15 s, system=2.04616 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3603.26
CPU time (s): 3600.19
CPU user time (s): 3598.15
CPU system time (s): 2.04616
CPU usage (%): 99.915
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 2723104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.15
system time used= 2.04616
maximum resident set size= 2724540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139283
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118198
involuntary context switches= 5591
# summary of solver processes directly reported to runsolver:
# pid: 816855
# total CPU time (s): 3600.19
# total CPU user time (s): 3598.15
# total CPU system time (s): 2.04616
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41887 second user time and 17.7076 second system time
The end