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 (57849 MiB free)
memory of node 1: 64465 MiB (54609 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525650-1751625865/watcher-4525650-1751625865 -o /tmp/evaluation-result-4525650-1751625865/solver-4525650-1751625865 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751619215-91090 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanes HOME/instance-4525650-1751625865.wbo
running on 2 cores: 4,6
CPU governors:
performance: 4 6
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
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=92208, runsolver pid=92205
[startup+0.100069 s]*
/proc/loadavg: 4.09 4.13 4.16 6/325 92226
/proc/meminfo: memFree=115133160/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=18930384 memory=50364 CPUtime=0.12 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 5766 0 0 0 8 4 0 0 20 0 18 0 78265248 19384713216 12591 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4732596 12591 5342 1 0 546995 0
[pid=92208/tid=92210] ppid=92205 vsize=18930384 memory=4026531960 CPUtime=0.06 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 4637 0 0 0 4 2 0 0 20 0 18 0 78265250 19384713216 12591 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=18930384 memory=228522721619 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78265255 19384713216 12591 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=18930384 memory=59593594259917 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78265256 19384713216 12591 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 50364 KiB
[startup+0.2185 s]*
/proc/loadavg: 4.09 4.13 4.16 8/325 92226
/proc/meminfo: memFree=115127048/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=18930384 memory=57180 CPUtime=0.28 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 6408 0 0 0 24 4 0 0 20 0 18 0 78265248 19384713216 14295 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4732596 14295 5342 1 0 547572 0
[pid=92208/tid=92210] ppid=92205 vsize=18930384 memory=4026794268 CPUtime=0.18 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 5004 0 0 0 15 3 0 0 20 0 18 0 78265250 19384713216 14295 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=18930384 memory=16878 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78265255 19384713216 14295 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=18930384 memory=58494082614266 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78265256 19384713216 14295 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 57180 KiB
[startup+0.311106 s]*
/proc/loadavg: 4.09 4.13 4.16 6/325 92226
/proc/meminfo: memFree=115123244/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=18930384 memory=60452 CPUtime=0.43 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 6683 0 0 0 38 5 0 0 20 0 18 0 78265248 19384713216 15113 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4732596 15113 5406 1 0 547779 0
[pid=92208/tid=92210] ppid=92205 vsize=18930384 memory=-6000919485675498086 CPUtime=0.26 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 5218 0 0 0 23 3 0 0 20 0 18 0 78265250 19384713216 15113 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78265255 19384713216 15113 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=18930384 memory=0 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78265256 19384713216 15113 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 60452 KiB
[startup+0.700324 s]
/proc/loadavg: 4.09 4.13 4.16 7/325 92226
/proc/meminfo: memFree=115109204/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=18930384 memory=114776 CPUtime=1.15 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 8387 0 0 0 108 7 0 0 20 0 18 0 78265248 19384713216 28694 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4732596 28694 5438 1 0 548983 0
[pid=92208/tid=92210] ppid=92205 vsize=18930384 memory=18688 CPUtime=0.64 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 5389 0 0 0 60 4 0 0 20 0 18 0 78265250 19384713216 28694 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=18930384 memory=11136 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 78265255 19384713216 28694 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=18930384 memory=3200 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 78265256 19384713216 28694 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 114776 KiB
[startup+1.50026 s]
/proc/loadavg: 4.09 4.13 4.16 6/326 92227
/proc/meminfo: memFree=115011468/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=18996948 memory=241848 CPUtime=2.64 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 14257 0 0 0 253 11 0 0 20 0 19 0 78265248 19452874752 60462 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4749237 60462 5470 1 0 552835 0
[pid=92208/tid=92210] ppid=92205 vsize=18996948 memory=3200 CPUtime=1.23 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 5525 0 0 0 118 5 0 0 20 0 19 0 78265250 19452874752 60462 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78265255 19452874752 60462 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=18996948 memory=11136 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78265256 19452874752 60462 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 2.64 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 241848 KiB
[startup+3.10552 s]
/proc/loadavg: 4.09 4.13 4.16 5/326 92227
/proc/meminfo: memFree=114139720/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=18996948 memory=1155196 CPUtime=4.76 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 16730 0 0 0 447 29 0 0 20 0 19 0 78265248 19452874752 288799 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4749237 288799 5470 1 0 2336759 0
[pid=92208/tid=92210] ppid=92205 vsize=18996948 memory=11136 CPUtime=2.4 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 5858 0 0 0 222 18 0 0 20 0 19 0 78265250 19452874752 288799 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=18996948 memory=0 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 78265255 19452874752 288799 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=18996948 memory=5632 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 78265256 19452874752 288799 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 4.76 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1155196 KiB
[startup+6.30026 s]
/proc/loadavg: 4.16 4.15 4.17 6/327 92228
/proc/meminfo: memFree=112925036/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19063512 memory=2258712 CPUtime=9.89 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 18185 0 0 0 938 51 0 0 20 0 20 0 78265248 19521036288 564678 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4765878 564678 5502 1 0 2337668 0
[pid=92208/tid=92210] ppid=92205 vsize=19063512 memory=5632 CPUtime=5.04 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 6590 0 0 0 471 33 0 0 20 0 20 0 78265250 19521036288 564678 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78265255 19521036288 564678 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19063512 memory=-6000919485675498086 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78265256 19521036288 564678 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19063512 memory=11136 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78265729 19521036288 564678 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 9.89 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2258712 KiB
[startup+12.7005 s]
/proc/loadavg: 4.15 4.14 4.17 5/327 92228
/proc/meminfo: memFree=112340676/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19063512 memory=2840544 CPUtime=16.7 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 19608 0 0 0 1605 65 0 0 20 0 20 0 78265248 19521036288 710136 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4765878 710136 5502 1 0 2776329 0
[pid=92208/tid=92210] ppid=92205 vsize=19063512 memory=11136 CPUtime=11.41 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 6931 0 0 0 1095 46 0 0 20 0 20 0 78265250 19521036288 710136 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19063512 memory=2840544 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78265255 19521036288 710136 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19063512 memory=16596 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78265256 19521036288 710136 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19063512 memory=0 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78265729 19521036288 710136 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 16.7 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2840544 KiB
[startup+25.5004 s]
/proc/loadavg: 4.12 4.14 4.16 6/327 92228
/proc/meminfo: memFree=112115404/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19063512 memory=3066232 CPUtime=30.77 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 25805 0 0 0 3004 73 0 0 20 0 20 0 78265248 19521036288 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4765878 766558 5502 1 0 2776384 0
[pid=92208/tid=92210] ppid=92205 vsize=19063512 memory=2840544 CPUtime=23.71 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 8324 0 0 0 2322 49 0 0 20 0 20 0 78265250 19521036288 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19063512 memory=16596 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 78265255 19521036288 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19063512 memory=3033320 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 78265256 19521036288 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19063512 memory=-6000919485675498086 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 78265729 19521036288 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 30.77 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 3066232 KiB
[startup+51.1105 s]
/proc/loadavg: 4.13 4.14 4.17 5/328 92229
/proc/meminfo: memFree=112115404/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19130076 memory=3066232 CPUtime=57.81 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 32681 0 0 0 5705 76 0 0 20 0 21 0 78265248 19589197824 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4782519 766558 5502 1 0 2776673 0
[pid=92208/tid=92210] ppid=92205 vsize=19130076 memory=3066232 CPUtime=48.29 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 9966 0 0 0 4780 49 0 0 20 0 21 0 78265250 19589197824 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19130076 memory=3066232 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78265255 19589197824 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19130076 memory=3066232 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 21 0 78265256 19589197824 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19130076 memory=3066232 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78265729 19589197824 766558 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 57.81 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3066232 KiB
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/328 92591
/proc/meminfo: memFree=116960780/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3284.74 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 49282 0 0 0 328149 325 0 0 20 0 21 0 78265248 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4782519 766622 5502 1 0 2776705 0
[pid=92208/tid=92210] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3269.72 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 14209 0 0 0 326922 50 0 0 20 0 21 0 78265250 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78265255 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 2505 0 0 0 0 0 0 0 20 0 21 0 78265256 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19130076 memory=17180 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78265729 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 3284.74 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3066488 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.10 4.14 5/328 92593
/proc/meminfo: memFree=116914172/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3344.65 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 49324 0 0 0 334135 330 0 0 20 0 21 0 78265248 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4782519 766622 5502 1 0 2776705 0
[pid=92208/tid=92210] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3329.55 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 14244 0 0 0 332905 50 0 0 20 0 21 0 78265250 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78265255 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19130076 memory=16596 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 2507 0 0 0 0 0 0 0 20 0 21 0 78265256 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78265729 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 3344.65 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3066488 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.14 5/328 92595
/proc/meminfo: memFree=116842628/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3404.5 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 49588 0 0 0 340115 335 0 0 20 0 21 0 78265248 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4782519 766622 5502 1 0 2776705 0
[pid=92208/tid=92210] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3389.33 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 14283 0 0 0 338883 50 0 0 20 0 21 0 78265250 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78265255 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19130076 memory=18688 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 2626 0 0 0 0 0 0 0 20 0 21 0 78265256 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78265729 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 3404.5 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3066488 KiB
[startup+3462.3 s]
/proc/loadavg: 4.04 4.09 4.13 5/328 92597
/proc/meminfo: memFree=116704144/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3464.36 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 49614 0 0 0 346096 340 0 0 20 0 21 0 78265248 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4782519 766622 5502 1 0 2776705 0
[pid=92208/tid=92210] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3449.1 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 14301 0 0 0 344860 50 0 0 20 0 21 0 78265250 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19130076 memory=5632 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78265255 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 2626 0 0 0 0 0 0 0 20 0 21 0 78265256 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19130076 memory=16596 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78265729 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 3464.36 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3066488 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.13 6/328 92599
/proc/meminfo: memFree=116497280/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3524.23 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 49724 0 0 0 352079 344 0 0 20 0 21 0 78265248 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4782519 766622 5502 1 0 2776705 0
[pid=92208/tid=92210] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3508.89 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 14346 0 0 0 350839 50 0 0 20 0 21 0 78265250 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78265255 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19130076 memory=18688 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 2633 0 0 0 0 0 0 0 20 0 21 0 78265256 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78265729 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 3524.23 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3066488 KiB
[startup+3582.3 s]
/proc/loadavg: 4.15 4.11 4.13 5/328 92603
/proc/meminfo: memFree=116434368/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3584.09 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 49786 0 0 0 358059 350 0 0 20 0 21 0 78265248 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4782519 766622 5502 1 0 2776705 0
[pid=92208/tid=92210] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3568.67 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 14347 0 0 0 356817 50 0 0 20 0 21 0 78265250 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78265255 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19130076 memory=18688 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 2680 0 0 0 0 0 0 0 20 0 21 0 78265256 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19130076 memory=16596 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78265729 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 3584.09 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3066488 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3598.3 s]
/proc/loadavg: 4.11 4.10 4.13 5/327 92603
/proc/meminfo: memFree=116426680/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19130076 memory=3066488 CPUtime=3600.07 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 49803 0 0 0 359656 351 0 0 20 0 21 0 78265248 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4782519 766622 5502 1 0 2776705 0
[pid=92208/tid=92210] ppid=92205 vsize=19130076 memory=4764 CPUtime=3584.63 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 14364 0 0 0 358413 50 0 0 20 0 21 0 78265250 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19130076 memory=3066488 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 21 0 78265255 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19130076 memory=16596 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 2680 0 0 0 0 0 0 0 20 0 21 0 78265256 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92228] ppid=92205 vsize=19130076 memory=18688 CPUtime=0 cores=4,6
/proc/92208/task/92228/stat : 92228 (Timer-0) S 92205 92208 91079 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 21 0 78265729 19589197824 766622 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 19130076 KiB
Current children cumulated memory: 3066488 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3598.46 s]
# the end of solver process 92208 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3596.83 s, system=3.53484 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3598.4 s]
/proc/loadavg: 4.11 4.10 4.13 5/327 92603
/proc/meminfo: memFree=116426680/131382120 swapFree=33010416/33010684
[pid=92208] ppid=92205 vsize=19329768 memory=3067384 CPUtime=3600.26 cores=4,6
/proc/92208/stat : 92208 (java) S 92205 92208 91079 0 -1 4194304 52060 0 0 0 359675 351 0 0 20 0 22 0 78265248 19793682432 766846 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 0 0 16800975 0 0 0 17 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
/proc/92208/statm: 4832442 766846 5534 1 0 2777624 0
[pid=92208/tid=92210] ppid=92205 vsize=19329768 memory=-6000919485675498086 CPUtime=3584.73 cores=4,6
/proc/92208/task/92210/stat : 92210 (java) R 92205 92208 91079 0 -1 4194368 14364 0 0 0 358423 50 0 0 20 0 22 0 78265250 19793682432 766846 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92219] ppid=92205 vsize=19329768 memory=11136 CPUtime=0 cores=4,6
/proc/92208/task/92219/stat : 92219 (Finalizer) S 92205 92208 91079 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 22 0 78265255 19793682432 766846 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
[pid=92208/tid=92226] ppid=92205 vsize=19329768 memory=5632 CPUtime=0 cores=4,6
/proc/92208/task/92226/stat : 92226 (Common-Cleaner) S 92205 92208 91079 0 -1 4194368 2680 0 0 0 0 0 0 0 20 0 22 0 78265256 19793682432 766846 18446744073709551615 94862911414272 94862911417968 140730406559808 0 0 0 4 0 16800975 1 0 0 -1 6 0 0 0 0 0 94862911425784 94862911426576 94862918840320 140730406562172 140730406562276 140730406562276 140730406567880 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 19329768 KiB
Current children cumulated memory: 3067384 KiB
Child status: 143
Real time (s): 3598.46
CPU time (s): 3600.36
CPU user time (s): 3596.83
CPU system time (s): 3.53484
CPU usage (%): 100.053
Max. virtual memory (cumulated for all children) (KiB): 19329768
Max. memory (cumulated for all children) (KiB): 3067384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.83
system time used= 3.53484
maximum resident set size= 3067640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127452
involuntary context switches= 3318
# summary of solver processes directly reported to runsolver:
# pid: 92208
# total CPU time (s): 3600.36
# total CPU user time (s): 3596.83
# total CPU system time (s): 3.53484
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6207 second user time and 41.8855 second system time
The end