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 (63077 MiB free)
memory of node 1: 64507 MiB (63737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507127-1751185168/watcher-4507127-1751185168 -o /tmp/evaluation-result-4507127-1751185168/solver-4507127-1751185168 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751181466-25471 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4507127-1751185168 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4507127-1751185168.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 FSIZE limit: 102400000 KiB
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
Current StackSize limit: 8192 KiB
solver pid=25977, runsolver pid=25972
[startup+0.100059 s]*
/proc/loadavg: 4.13 4.12 4.09 4/277 26016
/proc/meminfo: memFree=129803304/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=18930384 memory=55360 CPUtime=0.12 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 6525 0 0 0 10 2 0 0 20 0 18 0 34194468 19384713216 13840 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4732596 13840 5318 1 0 547604 0
[pid=25977/tid=25982] ppid=25972 vsize=18930384 memory=4026532124 CPUtime=0.07 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 5043 0 0 0 6 1 0 0 20 0 18 0 34194470 19384713216 13840 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=18930384 memory=15140 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34194473 19384713216 13840 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 34194473 19384713216 13840 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55360 KiB
[startup+0.205806 s]*
/proc/loadavg: 4.13 4.12 4.09 10/334 26080
/proc/meminfo: memFree=129713112/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=18930384 memory=66292 CPUtime=0.31 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 7093 0 0 0 28 3 0 0 20 0 18 0 34194468 19384713216 16573 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4732596 16573 5414 1 0 547957 0
[pid=25977/tid=25982] ppid=25972 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 5372 0 0 0 14 2 0 0 20 0 18 0 34194470 19384713216 16573 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=18930384 memory=15140 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 34194473 19384713216 16573 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 34194473 19384713216 16573 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 66292 KiB
[startup+0.305699 s]*
/proc/loadavg: 4.13 4.12 4.09 12/335 26081
/proc/meminfo: memFree=129585044/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=18996948 memory=161484 CPUtime=0.49 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 8771 0 0 0 45 4 0 0 20 0 19 0 34194468 19452874752 40371 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4749237 40371 5478 1 0 549313 0
[pid=25977/tid=25982] ppid=25972 vsize=18996948 memory=-6000919507083355757 CPUtime=0.23 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) S 25972 25977 25461 0 -1 4194368 5417 0 0 0 20 3 0 0 20 0 19 0 34194470 19452874752 40371 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34194473 19452874752 40371 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 34194473 19452874752 40371 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 161484 KiB
[startup+0.700231 s]
/proc/loadavg: 4.13 4.12 4.09 9/337 26083
/proc/meminfo: memFree=129124720/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=18996948 memory=1015952 CPUtime=1.24 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 15235 0 0 0 102 22 0 0 20 0 19 0 34194468 19452874752 253988 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4749237 253988 5478 1 0 1078601 0
[pid=25977/tid=25982] ppid=25972 vsize=18996948 memory=17536 CPUtime=0.57 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 5831 0 0 0 37 20 0 0 20 0 19 0 34194470 19452874752 253988 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34194473 19452874752 253988 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=18996948 memory=5632 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 34194473 19452874752 253988 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1015952 KiB
[startup+1.50025 s]
/proc/loadavg: 4.13 4.12 4.09 9/338 26084
/proc/meminfo: memFree=123377804/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=18996948 memory=2569068 CPUtime=2.8 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 23751 0 0 0 227 53 0 0 20 0 19 0 34194468 19452874752 642267 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4749237 642267 5478 1 0 1081867 0
[pid=25977/tid=25982] ppid=25972 vsize=18996948 memory=5632 CPUtime=1.34 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 6621 0 0 0 85 49 0 0 20 0 19 0 34194470 19452874752 642267 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 34194473 19452874752 642267 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=18996948 memory=10752 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 34194473 19452874752 642267 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 2569068 KiB
[startup+3.10566 s]
/proc/loadavg: 4.13 4.12 4.09 9/342 26088
/proc/meminfo: memFree=119631460/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=2572268 CPUtime=5.97 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 24607 0 0 0 543 54 0 0 20 0 20 0 34194468 19521036288 643067 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 643067 5478 1 0 1082358 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=10752 CPUtime=2.81 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 6726 0 0 0 231 50 0 0 20 0 20 0 34194470 19521036288 643067 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=2570476 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 643067 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=-6000919498442499949 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 643067 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=1792 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 643067 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 5.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2572268 KiB
[startup+6.30023 s]
/proc/loadavg: 4.44 4.18 4.11 8/342 26088
/proc/meminfo: memFree=119628680/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=2571156 CPUtime=11.43 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 26379 0 0 0 1088 55 0 0 20 0 20 0 34194468 19521036288 642789 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 642789 5510 1 0 1082823 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=10752 CPUtime=5.97 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 7239 0 0 0 547 50 0 0 20 0 20 0 34194470 19521036288 642789 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 642789 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=6944656425122700657 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 642789 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=2569836 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 642789 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 11.43 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2571156 KiB
[startup+12.7002 s]
/proc/loadavg: 4.40 4.18 4.11 5/342 26088
/proc/meminfo: memFree=119585208/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=2580584 CPUtime=18.57 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 34539 0 0 0 1800 57 0 0 20 0 20 0 34194468 19521036288 645146 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 645146 5510 1 0 1084076 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=2569836 CPUtime=12.31 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 8662 0 0 0 1180 51 0 0 20 0 20 0 34194470 19521036288 645146 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=2590872 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 645146 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 645146 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 645146 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 18.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2580584 KiB
[startup+25.5002 s]
/proc/loadavg: 4.38 4.19 4.11 5/342 26088
/proc/meminfo: memFree=119540724/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=2580840 CPUtime=31.85 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 39366 0 0 0 3126 59 0 0 20 0 20 0 34194468 19521036288 645210 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 645210 5510 1 0 1084157 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=-6000919498442499949 CPUtime=25.08 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 10669 0 0 0 2456 52 0 0 20 0 20 0 34194470 19521036288 645210 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 645210 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 645210 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=140216253865270 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 645210 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 31.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2580840 KiB
[startup+51.1057 s]
/proc/loadavg: 4.32 4.19 4.12 5/342 26088
/proc/meminfo: memFree=119255288/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=2658944 CPUtime=57.66 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 51608 0 0 0 5702 64 0 0 20 0 20 0 34194468 19521036288 664736 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 664736 5510 1 0 1084221 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=2658944 CPUtime=50.5 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 13631 0 0 0 4997 53 0 0 20 0 20 0 34194470 19521036288 664736 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=2658816 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 664736 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=2658816 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 664736 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=2658816 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 664736 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
################
# More data... #
################
/proc/meminfo: memFree=111291256/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3225.31 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 247132 0 0 0 322285 246 0 0 20 0 20 0 34194468 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 1073759 5542 1 0 1087912 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3189.13 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 88188 0 0 0 318789 124 0 0 20 0 20 0 34194470 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 2198 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 3225.31 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4295036 KiB
[startup+3282.3 s]
/proc/loadavg: 4.35 4.20 4.16 5/341 26276
/proc/meminfo: memFree=110744596/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3285.22 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 248783 0 0 0 328273 249 0 0 20 0 20 0 34194468 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 1073759 5542 1 0 1087912 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3248.88 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 89682 0 0 0 324763 125 0 0 20 0 20 0 34194470 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 2198 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 3285.22 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4295036 KiB
[startup+3342.3 s]
/proc/loadavg: 4.72 4.34 4.20 5/340 26278
/proc/meminfo: memFree=111723940/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3345.05 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 251605 0 0 0 334254 251 0 0 20 0 20 0 34194468 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 1073759 5542 1 0 1087929 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=17536 CPUtime=3308.54 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 92030 0 0 0 330728 126 0 0 20 0 20 0 34194470 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=4529 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 2241 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 3345.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4295036 KiB
[startup+3402.3 s]
/proc/loadavg: 4.63 4.38 4.23 5/341 26281
/proc/meminfo: memFree=111756008/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3404.41 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 252545 0 0 0 340187 254 0 0 20 0 20 0 34194468 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 1073759 5542 1 0 1087929 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3367.55 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 92439 0 0 0 336628 127 0 0 20 0 20 0 34194470 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 2283 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 3404.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4295036 KiB
[startup+3462.3 s]
/proc/loadavg: 4.47 4.39 4.24 5/341 26283
/proc/meminfo: memFree=109772452/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3464.54 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 254026 0 0 0 346196 258 0 0 20 0 20 0 34194468 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 1073759 5542 1 0 1087929 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3427.08 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 93465 0 0 0 342579 129 0 0 20 0 20 0 34194470 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 2283 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 3464.54 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4295036 KiB
[startup+3522.3 s]
/proc/loadavg: 4.30 4.36 4.24 4/319 26299
/proc/meminfo: memFree=115476444/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3524.62 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 256488 0 0 0 352200 262 0 0 20 0 20 0 34194468 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 1073759 5542 1 0 1087929 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3486.67 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 95088 0 0 0 348536 131 0 0 20 0 20 0 34194470 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=4888 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 2382 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 3524.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4295036 KiB
[startup+3582.3 s]
/proc/loadavg: 4.22 4.33 4.24 5/341 26354
/proc/meminfo: memFree=113748836/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3584.7 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 257834 0 0 0 358205 265 0 0 20 0 20 0 34194468 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 1073759 5542 1 0 1087929 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3546.28 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 95947 0 0 0 354495 133 0 0 20 0 20 0 34194470 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 2485 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=12416 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 3584.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4295036 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3597.6 s]
/proc/loadavg: 4.47 4.38 4.26 6/343 26491
/proc/meminfo: memFree=120627480/131249996 swapFree=33010684/33010684
[pid=25977] ppid=25972 vsize=19063512 memory=4295036 CPUtime=3600.06 cores=0,2
/proc/25977/stat : 25977 (java) S 25972 25977 25461 0 -1 4194304 257879 0 0 0 359737 269 0 0 20 0 20 0 34194468 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 0 0 16800975 0 0 0 17 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
/proc/25977/statm: 4765878 1073759 5542 1 0 1087929 0
[pid=25977/tid=25982] ppid=25972 vsize=19063512 memory=5632 CPUtime=3561.39 cores=0,2
/proc/25977/task/25982/stat : 25982 (java) R 25972 25977 25461 0 -1 4194368 95950 0 0 0 356003 136 0 0 20 0 20 0 34194470 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=25996] ppid=25972 vsize=19063512 memory=4380 CPUtime=0 cores=0,2
/proc/25977/task/25996/stat : 25996 (Finalizer) S 25972 25977 25461 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26004] ppid=25972 vsize=19063512 memory=4295036 CPUtime=0 cores=0,2
/proc/25977/task/26004/stat : 26004 (Common-Cleaner) S 25972 25977 25461 0 -1 4194368 2486 0 0 0 0 0 0 0 20 0 20 0 34194473 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
[pid=25977/tid=26085] ppid=25972 vsize=19063512 memory=17536 CPUtime=0 cores=0,2
/proc/25977/task/26085/stat : 26085 (Timer-0) S 25972 25977 25461 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 34194626 19521036288 1073759 18446744073709551615 94695356346368 94695356350064 140727592351504 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94695356357880 94695356358672 94695361486848 140727592360237 140727592360422 140727592360422 140727592366024 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4295036 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3597.69 s]
# the end of solver process 25977 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.48 s, system=2.71014 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3597.69
CPU time (s): 3600.19
CPU user time (s): 3597.48
CPU system time (s): 2.71014
CPU usage (%): 100.069
Max. virtual memory (cumulated for all children) (KiB): 19066364
Max. memory (cumulated for all children) (KiB): 4295036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.48
system time used= 2.71014
maximum resident set size= 4296060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1446360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 120300
involuntary context switches= 9586
# summary of solver processes directly reported to runsolver:
# pid: 25977
# total CPU time (s): 3600.19
# total CPU user time (s): 3597.48
# total CPU system time (s): 2.71014
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.56324 second user time and 17.4045 second system time
The end