runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3293566-1304130904/watcher-3293566-1304130904 -o /tmp/evaluation-result-3293566-1304130904/solver-3293566-1304130904 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3293566-1304130904.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.02 7.89 7.93 6/180 9934
/proc/meminfo: memFree=30609180/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 524689027 52441088 347 33554432000 4194304 4627427 140735616133872 18446744073709551615 47656483379126 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 12803 347 299 106 0 7774 0
[pid=9934/tid=9935] ppid=9932 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524689027 52441088 347 33554432000 4194304 4627427 140735616133872 18446744073709551615 47656483379120 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524689027 52441088 347 33554432000 4194304 4627427 140735616133872 18446744073709551615 210216444982 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524689027 52441088 347 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.09199 s]
/proc/loadavg: 8.02 7.89 7.93 6/180 9934
/proc/meminfo: memFree=30609180/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=366068 CPUtime=0.3 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 13109 0 0 0 23 7 0 0 18 0 4 0 524689027 374853632 11030 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204647227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 91783 11386 339 106 0 86754 0
[pid=9934/tid=9935] ppid=9932 vsize=367132 CPUtime=0.06 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) S 9932 9934 8981 0 -1 4202560 3032 0 0 0 5 1 0 0 18 0 4 0 524689027 375943168 11401 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752366 0 0 4096 2 18446604449478699904 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=367132 CPUtime=0.06 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) S 9932 9934 8981 0 -1 4202560 3813 0 0 0 5 1 0 0 18 0 4 0 524689027 375943168 11406 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752366 0 0 4096 2 18446604449478699904 0 0 -1 6 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=367132 CPUtime=0.07 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) S 9932 9934 8981 0 -1 4202560 3064 0 0 0 5 2 0 0 18 0 4 0 524689027 375943168 11416 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752366 0 0 4096 2 18446604449478699904 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 366068
[startup+0.104101 s]
/proc/loadavg: 8.02 7.89 7.93 6/180 9934
/proc/meminfo: memFree=30609180/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=367132 CPUtime=0.33 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 14598 0 0 0 26 7 0 0 18 0 4 0 524689027 375943168 12512 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752415 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 91783 12627 339 106 0 86754 0
[pid=9934/tid=9935] ppid=9932 vsize=367132 CPUtime=0.07 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 3419 0 0 0 6 1 0 0 18 0 4 0 524689027 375943168 12672 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=367772 CPUtime=0.08 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) D 9932 9934 8981 0 -1 4202560 4046 0 0 0 6 2 0 0 18 0 4 0 524689027 376598528 12718 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204673130 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=368260 CPUtime=0.08 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) D 9932 9934 8981 0 -1 4202560 3422 0 0 0 6 2 0 0 18 0 4 0 524689027 377098240 12718 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204308513 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 367132
[startup+0.300905 s]
/proc/loadavg: 8.02 7.89 7.93 6/180 9934
/proc/meminfo: memFree=30609180/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=400704 CPUtime=1.04 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) S 9932 9934 8981 0 -1 4202496 38243 0 0 0 83 21 0 0 18 0 4 0 524689027 410320896 33965 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752366 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 100176 33965 339 106 0 95147 0
[pid=9934/tid=9935] ppid=9932 vsize=400704 CPUtime=0.25 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) S 9932 9934 8981 0 -1 4202560 9153 0 0 0 21 4 0 0 18 0 4 0 524689027 410320896 33965 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752366 0 0 4096 2 18446604449478699904 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=400704 CPUtime=0.24 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 10149 0 0 0 19 5 0 0 18 0 4 0 524689027 410320896 33965 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204344707 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=400704 CPUtime=0.25 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) S 9932 9934 8981 0 -1 4202560 8947 0 0 0 20 5 0 0 18 0 4 0 524689027 410320896 33965 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752366 0 0 4096 2 18446604449478699904 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 400704
[startup+0.700838 s]
/proc/loadavg: 8.02 7.89 7.93 6/180 9934
/proc/meminfo: memFree=30609180/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=592208 CPUtime=2.44 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 86788 0 0 0 197 47 0 0 18 0 4 0 524689027 606420992 78073 33554432000 4194304 4627427 140735616133872 18446744073709551615 4313601 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 148052 78075 339 106 0 143023 0
[pid=9934/tid=9935] ppid=9932 vsize=592208 CPUtime=0.6 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 21026 0 0 0 48 12 0 0 18 0 4 0 524689027 606420992 78075 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=592208 CPUtime=0.6 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 22527 0 0 0 48 12 0 0 18 0 4 0 524689027 606420992 78078 33554432000 4194304 4627427 140735616133872 18446744073709551615 4530607 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=592208 CPUtime=0.6 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 20513 0 0 0 49 11 0 0 18 0 4 0 524689027 606420992 78081 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204690615 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.44
Current children cumulated vsize (KiB) 592208
[startup+1.50071 s]
/proc/loadavg: 8.02 7.89 7.93 6/184 9938
/proc/meminfo: memFree=30158656/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=954632 CPUtime=5.23 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 190913 0 0 0 427 96 0 0 18 0 4 0 524689027 977543168 173621 33554432000 4194304 4627427 140735616133872 18446744073709551615 4358019 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 238658 173639 339 106 0 233629 0
[pid=9934/tid=9935] ppid=9932 vsize=954632 CPUtime=1.31 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 46884 0 0 0 106 25 0 0 18 0 4 0 524689027 977543168 173646 33554432000 4194304 4627427 140735616133872 18446744073709551615 4358525 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=954632 CPUtime=1.3 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 46110 0 0 0 104 26 0 0 18 0 4 0 524689027 977543168 173655 33554432000 4194304 4627427 140735616133872 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=954632 CPUtime=1.3 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 46952 0 0 0 107 23 0 0 18 0 4 0 524689027 977543168 173664 33554432000 4194304 4627427 140735616133872 18446744073709551615 4358062 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 954632
[startup+3.10044 s]
/proc/loadavg: 8.02 7.89 7.93 6/184 9938
/proc/meminfo: memFree=30158656/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=2106764 CPUtime=10.75 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 370241 0 0 0 887 188 0 0 17 0 4 0 524689027 2157326336 335199 33554432000 4194304 4627427 140735616133872 18446744073709551615 4530553 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9934/statm: 526691 335204 339 106 0 521662 0
[pid=9934/tid=9935] ppid=9932 vsize=2106764 CPUtime=2.67 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 91792 0 0 0 218 49 0 0 17 0 4 0 524689027 2157326336 335205 33554432000 4194304 4627427 140735616133872 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=2106764 CPUtime=2.68 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 95148 0 0 0 220 48 0 0 17 0 4 0 524689027 2157326336 335205 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=2106764 CPUtime=2.69 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 87004 0 0 0 223 46 0 0 17 0 4 0 524689027 2157326336 335206 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204752415 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.75
Current children cumulated vsize (KiB) 2106764
[startup+6.30091 s]
/proc/loadavg: 8.17 7.92 7.94 9/184 9939
/proc/meminfo: memFree=28954592/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=2630248 CPUtime=23.26 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 482731 0 0 0 2092 234 0 0 21 0 4 0 524689027 2693373952 414077 33554432000 4194304 4627427 140735616133872 18446744073709551615 4299545 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9934/statm: 657562 414077 367 106 0 652533 0
[pid=9934/tid=9935] ppid=9932 vsize=2630248 CPUtime=5.8 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 118554 0 0 0 519 61 0 0 21 0 4 0 524689027 2693373952 414077 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=2630248 CPUtime=5.83 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 125130 0 0 0 524 59 0 0 21 0 4 0 524689027 2693373952 414077 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=2630248 CPUtime=5.81 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 112292 0 0 0 524 57 0 0 22 0 4 0 524689027 2693373952 414077 33554432000 4194304 4627427 140735616133872 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.26
Current children cumulated vsize (KiB) 2630248
[startup+12.7008 s]
/proc/loadavg: 8.15 7.92 7.94 10/184 9939
/proc/meminfo: memFree=28954508/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=2631308 CPUtime=48.83 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 484927 0 0 0 4647 236 0 0 25 0 4 0 524689027 2694459392 415192 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9934/statm: 657827 415193 367 106 0 652798 0
[pid=9934/tid=9935] ppid=9932 vsize=2631308 CPUtime=12.2 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 118830 0 0 0 1159 61 0 0 25 0 4 0 524689027 2694459392 415193 33554432000 4194304 4627427 140735616133872 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=2631308 CPUtime=12.23 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 125420 0 0 0 1164 59 0 0 25 0 4 0 524689027 2694459392 415193 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204308165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=2631308 CPUtime=12.21 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 113631 0 0 0 1164 57 0 0 25 0 4 0 524689027 2694459392 415193 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.83
Current children cumulated vsize (KiB) 2631308
[startup+25.5007 s]
/proc/loadavg: 8.27 7.96 7.95 9/184 9939
/proc/meminfo: memFree=28350308/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=3277332 CPUtime=99.89 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 632017 0 0 0 9722 267 0 0 25 0 4 0 524689027 3355987968 560677 33554432000 4194304 4627427 140735616133872 18446744073709551615 4436150 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 819333 560677 380 106 0 814304 0
[pid=9934/tid=9935] ppid=9932 vsize=3277332 CPUtime=24.99 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 165943 0 0 0 2429 70 0 0 25 0 4 0 524689027 3355987968 560677 33554432000 4194304 4627427 140735616133872 18446744073709551615 4436170 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=3277332 CPUtime=24.97 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 174683 0 0 0 2427 70 0 0 25 0 4 0 524689027 3355987968 560677 33554432000 4194304 4627427 140735616133872 18446744073709551615 4338749 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=3277332 CPUtime=25.01 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 115767 0 0 0 2443 58 0 0 25 0 4 0 524689027 3355987968 560677 33554432000 4194304 4627427 140735616133872 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (KiB) 3277332
[startup+51.1004 s]
/proc/loadavg: 8.18 7.96 7.95 10/184 9939
/proc/meminfo: memFree=27757488/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=3820556 CPUtime=201.98 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 822758 0 0 0 19872 326 0 0 25 0 4 0 524689027 3912249344 706320 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9934/statm: 955139 706320 387 106 0 950110 0
[pid=9934/tid=9935] ppid=9932 vsize=3820556 CPUtime=50.44 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 230348 0 0 0 4953 91 0 0 25 0 4 0 524689027 3912249344 706320 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=3820556 CPUtime=50.48 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 241977 0 0 0 4960 88 0 0 25 0 4 0 524689027 3912249344 706320 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=3820556 CPUtime=50.6 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 116074 0 0 0 5001 59 0 0 25 0 4 0 524689027 3912249344 706320 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 201.98
Current children cumulated vsize (KiB) 3820556
[startup+102.301 s]
/proc/loadavg: 8.18 7.99 7.96 9/184 9941
/proc/meminfo: memFree=27727520/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=3744524 CPUtime=406.51 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 845384 0 0 0 40319 332 0 0 25 0 4 0 524689027 3834392576 707937 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9934/statm: 936131 707937 387 106 0 931102 0
[pid=9934/tid=9935] ppid=9932 vsize=3744524 CPUtime=101.36 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 231956 0 0 0 10045 91 0 0 25 0 4 0 524689027 3834392576 707937 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=3744524 CPUtime=101.68 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 243289 0 0 0 10079 89 0 0 25 0 4 0 524689027 3834392576 707937 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=3744524 CPUtime=101.8 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 122932 0 0 0 10120 60 0 0 25 0 4 0 524689027 3834392576 707937 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.51
Current children cumulated vsize (KiB) 3744524
[startup+162.301 s]
################
# More data... #
################
Current children cumulated CPU time (s) 2524.64
Current children cumulated vsize (KiB) 4898636
[startup+762.301 s]
/proc/loadavg: 7.87 7.71 7.79 9/184 9990
/proc/meminfo: memFree=25725920/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=5631984 CPUtime=2749.61 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 1782976 0 0 0 274449 512 0 0 25 0 4 0 524689027 5767151616 1189235 33554432000 4194304 4627427 140735616133872 18446744073709551615 4324768 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 1407996 1189235 391 106 0 1402967 0
[pid=9934/tid=9935] ppid=9932 vsize=5631984 CPUtime=677.92 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 431059 0 0 0 67663 129 0 0 25 0 4 0 524689027 5767151616 1189235 33554432000 4194304 4627427 140735616133872 18446744073709551615 210204302584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=5631984 CPUtime=697.28 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 392710 0 0 0 69607 121 0 0 25 0 4 0 524689027 5767151616 1189235 33554432000 4194304 4627427 140735616133872 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=5631984 CPUtime=694.92 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 547229 0 0 0 69359 133 0 0 25 0 4 0 524689027 5767151616 1189235 33554432000 4194304 4627427 140735616133872 18446744073709551615 4298954 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2749.61
Current children cumulated vsize (KiB) 5631984
[startup+822.301 s]
/proc/loadavg: 7.14 7.50 7.71 9/184 9991
/proc/meminfo: memFree=25529940/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=5661956 CPUtime=2903.85 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 1799945 0 0 0 289869 516 0 0 25 0 4 0 524689027 5797842944 1204731 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 1415489 1204731 391 106 0 1410460 0
[pid=9934/tid=9935] ppid=9932 vsize=5661956 CPUtime=714.89 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 433492 0 0 0 71358 131 0 0 25 0 4 0 524689027 5797842944 1204731 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=5661956 CPUtime=731.08 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 400706 0 0 0 72986 122 0 0 25 0 4 0 524689027 5797842944 1204731 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=5661956 CPUtime=743.07 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 550944 0 0 0 74173 134 0 0 25 0 4 0 524689027 5797842944 1204731 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308117 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2903.85
Current children cumulated vsize (KiB) 5661956
[startup+882.301 s]
/proc/loadavg: 7.72 7.59 7.73 9/184 9993
/proc/meminfo: memFree=25285240/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=5773152 CPUtime=3143.46 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 1962751 0 0 0 313805 541 0 0 25 0 4 0 524689027 5911707648 1235516 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308940 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 1443288 1235516 391 106 0 1438259 0
[pid=9934/tid=9935] ppid=9932 vsize=5773152 CPUtime=774.89 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 434475 0 0 0 77357 132 0 0 25 0 4 0 524689027 5911707648 1235516 33554432000 4194304 4627427 140735616133872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=5773152 CPUtime=790.89 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 409171 0 0 0 78964 125 0 0 25 0 4 0 524689027 5911707648 1235516 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=5773152 CPUtime=802.87 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 560650 0 0 0 80151 136 0 0 25 0 4 0 524689027 5911707648 1235516 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3143.46
Current children cumulated vsize (KiB) 5773152
[startup+942.301 s]
/proc/loadavg: 7.97 7.69 7.75 9/184 9994
/proc/meminfo: memFree=24928932/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=6166368 CPUtime=3383 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 2269217 0 0 0 337720 580 0 0 25 0 4 0 524689027 6314360832 1324308 33554432000 4194304 4627427 140735616133872 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 1541592 1324308 391 106 0 1536563 0
[pid=9934/tid=9935] ppid=9932 vsize=6166368 CPUtime=834.85 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 586580 0 0 0 83334 151 0 0 25 0 4 0 524689027 6314360832 1324308 33554432000 4194304 4627427 140735616133872 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=6166368 CPUtime=850.58 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 560716 0 0 0 84915 143 0 0 25 0 4 0 524689027 6314360832 1324308 33554432000 4194304 4627427 140735616133872 18446744073709551615 4305838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=6166368 CPUtime=862.8 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 562850 0 0 0 86143 137 0 0 25 0 4 0 524689027 6314360832 1324308 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3383
Current children cumulated vsize (KiB) 6166368
[startup+1002.3 s]
/proc/loadavg: 8.09 7.77 7.77 9/184 9996
/proc/meminfo: memFree=24881264/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=6192944 CPUtime=3618.66 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 2284429 0 0 0 361284 582 0 0 25 0 4 0 524689027 6341574656 1330103 33554432000 4194304 4627427 140735616133872 18446744073709551615 4324976 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 1548236 1330103 391 106 0 1543207 0
[pid=9934/tid=9935] ppid=9932 vsize=6192944 CPUtime=893.52 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 586581 0 0 0 89201 151 0 0 25 0 4 0 524689027 6341574656 1330103 33554432000 4194304 4627427 140735616133872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=6192944 CPUtime=908.64 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 566414 0 0 0 90720 144 0 0 25 0 4 0 524689027 6341574656 1330103 33554432000 4194304 4627427 140735616133872 18446744073709551615 4299688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=6192944 CPUtime=922.81 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 570493 0 0 0 92142 139 0 0 25 0 4 0 524689027 6341574656 1330103 33554432000 4194304 4627427 140735616133872 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3618.66
Current children cumulated vsize (KiB) 6192944
[startup+1062.3 s]
/proc/loadavg: 8.03 7.81 7.78 9/184 9998
/proc/meminfo: memFree=24745432/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=6405952 CPUtime=3854.76 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 2299982 0 0 0 384890 586 0 0 25 0 4 0 524689027 6559694848 1342474 33554432000 4194304 4627427 140735616133872 18446744073709551615 4407067 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9934/statm: 1601488 1342474 391 106 0 1596459 0
[pid=9934/tid=9935] ppid=9932 vsize=6405952 CPUtime=951.63 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 589139 0 0 0 95012 151 0 0 25 0 4 0 524689027 6559694848 1342474 33554432000 4194304 4627427 140735616133872 18446744073709551615 4310363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=6405952 CPUtime=968.64 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 571344 0 0 0 96718 146 0 0 25 0 4 0 524689027 6559694848 1342474 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=6405952 CPUtime=982.63 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 573380 0 0 0 98123 140 0 0 25 0 4 0 524689027 6559694848 1342474 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3854.76
Current children cumulated vsize (KiB) 6405952
[startup+1122.31 s]
/proc/loadavg: 7.50 7.66 7.72 9/184 10029
/proc/meminfo: memFree=25304508/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=6323556 CPUtime=4028.01 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 2317897 0 0 0 402209 592 0 0 25 0 4 0 524689027 6475321344 1350119 33554432000 4194304 4627427 140735616133872 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9934/statm: 1580889 1350119 391 106 0 1575860 0
[pid=9934/tid=9935] ppid=9932 vsize=6323556 CPUtime=994.3 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 589387 0 0 0 99278 152 0 0 25 0 4 0 524689027 6475321344 1350119 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=6323556 CPUtime=1014.19 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 572811 0 0 0 101273 146 0 0 25 0 4 0 524689027 6475321344 1350119 33554432000 4194304 4627427 140735616133872 18446744073709551615 4324972 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=6323556 CPUtime=1027.9 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 582312 0 0 0 102647 143 0 0 25 0 4 0 524689027 6475321344 1350119 33554432000 4194304 4627427 140735616133872 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4028.01
Current children cumulated vsize (KiB) 6323556
[startup+1182.3 s]
/proc/loadavg: 7.81 7.72 7.74 9/184 10031
/proc/meminfo: memFree=25146484/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=6323556 CPUtime=4267.66 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 2325055 0 0 0 426170 596 0 0 25 0 4 0 524689027 6475321344 1357108 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9934/statm: 1580889 1357108 391 106 0 1575860 0
[pid=9934/tid=9935] ppid=9932 vsize=6323556 CPUtime=1054.3 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 589434 0 0 0 105278 152 0 0 25 0 4 0 524689027 6475321344 1357108 33554432000 4194304 4627427 140735616133872 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=6323556 CPUtime=1074.18 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 572846 0 0 0 107272 146 0 0 25 0 4 0 524689027 6475321344 1357108 33554432000 4194304 4627427 140735616133872 18446744073709551615 4306075 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=6323556 CPUtime=1087.9 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 585397 0 0 0 108645 145 0 0 25 0 4 0 524689027 6475321344 1357108 33554432000 4194304 4627427 140735616133872 18446744073709551615 4305890 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4267.66
Current children cumulated vsize (KiB) 6323556
[startup+1242.3 s]
/proc/loadavg: 8.04 7.79 7.76 9/184 10032
/proc/meminfo: memFree=24864836/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=6862392 CPUtime=4507.32 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 2379828 0 0 0 450125 607 0 0 25 0 4 0 524689027 7027089408 1410033 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9934/statm: 1715598 1410033 391 106 0 1710569 0
[pid=9934/tid=9935] ppid=9932 vsize=6862392 CPUtime=1114.3 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 593720 0 0 0 111278 152 0 0 25 0 4 0 524689027 7027089408 1410033 33554432000 4194304 4627427 140735616133872 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=6862392 CPUtime=1134.18 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 572918 0 0 0 113272 146 0 0 25 0 4 0 524689027 7027089408 1410033 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=6862392 CPUtime=1147.89 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 630824 0 0 0 114635 154 0 0 25 0 4 0 524689027 7027089408 1410033 33554432000 4194304 4627427 140735616133872 18446744073709551615 4424007 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4507.32
Current children cumulated vsize (KiB) 6862392
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 8.13 7.86 7.78 9/184 10034
/proc/meminfo: memFree=24367676/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=7204652 CPUtime=4737.59 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4202496 2888124 0 0 0 473083 676 0 0 25 0 4 0 524689027 7377563648 1519396 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/9934/statm: 1801163 1519396 391 106 0 1796134 0
[pid=9934/tid=9935] ppid=9932 vsize=7204652 CPUtime=1171.91 cores=0,2,4,6
/proc/9934/task/9935/stat : 9935 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 601440 0 0 0 117036 155 0 0 25 0 4 0 524689027 7377563648 1519396 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9934/tid=9936] ppid=9932 vsize=7204652 CPUtime=1191.81 cores=0,2,4,6
/proc/9934/task/9936/stat : 9936 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 577460 0 0 0 119034 147 0 0 25 0 4 0 524689027 7377563648 1519396 33554432000 4194304 4627427 140735616133872 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9934/tid=9937] ppid=9932 vsize=7204652 CPUtime=1205.6 cores=0,2,4,6
/proc/9934/task/9937/stat : 9937 (strangenight2-m) R 9932 9934 8981 0 -1 4202560 1124385 0 0 0 120341 219 0 0 25 0 4 0 524689027 7377563648 1519396 33554432000 4194304 4627427 140735616133872 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4737.59
Current children cumulated vsize (KiB) 7204652
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.2 s]
/proc/loadavg: 8.13 7.86 7.78 9/184 10034
/proc/meminfo: memFree=24367676/32951124 swapFree=67107188/67111528
[pid=9934] ppid=9932 vsize=0 CPUtime=4737.8 cores=0,2,4,6
/proc/9934/stat : 9934 (strangenight2-m) R 9932 9934 8981 0 -1 4203524 2888125 0 0 0 473085 695 0 0 25 0 1 0 524689027 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9934/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4737.8
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.27
CPU time (s): 4737.88
CPU user time (s): 4730.86
CPU system time (s): 7.02793
CPU usage (%): 364.376
Max. virtual memory (cumulated for all children) (KiB): 7517756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4730.86
system time used= 7.02793
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2888125
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242410
involuntary context switches= 33378
runsolver used 2.09168 second user time and 4.94425 second system time
The end