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 (60047 MiB free)
memory of node 1: 64465 MiB (63972 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4484637-1751294452/watcher-4484637-1751294452 -o /tmp/evaluation-result-4484637-1751294452/solver-4484637-1751294452 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751290853-37671 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4484637-1751294452 -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4484637-1751294452.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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=38150, runsolver pid=38146
[startup+0.100059 s]*
/proc/loadavg: 4.09 4.13 4.09 4/315 38171
/proc/meminfo: memFree=126975832/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=18930384 memory=59524 CPUtime=0.12 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 6482 0 0 0 11 1 0 0 20 0 18 0 45067688 19384713216 14881 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4732596 14881 5369 1 0 547620 0
[pid=38150/tid=38152] ppid=38146 vsize=18930384 memory=4026531959 CPUtime=0.07 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 5064 0 0 0 6 1 0 0 20 0 18 0 45067689 19384713216 14881 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=18930384 memory=219932802519 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45067691 19384713216 14881 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=18930384 memory=3966 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45067691 19384713216 14881 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 59524 KiB
[startup+0.205626 s]*
/proc/loadavg: 4.09 4.13 4.09 7/325 38188
/proc/meminfo: memFree=126964124/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=18930384 memory=67712 CPUtime=0.32 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 6905 0 0 0 30 2 0 0 20 0 18 0 45067688 19384713216 16928 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4732596 16928 5465 1 0 547958 0
[pid=38150/tid=38152] ppid=38146 vsize=18930384 memory=4026597660 CPUtime=0.16 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 5373 0 0 0 15 1 0 0 20 0 18 0 45067689 19384713216 16928 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=18930384 memory=16124 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 45067691 19384713216 16928 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=18930384 memory=59585004307431 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 45067691 19384713216 16928 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 67712 KiB
[startup+0.305656 s]*
/proc/loadavg: 4.09 4.13 4.09 7/337 38200
/proc/meminfo: memFree=126914780/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=18996948 memory=79496 CPUtime=0.5 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 7279 0 0 0 48 2 0 0 20 0 19 0 45067688 19452874752 19874 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4749237 19874 5497 1 0 548559 0
[pid=38150/tid=38152] ppid=38146 vsize=18996948 memory=-6000919472673219692 CPUtime=0.25 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 5545 0 0 0 23 2 0 0 20 0 19 0 45067689 19452874752 19874 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45067691 19452874752 19874 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 45067691 19452874752 19874 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=18996948 memory=0 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 45067716 19452874752 19874 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 79496 KiB
[startup+0.700239 s]
/proc/loadavg: 4.09 4.13 4.09 7/338 38201
/proc/meminfo: memFree=126875968/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=18996948 memory=113516 CPUtime=1.27 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 13909 0 0 0 122 5 0 0 20 0 19 0 45067688 19452874752 28379 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4749237 28379 5497 1 0 552420 0
[pid=38150/tid=38152] ppid=38146 vsize=18996948 memory=17664 CPUtime=0.64 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 5563 0 0 0 62 2 0 0 20 0 19 0 45067689 19452874752 28379 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=18996948 memory=10752 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 45067691 19452874752 28379 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=18996948 memory=3328 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 45067691 19452874752 28379 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=18996948 memory=4760 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 19 0 45067716 19452874752 28379 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 113516 KiB
[startup+1.50025 s]
/proc/loadavg: 4.09 4.13 4.09 7/338 38201
/proc/meminfo: memFree=126791224/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=175232 CPUtime=2.84 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 20237 0 0 0 277 7 0 0 20 0 20 0 45067688 19521036288 43808 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 43808 5497 1 0 553101 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=10752 CPUtime=1.39 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 6114 0 0 0 136 3 0 0 20 0 20 0 45067689 19521036288 43808 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 43808 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 43808 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=4760 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 43808 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 2.84 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 175232 KiB
[startup+3.10581 s]
/proc/loadavg: 4.09 4.13 4.09 7/317 38214
/proc/meminfo: memFree=128788948/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=177524 CPUtime=4.82 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 21713 0 0 0 474 8 0 0 20 0 20 0 45067688 19521036288 44381 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 44381 5497 1 0 553105 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=-6000919481313485932 CPUtime=2.99 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 6504 0 0 0 296 3 0 0 20 0 20 0 45067689 19521036288 44381 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 44381 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 44381 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 44381 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 4.82 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177524 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.14 4.10 7/340 38270
/proc/meminfo: memFree=127885216/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=184760 CPUtime=8.29 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 22873 0 0 0 821 8 0 0 20 0 20 0 45067688 19521036288 46190 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 46190 5497 1 0 553332 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=10752 CPUtime=6.16 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 6532 0 0 0 612 4 0 0 20 0 20 0 45067689 19521036288 46190 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=3328 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 46190 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 46190 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 46190 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 184760 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.14 4.09 6/340 38270
/proc/meminfo: memFree=126370712/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=229916 CPUtime=14.75 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 27084 0 0 0 1465 10 0 0 20 0 20 0 45067688 19521036288 57479 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 57479 5497 1 0 553348 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=0 CPUtime=12.52 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 7582 0 0 0 1248 4 0 0 20 0 20 0 45067689 19521036288 57479 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 57479 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=-6000919481313485932 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 57479 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=-6511454491425422166 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 57479 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 14.75 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 229916 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.17 4.10 5/340 38270
/proc/meminfo: memFree=124938548/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=281140 CPUtime=27.57 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 30581 0 0 0 2745 12 0 0 20 0 20 0 45067688 19521036288 70285 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 70285 5497 1 0 553348 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=0 CPUtime=25.28 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 8937 0 0 0 2522 6 0 0 20 0 20 0 45067689 19521036288 70285 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=10752 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 70285 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=270896 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 57 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 70285 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 70285 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 27.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 281140 KiB
[startup+51.1056 s]
/proc/loadavg: 4.32 4.18 4.11 5/340 38271
/proc/meminfo: memFree=123816412/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=971444 CPUtime=53.28 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 34085 0 0 0 5302 26 0 0 20 0 20 0 45067688 19521036288 242861 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 242861 5497 1 0 553348 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=-6000919481313485932 CPUtime=50.83 cores=1,3
################
# More data... #
################
/proc/meminfo: memFree=117462460/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3230.71 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 112985 0 0 0 322926 145 0 0 20 0 20 0 45067688 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 544635 5529 1 0 560384 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3209.14 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 42996 0 0 0 320879 35 0 0 20 0 20 0 45067689 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 1614 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 3230.71 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178540 KiB
[startup+3282.3 s]
/proc/loadavg: 4.34 4.30 4.24 6/339 38435
/proc/meminfo: memFree=117217916/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3291.47 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 113054 0 0 0 329000 147 0 0 20 0 20 0 45067688 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 544635 5529 1 0 560384 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3268.88 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 43027 0 0 0 326852 36 0 0 20 0 20 0 45067689 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=17664 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 1614 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 3291.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178540 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.27 4.23 5/339 38437
/proc/meminfo: memFree=116807640/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3352.79 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 114313 0 0 0 335128 151 0 0 20 0 20 0 45067688 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 544635 5529 1 0 560391 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3328.64 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 44134 0 0 0 332828 36 0 0 20 0 20 0 45067689 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=4252 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=21872 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 1614 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 3352.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178540 KiB
[startup+3402.3 s]
/proc/loadavg: 4.17 4.25 4.23 5/339 38439
/proc/meminfo: memFree=116586672/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3413.5 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 116352 0 0 0 341197 153 0 0 20 0 20 0 45067688 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 544635 5529 1 0 560391 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=14848 CPUtime=3388.36 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 44761 0 0 0 338800 36 0 0 20 0 20 0 45067689 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 1692 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=-6000919481313485932 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 3413.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178540 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.27 4.23 6/339 38515
/proc/meminfo: memFree=120106316/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3474.23 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 116925 0 0 0 347268 155 0 0 20 0 20 0 45067688 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 544635 5529 1 0 560391 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=14848 CPUtime=3448.06 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 45260 0 0 0 344770 36 0 0 20 0 20 0 45067689 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 1692 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 3474.23 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178540 KiB
[startup+3522.3 s]
/proc/loadavg: 4.48 4.34 4.26 5/341 38585
/proc/meminfo: memFree=122477292/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3535.7 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 120171 0 0 0 353412 158 0 0 20 0 20 0 45067688 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 544635 5529 1 0 560391 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3507.78 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 46971 0 0 0 350741 37 0 0 20 0 20 0 45067689 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 1693 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 3535.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178540 KiB
[startup+3582.3 s]
/proc/loadavg: 4.37 4.32 4.26 5/341 38654
/proc/meminfo: memFree=123739772/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3596.38 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 123021 0 0 0 359478 160 0 0 20 0 20 0 45067688 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 544635 5529 1 0 560391 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=4252 CPUtime=3567.45 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 48293 0 0 0 356708 37 0 0 20 0 20 0 45067689 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=14848 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 1726 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 3596.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178540 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3586 s]*
/proc/loadavg: 4.34 4.31 4.26 5/341 38654
/proc/meminfo: memFree=123715196/131250000 swapFree=33010684/33010684
[pid=38150] ppid=38146 vsize=19063512 memory=2178540 CPUtime=3600.08 cores=1,3
/proc/38150/stat : 38150 (java) S 38146 38150 37659 0 -1 4194304 123021 0 0 0 359848 160 0 0 20 0 20 0 45067688 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
/proc/38150/statm: 4765878 544635 5529 1 0 560391 0
[pid=38150/tid=38152] ppid=38146 vsize=19063512 memory=-6000919502804771948 CPUtime=3571.15 cores=1,3
/proc/38150/task/38152/stat : 38152 (java) R 38146 38150 37659 0 -1 4194368 48293 0 0 0 357078 37 0 0 20 0 20 0 45067689 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38161] ppid=38146 vsize=19063512 memory=5972 CPUtime=0 cores=1,3
/proc/38150/task/38161/stat : 38161 (Finalizer) S 38146 38150 37659 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38168] ppid=38146 vsize=19063512 memory=6896 CPUtime=0 cores=1,3
/proc/38150/task/38168/stat : 38168 (Common-Cleaner) S 38146 38150 37659 0 -1 4194368 1726 0 0 0 0 0 0 0 20 0 20 0 45067691 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
[pid=38150/tid=38200] ppid=38146 vsize=19063512 memory=2178540 CPUtime=0 cores=1,3
/proc/38150/task/38200/stat : 38200 (Timer-0) S 38146 38150 37659 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 45067716 19521036288 544635 18446744073709551615 94033358729216 94033358732912 140723668043504 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94033358740728 94033358741520 94033390174208 140723668052269 140723668052454 140723668052454 140723668058056 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178540 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3586.09 s]
# the end of solver process 38150 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3598.63 s, system=1.61831 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 3586.09
CPU time (s): 3600.25
CPU user time (s): 3598.63
CPU system time (s): 1.61831
CPU usage (%): 100.395
Max. virtual memory (cumulated for all children) (KiB): 19066896
Max. memory (cumulated for all children) (KiB): 2178540
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.63
system time used= 1.61831
maximum resident set size= 2179308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 114110
involuntary context switches= 9552
# summary of solver processes directly reported to runsolver:
# pid: 38150
# total CPU time (s): 3600.25
# total CPU user time (s): 3598.63
# total CPU system time (s): 1.61831
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48798 second user time and 17.074 second system time
The end