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 (53601 MiB free)
memory of node 1: 64473 MiB (57387 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4446281-1721333721/watcher-4446281-1721333721 -o /tmp/evaluation-result-4446281-1721333721/solver-4446281-1721333721 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721329969-971068 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4446281-1721333721.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
solver pid=973522, runsolver pid=973519
Current StackSize limit: 8192 KiB
[startup+0.100223 s]*
/proc/loadavg: 4.31 4.26 4.20 5/331 973540
/proc/meminfo: memFree=113608280/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=18975048 memory=65300 CPUtime=0.14 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 7216 0 0 0 11 3 0 0 20 0 18 0 185538925 19430449152 16325 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4743762 16325 5699 1 0 549356 0
[pid=973522/tid=973524] ppid=973519 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 5766 0 0 0 7 2 0 0 20 0 18 0 185538926 19430449152 16325 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=18975048 memory=237146210664 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 185538928 19430449152 16325 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=18975048 memory=14408228826018639 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 185538929 19430449152 16325 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 65300 KiB
[startup+0.20596 s]*
/proc/loadavg: 4.31 4.26 4.20 5/332 973541
/proc/meminfo: memFree=113478476/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=194548 CPUtime=0.31 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 7785 0 0 0 25 6 0 0 20 0 19 0 185538925 19498610688 48637 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 48637 5780 1 0 549918 0
[pid=973522/tid=973524] ppid=973519 vsize=19041612 memory=4782652875487838339 CPUtime=0.18 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 6067 0 0 0 14 4 0 0 20 0 19 0 185538926 19498610688 48637 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19041612 memory=2643 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185538928 19498610688 48637 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19041612 memory=14126753849280249 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185538929 19498610688 48637 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 194548 KiB
[startup+0.306893 s]*
/proc/loadavg: 4.31 4.26 4.20 5/332 973541
/proc/meminfo: memFree=113391760/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=280996 CPUtime=0.44 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 7951 0 0 0 37 7 0 0 20 0 19 0 185538925 19498610688 70249 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 70249 5780 1 0 549983 0
[pid=973522/tid=973524] ppid=973519 vsize=19041612 memory=-8528803297712448188 CPUtime=0.26 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 1077936192 6145 0 0 0 21 5 0 0 20 0 19 0 185538926 19498610688 70249 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185538928 19498610688 70249 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185538929 19498610688 70249 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 280996 KiB
[startup+0.700332 s]
/proc/loadavg: 4.31 4.26 4.20 5/332 973541
/proc/meminfo: memFree=112687452/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=1684900 CPUtime=0.88 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 9414 0 0 0 53 35 0 0 20 0 19 0 185538925 19498610688 421225 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 421225 5780 1 0 1076390 0
[pid=973522/tid=973524] ppid=973519 vsize=19041612 memory=5544 CPUtime=0.64 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 6827 0 0 0 31 33 0 0 20 0 19 0 185538926 19498610688 421225 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19041612 memory=12504 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185538928 19498610688 421225 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185538929 19498610688 421225 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 0.88 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 1684900 KiB
[startup+1.50033 s]
/proc/loadavg: 4.31 4.26 4.20 6/332 973541
/proc/meminfo: memFree=110818548/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=3397676 CPUtime=1.9 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 12394 0 0 0 121 69 0 0 20 0 19 0 185538925 19498610688 849419 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 849419 5866 1 0 1077946 0
[pid=973522/tid=973524] ppid=973519 vsize=19041612 memory=12504 CPUtime=1.42 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 7666 0 0 0 77 65 0 0 20 0 19 0 185538926 19498610688 849419 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185538928 19498610688 849419 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185538929 19498610688 849419 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 1.9 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3397676 KiB
[startup+3.10631 s]
/proc/loadavg: 4.28 4.26 4.20 5/332 973541
/proc/meminfo: memFree=110244192/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=3418028 CPUtime=4.13 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 23107 0 0 0 343 70 0 0 20 0 19 0 185538925 19498610688 854507 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 854507 5866 1 0 1083235 0
[pid=973522/tid=973524] ppid=973519 vsize=19041612 memory=0 CPUtime=2.99 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 7670 0 0 0 234 65 0 0 20 0 19 0 185538926 19498610688 854507 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19041612 memory=12504 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185538928 19498610688 854507 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19041612 memory=3397676 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185538929 19498610688 854507 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 4.13 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3418028 KiB
[startup+6.30882 s]
/proc/loadavg: 4.28 4.26 4.20 5/330 973541
/proc/meminfo: memFree=110250116/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=3403728 CPUtime=7.4 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 23232 0 0 0 669 71 0 0 20 0 19 0 185538925 19498610688 850932 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 850932 5866 1 0 1083237 0
[pid=973522/tid=973524] ppid=973519 vsize=19041612 memory=0 CPUtime=6.16 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 7768 0 0 0 550 66 0 0 20 0 19 0 185538926 19498610688 850932 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19041612 memory=3397676 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185538928 19498610688 850932 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19041612 memory=228489167166 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185538929 19498610688 850932 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3403728 KiB
[startup+12.7003 s]
/proc/loadavg: 4.31 4.26 4.21 5/330 973543
/proc/meminfo: memFree=110237716/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=3406028 CPUtime=13.8 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 24153 0 0 0 1309 71 0 0 20 0 19 0 185538925 19498610688 851507 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 851507 5866 1 0 1083237 0
[pid=973522/tid=973524] ppid=973519 vsize=19041612 memory=3405776 CPUtime=12.47 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 8659 0 0 0 1181 66 0 0 20 0 19 0 185538926 19498610688 851507 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19041612 memory=3405776 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185538928 19498610688 851507 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19041612 memory=14418115840706192 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185538929 19498610688 851507 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 13.8 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3406028 KiB
[startup+25.5003 s]
/proc/loadavg: 4.26 4.26 4.20 5/330 973544
/proc/meminfo: memFree=110194356/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=3412880 CPUtime=26.7 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 30785 0 0 0 2597 73 0 0 20 0 19 0 185538925 19498610688 853220 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 853220 5866 1 0 1083237 0
[pid=973522/tid=973524] ppid=973519 vsize=19041612 memory=3410812 CPUtime=25.08 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 10416 0 0 0 2441 67 0 0 20 0 19 0 185538926 19498610688 853220 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185538928 19498610688 853220 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19041612 memory=0 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185538929 19498610688 853220 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 26.7 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3412880 KiB
[startup+51.1059 s]
/proc/loadavg: 4.32 4.27 4.21 5/330 973549
/proc/meminfo: memFree=110047928/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=3425472 CPUtime=52.36 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 38037 0 0 0 5160 76 0 0 20 0 19 0 185538925 19498610688 856368 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 856368 5866 1 0 1083237 0
[pid=973522/tid=973524] ppid=973519 vsize=19041612 memory=0 CPUtime=50.33 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 13728 0 0 0 4966 67 0 0 20 0 19 0 185538926 19498610688 856368 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19041612 memory=3406028 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 19 0 185538928 19498610688 856368 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19041612 memory=3418028 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 19 0 185538929 19498610688 856368 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 52.36 s
Current children cumulated vsize: 19041612 KiB
Current children cumulated memory: 3425472 KiB
[startup+102.3 s]
/proc/loadavg: 4.22 4.25 4.20 5/330 973558
/proc/meminfo: memFree=109839860/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19041612 memory=3448220 CPUtime=103.42 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 43849 0 0 0 10261 81 0 0 20 0 19 0 185538925 19498610688 862055 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4760403 862055 5866 1 0 1083237 0
################
# More data... #
################
/proc/meminfo: memFree=107270676/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19108176 memory=4279740 CPUtime=3175.71 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 277099 0 0 0 317162 409 0 0 20 0 20 0 185538925 19566772224 1069935 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4777044 1069935 5888 1 0 1084570 0
[pid=973522/tid=973524] ppid=973519 vsize=19108176 memory=4206780 CPUtime=3110.83 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 125890 0 0 0 310964 119 0 0 20 0 20 0 185538926 19566772224 1069935 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 95 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19108176 memory=4206780 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185538928 19566772224 1069935 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19108176 memory=104 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 4487 0 0 0 0 0 0 0 20 0 20 0 185538929 19566772224 1069935 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=975228] ppid=973519 vsize=19108176 memory=4279740 CPUtime=0 cores=5,7
/proc/973522/task/975228/stat : 975228 (Timer-0) S 973519 973522 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185823704 19566772224 1069935 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 3175.71 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4279740 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.17 4.18 5/330 975294
/proc/meminfo: memFree=107270236/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19108176 memory=4279748 CPUtime=3236.21 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 281030 0 0 0 323210 411 0 0 20 0 20 0 185538925 19566772224 1069937 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4777044 1069937 5888 1 0 1084570 0
[pid=973522/tid=973524] ppid=973519 vsize=19108176 memory=4206780 CPUtime=3169.28 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 127963 0 0 0 316809 119 0 0 20 0 20 0 185538926 19566772224 1069937 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 95 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19108176 memory=4206780 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185538928 19566772224 1069937 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19108176 memory=4279740 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 4568 0 0 0 0 0 0 0 20 0 20 0 185538929 19566772224 1069937 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=975228] ppid=973519 vsize=19108176 memory=4279748 CPUtime=0 cores=5,7
/proc/973522/task/975228/stat : 975228 (Timer-0) S 973519 973522 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185823704 19566772224 1069937 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 3236.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4279748 KiB
[startup+3282.3 s]
/proc/loadavg: 4.26 4.18 4.18 5/331 975305
/proc/meminfo: memFree=107268968/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19108176 memory=4280740 CPUtime=3299.21 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 302861 0 0 0 329503 418 0 0 20 0 20 0 185538925 19566772224 1070185 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4777044 1070185 5888 1 0 1084863 0
[pid=973522/tid=973524] ppid=973519 vsize=19108176 memory=11476 CPUtime=3227.88 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 132698 0 0 0 322668 120 0 0 20 0 20 0 185538926 19566772224 1070185 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 95 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19108176 memory=281062392253728 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185538928 19566772224 1070185 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19108176 memory=43800 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 4614 0 0 0 0 0 0 0 20 0 20 0 185538929 19566772224 1070185 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=975228] ppid=973519 vsize=19108176 memory=4280740 CPUtime=0 cores=5,7
/proc/973522/task/975228/stat : 975228 (Timer-0) S 973519 973522 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185823704 19566772224 1070185 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 3299.21 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4280740 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.18 5/333 975320
/proc/meminfo: memFree=107268456/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19108176 memory=4280800 CPUtime=3360 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 312394 0 0 0 335578 422 0 0 20 0 20 0 185538925 19566772224 1070200 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4777044 1070200 5903 1 0 1084863 0
[pid=973522/tid=973524] ppid=973519 vsize=19108176 memory=43800 CPUtime=3286.31 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 134811 0 0 0 328511 120 0 0 20 0 20 0 185538926 19566772224 1070200 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 95 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19108176 memory=4280800 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185538928 19566772224 1070200 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19108176 memory=4280800 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 4695 0 0 0 0 0 0 0 20 0 20 0 185538929 19566772224 1070200 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=975228] ppid=973519 vsize=19108176 memory=4280800 CPUtime=0 cores=5,7
/proc/973522/task/975228/stat : 975228 (Timer-0) S 973519 973522 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185823704 19566772224 1070200 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 3360 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4280800 KiB
[startup+3402.3 s]
/proc/loadavg: 4.48 4.27 4.21 5/333 975465
/proc/meminfo: memFree=112014884/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19108176 memory=4280860 CPUtime=3427.54 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 333862 0 0 0 342321 433 0 0 20 0 20 0 185538925 19566772224 1070215 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4777044 1070215 5903 1 0 1084870 0
[pid=973522/tid=973524] ppid=973519 vsize=19108176 memory=43800 CPUtime=3344.83 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 141027 0 0 0 334363 120 0 0 20 0 20 0 185538926 19566772224 1070215 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 95 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19108176 memory=4280800 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185538928 19566772224 1070215 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19108176 memory=4280800 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 4741 0 0 0 0 0 0 0 20 0 20 0 185538929 19566772224 1070215 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=975228] ppid=973519 vsize=19108176 memory=4280860 CPUtime=0 cores=5,7
/proc/973522/task/975228/stat : 975228 (Timer-0) S 973519 973522 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185823704 19566772224 1070215 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 3427.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4280860 KiB
[startup+3462.3 s]
/proc/loadavg: 4.62 4.34 4.24 5/333 975543
/proc/meminfo: memFree=113878372/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19108176 memory=4280868 CPUtime=3506.63 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 351106 0 0 0 350208 455 0 0 20 0 20 0 185538925 19566772224 1070217 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4777044 1070217 5903 1 0 1084870 0
[pid=973522/tid=973524] ppid=973519 vsize=19108176 memory=43800 CPUtime=3403.02 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 145307 0 0 0 340181 121 0 0 20 0 20 0 185538926 19566772224 1070217 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 95 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19108176 memory=4280800 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185538928 19566772224 1070217 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19108176 memory=4280864 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 4758 0 0 0 0 0 0 0 20 0 20 0 185538929 19566772224 1070217 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=975228] ppid=973519 vsize=19108176 memory=4280868 CPUtime=0 cores=5,7
/proc/973522/task/975228/stat : 975228 (Timer-0) S 973519 973522 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185823704 19566772224 1070217 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 3506.63 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4280868 KiB
[startup+3522.3 s]
/proc/loadavg: 4.51 4.36 4.25 6/333 975554
/proc/meminfo: memFree=113620496/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19108176 memory=4280940 CPUtime=3583.85 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 365309 0 0 0 357910 475 0 0 20 0 20 0 185538925 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4777044 1070235 5918 1 0 1084870 0
[pid=973522/tid=973524] ppid=973519 vsize=19108176 memory=4280868 CPUtime=3461.36 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 147955 0 0 0 346015 121 0 0 20 0 20 0 185538926 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 100 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19108176 memory=4280868 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185538928 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19108176 memory=4280868 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 4780 0 0 0 0 0 0 0 20 0 20 0 185538929 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=975228] ppid=973519 vsize=19108176 memory=4280940 CPUtime=0 cores=5,7
/proc/973522/task/975228/stat : 975228 (Timer-0) S 973519 973522 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185823704 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 3583.85 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4280940 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3534.2 s]
/proc/loadavg: 4.54 4.37 4.26 5/333 975556
/proc/meminfo: memFree=113590924/131524600 swapFree=131071996/131071996
[pid=973522] ppid=973519 vsize=19108176 memory=4280940 CPUtime=3600.01 cores=5,7
/proc/973522/stat : 973522 (java) S 973519 973522 971055 0 -1 1077936128 365627 0 0 0 359523 478 0 0 20 0 20 0 185538925 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
/proc/973522/statm: 4777044 1070235 5918 1 0 1084870 0
[pid=973522/tid=973524] ppid=973519 vsize=19108176 memory=6936 CPUtime=3473.01 cores=5,7
/proc/973522/task/973524/stat : 973524 (java) R 973519 973522 971055 0 -1 4194368 148169 0 0 0 347180 121 0 0 20 0 20 0 185538926 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 101 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973533] ppid=973519 vsize=19108176 memory=7160 CPUtime=0 cores=5,7
/proc/973522/task/973533/stat : 973533 (Finalizer) S 973519 973522 971055 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 185538928 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=973540] ppid=973519 vsize=19108176 memory=-8528803297712448188 CPUtime=0 cores=5,7
/proc/973522/task/973540/stat : 973540 (Common-Cleaner) S 973519 973522 971055 0 -1 1077936192 4780 0 0 0 0 0 0 0 20 0 20 0 185538929 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
[pid=973522/tid=975228] ppid=973519 vsize=19108176 memory=2640 CPUtime=0 cores=5,7
/proc/973522/task/975228/stat : 975228 (Timer-0) S 973519 973522 971055 0 -1 1077936192 26 0 0 0 0 0 0 0 20 0 20 0 185823704 19566772224 1070235 134679101440 94445086068736 94445086072432 140723438537184 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94445086080248 94445086081040 94445088264192 140723438543860 140723438543968 140723438543968 140723438550984 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 4280940 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3534.28 s]
# the end of solver process 973522 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.32 s, system=4.80732 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3534.28
CPU time (s): 3600.13
CPU user time (s): 3595.32
CPU system time (s): 4.80732
CPU usage (%): 101.863
Max. virtual memory (cumulated for all children) (KiB): 19108176
Max. memory (cumulated for all children) (KiB): 4291096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.32
system time used= 4.80732
maximum resident set size= 4291096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 367788
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 367928
involuntary context switches= 13073
# summary of solver processes directly reported to runsolver:
# pid: 973522
# total CPU time (s): 3600.13
# total CPU user time (s): 3595.32
# total CPU system time (s): 4.80732
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36676 second user time and 19.2842 second system time
The end