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 (62946 MiB free)
memory of node 1: 64510 MiB (63816 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4424717-1720894413/watcher-4424717-1720894413 -o /tmp/evaluation-result-4424717-1720894413/solver-4424717-1720894413 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1720894426-718138 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4424717-1720894413.wbo
running on 2 cores: 0,2
CPU governors:
performance: 0 2
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
solver pid=718204, runsolver pid=718201
Current StackSize limit: 8192 KiB
[startup+0.101378 s]*
/proc/loadavg: 2.84 3.05 3.07 11/325 718270
/proc/meminfo: memFree=129639412/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=18975048 memory=63596 CPUtime=0.13 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 7261 0 0 0 12 1 0 0 20 0 18 0 141608743 19430449152 15899 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4743762 15899 5727 1 0 549380 0
[pid=718204/tid=718206] ppid=718201 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 5776 0 0 0 8 1 0 0 20 0 18 0 141608744 19430449152 15899 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=18975048 memory=232851243367 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141608746 19430449152 15899 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=18975048 memory=14417020624073884 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141608747 19430449152 15899 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 63596 KiB
[startup+0.205154 s]*
/proc/loadavg: 2.84 3.05 3.07 12/325 718270
/proc/meminfo: memFree=129570328/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=18975048 memory=84856 CPUtime=0.34 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 7836 0 0 0 32 2 0 0 20 0 18 0 141608743 19430449152 21214 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4743762 21214 5845 1 0 549737 0
[pid=718204/tid=718206] ppid=718201 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 6047 0 0 0 17 1 0 0 20 0 18 0 141608744 19430449152 21214 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=18975048 memory=14907 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 141608746 19430449152 21214 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=18975048 memory=14135545647335141 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 141608747 19430449152 21214 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 84856 KiB
[startup+0.304925 s]*
/proc/loadavg: 2.84 3.05 3.07 12/329 718274
/proc/meminfo: memFree=129237744/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19041612 memory=163360 CPUtime=0.52 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 9105 0 0 0 48 4 0 0 20 0 19 0 141608743 19498610688 40840 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4760403 40840 5845 1 0 550701 0
[pid=718204/tid=718206] ppid=718201 vsize=19041612 memory=-9105548802153423548 CPUtime=0.26 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 6082 0 0 0 23 3 0 0 20 0 19 0 141608744 19498610688 40840 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608746 19498610688 40840 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141608747 19498610688 40840 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 163360 KiB
[startup+0.707767 s]
/proc/loadavg: 2.84 3.05 3.07 12/330 718275
/proc/meminfo: memFree=128526972/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19041612 memory=1097784 CPUtime=1.25 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 15143 0 0 0 102 23 0 0 20 0 19 0 141608743 19498610688 274446 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4760403 274446 5845 1 0 1079538 0
[pid=718204/tid=718206] ppid=718201 vsize=19041612 memory=5536 CPUtime=0.61 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 6524 0 0 0 41 20 0 0 20 0 19 0 141608744 19498610688 274446 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19041612 memory=12508 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608746 19498610688 274446 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141608747 19498610688 274446 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1097784 KiB
[startup+1.50078 s]
/proc/loadavg: 3.58 3.20 3.12 11/332 718277
/proc/meminfo: memFree=127089844/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19041612 memory=2800664 CPUtime=2.53 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 23570 0 0 0 196 57 0 0 20 0 19 0 141608743 19498610688 700166 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4760403 700166 5845 1 0 1083699 0
[pid=718204/tid=718206] ppid=718201 vsize=19041612 memory=12508 CPUtime=1.36 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 7341 0 0 0 84 52 0 0 20 0 19 0 141608744 19498610688 700166 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 141608746 19498610688 700166 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19041612 memory=0 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 141608747 19498610688 700166 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 2800664 KiB
[startup+3.11377 s]
/proc/loadavg: 3.58 3.20 3.12 9/333 718278
/proc/meminfo: memFree=125918056/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=2807496 CPUtime=5.09 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 24293 0 0 0 452 57 0 0 20 0 20 0 141608743 19566772224 701874 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 701874 5883 1 0 1084407 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=0 CPUtime=2.87 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 7485 0 0 0 235 52 0 0 20 0 20 0 141608744 19566772224 701874 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 701874 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=2804760 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 701874 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=33 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 701874 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 5.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2807496 KiB
[startup+6.30076 s]
/proc/loadavg: 3.69 3.23 3.13 9/332 718411
/proc/meminfo: memFree=126547504/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=2800408 CPUtime=10.07 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 24662 0 0 0 949 58 0 0 20 0 20 0 141608743 19566772224 700102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 700102 5883 1 0 1084442 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=0 CPUtime=6 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 7501 0 0 0 548 52 0 0 20 0 20 0 141608744 19566772224 700102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 700102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=2808592 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 700102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 700102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 10.07 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2800408 KiB
[startup+12.7008 s]
/proc/loadavg: 3.96 3.29 3.15 5/308 718448
/proc/meminfo: memFree=126554696/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=2800448 CPUtime=16.47 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 24786 0 0 0 1589 58 0 0 20 0 20 0 141608743 19566772224 700112 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 700112 5883 1 0 1084442 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=-9105548802153423548 CPUtime=12.35 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 7574 0 0 0 1183 52 0 0 20 0 20 0 141608744 19566772224 700112 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=2800408 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 700112 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 700112 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=12508 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 700112 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 16.47 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2800448 KiB
[startup+25.5008 s]
/proc/loadavg: 3.81 3.28 3.15 4/308 718450
/proc/meminfo: memFree=126491360/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=2800844 CPUtime=29.78 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 32350 0 0 0 2919 59 0 0 20 0 20 0 141608743 19566772224 700211 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 700211 5883 1 0 1084442 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=0 CPUtime=25.06 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 8678 0 0 0 2453 53 0 0 20 0 20 0 141608744 19566772224 700211 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=-9105548802153423548 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 700211 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 700211 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=0 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 700211 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 29.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2800844 KiB
[startup+51.1053 s]
/proc/loadavg: 3.25 3.21 3.13 2/256 718521
/proc/meminfo: memFree=127032144/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=2801292 CPUtime=55.81 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 45926 0 0 0 5521 60 0 0 20 0 20 0 141608743 19566772224 700323 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 700323 5883 1 0 1084451 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=-9105548802153423548 CPUtime=50.49 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 11270 0 0 0 4996 53 0 0 20 0 20 0 141608744 19566772224 700323 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=2801144 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 700323 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=2801144 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 700323 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=-8598892744562614972 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 700323 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 55.81 s
Current children cumulated vsize: 19108176 KiB
################
# More data... #
################
/proc/meminfo: memFree=126249072/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=3667512 CPUtime=3285.59 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 261170 0 0 0 328402 157 0 0 20 0 20 0 141608743 19566772224 916878 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 916878 5898 1 0 1084841 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=3667512 CPUtime=3272.68 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 90794 0 0 0 327201 67 0 0 20 0 20 0 141608744 19566772224 916878 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=3667512 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 916878 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=3667512 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 6330 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 916878 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 916878 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 3285.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3667512 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.11 1.15 2/253 720311
/proc/meminfo: memFree=126248716/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=3667604 CPUtime=3345.78 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 264454 0 0 0 334419 159 0 0 20 0 20 0 141608743 19566772224 916901 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 916901 5898 1 0 1084857 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=35468 CPUtime=3332.52 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 92790 0 0 0 333185 67 0 0 20 0 20 0 141608744 19566772224 916901 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=1924 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 916901 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=3667604 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 6441 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 916901 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=3667604 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 916901 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 3345.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3667604 KiB
[startup+3402.3 s]
/proc/loadavg: 1.13 1.11 1.15 2/256 720326
/proc/meminfo: memFree=126143420/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=3772392 CPUtime=3405.85 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 267015 0 0 0 340423 162 0 0 20 0 20 0 141608743 19566772224 943098 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 943098 5898 1 0 1084950 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=3667604 CPUtime=3392.25 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 93916 0 0 0 339158 67 0 0 20 0 20 0 141608744 19566772224 943098 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=5536 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 943098 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=5536 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 6550 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 943098 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=-9105548802153423548 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 943098 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 3405.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3772392 KiB
[startup+3462.3 s]
/proc/loadavg: 1.10 1.11 1.14 2/255 720338
/proc/meminfo: memFree=126143148/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=3772408 CPUtime=3465.73 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 268673 0 0 0 346409 164 0 0 20 0 20 0 141608743 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 943102 5898 1 0 1084950 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=3667604 CPUtime=3452.11 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 95194 0 0 0 345144 67 0 0 20 0 20 0 141608744 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=3772392 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=3772408 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 6665 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=3772408 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 3465.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3772408 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.10 1.14 2/255 720348
/proc/meminfo: memFree=126142772/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=3772408 CPUtime=3525.62 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 270506 0 0 0 352397 165 0 0 20 0 20 0 141608743 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 943102 5898 1 0 1084950 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=11580 CPUtime=3511.98 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 96691 0 0 0 351131 67 0 0 20 0 20 0 141608744 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=35468 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=3772408 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 6770 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=3772408 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 3525.62 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3772408 KiB
[startup+3582.3 s]
/proc/loadavg: 1.12 1.11 1.14 2/255 720359
/proc/meminfo: memFree=126142304/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=3772408 CPUtime=3585.49 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 272486 0 0 0 358384 165 0 0 20 0 20 0 141608743 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 943102 5898 1 0 1084950 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=11580 CPUtime=3571.86 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 98380 0 0 0 357118 68 0 0 20 0 20 0 141608744 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=1924 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=3772408 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 6881 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=-7738442717233439869 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 3585.49 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3772408 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3596.9 s]
/proc/loadavg: 1.10 1.11 1.14 2/255 720361
/proc/meminfo: memFree=126142288/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=3772408 CPUtime=3600.06 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 272564 0 0 0 359841 165 0 0 20 0 20 0 141608743 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 943102 5898 1 0 1084950 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=1924 CPUtime=3586.43 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 98456 0 0 0 358575 68 0 0 20 0 20 0 141608744 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=5536 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 6881 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=281228017011648 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3772408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3596.96 s]
# the end of solver process 718204 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.5 s, system=1.67096 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3596.9 s]
/proc/loadavg: 1.10 1.11 1.14 2/255 720361
/proc/meminfo: memFree=126142288/131524600 swapFree=131071996/131071996
[pid=718204] ppid=718201 vsize=19108176 memory=3772408 CPUtime=3600.06 cores=0,2
/proc/718204/stat : 718204 (java) S 718201 718204 715780 0 -1 1077936128 272564 0 0 0 359841 165 0 0 20 0 20 0 141608743 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
/proc/718204/statm: 4777044 943102 5898 1 0 1084950 0
[pid=718204/tid=718206] ppid=718201 vsize=19108176 memory=1924 CPUtime=3586.43 cores=0,2
/proc/718204/task/718206/stat : 718206 (java) R 718201 718204 715780 0 -1 4194368 98456 0 0 0 358575 68 0 0 20 0 20 0 141608744 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718260] ppid=718201 vsize=19108176 memory=11580 CPUtime=0 cores=0,2
/proc/718204/task/718260/stat : 718260 (Finalizer) S 718201 718204 715780 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 141608746 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718270] ppid=718201 vsize=19108176 memory=5536 CPUtime=0 cores=0,2
/proc/718204/task/718270/stat : 718270 (Common-Cleaner) S 718201 718204 715780 0 -1 1077936192 6881 0 0 0 0 0 0 0 20 0 20 0 141608747 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
[pid=718204/tid=718278] ppid=718201 vsize=19108176 memory=281228017011648 CPUtime=0 cores=0,2
/proc/718204/task/718278/stat : 718278 (Timer-0) S 718201 718204 715780 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 141608979 19566772224 943102 134679101440 94561932574720 94561932578416 140728343988160 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94561932586232 94561932587024 94561935642624 140728343991315 140728343991423 140728343991423 140728343998408 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 3772408 KiB
Child status: 143
Real time (s): 3596.96
CPU time (s): 3600.17
CPU user time (s): 3598.5
CPU system time (s): 1.67096
CPU usage (%): 100.089
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 3772408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.5
system time used= 1.67096
maximum resident set size= 3773912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 276190
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 116505
involuntary context switches= 26240
# summary of solver processes directly reported to runsolver:
# pid: 718204
# total CPU time (s): 3600.17
# total CPU user time (s): 3598.5
# total CPU system time (s): 1.67096
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.20969 second user time and 12.9344 second system time
The end