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 (44240 MiB free)
memory of node 1: 64465 MiB (62542 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4516687-1751241051/watcher-4516687-1751241051 -o /tmp/evaluation-result-4516687-1751241051/solver-4516687-1751241051 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1751237512-31995 --watchdog 3760 --file-size-limit 100000 java -Dveripb=PROOFDIR/proof-4516687-1751241051 -jar sat4j-pb.jar ResolutionPB24 HOME/instance-4516687-1751241051.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 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
Current StackSize limit: 8192 KiB
solver pid=32586, runsolver pid=32583
[startup+0.10006 s]*
/proc/loadavg: 4.32 4.28 4.23 7/346 32604
/proc/meminfo: memFree=109313084/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=18930384 memory=55616 CPUtime=0.12 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 6545 0 0 0 10 2 0 0 20 0 18 0 39782641 19384713216 13904 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4732596 13904 5337 1 0 547604 0
[pid=32586/tid=32588] ppid=32583 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5046 0 0 0 6 1 0 0 20 0 18 0 39782642 19384713216 13904 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=18930384 memory=228522721619 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 39782645 19384713216 13904 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=18930384 memory=56286469452864 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 39782645 19384713216 13904 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55616 KiB
[startup+0.205929 s]*
/proc/loadavg: 4.32 4.28 4.23 7/347 32605
/proc/meminfo: memFree=109212828/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=18996948 memory=150452 CPUtime=0.31 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 7170 0 0 0 27 4 0 0 20 0 19 0 39782641 19452874752 37613 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4749237 37613 5465 1 0 548225 0
[pid=32586/tid=32588] ppid=32583 vsize=18996948 memory=4026597660 CPUtime=0.16 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5315 0 0 0 13 3 0 0 20 0 19 0 39782642 19452874752 37613 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=18996948 memory=2621 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39782645 19452874752 37613 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=18996948 memory=55186957796323 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39782645 19452874752 37613 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 150452 KiB
[startup+0.305906 s]*
/proc/loadavg: 4.32 4.28 4.23 6/347 32605
/proc/meminfo: memFree=109126628/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=18996948 memory=216532 CPUtime=0.5 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 8756 0 0 0 44 6 0 0 20 0 19 0 39782641 19452874752 54133 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4749237 54133 5465 1 0 549305 0
[pid=32586/tid=32588] ppid=32583 vsize=18996948 memory=-6000919494131018348 CPUtime=0.25 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5345 0 0 0 21 4 0 0 20 0 19 0 39782642 19452874752 54133 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 39782645 19452874752 54133 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 39782645 19452874752 54133 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 216532 KiB
[startup+0.700223 s]
/proc/loadavg: 4.32 4.28 4.23 6/348 32606
/proc/meminfo: memFree=108914712/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=418832 CPUtime=1.26 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 10809 0 0 0 116 10 0 0 20 0 20 0 39782641 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 104708 5465 1 0 550754 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=17408 CPUtime=0.55 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5525 0 0 0 47 8 0 0 20 0 20 0 39782642 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 104708 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 418832 KiB
[startup+1.50023 s]
/proc/loadavg: 4.32 4.28 4.23 6/348 32606
/proc/meminfo: memFree=108901104/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=429128 CPUtime=2.85 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 14756 0 0 0 273 12 0 0 20 0 20 0 39782641 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 107282 5497 1 0 553177 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=0 CPUtime=1.33 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 5580 0 0 0 124 9 0 0 20 0 20 0 39782642 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=4764 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 107282 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 429128 KiB
[startup+3.10583 s]
/proc/loadavg: 4.32 4.28 4.23 5/348 32607
/proc/meminfo: memFree=108496920/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=809016 CPUtime=5.48 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 18316 0 0 0 526 22 0 0 20 0 20 0 39782641 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 202254 5497 1 0 553232 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=10752 CPUtime=2.91 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 6180 0 0 0 273 18 0 0 20 0 20 0 39782642 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=-6000919494131018348 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 202254 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 5.48 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 809016 KiB
[startup+6.30023 s]
/proc/loadavg: 4.30 4.28 4.23 5/348 32607
/proc/meminfo: memFree=107636072/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=1666820 CPUtime=9.15 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 23827 0 0 0 873 42 0 0 20 0 20 0 39782641 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 416705 5529 1 0 801794 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=0 CPUtime=6.09 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 7268 0 0 0 572 37 0 0 20 0 20 0 39782642 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=445596 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 416705 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 9.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1666820 KiB
[startup+12.7002 s]
/proc/loadavg: 4.27 4.27 4.23 5/348 32607
/proc/meminfo: memFree=107179136/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=1939080 CPUtime=15.67 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 24960 0 0 0 1515 52 0 0 20 0 20 0 39782641 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 484770 5529 1 0 801828 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=445596 CPUtime=12.37 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) S 32583 32586 31982 0 -1 4194368 7835 0 0 0 1191 46 0 0 20 0 20 0 39782642 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=1910264 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 484770 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 15.67 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1939080 KiB
[startup+25.5002 s]
/proc/loadavg: 4.28 4.28 4.23 5/348 32607
/proc/meminfo: memFree=106857132/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=2015176 CPUtime=28.69 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 30194 0 0 0 2804 65 0 0 20 0 20 0 39782641 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 503794 5529 1 0 801854 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=-6000919494131018348 CPUtime=24.94 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 9171 0 0 0 2438 56 0 0 20 0 20 0 39782642 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3200 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 52 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 503794 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2015176 KiB
[startup+51.1059 s]
/proc/loadavg: 4.18 4.25 4.22 5/349 32675
/proc/meminfo: memFree=121767572/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=2113564 CPUtime=54.34 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 34063 0 0 0 5351 83 0 0 20 0 20 0 39782641 19521036288 528391 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 528391 5529 1 0 801854 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=1920 CPUtime=49.9 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 11792 0 0 0 4919 71 0 0 20 0 20 0 39782642 19521036288 528391 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=2080792 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 528391 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=1943176 CPUtime=0 cores=5,7
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.14 4.19 4.18 5/346 32863
/proc/meminfo: memFree=56396520/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3286.17 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 129264 0 0 0 326870 1747 0 0 20 0 20 0 39782641 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791230 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=14848 CPUtime=3221.11 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 62036 0 0 0 320472 1639 0 0 20 0 20 0 39782642 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1647 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3286.17 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3164920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.18 6/346 32865
/proc/meminfo: memFree=55273500/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3346.41 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 133393 0 0 0 332866 1775 0 0 20 0 20 0 39782641 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791230 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3279.99 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 63830 0 0 0 326333 1666 0 0 20 0 20 0 39782642 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1703 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791230 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3346.41 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3164920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.18 4.18 6/347 32868
/proc/meminfo: memFree=54230436/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3406.38 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 135165 0 0 0 338837 1801 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3338.99 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 64627 0 0 0 332208 1691 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3164920 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1794 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3406.38 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB
[startup+3462.3 s]
/proc/loadavg: 4.20 4.19 4.18 5/348 32872
/proc/meminfo: memFree=53171288/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3466.57 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 135602 0 0 0 344824 1833 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=3164920 CPUtime=3397.68 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 64911 0 0 0 338047 1721 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1794 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3466.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.17 4.17 5/348 32876
/proc/meminfo: memFree=52110000/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3526.62 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 137920 0 0 0 350805 1857 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804444 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3456.63 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 66435 0 0 0 343919 1744 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=-6000919494131018348 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1794 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3526.62 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB
[startup+3582.3 s]
/proc/loadavg: 3.08 3.88 4.08 3/298 32945
/proc/meminfo: memFree=87823368/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3586.83 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 142130 0 0 0 356798 1885 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804455 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=14848 CPUtime=3515.38 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 68288 0 0 0 349768 1770 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=4352 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=17408 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1846 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=-4421386517655415140 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3586.83 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3595.6 s]
/proc/loadavg: 2.92 3.81 4.05 3/298 32946
/proc/meminfo: memFree=87692312/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19063512 memory=3165048 CPUtime=3600.08 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 142144 0 0 0 358117 1891 0 0 20 0 20 0 39782641 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4765878 791262 5529 1 0 804455 0
[pid=32586/tid=32588] ppid=32583 vsize=19063512 memory=17408 CPUtime=3528.48 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) R 32583 32586 31982 0 -1 4194368 68300 0 0 0 351071 1777 0 0 20 0 20 0 39782642 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1846 0 0 0 0 0 0 0 20 0 20 0 39782645 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32606] ppid=32583 vsize=19063512 memory=4252 CPUtime=0 cores=5,7
/proc/32586/task/32606/stat : 32606 (Timer-0) S 32583 32586 31982 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 39782683 19521036288 791262 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3165048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3595.77 s]
# the end of solver process 32586 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3581.31 s, system=18.9537 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3595.7 s]
/proc/loadavg: 2.92 3.81 4.05 3/298 32946
/proc/meminfo: memFree=87692312/131249996 swapFree=33010684/33010684
[pid=32586] ppid=32583 vsize=19263204 memory=3165816 CPUtime=3600.23 cores=5,7
/proc/32586/stat : 32586 (java) S 32583 32586 31982 0 -1 4194304 143714 0 0 0 358130 1893 0 0 20 0 16 0 39782641 19725520896 791454 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
/proc/32586/statm: 4815801 791454 5529 1 0 805396 0
[pid=32586/tid=32588] ppid=32583 vsize=19263204 memory=14848 CPUtime=3528.5 cores=5,7
/proc/32586/task/32588/stat : 32588 (java) D 32583 32586 31982 0 -1 4194368 68495 0 0 0 351072 1778 0 0 20 0 16 0 39782642 19725520896 791454 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32597] ppid=32583 vsize=19263204 memory=3165048 CPUtime=0 cores=5,7
/proc/32586/task/32597/stat : 32597 (Finalizer) S 32583 32586 31982 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 16 0 39782645 19725520896 791454 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
[pid=32586/tid=32604] ppid=32583 vsize=19263204 memory=-6000919494131018348 CPUtime=0 cores=5,7
/proc/32586/task/32604/stat : 32604 (Common-Cleaner) S 32583 32586 31982 0 -1 4194368 1846 0 0 0 0 0 0 0 20 0 16 0 39782645 19725520896 791454 18446744073709551615 93963419000832 93963419004528 140732551497744 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 93963419012344 93963419013136 93963441995776 140732551506224 140732551506406 140732551506406 140732551512008 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 3165816 KiB
Child status: 143
Real time (s): 3595.77
CPU time (s): 3600.26
CPU user time (s): 3581.31
CPU system time (s): 18.9537
CPU usage (%): 100.125
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 3165816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.31
system time used= 18.9537
maximum resident set size= 3165944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143742
page faults= 0
swaps= 0
block input operations= 0
block output operations= 37795584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 128668
involuntary context switches= 14048
# summary of solver processes directly reported to runsolver:
# pid: 32586
# total CPU time (s): 3600.26
# total CPU user time (s): 3581.31
# total CPU system time (s): 18.9537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49593 second user time and 17.686 second system time
The end