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: 63794 MiB (62699 MiB free)
memory of node 1: 64507 MiB (63017 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4521270-1751584695/watcher-4521270-1751584695 -o /tmp/evaluation-result-4521270-1751584695/solver-4521270-1751584695 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751584695-83036 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4521270-1751584695.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83110, runsolver pid=83091
[startup+0.100076 s]*
/proc/loadavg: 2.36 3.79 4.05 11/319 83161
/proc/meminfo: memFree=128695940/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=18930384 memory=47220 CPUtime=0.1 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 5664 0 0 0 6 4 0 0 20 0 18 0 74148415 19384713216 11805 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4732596 11805 5131 1 0 546884 0
[pid=83110/tid=83122] ppid=83091 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 4592 0 0 0 4 3 0 0 20 0 18 0 74148417 19384713216 11805 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=18930384 memory=228522721619 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148422 19384713216 11805 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=18930384 memory=61792617516369 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74148423 19384713216 11837 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 47220 KiB
[startup+0.214167 s]*
/proc/loadavg: 2.36 3.79 4.05 6/319 83161
/proc/meminfo: memFree=128675628/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=18930384 memory=51812 CPUtime=0.26 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 6116 0 0 0 22 4 0 0 20 0 18 0 74148415 19384713216 12953 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4732596 12953 5355 1 0 547231 0
[pid=83110/tid=83122] ppid=83091 vsize=18930384 memory=4026794268 CPUtime=0.16 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 4956 0 0 0 13 3 0 0 20 0 18 0 74148417 19384713216 12953 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=18930384 memory=1593 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148422 19384713216 12953 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=18930384 memory=60693105869820 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74148423 19384713216 12953 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 51812 KiB
[startup+0.314057 s]*
/proc/loadavg: 2.36 3.79 4.05 11/319 83161
/proc/meminfo: memFree=128665928/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=18930384 memory=58320 CPUtime=0.42 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 6652 0 0 0 37 5 0 0 20 0 18 0 74148415 19384713216 14580 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4732596 14580 5387 1 0 547691 0
[pid=83110/tid=83122] ppid=83091 vsize=18930384 memory=-6000919502704503143 CPUtime=0.25 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 5130 0 0 0 22 3 0 0 20 0 18 0 74148417 19384713216 14580 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148422 19384713216 14580 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=18930384 memory=0 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74148423 19384713216 14580 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 58320 KiB
[startup+0.700358 s]
/proc/loadavg: 2.36 3.79 4.05 12/319 83161
/proc/meminfo: memFree=128629884/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=18930384 memory=96736 CPUtime=1.11 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 8460 0 0 0 103 8 0 0 20 0 18 0 74148415 19384713216 24184 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4732596 24184 5451 1 0 548869 0
[pid=83110/tid=83122] ppid=83091 vsize=18930384 memory=18688 CPUtime=0.56 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 5278 0 0 0 51 5 0 0 20 0 18 0 74148417 19384713216 24184 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=18930384 memory=11264 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 74148422 19384713216 24184 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=18930384 memory=3200 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 74148423 19384713216 24184 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 96736 KiB
[startup+1.50029 s]
/proc/loadavg: 2.36 3.79 4.05 9/323 83165
/proc/meminfo: memFree=128481944/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=177860 CPUtime=2.69 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 17565 0 0 0 255 14 0 0 20 0 20 0 74148415 19521036288 44465 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 44465 5483 1 0 551993 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=3200 CPUtime=1.24 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 7453 0 0 0 117 7 0 0 20 0 20 0 74148417 19521036288 44465 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 44465 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 44465 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 177860 KiB
[startup+3.1055 s]
/proc/loadavg: 2.36 3.79 4.05 5/325 83167
/proc/meminfo: memFree=128134564/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=179396 CPUtime=5.34 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 18691 0 0 0 520 14 0 0 20 0 20 0 74148415 19521036288 44849 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 44849 5515 1 0 552206 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=11264 CPUtime=2.82 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 7739 0 0 0 275 7 0 0 20 0 20 0 74148417 19521036288 44849 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 44849 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=5632 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 27 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 44849 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=5276 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 44849 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 5.34 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 179396 KiB
[startup+6.30046 s]
/proc/loadavg: 2.65 3.82 4.07 5/325 83167
/proc/meminfo: memFree=127747524/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=209760 CPUtime=9.15 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 19642 0 0 0 900 15 0 0 20 0 20 0 74148415 19521036288 52440 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 52440 5515 1 0 552232 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=0 CPUtime=5.86 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 8032 0 0 0 579 7 0 0 20 0 20 0 74148417 19521036288 52440 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=-6000919502704503143 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 52440 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=11264 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 52440 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 52440 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 9.15 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 209760 KiB
[startup+12.7005 s]
/proc/loadavg: 2.76 3.83 4.06 6/325 83167
/proc/meminfo: memFree=126833404/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=287684 CPUtime=15.65 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 22594 0 0 0 1547 18 0 0 20 0 20 0 74148415 19521036288 71921 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 71921 5515 1 0 552232 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=287684 CPUtime=12.05 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 9020 0 0 0 1198 7 0 0 20 0 20 0 74148417 19521036288 71921 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=287684 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 71921 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 71921 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 71921 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 15.65 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 287684 KiB
[startup+25.5005 s]
/proc/loadavg: 3.03 3.84 4.06 6/326 83168
/proc/meminfo: memFree=124471600/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=429392 CPUtime=28.85 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 27576 0 0 0 2863 22 0 0 20 0 20 0 74148415 19521036288 107348 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 107348 5515 1 0 552232 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=18688 CPUtime=24.63 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 10269 0 0 0 2456 7 0 0 20 0 20 0 74148417 19521036288 107348 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=429392 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 107348 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=-6000919502704503143 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 107348 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=429392 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 107348 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 28.85 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 429392 KiB
[startup+51.1134 s]
/proc/loadavg: 3.49 3.88 4.07 6/327 83234
/proc/meminfo: memFree=117392344/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=638492 CPUtime=54.85 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 28554 0 0 0 5453 32 0 0 20 0 20 0 74148415 19521036288 159623 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 159623 5515 1 0 552232 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=492968 CPUtime=49.84 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 10314 0 0 0 4974 10 0 0 20 0 20 0 74148417 19521036288 159623 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=-6000919502838589799 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 159623 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=359708 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 29 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 159623 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=0 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 159623 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
################
# More data... #
################
/proc/meminfo: memFree=100848188/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=4695428 CPUtime=3240.49 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 137359 0 0 0 323724 325 0 0 20 0 20 0 74148415 19521036288 1173857 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 1173857 5547 1 0 1485678 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=4532816 CPUtime=3198.07 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 72470 0 0 0 319767 40 0 0 20 0 20 0 74148417 19521036288 1173857 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=4532816 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 1173857 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 1865 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 1173857 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 1173857 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 3240.49 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4695428 KiB
[startup+3282.3 s]
/proc/loadavg: 4.73 4.75 4.76 6/326 83526
/proc/meminfo: memFree=100595080/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=4861400 CPUtime=3300.57 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 138797 0 0 0 329725 332 0 0 20 0 20 0 74148415 19521036288 1215350 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 1215350 5547 1 0 1485678 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=4861400 CPUtime=3257.68 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 73235 0 0 0 325728 40 0 0 20 0 20 0 74148417 19521036288 1215350 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=4861400 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 1215350 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 1878 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 1215350 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=-6000919502704503143 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 1215350 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 3300.57 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 4861400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.77 4.76 4.76 6/326 83528
/proc/meminfo: memFree=98956756/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=5000664 CPUtime=3360.63 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 139951 0 0 0 335725 338 0 0 20 0 20 0 74148415 19521036288 1250166 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 1250166 5547 1 0 1485678 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=11264 CPUtime=3317.33 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 74310 0 0 0 331693 40 0 0 20 0 20 0 74148417 19521036288 1250166 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=18688 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 1250166 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=5000664 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 1878 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 1250166 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=5000664 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 1250166 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 3360.63 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5000664 KiB
[startup+3402.3 s]
/proc/loadavg: 4.74 4.74 4.75 6/326 83530
/proc/meminfo: memFree=98227076/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=5240296 CPUtime=3420.79 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 142589 0 0 0 341732 347 0 0 20 0 20 0 74148415 19521036288 1310074 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 1310074 5547 1 0 1485678 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=11264 CPUtime=3376.88 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 76139 0 0 0 337647 41 0 0 20 0 20 0 74148417 19521036288 1310074 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=5000664 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 1310074 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=5240296 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 1886 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 1310074 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=5240296 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 1310074 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 3420.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5240296 KiB
[startup+3462.3 s]
/proc/loadavg: 4.73 4.74 4.75 5/326 83535
/proc/meminfo: memFree=98021140/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=5447148 CPUtime=3480.96 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 143404 0 0 0 347742 354 0 0 20 0 20 0 74148415 19521036288 1361787 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 1361787 5547 1 0 1485678 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=11264 CPUtime=3436.48 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 76775 0 0 0 343607 41 0 0 20 0 20 0 74148417 19521036288 1361787 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=5000664 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 1361787 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=5447148 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 1913 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 1361787 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=14720 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 1361787 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 3480.96 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5447148 KiB
[startup+3522.3 s]
/proc/loadavg: 4.55 4.70 4.73 6/326 83537
/proc/meminfo: memFree=96284144/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=5755700 CPUtime=3542.55 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 155000 0 0 0 353891 364 0 0 20 0 20 0 74148415 19521036288 1438925 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 1438925 5547 1 0 2049790 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=5649172 CPUtime=3496.11 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 84627 0 0 0 349567 44 0 0 20 0 20 0 74148417 19521036288 1438925 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=5671708 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 1438925 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=5751604 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 1914 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 1438925 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=5679900 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 1438925 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 3542.55 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5755700 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3579.3 s]
/proc/loadavg: 4.83 4.75 4.75 6/326 83539
/proc/meminfo: memFree=95000108/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=5837376 CPUtime=3600.02 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 158305 0 0 0 359632 370 0 0 20 0 20 0 74148415 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 1459344 5547 1 0 2050280 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=5447148 CPUtime=3552.96 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 86340 0 0 0 355250 46 0 0 20 0 20 0 74148417 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=5833280 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 1996 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=5831232 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5837376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3579.41 s]
# the end of solver process 83110 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.44 s, system=3.74721 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3579.3 s]
/proc/loadavg: 4.83 4.75 4.75 6/326 83539
/proc/meminfo: memFree=95000108/131382112 swapFree=33009904/33010684
[pid=83110] ppid=83091 vsize=19063512 memory=5837376 CPUtime=3600.02 cores=1,3
/proc/83110/stat : 83110 (java) S 83091 83110 83023 0 -1 4194304 158305 0 0 0 359632 370 0 0 20 0 20 0 74148415 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
/proc/83110/statm: 4765878 1459344 5547 1 0 2050280 0
[pid=83110/tid=83122] ppid=83091 vsize=19063512 memory=5447148 CPUtime=3552.96 cores=1,3
/proc/83110/task/83122/stat : 83122 (java) R 83091 83110 83023 0 -1 4194368 86340 0 0 0 355250 46 0 0 20 0 20 0 74148417 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83154] ppid=83091 vsize=19063512 memory=3200 CPUtime=0 cores=1,3
/proc/83110/task/83154/stat : 83154 (Finalizer) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148422 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83161] ppid=83091 vsize=19063512 memory=5833280 CPUtime=0 cores=1,3
/proc/83110/task/83161/stat : 83161 (Common-Cleaner) S 83091 83110 83023 0 -1 4194368 1996 0 0 0 0 0 0 0 20 0 20 0 74148423 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 3 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
[pid=83110/tid=83166] ppid=83091 vsize=19063512 memory=5831232 CPUtime=0 cores=1,3
/proc/83110/task/83166/stat : 83166 (Timer-0) S 83091 83110 83023 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 74148543 19521036288 1459344 18446744073709551615 94342627299328 94342627303024 140727497562800 0 0 0 4 0 16800975 1 0 0 -1 1 0 0 0 0 0 94342627310840 94342627311632 94342627319808 140727497566593 140727497566694 140727497566694 140727497572296 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 5837376 KiB
Child status: 143
Real time (s): 3579.41
CPU time (s): 3600.19
CPU user time (s): 3596.44
CPU system time (s): 3.74721
CPU usage (%): 100.58
Max. virtual memory (cumulated for all children) (KiB): 19063512
Max. memory (cumulated for all children) (KiB): 5837376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.44
system time used= 3.74721
maximum resident set size= 5846564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160162
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 110416
involuntary context switches= 5644
# summary of solver processes directly reported to runsolver:
# pid: 83110
# total CPU time (s): 3600.19
# total CPU user time (s): 3596.44
# total CPU system time (s): 3.74721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.5893 second user time and 36.0421 second system time
The end