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: 63708 MiB (62248 MiB free)
memory of node 1: 64465 MiB (61743 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4507958-1751506741/watcher-4507958-1751506741 -o /tmp/evaluation-result-4507958-1751506741/solver-4507958-1751506741 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751506741-70406 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4507958-1751506741.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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
solver pid=70462, runsolver pid=70447
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100058 s]*
/proc/loadavg: 1.00 1.14 1.91 13/334 70531
/proc/meminfo: memFree=126856336/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=18930384 memory=53124 CPUtime=0.11 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 6421 0 119 0 9 2 0 0 20 0 18 0 66352543 19384713216 13281 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4732596 13281 5302 1 0 547534 0
[pid=70462/tid=70480] ppid=70447 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 4977 0 73 0 5 1 0 0 20 0 18 0 66352545 19384713216 13281 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66352547 19384713216 13281 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=18930384 memory=59585004339238 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66352548 19384713216 13281 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 53124 KiB
[startup+0.205794 s]*
/proc/loadavg: 1.00 1.14 1.91 13/334 70531
/proc/meminfo: memFree=126807032/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=18930384 memory=64120 CPUtime=0.3 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 7032 0 119 0 27 3 0 0 20 0 18 0 66352543 19384713216 16030 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4732596 16030 5398 1 0 547940 0
[pid=70462/tid=70480] ppid=70447 vsize=18930384 memory=4026728732 CPUtime=0.15 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 5348 0 73 0 14 1 0 0 20 0 18 0 66352545 19384713216 16030 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=18930384 memory=2641 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66352547 19384713216 16030 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=18930384 memory=58485492679654 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66352548 19384713216 16030 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64120 KiB
[startup+0.30585 s]*
/proc/loadavg: 1.00 1.14 1.91 11/334 70531
/proc/meminfo: memFree=126629604/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=18930384 memory=110452 CPUtime=0.49 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 8830 0 119 0 45 4 0 0 20 0 18 0 66352543 19384713216 27613 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4732596 27613 5398 1 0 549194 0
[pid=70462/tid=70480] ppid=70447 vsize=18930384 memory=-6000919477018324072 CPUtime=0.23 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 5402 0 73 0 21 2 0 0 20 0 18 0 66352545 19384713216 27613 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 66352547 19384713216 27613 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 66352548 19384713216 27613 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 110452 KiB
[startup+0.7002 s]
/proc/loadavg: 1.00 1.14 1.91 12/342 70539
/proc/meminfo: memFree=126416452/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=182312 CPUtime=1.24 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 16465 0 119 0 117 7 0 0 20 0 20 0 66352543 19521036288 45578 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 45578 5462 1 0 554551 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=18688 CPUtime=0.52 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 5546 0 73 0 48 4 0 0 20 0 20 0 66352545 19521036288 45578 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 45578 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 45578 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 45578 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 182312 KiB
[startup+1.50021 s]
/proc/loadavg: 1.00 1.14 1.91 10/342 70539
/proc/meminfo: memFree=126336748/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=194152 CPUtime=2.81 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 22180 0 119 0 273 8 0 0 20 0 20 0 66352543 19521036288 48538 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 48538 5462 1 0 554759 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=0 CPUtime=1.24 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 6164 0 73 0 120 4 0 0 20 0 20 0 66352545 19521036288 48538 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 48538 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 48538 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 48538 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 2.81 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 194152 KiB
[startup+3.10576 s]
/proc/loadavg: 1.80 1.30 1.95 8/342 70539
/proc/meminfo: memFree=124219208/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=664448 CPUtime=5.76 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 26357 0 119 0 558 18 0 0 20 0 20 0 66352543 19521036288 166112 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 166112 5462 1 0 817952 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=10752 CPUtime=2.73 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 6948 0 73 0 260 13 0 0 20 0 20 0 66352545 19521036288 166112 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=-6000919477018324072 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 166112 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 166112 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 166112 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 5.76 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 664448 KiB
[startup+6.30017 s]
/proc/loadavg: 1.80 1.30 1.95 6/342 70539
/proc/meminfo: memFree=120613924/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=1762948 CPUtime=9.14 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 28518 0 119 0 873 41 0 0 20 0 20 0 66352543 19521036288 440737 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 440737 5494 1 0 817995 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=0 CPUtime=5.89 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 8843 0 73 0 554 35 0 0 20 0 20 0 66352545 19521036288 440737 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 440737 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 440737 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=194152 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 440737 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 9.14 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1762948 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 1.35 1.97 7/341 70539
/proc/meminfo: memFree=119597700/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=1974024 CPUtime=15.8 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 29053 0 119 0 1535 45 0 0 20 0 20 0 66352543 19521036288 493506 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 493506 5494 1 0 817997 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=194152 CPUtime=12.21 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 9193 0 73 0 1182 39 0 0 20 0 20 0 66352545 19521036288 493506 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=1974024 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 493506 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=1967840 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 493506 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=1963744 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 493506 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 15.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1974024 KiB
[startup+25.5002 s]
/proc/loadavg: 2.49 1.50 2.00 6/341 70539
/proc/meminfo: memFree=118967460/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=1986564 CPUtime=28.96 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 35422 0 119 0 2849 47 0 0 20 0 20 0 66352543 19521036288 496641 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 496641 5494 1 0 818030 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=1974024 CPUtime=24.81 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 11329 0 73 0 2442 39 0 0 20 0 20 0 66352545 19521036288 496641 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=1986436 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 496641 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 36 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 496641 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=1980216 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 496641 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 28.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1986564 KiB
[startup+51.1058 s]
/proc/loadavg: 3.21 1.75 2.07 6/342 70541
/proc/meminfo: memFree=118787076/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=2031852 CPUtime=55.06 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 40156 0 119 0 5458 48 0 0 20 0 20 0 66352543 19521036288 507963 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 507963 5494 1 0 818046 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=1980216 CPUtime=49.99 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 13606 0 73 0 4960 39 0 0 20 0 20 0 66352545 19521036288 507963 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=2023628 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 507963 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=2023628 CPUtime=0 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=115770512/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=2715564 CPUtime=3182.67 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 108346 0 119 0 318104 163 0 0 20 0 20 0 66352543 19521036288 678891 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 678891 5526 1 0 818501 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=2701152 CPUtime=3133.07 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 54202 0 73 0 313258 49 0 0 20 0 20 0 66352545 19521036288 678891 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=2701152 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 678891 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=2715564 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 1671 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 678891 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 678891 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 3182.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2715564 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.08 6/339 70708
/proc/meminfo: memFree=115744332/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=2719668 CPUtime=3243.29 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 109113 0 119 0 324164 165 0 0 20 0 20 0 66352543 19521036288 679917 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 679917 5526 1 0 818501 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=2701152 CPUtime=3192.53 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 54823 0 73 0 319204 49 0 0 20 0 20 0 66352545 19521036288 679917 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=2701152 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 679917 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=2717620 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 1671 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 679917 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 679917 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 3243.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2719668 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.11 4.08 6/340 70711
/proc/meminfo: memFree=115730312/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=2725824 CPUtime=3303.94 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 111318 0 119 0 330226 168 0 0 20 0 20 0 66352543 19521036288 681456 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 681456 5526 1 0 818501 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=2719668 CPUtime=3251.95 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 56045 0 73 0 325146 49 0 0 20 0 20 0 66352545 19521036288 681456 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=2719668 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 681456 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 1805 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 681456 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=3760822572434215063 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 681456 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 3303.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2725824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.81 4.29 4.14 6/340 70713
/proc/meminfo: memFree=115703908/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=2729928 CPUtime=3364.58 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 113762 0 119 0 336289 169 0 0 20 0 20 0 66352543 19521036288 682482 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 682482 5526 1 0 818508 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=2719668 CPUtime=3311.37 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 57636 0 73 0 331088 49 0 0 20 0 20 0 66352545 19521036288 682482 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 682482 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=2729928 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 1805 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 682482 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=2729928 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 682482 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 3364.58 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2729928 KiB
[startup+3402.3 s]
/proc/loadavg: 4.42 4.26 4.14 6/340 70715
/proc/meminfo: memFree=115669208/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=2736088 CPUtime=3425.42 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 115825 0 119 0 342371 171 0 0 20 0 20 0 66352543 19521036288 684022 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 684022 5526 1 0 818508 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=2729928 CPUtime=3370.75 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 58903 0 73 0 337026 49 0 0 20 0 20 0 66352545 19521036288 684022 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 684022 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=14976 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 1842 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 684022 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=2734036 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 684022 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 3425.42 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2736088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.92 4.43 4.20 6/340 70717
/proc/meminfo: memFree=115647708/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=2742244 CPUtime=3486.11 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 115988 0 119 0 348437 174 0 0 20 0 20 0 66352543 19521036288 685561 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 685561 5526 1 0 818508 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=2729928 CPUtime=3430.18 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 58968 0 73 0 342969 49 0 0 20 0 20 0 66352545 19521036288 685561 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=2736088 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 685561 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=2742244 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 685561 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=-6000919477018324072 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 685561 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 3486.11 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2742244 KiB
[startup+3522.3 s]
/proc/loadavg: 4.34 4.35 4.19 6/339 70723
/proc/meminfo: memFree=115627340/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=2746348 CPUtime=3546.55 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 116370 0 119 0 354479 176 0 0 20 0 20 0 66352543 19521036288 686587 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 686587 5526 1 0 818508 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=2742244 CPUtime=3489.7 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 59293 0 73 0 348920 50 0 0 20 0 20 0 66352545 19521036288 686587 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 686587 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=2746348 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 686587 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=-6000919477018324072 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 686587 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 3546.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2746348 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3575.4 s]
/proc/loadavg: 4.30 4.34 4.19 6/338 70725
/proc/meminfo: memFree=115617440/131249996 swapFree=33010160/33010684
[pid=70462] ppid=70447 vsize=19063512 memory=2748408 CPUtime=3600.03 cores=1,3
/proc/70462/stat : 70462 (java) S 70447 70462 70394 0 -1 4194304 118414 0 119 0 359825 178 0 0 20 0 20 0 66352543 19521036288 687102 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
/proc/70462/statm: 4765878 687102 5526 1 0 818511 0
[pid=70462/tid=70480] ppid=70447 vsize=19063512 memory=18688 CPUtime=3542.36 cores=1,3
/proc/70462/task/70480/stat : 70480 (java) R 70447 70462 70394 0 -1 4194368 60647 0 73 0 354186 50 0 0 20 0 20 0 66352545 19521036288 687102 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70516] ppid=70447 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/70462/task/70516/stat : 70516 (Finalizer) S 70447 70462 70394 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 66352547 19521036288 687102 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70529] ppid=70447 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/70462/task/70529/stat : 70529 (Common-Cleaner) S 70447 70462 70394 0 -1 4194368 1911 0 0 0 0 0 0 0 20 0 20 0 66352548 19521036288 687102 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
[pid=70462/tid=70539] ppid=70447 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/70462/task/70539/stat : 70539 (Timer-0) S 70447 70462 70394 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 66352589 19521036288 687102 18446744073709551615 94262845747200 94262845750896 140730363917392 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94262845758712 94262845759504 94262874910720 140730363922814 140730363922918 140730363922918 140730363928520 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2748408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3575.5 s]
# the end of solver process 70462 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.42 s, system=1.80102 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3575.5
CPU time (s): 3600.23
CPU user time (s): 3598.42
CPU system time (s): 1.80102
CPU usage (%): 100.691
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 2748408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.42
system time used= 1.80102
maximum resident set size= 2749432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120999
page faults= 119
swaps= 0
block input operations= 0
block output operations= 15032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138834
involuntary context switches= 9449
# summary of solver processes directly reported to runsolver:
# pid: 70462
# total CPU time (s): 3600.23
# total CPU user time (s): 3598.42
# total CPU system time (s): 1.80102
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89311 second user time and 16.5655 second system time
The end