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-3175430-1304123590/watcher-3175430-1304123590 -o /tmp/evaluation-result-3175430-1304123590/solver-3175430-1304123590 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175430-1304123590.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.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=273444 CPUtime=0 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 704 0 0 0 0 0 0 0 25 0 4 0 523959465 280006656 614 33554432000 4194304 4650419 140734197472608 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 68361 615 343 112 0 63326 0
[pid=10769/tid=10770] ppid=10767 vsize=273444 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 60 0 0 0 0 0 0 0 25 0 4 0 523959465 280006656 634 33554432000 4194304 4650419 140734197472608 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=273580 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 68 0 0 0 0 0 0 0 25 0 4 0 523959465 280145920 639 33554432000 4194304 4650419 140734197472608 18446744073709551615 230808862475 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=273580 CPUtime=0 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 95 0 0 0 0 0 0 0 25 0 4 0 523959465 280145920 641 33554432000 4194304 4650419 140734197472608 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.101464 s]
/proc/loadavg: 8.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=283436 CPUtime=0.38 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 1648 0 0 0 38 0 0 0 25 0 4 0 523959465 290238464 1468 33554432000 4194304 4650419 140734197472608 18446744073709551615 4225729 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 70859 1468 381 112 0 65824 0
[pid=10769/tid=10770] ppid=10767 vsize=283436 CPUtime=0.09 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 172 0 0 0 9 0 0 0 25 0 4 0 523959465 290238464 1468 33554432000 4194304 4650419 140734197472608 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=283436 CPUtime=0.09 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) D 10767 10769 10605 0 -1 4202560 475 0 0 0 9 0 0 0 25 0 4 0 523959465 290238464 1468 33554432000 4194304 4650419 140734197472608 18446744073709551615 230808862475 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=283436 CPUtime=0.09 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 311 0 0 0 9 0 0 0 25 0 4 0 523959465 290238464 1468 33554432000 4194304 4650419 140734197472608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 283436
[startup+0.201017 s]
/proc/loadavg: 8.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=284272 CPUtime=0.78 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 2786 0 0 0 78 0 0 0 25 0 4 0 523959465 291094528 2383 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 71068 2383 390 112 0 66033 0
[pid=10769/tid=10770] ppid=10767 vsize=284272 CPUtime=0.19 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 606 0 0 0 19 0 0 0 25 0 4 0 523959465 291094528 2383 33554432000 4194304 4650419 140734197472608 18446744073709551615 4334034 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=284272 CPUtime=0.19 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 611 0 0 0 19 0 0 0 25 0 4 0 523959465 291094528 2383 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=284272 CPUtime=0.19 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 523 0 0 0 19 0 0 0 25 0 4 0 523959465 291094528 2383 33554432000 4194304 4650419 140734197472608 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 284272
[startup+0.300999 s]
/proc/loadavg: 8.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=284888 CPUtime=1.18 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 3346 0 0 0 118 0 0 0 25 0 4 0 523959465 291725312 2531 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 71222 2531 390 112 0 66187 0
[pid=10769/tid=10770] ppid=10767 vsize=284888 CPUtime=0.29 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 770 0 0 0 29 0 0 0 25 0 4 0 523959465 291725312 2531 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=284888 CPUtime=0.29 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 768 0 0 0 29 0 0 0 25 0 4 0 523959465 291725312 2531 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=284888 CPUtime=0.29 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 596 0 0 0 29 0 0 0 25 0 4 0 523959465 291725312 2531 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284888
[startup+0.700927 s]
/proc/loadavg: 8.07 8.03 8.00 5/180 10769
/proc/meminfo: memFree=30640992/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=294808 CPUtime=2.78 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 5453 0 0 0 277 1 0 0 25 0 4 0 523959465 301883392 3382 33554432000 4194304 4650419 140734197472608 18446744073709551615 4331892 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 73702 3382 390 112 0 68667 0
[pid=10769/tid=10770] ppid=10767 vsize=294808 CPUtime=0.69 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1314 0 0 0 69 0 0 0 25 0 4 0 523959465 301883392 3382 33554432000 4194304 4650419 140734197472608 18446744073709551615 4516587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=294808 CPUtime=0.69 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1153 0 0 0 69 0 0 0 25 0 4 0 523959465 301883392 3382 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=294808 CPUtime=0.69 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1176 0 0 0 69 0 0 0 25 0 4 0 523959465 301883392 3382 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 294808
[startup+1.50078 s]
/proc/loadavg: 8.07 8.03 8.00 9/184 10773
/proc/meminfo: memFree=30625336/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=296396 CPUtime=5.97 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 9195 0 0 0 596 1 0 0 25 0 4 0 523959465 303509504 4895 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 74099 4895 392 112 0 69064 0
[pid=10769/tid=10770] ppid=10767 vsize=296396 CPUtime=1.48 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1902 0 0 0 148 0 0 0 25 0 4 0 523959465 303509504 4895 33554432000 4194304 4650419 140734197472608 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=296396 CPUtime=1.49 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 2097 0 0 0 149 0 0 0 25 0 4 0 523959465 303509504 4895 33554432000 4194304 4650419 140734197472608 18446744073709551615 4311310 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=296396 CPUtime=1.49 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 1898 0 0 0 149 0 0 0 25 0 4 0 523959465 303509504 4895 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 296396
[startup+3.10049 s]
/proc/loadavg: 8.07 8.03 8.00 9/184 10773
/proc/meminfo: memFree=30603924/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=285804 CPUtime=12.37 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 15089 0 0 0 1235 2 0 0 25 0 4 0 523959465 292663296 9217 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 71451 9217 392 112 0 66416 0
[pid=10769/tid=10770] ppid=10767 vsize=285804 CPUtime=3.07 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 3420 0 0 0 307 0 0 0 25 0 4 0 523959465 292663296 9217 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=285804 CPUtime=3.09 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 3960 0 0 0 309 0 0 0 25 0 4 0 523959465 292663296 9217 33554432000 4194304 4650419 140734197472608 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=285804 CPUtime=3.08 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 3932 0 0 0 308 0 0 0 25 0 4 0 523959465 292663296 9217 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 285804
[startup+6.3009 s]
/proc/loadavg: 8.06 8.03 8.00 9/184 10773
/proc/meminfo: memFree=30587704/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=294072 CPUtime=25.15 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 21755 0 0 0 2511 4 0 0 25 0 4 0 523959465 301129728 12637 33554432000 4194304 4650419 140734197472608 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 73518 12637 392 112 0 68483 0
[pid=10769/tid=10770] ppid=10767 vsize=294072 CPUtime=6.26 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 5350 0 0 0 625 1 0 0 25 0 4 0 523959465 301129728 12637 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=294072 CPUtime=6.29 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 5032 0 0 0 629 0 0 0 25 0 4 0 523959465 301129728 12637 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=294072 CPUtime=6.28 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 5644 0 0 0 628 0 0 0 25 0 4 0 523959465 301129728 12637 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 294072
[startup+12.7007 s]
/proc/loadavg: 8.06 8.03 8.00 9/184 10773
/proc/meminfo: memFree=30575556/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=298820 CPUtime=50.72 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 31218 0 0 0 5066 6 0 0 25 0 4 0 523959465 305991680 17384 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364779 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 74705 17384 392 112 0 69670 0
[pid=10769/tid=10770] ppid=10767 vsize=298820 CPUtime=12.62 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 7808 0 0 0 1261 1 0 0 25 0 4 0 523959465 305991680 17384 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=298820 CPUtime=12.69 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 7254 0 0 0 1268 1 0 0 25 0 4 0 523959465 305991680 17384 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=298820 CPUtime=12.69 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 8806 0 0 0 1268 1 0 0 25 0 4 0 523959465 305991680 17384 33554432000 4194304 4650419 140734197472608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 298820
[startup+25.5004 s]
/proc/loadavg: 8.11 8.04 8.01 9/184 10773
/proc/meminfo: memFree=30565856/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=299428 CPUtime=101.86 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 46291 0 0 0 10176 10 0 0 25 0 4 0 523959465 306614272 20636 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 74857 20636 392 112 0 69822 0
[pid=10769/tid=10770] ppid=10767 vsize=299428 CPUtime=25.36 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 11503 0 0 0 2534 2 0 0 25 0 4 0 523959465 306614272 20636 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=299428 CPUtime=25.48 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 11190 0 0 0 2547 1 0 0 25 0 4 0 523959465 306614272 20636 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=299428 CPUtime=25.49 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 12969 0 0 0 2547 2 0 0 25 0 4 0 523959465 306614272 20636 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 299428
[startup+51.1007 s]
/proc/loadavg: 8.15 8.06 8.01 9/184 10774
/proc/meminfo: memFree=30528548/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=300136 CPUtime=204.11 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 70349 0 0 0 20394 17 0 0 25 0 4 0 523959465 307339264 22735 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 75034 22735 392 112 0 69999 0
[pid=10769/tid=10770] ppid=10767 vsize=300136 CPUtime=50.82 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 17821 0 0 0 5078 4 0 0 25 0 4 0 523959465 307339264 22735 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=300136 CPUtime=51.09 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 17854 0 0 0 5106 3 0 0 25 0 4 0 523959465 307339264 22735 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=300136 CPUtime=51.09 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 19793 0 0 0 5104 5 0 0 25 0 4 0 523959465 307339264 22735 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 300136
[startup+102.3 s]
/proc/loadavg: 8.05 8.02 8.00 9/184 10806
/proc/meminfo: memFree=30774788/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=322992 CPUtime=408.68 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 104976 0 0 0 40840 28 0 0 25 0 4 0 523959465 330743808 31113 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 80748 31113 392 112 0 75713 0
[pid=10769/tid=10770] ppid=10767 vsize=322992 CPUtime=101.77 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 24497 0 0 0 10172 5 0 0 25 0 4 0 523959465 330743808 31113 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=322992 CPUtime=102.3 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 26079 0 0 0 10224 6 0 0 25 0 4 0 523959465 330743808 31113 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=322992 CPUtime=102.29 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 31716 0 0 0 10221 8 0 0 25 0 4 0 523959465 330743808 31113 33554432000 4194304 4650419 140734197472608 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 322992
[startup+162.3 s]
################
# More data... #
################
[pid=10769] ppid=10767 vsize=359156 CPUtime=2565.78 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 316536 0 0 0 256471 107 0 0 25 0 4 0 523959465 367775744 58464 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 89789 58464 392 112 0 84754 0
[pid=10769/tid=10770] ppid=10767 vsize=359156 CPUtime=638.85 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 78053 0 0 0 63859 26 0 0 25 0 4 0 523959465 367775744 58464 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=359156 CPUtime=642.3 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 74474 0 0 0 64207 23 0 0 25 0 4 0 523959465 367775744 58464 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=359156 CPUtime=642.3 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 93319 0 0 0 64201 29 0 0 25 0 4 0 523959465 367775744 58464 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.78
Current children cumulated vsize (KiB) 359156
[startup+702.3 s]
/proc/loadavg: 8.07 8.09 8.02 9/184 10852
/proc/meminfo: memFree=30557968/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=396804 CPUtime=2805.46 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 333464 0 0 0 280432 114 0 0 25 0 4 0 523959465 406327296 60469 33554432000 4194304 4650419 140734197472608 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 99201 60469 392 112 0 94166 0
[pid=10769/tid=10770] ppid=10767 vsize=396804 CPUtime=698.54 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 82790 0 0 0 69825 29 0 0 25 0 4 0 523959465 406327296 60469 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=396804 CPUtime=702.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 75497 0 0 0 70207 24 0 0 25 0 4 0 523959465 406327296 60469 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=396804 CPUtime=702.29 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 99114 0 0 0 70197 32 0 0 25 0 4 0 523959465 406327296 60469 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.46
Current children cumulated vsize (KiB) 396804
[startup+762.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/184 10854
/proc/meminfo: memFree=30500508/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=399248 CPUtime=3045.16 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 350640 0 0 0 304395 121 0 0 25 0 4 0 523959465 408829952 60526 33554432000 4194304 4650419 140734197472608 18446744073709551615 4439086 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 99812 60526 392 112 0 94777 0
[pid=10769/tid=10770] ppid=10767 vsize=399248 CPUtime=758.21 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 88249 0 0 0 75790 31 0 0 25 0 4 0 523959465 408829952 60526 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=399248 CPUtime=762.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 77910 0 0 0 76206 25 0 0 25 0 4 0 523959465 408829952 60526 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=399248 CPUtime=762.3 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 101825 0 0 0 76197 33 0 0 25 0 4 0 523959465 408829952 60526 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.16
Current children cumulated vsize (KiB) 399248
[startup+822.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/184 10856
/proc/meminfo: memFree=30474432/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=399884 CPUtime=3284.81 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 366812 0 0 0 328355 126 0 0 25 0 4 0 523959465 409481216 66140 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 99971 66140 392 112 0 94936 0
[pid=10769/tid=10770] ppid=10767 vsize=399884 CPUtime=817.88 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 91475 0 0 0 81756 32 0 0 25 0 4 0 523959465 409481216 66140 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=399884 CPUtime=822.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 80338 0 0 0 82205 26 0 0 25 0 4 0 523959465 409481216 66140 33554432000 4194304 4650419 140734197472608 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=399884 CPUtime=822.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105741 0 0 0 82195 36 0 0 25 0 4 0 523959465 409481216 66140 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.81
Current children cumulated vsize (KiB) 399884
[startup+882.306 s]
/proc/loadavg: 8.09 8.08 8.02 9/184 10857
/proc/meminfo: memFree=30442380/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=416080 CPUtime=3524.51 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 376916 0 0 0 352322 129 0 0 25 0 4 0 523959465 426065920 68035 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 104020 68035 392 112 0 98985 0
[pid=10769/tid=10770] ppid=10767 vsize=416080 CPUtime=877.55 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 95016 0 0 0 87723 32 0 0 25 0 4 0 523959465 426065920 68035 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=416080 CPUtime=882.32 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 81993 0 0 0 88205 27 0 0 25 0 4 0 523959465 426065920 68035 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=416080 CPUtime=882.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105961 0 0 0 88195 36 0 0 25 0 4 0 523959465 426065920 68035 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.51
Current children cumulated vsize (KiB) 416080
[startup+942.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/184 10859
/proc/meminfo: memFree=30384424/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=522344 CPUtime=3764.16 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 385456 0 0 0 376282 134 0 0 25 0 4 0 523959465 534880256 71620 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 130586 71620 392 112 0 125551 0
[pid=10769/tid=10770] ppid=10767 vsize=522344 CPUtime=937.22 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 97973 0 0 0 93688 34 0 0 25 0 4 0 523959465 534880256 71620 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=522344 CPUtime=942.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83275 0 0 0 94203 28 0 0 25 0 4 0 523959465 534880256 71620 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=522344 CPUtime=942.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105961 0 0 0 94195 36 0 0 25 0 4 0 523959465 534880256 71620 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.16
Current children cumulated vsize (KiB) 522344
[startup+1002.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/184 10860
/proc/meminfo: memFree=30373568/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=522344 CPUtime=4003.83 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 394762 0 0 0 400245 138 0 0 25 0 4 0 523959465 534880256 72017 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 130586 72017 392 112 0 125551 0
[pid=10769/tid=10770] ppid=10767 vsize=522344 CPUtime=996.88 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 102660 0 0 0 99652 36 0 0 25 0 4 0 523959465 534880256 72017 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=522344 CPUtime=1002.31 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83278 0 0 0 100203 28 0 0 25 0 4 0 523959465 534880256 72017 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=522344 CPUtime=1002.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 107823 0 0 0 100194 37 0 0 25 0 4 0 523959465 534880256 72017 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 522344
[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/184 10862
/proc/meminfo: memFree=30348968/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=469416 CPUtime=4243.52 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 402733 0 0 0 424209 143 0 0 25 0 4 0 523959465 480681984 68363 33554432000 4194304 4650419 140734197472608 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 117354 68363 392 112 0 112319 0
[pid=10769/tid=10770] ppid=10767 vsize=469416 CPUtime=1056.57 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 103142 0 0 0 105620 37 0 0 25 0 4 0 523959465 480681984 68363 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=469416 CPUtime=1062.32 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83281 0 0 0 106204 28 0 0 25 0 4 0 523959465 480681984 68363 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=469416 CPUtime=1062.31 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 111165 0 0 0 106192 39 0 0 25 0 4 0 523959465 480681984 68363 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.52
Current children cumulated vsize (KiB) 469416
[startup+1122.3 s]
/proc/loadavg: 8.11 8.09 8.02 9/184 10864
/proc/meminfo: memFree=30329076/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=481972 CPUtime=4483.18 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 413597 0 0 0 448172 146 0 0 25 0 4 0 523959465 493539328 73754 33554432000 4194304 4650419 140734197472608 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 120493 73754 392 112 0 115458 0
[pid=10769/tid=10770] ppid=10767 vsize=481972 CPUtime=1116.22 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105619 0 0 0 111584 38 0 0 25 0 4 0 523959465 493539328 73754 33554432000 4194304 4650419 140734197472608 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=481972 CPUtime=1122.32 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83437 0 0 0 112204 28 0 0 25 0 4 0 523959465 493539328 73754 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=481972 CPUtime=1122.32 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 113290 0 0 0 112192 40 0 0 25 0 4 0 523959465 493539328 73754 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 481972
[startup+1182.3 s]
/proc/loadavg: 8.08 8.08 8.02 9/184 10865
/proc/meminfo: memFree=30317880/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=484316 CPUtime=4722.86 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 418778 0 0 0 472138 148 0 0 25 0 4 0 523959465 495939584 74000 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 121079 74000 392 112 0 116044 0
[pid=10769/tid=10770] ppid=10767 vsize=484316 CPUtime=1175.9 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105831 0 0 0 117552 38 0 0 25 0 4 0 523959465 495939584 74000 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=484316 CPUtime=1182.32 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83437 0 0 0 118204 28 0 0 25 0 4 0 523959465 495939584 74000 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=484316 CPUtime=1182.32 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 115725 0 0 0 118191 41 0 0 25 0 4 0 523959465 495939584 74000 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 484316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.7 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 10866
/proc/meminfo: memFree=30312288/32951124 swapFree=67111448/67111528
[pid=10769] ppid=10767 vsize=484316 CPUtime=4800.37 cores=0,2,4,6
/proc/10769/stat : 10769 (strangenight1-m) R 10767 10769 10605 0 -1 4202496 423119 0 0 0 479889 148 0 0 25 0 4 0 523959465 495939584 73406 33554432000 4194304 4650419 140734197472608 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10769/statm: 121079 73406 392 112 0 116044 0
[pid=10769/tid=10770] ppid=10767 vsize=484316 CPUtime=1195.19 cores=0,2,4,6
/proc/10769/task/10770/stat : 10770 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 105831 0 0 0 119481 38 0 0 25 0 4 0 523959465 495939584 73406 33554432000 4194304 4650419 140734197472608 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10769/tid=10771] ppid=10767 vsize=484316 CPUtime=1201.73 cores=0,2,4,6
/proc/10769/task/10771/stat : 10771 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 83437 0 0 0 120145 28 0 0 25 0 4 0 523959465 495939584 73406 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10769/tid=10772] ppid=10767 vsize=484316 CPUtime=1201.72 cores=0,2,4,6
/proc/10769/task/10772/stat : 10772 (strangenight1-m) R 10767 10769 10605 0 -1 4202560 116638 0 0 0 120131 41 0 0 25 0 4 0 523959465 495939584 73406 33554432000 4194304 4650419 140734197472608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 484316
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4798.92
CPU system time (s): 1.49977
CPU usage (%): 399.46
Max. virtual memory (cumulated for all children) (KiB): 560120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.92
system time used= 1.49977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423119
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= 167
involuntary context switches= 25734
runsolver used 1.89371 second user time and 4.55431 second system time
The end