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: 63665 MiB (57821 MiB free)
memory of node 1: 64507 MiB (53445 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489558-1751343276/watcher-4489558-1751343276 -o /tmp/evaluation-result-4489558-1751343276/solver-4489558-1751343276 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1751336994-44737 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4489558-1751343276.opb
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=46416, runsolver pid=46413
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 5.08 5.30 5.11 7/337 46434
/proc/meminfo: memFree=113913464/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=18930384 memory=57704 CPUtime=0.12 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 6568 0 0 0 10 2 0 0 20 0 18 0 50007541 19384713216 14426 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4732596 14426 5334 1 0 547619 0
[pid=46416/tid=46418] ppid=46413 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 5072 0 0 0 6 1 0 0 20 0 18 0 50007543 19384713216 14426 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=18930384 memory=241407623509 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50007545 19384713216 14426 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=18930384 memory=61784027586760 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50007545 19384713216 14426 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57704 KiB
[startup+0.205661 s]*
/proc/loadavg: 5.08 5.30 5.11 7/337 46434
/proc/meminfo: memFree=113905272/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=18930384 memory=68496 CPUtime=0.32 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 7138 0 0 0 29 3 0 0 20 0 18 0 50007541 19384713216 17124 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4732596 17124 5430 1 0 548006 0
[pid=46416/tid=46418] ppid=46413 vsize=18930384 memory=4026663196 CPUtime=0.16 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 5348 0 0 0 15 1 0 0 20 0 18 0 50007543 19384713216 17124 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=18930384 memory=18954 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50007545 19384713216 17124 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=18930384 memory=60684515935208 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50007545 19384713216 17124 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 68496 KiB
[startup+0.305597 s]*
/proc/loadavg: 5.08 5.30 5.11 7/337 46434
/proc/meminfo: memFree=113874584/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=18930384 memory=104084 CPUtime=0.51 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 8891 0 0 0 47 4 0 0 20 0 18 0 50007541 19384713216 26021 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4732596 26021 5430 1 0 549133 0
[pid=46416/tid=46418] ppid=46413 vsize=18930384 memory=-6000919494248523371 CPUtime=0.24 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 5363 0 0 0 22 2 0 0 20 0 18 0 50007543 19384713216 26021 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 50007545 19384713216 26021 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=18930384 memory=0 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 50007545 19384713216 26021 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 104084 KiB
[startup+0.700194 s]
/proc/loadavg: 5.08 5.30 5.11 7/338 46435
/proc/meminfo: memFree=113810144/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=18996948 memory=188028 CPUtime=1.28 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 15511 0 0 0 121 7 0 0 20 0 19 0 50007541 19452874752 47007 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4749237 47007 5462 1 0 553428 0
[pid=46416/tid=46418] ppid=46413 vsize=18996948 memory=17792 CPUtime=0.59 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 5392 0 0 0 56 3 0 0 20 0 19 0 50007543 19452874752 47007 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50007545 19452874752 47007 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=18996948 memory=3328 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50007545 19452874752 47007 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 188028 KiB
[startup+1.50019 s]
/proc/loadavg: 5.08 5.30 5.11 7/338 46435
/proc/meminfo: memFree=113679164/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=18996948 memory=427356 CPUtime=2.43 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 16068 0 0 0 232 11 0 0 20 0 19 0 50007541 19452874752 106839 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4749237 106839 5462 1 0 850042 0
[pid=46416/tid=46418] ppid=46413 vsize=18996948 memory=3328 CPUtime=1.29 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 5482 0 0 0 123 6 0 0 20 0 19 0 50007543 19452874752 106839 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 50007545 19452874752 106839 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=18996948 memory=10880 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 50007545 19452874752 106839 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 2.43 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 427356 KiB
[startup+3.10583 s]
/proc/loadavg: 5.08 5.30 5.11 6/339 46436
/proc/meminfo: memFree=113468648/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=513364 CPUtime=4.92 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 17610 0 0 0 478 14 0 0 20 0 20 0 50007541 19521036288 128341 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 128341 5526 1 0 1498026 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=10880 CPUtime=2.85 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 5643 0 0 0 277 8 0 0 20 0 20 0 50007543 19521036288 128341 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 128341 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=5760 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 128341 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=4252 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 128341 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 513364 KiB
[startup+6.30018 s]
/proc/loadavg: 4.99 5.28 5.11 6/339 46436
/proc/meminfo: memFree=112833508/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=1132532 CPUtime=8.58 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 18133 0 0 0 833 25 0 0 20 0 20 0 50007541 19521036288 283133 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 283133 5526 1 0 1498045 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=0 CPUtime=5.84 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 5961 0 0 0 568 16 0 0 20 0 20 0 50007543 19521036288 283133 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=7245577201579234449 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 283133 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=-6000919494248523371 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 283133 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 283133 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 8.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1132532 KiB
[startup+12.7002 s]
/proc/loadavg: 5.15 5.31 5.12 6/339 46437
/proc/meminfo: memFree=111993096/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=2003252 CPUtime=15.45 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 26601 0 0 0 1501 44 0 0 20 0 20 0 50007541 19521036288 500813 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 500813 5526 1 0 1679853 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=0 CPUtime=11.88 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 8549 0 0 0 1159 29 0 0 20 0 20 0 50007543 19521036288 500813 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=1958088 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 500813 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 500813 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 500813 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 15.45 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2003252 KiB
[startup+25.5003 s]
/proc/loadavg: 5.19 5.31 5.12 7/339 46437
/proc/meminfo: memFree=111337232/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=2669280 CPUtime=28.84 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 31435 0 0 0 2826 58 0 0 20 0 20 0 50007541 19521036288 667320 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 667320 5526 1 0 1679857 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=-6000919494248523371 CPUtime=24.03 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 10040 0 0 0 2370 33 0 0 20 0 20 0 50007543 19521036288 667320 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=3101 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 667320 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=2445708 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 667320 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=2445708 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 667320 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 28.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2669280 KiB
[startup+51.1057 s]
/proc/loadavg: 5.25 5.31 5.13 6/338 46437
/proc/meminfo: memFree=109589580/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=4276168 CPUtime=55.69 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 40549 0 0 0 5479 90 0 0 20 0 20 0 50007541 19521036288 1069042 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 1069042 5558 1 0 1679862 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=4276168 CPUtime=48.42 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 13302 0 0 0 4796 46 0 0 20 0 20 0 50007543 19521036288 1069042 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=-6000919494248523371 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 1069042 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=3540212 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 46 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 1069042 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=2525728 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 1069042 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 55.69 s
################
# More data... #
################
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 329769 0 0 0 283424 285 0 0 20 0 20 0 50007543 19521036288 4017294 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=-6000919494248523371 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4017294 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=16069176 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 2478 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4017294 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=16069176 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 4017294 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 3195.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16069176 KiB
[startup+2982.3 s]
/proc/loadavg: 4.90 4.71 4.66 6/339 46786
/proc/meminfo: memFree=65816136/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=16069176 CPUtime=3261.03 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 543557 0 0 0 325604 499 0 0 20 0 20 0 50007541 19521036288 4017294 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 4017294 5558 1 0 4031902 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=16068408 CPUtime=2895.19 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 337953 0 0 0 289232 287 0 0 20 0 20 0 50007543 19521036288 4017294 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=4908 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4017294 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=16068408 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 2492 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4017294 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 4017294 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 3261.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16069176 KiB
[startup+3042.3 s]
/proc/loadavg: 4.65 4.67 4.65 5/339 46788
/proc/meminfo: memFree=65770740/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=16085564 CPUtime=3330.2 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 556176 0 0 0 332516 504 0 0 20 0 20 0 50007541 19521036288 4021391 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 4021391 5558 1 0 4036079 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=16069176 CPUtime=2953.37 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 347337 0 0 0 295049 288 0 0 20 0 20 0 50007543 19521036288 4021391 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=16069176 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4021391 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=16069176 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 2528 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4021391 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=16069176 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 4021391 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 3330.2 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16085564 KiB
[startup+3102.3 s]
/proc/loadavg: 4.79 4.73 4.67 6/339 46791
/proc/meminfo: memFree=65720976/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=16085948 CPUtime=3402.82 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 568724 0 0 0 339772 510 0 0 20 0 20 0 50007541 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 4021487 5558 1 0 4036116 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=14720 CPUtime=3011.71 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 354621 0 0 0 300880 291 0 0 20 0 20 0 50007543 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=16085948 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 2594 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=16085948 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 3402.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16085948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.84 4.75 4.68 6/339 46793
/proc/meminfo: memFree=65703980/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=16085948 CPUtime=3463.84 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 575663 0 0 0 345872 512 0 0 20 0 20 0 50007541 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 4021487 5558 1 0 4036116 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=14720 CPUtime=3070.33 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 360756 0 0 0 306742 291 0 0 20 0 20 0 50007543 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=16085948 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 2637 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=16085948 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 3463.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16085948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.64 4.72 4.67 5/339 46795
/proc/meminfo: memFree=65694420/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=16085948 CPUtime=3535.97 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 588741 0 0 0 353079 518 0 0 20 0 20 0 50007541 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 4021487 5558 1 0 4036118 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=14720 CPUtime=3128.98 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 370690 0 0 0 312605 293 0 0 20 0 20 0 50007543 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=16085948 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 2693 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=14720 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 4021487 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 3535.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16085948 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3277.11 s]
/proc/loadavg: 4.66 4.71 4.67 6/339 46797
/proc/meminfo: memFree=65644636/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19063512 memory=16094160 CPUtime=3600.19 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 599186 0 0 0 359496 523 0 0 20 0 20 0 50007541 19521036288 4023540 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4765878 4023540 5558 1 0 4038206 0
[pid=46416/tid=46418] ppid=46413 vsize=19063512 memory=14720 CPUtime=3181.88 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 377395 0 0 0 317893 295 0 0 20 0 20 0 50007543 19521036288 4023540 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19063512 memory=16094160 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4023540 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19063512 memory=16094160 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 2784 0 0 0 0 0 0 0 20 0 20 0 50007545 19521036288 4023540 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46436] ppid=46413 vsize=19063512 memory=17792 CPUtime=0 cores=0,2
/proc/46416/task/46436/stat : 46436 (Timer-0) S 46413 46416 44727 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 50007701 19521036288 4023540 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 16094160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3277.32 s]
# the end of solver process 46416 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.28 s, system=5.28267 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3277.2 s]
/proc/loadavg: 4.66 4.71 4.67 6/339 46797
/proc/meminfo: memFree=65644636/131250000 swapFree=33010416/33010684
[pid=46416] ppid=46413 vsize=19263204 memory=16095056 CPUtime=3600.38 cores=0,2
/proc/46416/stat : 46416 (java) S 46413 46416 44727 0 -1 4194304 601033 0 0 0 359515 523 0 0 20 0 21 0 50007541 19725520896 4023764 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
/proc/46416/statm: 4815801 4023764 5590 1 0 4039128 0
[pid=46416/tid=46418] ppid=46413 vsize=19263204 memory=3328 CPUtime=3181.93 cores=0,2
/proc/46416/task/46418/stat : 46418 (java) R 46413 46416 44727 0 -1 4194368 377453 0 0 0 317898 295 0 0 20 0 21 0 50007543 19725520896 4023764 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46427] ppid=46413 vsize=19263204 memory=4760 CPUtime=0 cores=0,2
/proc/46416/task/46427/stat : 46427 (Finalizer) S 46413 46416 44727 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 50007545 19725520896 4023764 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
[pid=46416/tid=46434] ppid=46413 vsize=19263204 memory=14720 CPUtime=0 cores=0,2
/proc/46416/task/46434/stat : 46434 (Common-Cleaner) S 46413 46416 44727 0 -1 4194368 2784 0 0 0 0 0 0 0 20 0 21 0 50007545 19725520896 4023764 18446744073709551615 94570977955840 94570977959536 140721999251392 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94570977967352 94570977968144 94571005526016 140721999255934 140721999256038 140721999256038 140721999261640 0
Current children cumulated CPU time: 3600.38 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 16095056 KiB
[startup+3277.3 s]*
/proc/loadavg: 4.66 4.71 4.67 5/321 46800
/proc/meminfo: memFree=81334200/131250000 swapFree=33010416/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 3277.32
CPU time (s): 3600.56
CPU user time (s): 3595.28
CPU system time (s): 5.28267
CPU usage (%): 109.863
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 16095056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.28
system time used= 5.28267
maximum resident set size= 16095184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 601369
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118391
involuntary context switches= 26103
# summary of solver processes directly reported to runsolver:
# pid: 46416
# total CPU time (s): 3600.56
# total CPU user time (s): 3595.28
# total CPU system time (s): 5.28267
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.93336 second user time and 15.0529 second system time
The end