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: 63837 MiB (53400 MiB free)
memory of node 1: 64465 MiB (61936 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4497060-1751386491/watcher-4497060-1751386491 -o /tmp/evaluation-result-4497060-1751386491/solver-4497060-1751386491 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751383037-50023 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4497060-1751386491.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
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
Current StackSize limit: 8192 KiB
solver pid=50568, runsolver pid=50565
[startup+0.100066 s]*
/proc/loadavg: 4.22 4.35 4.59 6/323 50586
/proc/meminfo: memFree=118082340/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=18930384 memory=47680 CPUtime=0.09 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 5682 0 0 0 6 3 0 0 20 0 18 0 54328274 19384713216 11920 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4732596 11920 5239 1 0 546907 0
[pid=50568/tid=50570] ppid=50565 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 4611 0 0 0 4 2 0 0 20 0 18 0 54328276 19384713216 11920 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54328281 19384713216 11920 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=18930384 memory=59593594261064 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54328282 19384713216 11920 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47680 KiB
[startup+0.213496 s]*
/proc/loadavg: 4.22 4.35 4.59 5/323 50586
/proc/meminfo: memFree=118078496/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=18930384 memory=51904 CPUtime=0.23 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 6116 0 0 0 20 3 0 0 20 0 18 0 54328274 19384713216 12976 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4732596 12976 5367 1 0 547238 0
[pid=50568/tid=50570] ppid=50565 vsize=18930384 memory=4026663196 CPUtime=0.14 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 4957 0 0 0 12 2 0 0 20 0 18 0 54328276 19384713216 12976 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=18930384 memory=15877 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54328281 19384713216 12976 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=18930384 memory=58494082614266 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54328282 19384713216 12976 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51904 KiB
[startup+0.315709 s]*
/proc/loadavg: 4.22 4.35 4.59 6/323 50586
/proc/meminfo: memFree=118077488/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=18930384 memory=58180 CPUtime=0.39 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 6656 0 0 0 35 4 0 0 20 0 18 0 54328274 19384713216 14545 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4732596 14545 5367 1 0 547684 0
[pid=50568/tid=50570] ppid=50565 vsize=18930384 memory=-6000919485574638698 CPUtime=0.23 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 5130 0 0 0 21 2 0 0 20 0 18 0 54328276 19384713216 14545 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 54328281 19384713216 14545 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 54328282 19384713216 14545 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58180 KiB
[startup+0.700331 s]
/proc/loadavg: 4.22 4.35 4.59 7/323 50586
/proc/meminfo: memFree=118076984/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=18996948 memory=67764 CPUtime=1.08 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 7424 0 0 0 103 5 0 0 20 0 19 0 54328274 19452874752 16941 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4749237 16941 5463 1 0 548429 0
[pid=50568/tid=50570] ppid=50565 vsize=18996948 memory=18048 CPUtime=0.56 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 5506 0 0 0 54 2 0 0 20 0 19 0 54328276 19452874752 16941 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=18996948 memory=10496 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 54328281 19452874752 16941 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=18996948 memory=3200 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 54328282 19452874752 16941 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 67764 KiB
[startup+1.50029 s]
/proc/loadavg: 4.29 4.37 4.59 6/324 50587
/proc/meminfo: memFree=118059592/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=170580 CPUtime=2.66 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 15648 0 0 0 257 9 0 0 20 0 20 0 54328274 19521036288 42645 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 42645 5495 1 0 551407 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=3200 CPUtime=1.35 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 6243 0 0 0 131 4 0 0 20 0 20 0 54328276 19521036288 42645 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 42645 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 42645 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=16296 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 42645 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 2.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 170580 KiB
[startup+3.10573 s]
/proc/loadavg: 4.29 4.37 4.59 6/325 50588
/proc/meminfo: memFree=117901744/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=269076 CPUtime=5.85 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 24236 0 0 0 573 12 0 0 20 0 20 0 54328274 19521036288 67269 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 67269 5495 1 0 732852 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=16296 CPUtime=2.83 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 6667 0 0 0 278 5 0 0 20 0 20 0 54328276 19521036288 67269 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 67269 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 67269 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 67269 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 5.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 269076 KiB
[startup+6.30043 s]
/proc/loadavg: 4.34 4.38 4.59 5/325 50588
/proc/meminfo: memFree=117306644/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=955944 CPUtime=9.88 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 25120 0 0 0 961 27 0 0 20 0 20 0 54328274 19521036288 238986 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 238986 5495 1 0 912501 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=0 CPUtime=5.89 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 6969 0 0 0 572 17 0 0 20 0 20 0 54328276 19521036288 238986 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 238986 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 238986 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=173012 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 238986 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 9.88 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 955944 KiB
[startup+12.7004 s]
/proc/loadavg: 4.32 4.37 4.59 5/325 50588
/proc/meminfo: memFree=116639816/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=1494596 CPUtime=16.39 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 25578 0 0 0 1600 39 0 0 20 0 20 0 54328274 19521036288 373649 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 373649 5495 1 0 912512 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=173012 CPUtime=12.01 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 7360 0 0 0 1174 27 0 0 20 0 20 0 54328276 19521036288 373649 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=1494596 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 373649 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 373649 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 373649 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 16.39 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1494596 KiB
[startup+25.5003 s]
/proc/loadavg: 4.27 4.36 4.58 5/325 50588
/proc/meminfo: memFree=116149304/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=1988280 CPUtime=29.5 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 31732 0 0 0 2900 50 0 0 20 0 20 0 54328274 19521036288 497070 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 497070 5495 1 0 912518 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=0 CPUtime=24.31 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 10087 0 0 0 2396 35 0 0 20 0 20 0 54328276 19521036288 497070 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=16296 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 497070 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=1988280 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 497070 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=1988280 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 497070 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 29.5 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1988280 KiB
[startup+51.1132 s]
/proc/loadavg: 4.29 4.35 4.58 5/326 50589
/proc/meminfo: memFree=115282728/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=2825684 CPUtime=57.17 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 39954 0 0 0 5649 68 0 0 20 0 20 0 54328274 19521036288 706421 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 706421 5495 1 0 1039961 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=2014952 CPUtime=49.32 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 12705 0 0 0 4883 49 0 0 20 0 20 0 54328276 19521036288 706421 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=30340 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 706421 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=2308 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 47 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 706421 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.38 4.39 4.47 5/325 51018
/proc/meminfo: memFree=119686948/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=4318720 CPUtime=3292.04 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 115107 0 0 0 328898 306 0 0 20 0 20 0 54328274 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 1079680 5495 1 0 1167253 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=16296 CPUtime=3261.39 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 51895 0 0 0 326055 84 0 0 20 0 20 0 54328276 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 1166 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=16296 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 3292.04 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4318720 KiB
[startup+3342.3 s]
/proc/loadavg: 4.20 4.33 4.44 5/325 51020
/proc/meminfo: memFree=117438552/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=4318720 CPUtime=3351.95 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 117114 0 0 0 334886 309 0 0 20 0 20 0 54328274 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 1079680 5495 1 0 1167253 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=-6000919485574638698 CPUtime=3321.24 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 53326 0 0 0 332040 84 0 0 20 0 20 0 54328276 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 1167 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 3351.95 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4318720 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.29 4.42 5/325 51023
/proc/meminfo: memFree=116875752/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=4318720 CPUtime=3411.83 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 117156 0 0 0 340871 312 0 0 20 0 20 0 54328274 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 1079680 5495 1 0 1167253 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=4318720 CPUtime=3381.08 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 53339 0 0 0 338023 85 0 0 20 0 20 0 54328276 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 1186 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 1079680 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 3411.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4318720 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.26 4.40 5/325 51025
/proc/meminfo: memFree=116527120/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=4345356 CPUtime=3471.77 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 120122 0 0 0 346859 318 0 0 20 0 20 0 54328274 19521036288 1086339 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 1086339 5495 1 0 1167253 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=4318720 CPUtime=3440.49 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 55470 0 0 0 343963 86 0 0 20 0 20 0 54328276 19521036288 1086339 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 1086339 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=10496 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 1188 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 1086339 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=4318720 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 1086339 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 3471.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4345356 KiB
[startup+3522.3 s]
/proc/loadavg: 4.27 4.28 4.40 5/325 51027
/proc/meminfo: memFree=116117300/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=4382220 CPUtime=3531.77 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 122183 0 0 0 352854 323 0 0 20 0 20 0 54328274 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 1095555 5495 1 0 1167253 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=4382220 CPUtime=3500.01 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 56916 0 0 0 349914 87 0 0 20 0 20 0 54328276 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=4382220 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=16296 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 1202 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=4382220 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 3531.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4382220 KiB
[startup+3582.3 s]
/proc/loadavg: 4.27 4.27 4.38 5/325 51029
/proc/meminfo: memFree=115855396/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=4382220 CPUtime=3591.72 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 122353 0 0 0 358846 326 0 0 20 0 20 0 54328274 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 1095555 5495 1 0 1167253 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=12416 CPUtime=3559.75 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 56926 0 0 0 355888 87 0 0 20 0 20 0 54328276 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=22008 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=4382220 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 1258 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=4382220 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 1095555 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 3591.72 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4382220 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3590.6 s]
/proc/loadavg: 4.25 4.26 4.38 5/325 51029
/proc/meminfo: memFree=115834412/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19063512 memory=4402712 CPUtime=3600 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 122366 0 0 0 359674 326 0 0 20 0 20 0 54328274 19521036288 1100678 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4765878 1100678 5495 1 0 1167253 0
[pid=50568/tid=50570] ppid=50565 vsize=19063512 memory=5504 CPUtime=3568.01 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 56927 0 0 0 356714 87 0 0 20 0 20 0 54328276 19521036288 1100678 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19063512 memory=5276 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 54328281 19521036288 1100678 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 1258 0 0 0 0 0 0 0 20 0 20 0 54328282 19521036288 1100678 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50587] ppid=50565 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/50568/task/50587/stat : 50587 (Timer-0) S 50565 50568 50010 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 54328332 19521036288 1100678 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4402712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3590.77 s]
# the end of solver process 50568 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3597.01 s, system=3.29909 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3590.71 s]
/proc/loadavg: 4.25 4.26 4.38 5/325 51029
/proc/meminfo: memFree=115834412/131382120 swapFree=33010160/33010684
[pid=50568] ppid=50565 vsize=19263204 memory=4403608 CPUtime=3600.21 cores=5,7
/proc/50568/stat : 50568 (java) S 50565 50568 50010 0 -1 4194304 124729 0 0 0 359694 327 0 0 20 0 21 0 54328274 19725520896 1100902 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
/proc/50568/statm: 4815801 1100902 5527 1 0 1168221 0
[pid=50568/tid=50570] ppid=50565 vsize=19263204 memory=5504 CPUtime=3568.11 cores=5,7
/proc/50568/task/50570/stat : 50570 (java) R 50565 50568 50010 0 -1 4194368 56932 0 0 0 356724 87 0 0 20 0 21 0 54328276 19725520896 1100902 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50579] ppid=50565 vsize=19263204 memory=4382220 CPUtime=0 cores=5,7
/proc/50568/task/50579/stat : 50579 (Finalizer) S 50565 50568 50010 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 54328281 19725520896 1100902 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
[pid=50568/tid=50586] ppid=50565 vsize=19263204 memory=0 CPUtime=0 cores=5,7
/proc/50568/task/50586/stat : 50586 (Common-Cleaner) S 50565 50568 50010 0 -1 4194368 1258 0 0 0 0 0 0 0 20 0 21 0 54328282 19725520896 1100902 18446744073709551615 94528309157888 94528309161584 140722863226272 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94528309169400 94528309170192 94528328368128 140722863229310 140722863229414 140722863229414 140722863235016 0
Current children cumulated CPU time: 3600.21 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 4403608 KiB
Child status: 143
Real time (s): 3590.77
CPU time (s): 3600.31
CPU user time (s): 3597.01
CPU system time (s): 3.29909
CPU usage (%): 100.266
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 4403608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.01
system time used= 3.29909
maximum resident set size= 4403992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125648
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141888
involuntary context switches= 23796
# summary of solver processes directly reported to runsolver:
# pid: 50568
# total CPU time (s): 3600.31
# total CPU user time (s): 3597.01
# total CPU system time (s): 3.29909
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.973 second user time and 34.7397 second system time
The end