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 (58469 MiB free)
memory of node 1: 64507 MiB (62074 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4520532-1751573953/watcher-4520532-1751573953 -o /tmp/evaluation-result-4520532-1751573953/solver-4520532-1751573953 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751573953-82526 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4520532-1751573953.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=82576, runsolver pid=82567
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.66 3.34 3.88 7/335 82653
/proc/meminfo: memFree=123337360/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=18930384 memory=55648 CPUtime=0.12 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 6536 0 0 0 10 2 0 0 20 0 18 0 73072963 19384713216 13912 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4732596 13912 5355 1 0 547587 0
[pid=82576/tid=82590] ppid=82567 vsize=18930384 memory=4026532124 CPUtime=0.06 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 5041 0 0 0 5 1 0 0 20 0 18 0 73072965 19384713216 13912 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=18930384 memory=15140 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73072967 19384713216 13912 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 73072968 19384713216 13912 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55648 KiB
[startup+0.205503 s]*
/proc/loadavg: 1.66 3.34 3.88 13/335 82653
/proc/meminfo: memFree=123315456/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=18930384 memory=62780 CPUtime=0.3 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 7198 0 0 0 27 3 0 0 20 0 18 0 73072963 19384713216 15695 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4732596 15695 5483 1 0 548038 0
[pid=82576/tid=82590] ppid=82567 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 5436 0 0 0 14 2 0 0 20 0 18 0 73072965 19384713216 15695 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=18930384 memory=15140 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73072967 19384713216 15695 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=18930384 memory=58485492679654 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 18 0 73072968 19384713216 15695 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 62780 KiB
[startup+0.305294 s]*
/proc/loadavg: 1.66 3.34 3.88 11/339 82657
/proc/meminfo: memFree=123293212/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=18996948 memory=72800 CPUtime=0.49 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 7907 0 0 0 46 3 0 0 20 0 19 0 73072963 19452874752 18200 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4749237 18200 5483 1 0 548654 0
[pid=82576/tid=82590] ppid=82567 vsize=18996948 memory=-6000919468394768999 CPUtime=0.26 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 5513 0 0 0 24 2 0 0 20 0 19 0 73072965 19452874752 18200 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 73072967 19452874752 18200 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 19 0 73072968 19452874752 18200 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=18996948 memory=0 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 73072984 19452874752 18200 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 72800 KiB
[startup+0.700229 s]
/proc/loadavg: 1.66 3.34 3.88 9/339 82657
/proc/meminfo: memFree=123077012/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=173428 CPUtime=1.26 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 12499 0 0 0 119 7 0 0 20 0 20 0 73072963 19521036288 43357 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 43357 5515 1 0 552246 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=14592 CPUtime=0.57 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 5562 0 0 0 53 4 0 0 20 0 20 0 73072965 19521036288 43357 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 43357 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 43357 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 43357 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 173428 KiB
[startup+1.50022 s]
/proc/loadavg: 1.66 3.34 3.88 9/343 82661
/proc/meminfo: memFree=122854924/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=193500 CPUtime=2.8 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 13238 0 0 0 273 7 0 0 20 0 20 0 73072963 19521036288 48375 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 48375 5515 1 0 552531 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=10752 CPUtime=1.3 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 5567 0 0 0 126 4 0 0 20 0 20 0 73072965 19521036288 48375 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 48375 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 48375 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=4760 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 48375 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 193500 KiB
[startup+3.10569 s]
/proc/loadavg: 2.17 3.42 3.90 6/343 82661
/proc/meminfo: memFree=120508548/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=517824 CPUtime=5.69 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 20126 0 0 0 555 14 0 0 20 0 20 0 73072963 19521036288 129456 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 129456 5515 1 0 946320 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=10752 CPUtime=2.78 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 5707 0 0 0 270 8 0 0 20 0 20 0 73072965 19521036288 129456 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=-6000919476984703591 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 129456 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 129456 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 129456 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 5.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 517824 KiB
[startup+6.3002 s]
/proc/loadavg: 2.17 3.42 3.90 6/343 82661
/proc/meminfo: memFree=119235184/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=920876 CPUtime=9.37 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 25248 0 0 0 914 23 0 0 20 0 20 0 73072963 19521036288 230219 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 230219 5515 1 0 946322 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=0 CPUtime=5.88 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 6688 0 0 0 572 16 0 0 20 0 20 0 73072965 19521036288 230219 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=3200 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 230219 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 230219 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 230219 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 9.37 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 920876 KiB
[startup+12.7002 s]
/proc/loadavg: 2.45 3.43 3.90 5/343 82661
/proc/meminfo: memFree=116387680/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=1553796 CPUtime=15.84 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 26091 0 0 0 1547 37 0 0 20 0 20 0 73072963 19521036288 388449 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 388449 5515 1 0 946325 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=10752 CPUtime=12.19 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 7264 0 0 0 1191 28 0 0 20 0 20 0 73072965 19521036288 388449 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=1549700 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 388449 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=0 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 388449 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=-6000919476984703591 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 388449 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 15.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1553796 KiB
[startup+25.5002 s]
/proc/loadavg: 2.69 3.45 3.90 6/343 82661
/proc/meminfo: memFree=114882132/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=2352552 CPUtime=28.79 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 29762 0 0 0 2825 54 0 0 20 0 20 0 73072963 19521036288 588138 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 588138 5515 1 0 946330 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=1549700 CPUtime=24.78 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 9631 0 0 0 2435 43 0 0 20 0 20 0 73072965 19521036288 588138 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 588138 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=-6000919476984703591 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 28 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 588138 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=920876 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 588138 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 28.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2352552 KiB
[startup+51.1056 s]
/proc/loadavg: 3.27 3.53 3.92 5/343 82661
/proc/meminfo: memFree=113720392/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=2391760 CPUtime=54.87 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 38614 0 0 0 5429 58 0 0 20 0 20 0 73072963 19521036288 597940 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 597940 5515 1 0 946378 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=2391760 CPUtime=49.98 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 12820 0 0 0 4955 43 0 0 20 0 20 0 73072965 19521036288 597940 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
################
# More data... #
################
/proc/meminfo: memFree=112163860/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3195.24 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 213394 0 0 0 319157 367 0 0 20 0 20 0 73072963 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 1664482 5515 1 0 1681099 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3079.28 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 99562 0 0 0 307800 128 0 0 20 0 20 0 73072965 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 961 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 3195.24 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6657928 KiB
[startup+3162.3 s]
/proc/loadavg: 4.43 4.60 4.62 5/340 82961
/proc/meminfo: memFree=111229092/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3256.33 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 215346 0 0 0 325262 371 0 0 20 0 20 0 73072963 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 1664482 5515 1 0 1681099 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3139.09 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 100824 0 0 0 313780 129 0 0 20 0 20 0 73072965 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 962 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 3256.33 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6657928 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.52 4.59 5/340 82963
/proc/meminfo: memFree=110232540/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3318.26 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 218006 0 0 0 331451 375 0 0 20 0 20 0 73072963 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 1664482 5515 1 0 1681099 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3198.88 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 102153 0 0 0 319759 129 0 0 20 0 20 0 73072965 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 968 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 3318.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6657928 KiB
[startup+3282.3 s]
/proc/loadavg: 4.24 4.47 4.57 5/342 82972
/proc/meminfo: memFree=109830880/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3378.16 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 219625 0 0 0 337441 375 0 0 20 0 20 0 73072963 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 1664482 5515 1 0 1681099 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3258.75 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 103074 0 0 0 325746 129 0 0 20 0 20 0 73072965 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 987 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=5276 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 3378.16 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6657928 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.43 4.54 5/342 82974
/proc/meminfo: memFree=109458920/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3438.7 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 222737 0 0 0 343493 377 0 0 20 0 20 0 73072963 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 1664482 5515 1 0 1681099 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=2760 CPUtime=3318.58 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 104741 0 0 0 331728 130 0 0 20 0 20 0 73072965 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 991 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 3438.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6657928 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.36 4.51 5/342 82976
/proc/meminfo: memFree=109161616/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3499.27 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 228293 0 0 0 349548 379 0 0 20 0 20 0 73072963 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 1664482 5515 1 0 1681099 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3378.42 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 107181 0 0 0 337712 130 0 0 20 0 20 0 73072965 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 1005 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 3499.27 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6657928 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.32 4.49 6/342 82979
/proc/meminfo: memFree=108700724/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3559.18 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 228962 0 0 0 355539 379 0 0 20 0 20 0 73072963 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 1664482 5515 1 0 1681099 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3438.29 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 107396 0 0 0 343699 130 0 0 20 0 20 0 73072965 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=6657928 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 1014 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 3559.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6657928 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3503.2 s]
/proc/loadavg: 4.17 4.31 4.47 5/342 82980
/proc/meminfo: memFree=108698576/131249996 swapFree=33003468/33010684
[pid=82576] ppid=82567 vsize=19063512 memory=6657928 CPUtime=3600.01 cores=0,2
/proc/82576/stat : 82576 (java) S 82567 82576 82516 0 -1 4194304 229806 0 0 0 359622 379 0 0 20 0 20 0 73072963 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 0 0 16800975 0 0 0 17 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
/proc/82576/statm: 4765878 1664482 5515 1 0 1681099 0
[pid=82576/tid=82590] ppid=82567 vsize=19063512 memory=14592 CPUtime=3479.12 cores=0,2
/proc/82576/task/82590/stat : 82590 (java) R 82567 82576 82516 0 -1 4194368 108206 0 0 0 347781 131 0 0 20 0 20 0 73072965 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82618] ppid=82567 vsize=19063512 memory=14592 CPUtime=0 cores=0,2
/proc/82576/task/82618/stat : 82618 (Finalizer) S 82567 82576 82516 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73072967 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82631] ppid=82567 vsize=19063512 memory=10752 CPUtime=0 cores=0,2
/proc/82576/task/82631/stat : 82631 (Common-Cleaner) S 82567 82576 82516 0 -1 4194368 1017 0 0 0 0 0 0 0 20 0 20 0 73072968 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 2 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
[pid=82576/tid=82654] ppid=82567 vsize=19063512 memory=5504 CPUtime=0 cores=0,2
/proc/82576/task/82654/stat : 82654 (Timer-0) S 82567 82576 82516 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73072984 19521036288 1664482 18446744073709551615 94235386138624 94235386142320 140735895497536 0 0 0 4 0 16800975 1 0 0 -1 0 0 0 0 0 0 94235386150136 94235386150928 94235393736704 140735895501182 140735895501286 140735895501286 140735895506888 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 6657928 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3503.29 s]
# the end of solver process 82576 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.34 s, system=3.82287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3503.29
CPU time (s): 3600.16
CPU user time (s): 3596.34
CPU system time (s): 3.82287
CPU usage (%): 102.765
Max. virtual memory (cumulated for all children) (KiB): 19068300
Max. memory (cumulated for all children) (KiB): 6657928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.34
system time used= 3.82287
maximum resident set size= 6658952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 148124
involuntary context switches= 14956
# summary of solver processes directly reported to runsolver:
# pid: 82576
# total CPU time (s): 3600.16
# total CPU user time (s): 3596.34
# total CPU system time (s): 3.82287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.89406 second user time and 15.7512 second system time
The end