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 (57068 MiB free)
memory of node 1: 64507 MiB (48228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521268-1751581996/watcher-4521268-1751581996 -o /tmp/evaluation-result-4521268-1751581996/solver-4521268-1751581996 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751578574-83017 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4521268-1751581996.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
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=83519, runsolver pid=83516
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.24 4.27 4.35 5/338 83537
/proc/meminfo: memFree=107797428/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=18930384 memory=57696 CPUtime=0.13 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 6566 0 0 0 11 2 0 0 20 0 18 0 73877349 19384713216 14424 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4732596 14424 5334 1 0 547627 0
[pid=83519/tid=83521] ppid=83516 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 5066 0 0 0 6 1 0 0 20 0 18 0 73877350 19384713216 14424 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73877352 19384713216 14424 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=18930384 memory=60684515966010 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73877353 19384713216 14424 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57696 KiB
[startup+0.205735 s]*
/proc/loadavg: 4.24 4.27 4.35 7/338 83537
/proc/meminfo: memFree=107793332/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=18930384 memory=64304 CPUtime=0.32 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 7108 0 0 0 30 2 0 0 20 0 18 0 73877349 19384713216 16076 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4732596 16076 5430 1 0 548001 0
[pid=83519/tid=83521] ppid=83516 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 5365 0 0 0 16 1 0 0 20 0 18 0 73877350 19384713216 16076 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=18930384 memory=16880 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73877352 19384713216 16076 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73877353 19384713216 16076 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 64304 KiB
[startup+0.305685 s]*
/proc/loadavg: 4.24 4.27 4.35 7/338 83537
/proc/meminfo: memFree=107764644/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=18930384 memory=97204 CPUtime=0.51 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 8600 0 0 0 48 3 0 0 20 0 18 0 73877349 19384713216 24301 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4732596 24301 5430 1 0 548972 0
[pid=83519/tid=83521] ppid=83516 vsize=18930384 memory=-6000919481363556711 CPUtime=0.26 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 5380 0 0 0 24 2 0 0 20 0 18 0 73877350 19384713216 24301 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 73877352 19384713216 24301 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 18 0 73877353 19384713216 24301 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 97204 KiB
[startup+0.700219 s]
/proc/loadavg: 4.24 4.27 4.35 6/339 83538
/proc/meminfo: memFree=107703204/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=168496 CPUtime=1.26 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 11037 0 0 0 121 5 0 0 20 0 20 0 73877349 19521036288 42124 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 42124 5494 1 0 551208 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=18688 CPUtime=0.59 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 5542 0 0 0 56 3 0 0 20 0 20 0 73877350 19521036288 42124 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 42124 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 42124 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 168496 KiB
[startup+1.50026 s]
/proc/loadavg: 4.24 4.27 4.35 7/340 83539
/proc/meminfo: memFree=107689784/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=180872 CPUtime=2.83 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 17487 0 0 0 276 7 0 0 20 0 20 0 73877349 19521036288 45218 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 45218 5494 1 0 552505 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=3328 CPUtime=1.32 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 5873 0 0 0 128 4 0 0 20 0 20 0 73877350 19521036288 45218 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 45218 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 45218 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 45218 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 2.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 180872 KiB
[startup+3.10572 s]
/proc/loadavg: 4.24 4.27 4.35 7/340 83540
/proc/meminfo: memFree=107577568/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=323136 CPUtime=5.98 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 22705 0 0 0 587 11 0 0 20 0 20 0 73877349 19521036288 80784 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 80784 5494 1 0 687325 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=14384 CPUtime=2.8 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 6650 0 0 0 275 5 0 0 20 0 20 0 73877350 19521036288 80784 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 80784 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 80784 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 80784 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 5.98 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 323136 KiB
[startup+6.30023 s]
/proc/loadavg: 4.38 4.30 4.35 6/340 83540
/proc/meminfo: memFree=107228448/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=677016 CPUtime=9.78 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 23071 0 0 0 959 19 0 0 20 0 20 0 73877349 19521036288 169254 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 169254 5494 1 0 687343 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=0 CPUtime=5.9 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 6804 0 0 0 579 11 0 0 20 0 20 0 73877350 19521036288 169254 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 169254 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 169254 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=187184 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 169254 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 9.78 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 677016 KiB
[startup+12.7002 s]
/proc/loadavg: 4.43 4.31 4.36 6/340 83540
/proc/meminfo: memFree=106123896/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=1325756 CPUtime=16.74 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 26397 0 0 0 1640 34 0 0 20 0 20 0 73877349 19521036288 331439 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 331439 5494 1 0 821035 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=187184 CPUtime=12.17 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 7590 0 0 0 1195 22 0 0 20 0 20 0 73877350 19521036288 331439 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=1323708 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 331439 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 331439 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 331439 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 16.74 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1325756 KiB
[startup+25.5002 s]
/proc/loadavg: 4.42 4.32 4.36 6/339 83607
/proc/meminfo: memFree=117458616/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=2086092 CPUtime=29.97 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 37093 0 0 0 2948 49 0 0 20 0 20 0 73877349 19521036288 521523 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 521523 5494 1 0 821116 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=0 CPUtime=24.69 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 11115 0 0 0 2434 35 0 0 20 0 20 0 73877350 19521036288 521523 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 521523 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=2071592 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 521523 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 521523 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 29.97 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2086092 KiB
[startup+51.1057 s]
/proc/loadavg: 4.48 4.34 4.37 5/339 83607
/proc/meminfo: memFree=115223368/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=2196748 CPUtime=56.05 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 40778 0 0 0 5552 53 0 0 20 0 20 0 73877349 19521036288 549187 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 549187 5494 1 0 821117 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=2125044 CPUtime=49.75 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 13339 0 0 0 4940 35 0 0 20 0 20 0 73877350 19521036288 549187 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=2159884 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 549187 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 26 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 549187 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
################
# More data... #
################
/proc/meminfo: memFree=107730060/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=3898752 CPUtime=3119.84 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 165843 0 0 0 311564 420 0 0 20 0 20 0 73877349 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 974688 5526 1 0 989436 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=3898752 CPUtime=2773.5 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 57232 0 0 0 277291 59 0 0 20 0 20 0 73877350 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 1149 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 3119.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3898752 KiB
[startup+2862.3 s]
/proc/loadavg: 4.68 4.70 4.56 5/339 83751
/proc/meminfo: memFree=107597900/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=3898752 CPUtime=3192.15 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 169404 0 0 0 318784 431 0 0 20 0 20 0 73877349 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 974688 5526 1 0 989436 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=3898752 CPUtime=2833.18 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 58779 0 0 0 283258 60 0 0 20 0 20 0 73877350 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 1171 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 3192.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3898752 KiB
[startup+2922.3 s]
/proc/loadavg: 4.62 4.68 4.56 5/339 83757
/proc/meminfo: memFree=107515060/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=3898752 CPUtime=3258.19 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 170592 0 0 0 325381 438 0 0 20 0 20 0 73877349 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 974688 5526 1 0 989436 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=3898752 CPUtime=2892.97 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 58966 0 0 0 289237 60 0 0 20 0 20 0 73877350 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 1171 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 3258.19 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3898752 KiB
[startup+2982.3 s]
/proc/loadavg: 4.61 4.66 4.56 6/339 83760
/proc/meminfo: memFree=107398672/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=3898752 CPUtime=3326.99 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 174197 0 0 0 332254 445 0 0 20 0 20 0 73877349 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 974688 5526 1 0 989436 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=3898752 CPUtime=2952.68 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 60459 0 0 0 295208 60 0 0 20 0 20 0 73877350 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 1213 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=14384 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 3326.99 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3898752 KiB
[startup+3042.3 s]
/proc/loadavg: 4.61 4.66 4.57 5/340 83763
/proc/meminfo: memFree=107311404/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=3898752 CPUtime=3398.28 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 174308 0 0 0 339374 454 0 0 20 0 20 0 73877349 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 974688 5526 1 0 989436 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=3898752 CPUtime=3012.36 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 60491 0 0 0 301176 60 0 0 20 0 20 0 73877350 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 1217 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 3398.28 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3898752 KiB
[startup+3102.3 s]
/proc/loadavg: 4.39 4.59 4.55 6/341 83832
/proc/meminfo: memFree=113605788/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=3898752 CPUtime=3465.09 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 175742 0 0 0 346046 463 0 0 20 0 20 0 73877349 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 974688 5526 1 0 989436 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=5632 CPUtime=3072.09 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 61015 0 0 0 307149 60 0 0 20 0 20 0 73877350 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=-6000919481363556711 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 1217 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=6512 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 3465.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3898752 KiB
[startup+3162.3 s]
/proc/loadavg: 4.37 4.54 4.53 5/341 83901
/proc/meminfo: memFree=115001820/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=3898752 CPUtime=3536.65 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 180162 0 0 0 353192 473 0 0 20 0 20 0 73877349 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 974688 5526 1 0 989436 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=5632 CPUtime=3131.77 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 62332 0 0 0 313117 60 0 0 20 0 20 0 73877350 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 1240 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=3898752 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 3536.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3898752 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3218.6 s]
/proc/loadavg: 4.32 4.49 4.52 5/341 83903
/proc/meminfo: memFree=112140712/131249996 swapFree=33010416/33010684
[pid=83519] ppid=83516 vsize=19063512 memory=3898752 CPUtime=3600.09 cores=1,3
/proc/83519/stat : 83519 (java) S 83516 83519 83005 0 -1 4194304 183921 0 0 0 359526 483 0 0 20 0 20 0 73877349 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
/proc/83519/statm: 4765878 974688 5526 1 0 989436 0
[pid=83519/tid=83521] ppid=83516 vsize=19063512 memory=-6000919481363556711 CPUtime=3187.85 cores=1,3
/proc/83519/task/83521/stat : 83521 (java) R 83516 83519 83005 0 -1 4194368 63712 0 0 0 318725 60 0 0 20 0 20 0 73877350 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83530] ppid=83516 vsize=19063512 memory=4764 CPUtime=0 cores=1,3
/proc/83519/task/83530/stat : 83530 (Finalizer) S 83516 83519 83005 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 73877352 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83537] ppid=83516 vsize=19063512 memory=2760 CPUtime=0 cores=1,3
/proc/83519/task/83537/stat : 83537 (Common-Cleaner) S 83516 83519 83005 0 -1 4194368 1315 0 0 0 0 0 0 0 20 0 20 0 73877353 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
[pid=83519/tid=83539] ppid=83516 vsize=19063512 memory=19712 CPUtime=0 cores=1,3
/proc/83519/task/83539/stat : 83539 (Timer-0) S 83516 83519 83005 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 73877410 19521036288 974688 18446744073709551615 94123820113920 94123820117616 140735743709808 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94123820125432 94123820126224 94123835846656 140735743715710 140735743715814 140735743715814 140735743721416 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3898752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3218.7 s]
# the end of solver process 83519 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3595.42 s, system=4.85092 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3218.7
CPU time (s): 3600.27
CPU user time (s): 3595.42
CPU system time (s): 4.85092
CPU usage (%): 111.855
Max. virtual memory (cumulated for all children) (KiB): 19069556
Max. memory (cumulated for all children) (KiB): 3898752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.42
system time used= 4.85092
maximum resident set size= 3899648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 137921
involuntary context switches= 25792
# summary of solver processes directly reported to runsolver:
# pid: 83519
# total CPU time (s): 3600.27
# total CPU user time (s): 3595.42
# total CPU system time (s): 4.85092
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.87821 second user time and 15.612 second system time
The end