runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3366986-1307656048/watcher-3366986-1307656048 -o /tmp/evaluation-result-3366986-1307656048/solver-3366986-1307656048 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366986-1307656048.cnf
running on 4 cores: 1,3,5,7
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: 7.47 7.94 7.50 2/174 22269
/proc/meminfo: memFree=32044596/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 877205770 52396032 347 33554432000 4194304 4580107 140734800176704 18446744073709551615 48000844015538 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 12792 347 299 95 0 7774 0
[pid=22269/tid=22270] ppid=22267 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 877205770 52396032 347 33554432000 4194304 4580107 140734800176704 18446744073709551615 48000844015538 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 877205770 52396032 347 33554432000 4194304 4580107 140734800176704 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 877205770 52396032 347 33554432000 4194304 4580107 140734800176704 18446744073709551615 270624908342 0 0 4096 2 0 0 0 -1 3 0 0 0
[startup+0.0378271 s]
/proc/loadavg: 7.47 7.94 7.50 2/174 22269
/proc/meminfo: memFree=32044596/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=351488 CPUtime=3.4 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 6038 0 0 0 339 1 0 0 19 0 4 0 877205770 359923712 2761 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 87872 2761 377 95 0 82854 0
[pid=22269/tid=22270] ppid=22267 vsize=351488 CPUtime=0.84 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1572 0 0 0 84 0 0 0 25 0 4 0 877205770 359923712 2761 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=351488 CPUtime=0.84 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1469 0 0 0 84 0 0 0 19 0 4 0 877205770 359923712 2761 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=351488 CPUtime=0.84 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1304 0 0 0 84 0 0 0 19 0 4 0 877205770 359923712 2761 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 351488
[startup+0.955625 s]
/proc/loadavg: 7.47 7.94 7.50 2/174 22269
/proc/meminfo: memFree=32044596/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=351752 CPUtime=3.8 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 6561 0 0 0 379 1 0 0 19 0 4 0 877205770 360194048 2832 33554432000 4194304 4580107 140734800176704 18446744073709551615 4321122 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 87938 2833 377 95 0 82920 0
[pid=22269/tid=22270] ppid=22267 vsize=351752 CPUtime=0.94 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1672 0 0 0 94 0 0 0 25 0 4 0 877205770 360194048 2833 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=351752 CPUtime=0.94 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1563 0 0 0 94 0 0 0 19 0 4 0 877205770 360194048 2833 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=351752 CPUtime=0.94 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1365 0 0 0 94 0 0 0 19 0 4 0 877205770 360194048 2833 33554432000 4194304 4580107 140734800176704 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 351752
[startup+1.05561 s]
/proc/loadavg: 7.47 7.94 7.50 2/174 22269
/proc/meminfo: memFree=32044596/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=352012 CPUtime=4.2 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 7097 0 0 0 419 1 0 0 19 0 4 0 877205770 360460288 2899 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 88003 2899 377 95 0 82985 0
[pid=22269/tid=22270] ppid=22267 vsize=352012 CPUtime=1.04 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1763 0 0 0 104 0 0 0 25 0 4 0 877205770 360460288 2899 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=352012 CPUtime=1.04 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1665 0 0 0 104 0 0 0 19 0 4 0 877205770 360460288 2899 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=352012 CPUtime=1.04 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1619 0 0 0 104 0 0 0 19 0 4 0 877205770 360460288 2899 33554432000 4194304 4580107 140734800176704 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 352012
[startup+1.15559 s]
/proc/loadavg: 7.47 7.94 7.50 2/174 22269
/proc/meminfo: memFree=32044596/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=352012 CPUtime=4.6 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 7430 0 0 0 459 1 0 0 19 0 4 0 877205770 360460288 3232 33554432000 4194304 4580107 140734800176704 18446744073709551615 4316835 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 88003 3232 377 95 0 82985 0
[pid=22269/tid=22270] ppid=22267 vsize=352012 CPUtime=1.14 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1849 0 0 0 114 0 0 0 25 0 4 0 877205770 360460288 3233 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=352012 CPUtime=1.14 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1755 0 0 0 114 0 0 0 19 0 4 0 877205770 360460288 3233 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=352012 CPUtime=1.14 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1693 0 0 0 114 0 0 0 19 0 4 0 877205770 360460288 3233 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 352012
[startup+1.50053 s]
/proc/loadavg: 7.47 7.94 7.50 2/174 22269
/proc/meminfo: memFree=32044596/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=352868 CPUtime=5.97 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 9163 0 0 0 596 1 0 0 20 0 4 0 877205770 361336832 3359 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 88217 3359 378 95 0 83199 0
[pid=22269/tid=22270] ppid=22267 vsize=352868 CPUtime=1.49 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 2363 0 0 0 149 0 0 0 25 0 4 0 877205770 361336832 3359 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=352868 CPUtime=1.49 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 2234 0 0 0 149 0 0 0 20 0 4 0 877205770 361336832 3359 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=352868 CPUtime=1.48 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 1935 0 0 0 148 0 0 0 20 0 4 0 877205770 361336832 3359 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 352868
[startup+3.10025 s]
/proc/loadavg: 7.47 7.94 7.50 9/184 22286
/proc/meminfo: memFree=31859632/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=354632 CPUtime=12.36 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 21711 0 0 0 1233 3 0 0 25 0 4 0 877205770 363143168 11249 33554432000 4194304 4580107 140734800176704 18446744073709551615 4412930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 88658 11249 379 95 0 83640 0
[pid=22269/tid=22270] ppid=22267 vsize=354632 CPUtime=3.08 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 5500 0 0 0 308 0 0 0 25 0 4 0 877205770 363143168 11249 33554432000 4194304 4580107 140734800176704 18446744073709551615 4489437 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=354632 CPUtime=3.07 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 6525 0 0 0 307 0 0 0 25 0 4 0 877205770 363143168 11249 33554432000 4194304 4580107 140734800176704 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=354632 CPUtime=3.09 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 3394 0 0 0 308 1 0 0 25 0 4 0 877205770 363143168 11249 33554432000 4194304 4580107 140734800176704 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 354632
[startup+6.30668 s]
/proc/loadavg: 7.51 7.94 7.50 9/184 22286
/proc/meminfo: memFree=31832076/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=356924 CPUtime=25.17 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 37091 0 0 0 2511 6 0 0 25 0 4 0 877205770 365490176 18361 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 89231 18361 379 95 0 84213 0
[pid=22269/tid=22270] ppid=22267 vsize=356924 CPUtime=6.29 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 10557 0 0 0 628 1 0 0 25 0 4 0 877205770 365490176 18361 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=356924 CPUtime=6.26 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 9103 0 0 0 625 1 0 0 25 0 4 0 877205770 365490176 18361 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=356924 CPUtime=6.29 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 8437 0 0 0 628 1 0 0 25 0 4 0 877205770 365490176 18361 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 356924
[startup+12.7006 s]
/proc/loadavg: 7.63 7.96 7.51 9/184 22286
/proc/meminfo: memFree=31799168/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=359932 CPUtime=50.71 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 61971 0 0 0 5060 11 0 0 25 0 4 0 877205770 368570368 27295 33554432000 4194304 4580107 140734800176704 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 89983 27295 379 95 0 84965 0
[pid=22269/tid=22270] ppid=22267 vsize=359932 CPUtime=12.68 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 16080 0 0 0 1266 2 0 0 25 0 4 0 877205770 368570368 27295 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=359932 CPUtime=12.62 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 15008 0 0 0 1260 2 0 0 25 0 4 0 877205770 368570368 27295 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=359932 CPUtime=12.68 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 15158 0 0 0 1266 2 0 0 25 0 4 0 877205770 368570368 27295 33554432000 4194304 4580107 140734800176704 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 359932
[startup+25.5003 s]
/proc/loadavg: 7.79 7.98 7.52 9/184 22287
/proc/meminfo: memFree=31598716/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=364036 CPUtime=101.84 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 92770 0 0 0 10167 17 0 0 25 0 4 0 877205770 372772864 34446 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 91009 34446 379 95 0 85991 0
[pid=22269/tid=22270] ppid=22267 vsize=364036 CPUtime=25.48 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 22588 0 0 0 2544 4 0 0 25 0 4 0 877205770 372772864 34446 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=364036 CPUtime=25.35 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 24030 0 0 0 2531 4 0 0 25 0 4 0 877205770 372772864 34446 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=364036 CPUtime=25.48 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 22136 0 0 0 2545 3 0 0 25 0 4 0 877205770 372772864 34446 33554432000 4194304 4580107 140734800176704 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 364036
[startup+51.1008 s]
/proc/loadavg: 7.86 7.98 7.53 9/184 22287
/proc/meminfo: memFree=31477972/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=370672 CPUtime=204.1 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 139438 0 0 0 20382 28 0 0 25 0 4 0 877205770 379568128 41431 33554432000 4194304 4580107 140734800176704 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 92668 41431 379 95 0 87650 0
[pid=22269/tid=22270] ppid=22267 vsize=370672 CPUtime=51.08 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 33801 0 0 0 5101 7 0 0 25 0 4 0 877205770 379568128 41431 33554432000 4194304 4580107 140734800176704 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=370672 CPUtime=50.82 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 34055 0 0 0 5076 6 0 0 25 0 4 0 877205770 379568128 41431 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=370672 CPUtime=51.09 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 33173 0 0 0 5103 6 0 0 25 0 4 0 877205770 379568128 41431 33554432000 4194304 4580107 140734800176704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 370672
[startup+102.301 s]
/proc/loadavg: 7.98 7.99 7.56 9/184 22289
/proc/meminfo: memFree=31364572/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=384672 CPUtime=408.62 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 211786 0 0 0 40813 49 0 0 25 0 4 0 877205770 393904128 50760 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 96168 50760 379 95 0 91150 0
[pid=22269/tid=22270] ppid=22267 vsize=384672 CPUtime=102.28 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 50943 0 0 0 10216 12 0 0 25 0 4 0 877205770 393904128 50760 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=384672 CPUtime=101.73 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 52373 0 0 0 10162 11 0 0 25 0 4 0 877205770 393904128 50760 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=384672 CPUtime=102.29 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 49889 0 0 0 10217 12 0 0 25 0 4 0 877205770 393904128 50760 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 384672
[startup+162.301 s]
################
# More data... #
################
[pid=22269] ppid=22267 vsize=749432 CPUtime=2565.73 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 698183 0 0 0 256350 223 0 0 25 0 4 0 877205770 767418368 119279 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 187358 119279 379 95 0 182340 0
[pid=22269/tid=22270] ppid=22267 vsize=749432 CPUtime=642.29 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 173996 0 0 0 64173 56 0 0 25 0 4 0 877205770 767418368 119279 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=749432 CPUtime=638.83 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 170984 0 0 0 63831 52 0 0 25 0 4 0 877205770 767418368 119279 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=749432 CPUtime=642.3 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 174596 0 0 0 64174 56 0 0 25 0 4 0 877205770 767418368 119279 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 749432
[startup+702.3 s]
/proc/loadavg: 4.53 6.67 7.28 5/175 22329
/proc/meminfo: memFree=31561016/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=794740 CPUtime=2805.44 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 725896 0 0 0 280306 238 0 0 25 0 4 0 877205770 813813760 122287 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 198685 122287 379 95 0 193667 0
[pid=22269/tid=22270] ppid=22267 vsize=794740 CPUtime=702.29 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 179595 0 0 0 70171 58 0 0 25 0 4 0 877205770 813813760 122287 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=794740 CPUtime=698.53 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 173508 0 0 0 69799 54 0 0 25 0 4 0 877205770 813813760 122287 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=794740 CPUtime=702.29 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 184217 0 0 0 70169 60 0 0 25 0 4 0 877205770 813813760 122287 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 794740
[startup+762.301 s]
/proc/loadavg: 4.25 6.20 7.08 5/175 22330
/proc/meminfo: memFree=31536928/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=829364 CPUtime=3045.14 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 754845 0 0 0 304262 252 0 0 25 0 4 0 877205770 849268736 128338 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 207341 128338 379 95 0 202323 0
[pid=22269/tid=22270] ppid=22267 vsize=829364 CPUtime=762.29 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 185122 0 0 0 76169 60 0 0 25 0 4 0 877205770 849268736 128338 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=829364 CPUtime=758.23 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 181689 0 0 0 75767 56 0 0 25 0 4 0 877205770 849268736 128338 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=829364 CPUtime=762.3 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 189666 0 0 0 76166 64 0 0 25 0 4 0 877205770 849268736 128338 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 829364
[startup+822.3 s]
/proc/loadavg: 4.14 5.81 6.89 5/175 22341
/proc/meminfo: memFree=31517036/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=865560 CPUtime=3284.84 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 789248 0 0 0 328215 269 0 0 25 0 4 0 877205770 886333440 133687 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 216390 133687 379 95 0 211372 0
[pid=22269/tid=22270] ppid=22267 vsize=865560 CPUtime=822.29 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 193368 0 0 0 82166 63 0 0 25 0 4 0 877205770 886333440 133687 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=865560 CPUtime=817.93 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 189182 0 0 0 81732 61 0 0 25 0 4 0 877205770 886333440 133687 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=865560 CPUtime=822.3 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 198697 0 0 0 82162 68 0 0 25 0 4 0 877205770 886333440 133687 33554432000 4194304 4580107 140734800176704 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.84
Current children cumulated vsize (KiB) 865560
[startup+882.301 s]
/proc/loadavg: 4.05 5.48 6.71 5/175 22343
/proc/meminfo: memFree=31499764/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=831380 CPUtime=3524.53 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 828025 0 0 0 352169 284 0 0 25 0 4 0 877205770 851333120 137745 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 207845 137745 379 95 0 202827 0
[pid=22269/tid=22270] ppid=22267 vsize=831380 CPUtime=882.29 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 201944 0 0 0 88162 67 0 0 25 0 4 0 877205770 851333120 137745 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=831380 CPUtime=877.62 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 198180 0 0 0 87697 65 0 0 25 0 4 0 877205770 851333120 137745 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=831380 CPUtime=882.3 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 210742 0 0 0 88158 72 0 0 25 0 4 0 877205770 851333120 137745 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.53
Current children cumulated vsize (KiB) 831380
[startup+942.301 s]
/proc/loadavg: 4.02 5.21 6.54 5/175 22344
/proc/meminfo: memFree=31497012/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=818496 CPUtime=3764.26 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 858711 0 0 0 376126 300 0 0 25 0 4 0 877205770 838139904 138213 33554432000 4194304 4580107 140734800176704 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 204624 138213 379 95 0 199606 0
[pid=22269/tid=22270] ppid=22267 vsize=818496 CPUtime=942.3 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 211336 0 0 0 94159 71 0 0 25 0 4 0 877205770 838139904 138213 33554432000 4194304 4580107 140734800176704 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=818496 CPUtime=937.33 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 206690 0 0 0 93663 70 0 0 25 0 4 0 877205770 838139904 138213 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=818496 CPUtime=942.31 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 214486 0 0 0 94157 74 0 0 25 0 4 0 877205770 838139904 138213 33554432000 4194304 4580107 140734800176704 18446744073709551615 4305209 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.26
Current children cumulated vsize (KiB) 818496
[startup+1002.3 s]
/proc/loadavg: 4.05 5.00 6.38 5/175 22349
/proc/meminfo: memFree=31478992/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=882500 CPUtime=4003.93 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 890907 0 0 0 400077 316 0 0 25 0 4 0 877205770 903680000 143137 33554432000 4194304 4580107 140734800176704 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 220625 143137 379 95 0 215607 0
[pid=22269/tid=22270] ppid=22267 vsize=882500 CPUtime=1002.29 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 221037 0 0 0 100154 75 0 0 25 0 4 0 877205770 903680000 143137 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=882500 CPUtime=997.02 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 212469 0 0 0 99630 72 0 0 25 0 4 0 877205770 903680000 143137 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=882500 CPUtime=1002.31 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 223955 0 0 0 100152 79 0 0 25 0 4 0 877205770 903680000 143137 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.93
Current children cumulated vsize (KiB) 882500
[startup+1062.31 s]
/proc/loadavg: 4.02 4.81 6.23 5/175 22350
/proc/meminfo: memFree=31449752/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=825376 CPUtime=4243.66 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 927476 0 0 0 424033 333 0 0 25 0 4 0 877205770 845185024 150298 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 206344 150298 379 95 0 201326 0
[pid=22269/tid=22270] ppid=22267 vsize=825376 CPUtime=1062.3 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 230470 0 0 0 106151 79 0 0 25 0 4 0 877205770 845185024 150298 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=825376 CPUtime=1056.73 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 221388 0 0 0 105597 76 0 0 25 0 4 0 877205770 845185024 150298 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=825376 CPUtime=1062.32 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 232727 0 0 0 106148 84 0 0 25 0 4 0 877205770 845185024 150298 33554432000 4194304 4580107 140734800176704 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.66
Current children cumulated vsize (KiB) 825376
[startup+1122.3 s]
/proc/loadavg: 4.00 4.66 6.08 5/175 22352
/proc/meminfo: memFree=31345812/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=1019876 CPUtime=4483.33 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 967121 0 0 0 447984 349 0 0 25 0 4 0 877205770 1044353024 176192 33554432000 4194304 4580107 140734800176704 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 254969 176192 379 95 0 249951 0
[pid=22269/tid=22270] ppid=22267 vsize=1019876 CPUtime=1122.3 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 234407 0 0 0 112148 82 0 0 25 0 4 0 877205770 1044353024 176192 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=1019876 CPUtime=1116.41 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 227822 0 0 0 111561 80 0 0 25 0 4 0 877205770 1044353024 176192 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=1019876 CPUtime=1122.31 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 250072 0 0 0 112143 88 0 0 25 0 4 0 877205770 1044353024 176192 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.33
Current children cumulated vsize (KiB) 1019876
[startup+1182.3 s]
/proc/loadavg: 4.03 4.55 5.96 5/175 22354
/proc/meminfo: memFree=31299528/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=1086836 CPUtime=4723.02 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 998717 0 0 0 471938 364 0 0 25 0 4 0 877205770 1112920064 187825 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 271709 187825 379 95 0 266691 0
[pid=22269/tid=22270] ppid=22267 vsize=1086836 CPUtime=1182.3 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 239872 0 0 0 118145 85 0 0 25 0 4 0 877205770 1112920064 187825 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=1086836 CPUtime=1176.1 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 237230 0 0 0 117525 85 0 0 25 0 4 0 877205770 1112920064 187825 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=1086836 CPUtime=1182.31 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 257370 0 0 0 118139 92 0 0 25 0 4 0 877205770 1112920064 187825 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4723.02
Current children cumulated vsize (KiB) 1086836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.6 s]
/proc/loadavg: 4.09 4.53 5.92 5/175 22354
/proc/meminfo: memFree=31323080/32951124 swapFree=67052292/67111528
[pid=22269] ppid=22267 vsize=1006872 CPUtime=4800.15 cores=1,3,5,7
/proc/22269/stat : 22269 (strangenight2-m) R 22267 22269 21755 0 -1 4202496 1008891 0 0 0 479645 370 0 0 25 0 4 0 877205770 1031036928 181691 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/22269/statm: 251718 181691 379 95 0 246700 0
[pid=22269/tid=22270] ppid=22267 vsize=1006872 CPUtime=1201.6 cores=1,3,5,7
/proc/22269/task/22270/stat : 22270 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 240959 0 0 0 120075 85 0 0 25 0 4 0 877205770 1031036928 181691 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=22269/tid=22271] ppid=22267 vsize=1006872 CPUtime=1195.31 cores=1,3,5,7
/proc/22269/task/22271/stat : 22271 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 239094 0 0 0 119445 86 0 0 25 0 4 0 877205770 1031036928 181691 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=22269/tid=22272] ppid=22267 vsize=1006872 CPUtime=1201.62 cores=1,3,5,7
/proc/22269/task/22272/stat : 22272 (strangenight2-m) R 22267 22269 21755 0 -1 4202560 261019 0 0 0 120068 94 0 0 25 0 4 0 877205770 1031036928 181691 33554432000 4194304 4580107 140734800176704 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1006872
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.64
CPU time (s): 4800.21
CPU user time (s): 4796.48
CPU system time (s): 3.73043
CPU usage (%): 399.47
Max. virtual memory (cumulated for all children) (KiB): 1214528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.47
system time used= 3.73043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1008892
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= 266
involuntary context switches= 31734
runsolver used 1.9417 second user time and 4.38433 second system time
The end