runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3741901-1338722005/watcher-3741901-1338722005 -o /tmp/evaluation-result-3741901-1338722005/solver-3741901-1338722005 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3741901-1338722005.opb -seed 1105868327 -budget 1800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.92 2.09 2.38 3/188 6151
/proc/meminfo: memFree=26734436/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/6151/stat : 6151 (python) D 6149 6151 3621 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 338325497 15642624 559 33554432000 4194304 5683644 140737267523088 140737267491032 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6151/statm: 3819 559 324 364 0 261 0
[startup+0.025053 s]
/proc/loadavg: 1.92 2.09 2.38 3/188 6151
/proc/meminfo: memFree=26734436/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=15576 CPUtime=0 cores=1,3,5,7
/proc/6151/stat : 6151 (python) D 6149 6151 3621 0 -1 4202496 856 0 0 0 0 0 0 0 20 0 1 0 338325497 15949824 719 33554432000 4194304 5683644 140737267523088 140737267463576 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6151/statm: 3894 719 347 364 0 336 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15576
[startup+0.100338 s]
/proc/loadavg: 1.92 2.09 2.38 3/188 6151
/proc/meminfo: memFree=26734436/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=19080 CPUtime=0.02 cores=1,3,5,7
/proc/6151/stat : 6151 (python) R 6149 6151 3621 0 -1 4202496 1393 0 0 0 1 1 0 0 20 0 1 0 338325497 19537920 1147 33554432000 4194304 5683644 140737267523088 140737267453592 4877027 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6151/statm: 4770 1147 430 364 0 694 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19080
[startup+0.30028 s]
/proc/loadavg: 1.92 2.09 2.38 3/188 6151
/proc/meminfo: memFree=26734436/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=96892 CPUtime=0.11 cores=1,3,5,7
/proc/6151/stat : 6151 (python) D 6149 6151 3621 0 -1 4202496 3947 1010 1 0 8 3 0 0 20 0 1 0 338325497 99217408 2648 33554432000 4194304 5683644 140737267523088 140737267405176 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6151/statm: 24223 2648 823 364 0 1714 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 96892
[startup+0.700268 s]
/proc/loadavg: 1.92 2.09 2.38 3/188 6151
/proc/meminfo: memFree=26734436/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=158276 CPUtime=0.26 cores=1,3,5,7
/proc/6151/stat : 6151 (python) D 6149 6151 3621 0 -1 4202496 6421 1010 1 0 16 10 0 0 20 0 1 0 338325497 162074624 4237 33554432000 4194304 5683644 140737267523088 140737267395608 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 0 0 0
/proc/6151/statm: 39569 4237 1183 364 0 3255 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 158276
[startup+1.50027 s]
/proc/loadavg: 1.92 2.09 2.38 3/189 6156
/proc/meminfo: memFree=26716804/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=265136 CPUtime=0.47 cores=1,3,5,7
/proc/6151/stat : 6151 (python) D 6149 6151 3621 0 -1 4202496 9464 1010 1 0 29 18 0 0 20 0 1 0 338325497 271499264 6672 33554432000 4194304 5683644 140737267523088 140737267427256 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 1 0 0 28 0 0
/proc/6151/statm: 66284 6672 1730 364 0 5284 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 265136
[startup+3.1005 s]
/proc/loadavg: 2.09 2.12 2.39 3/192 6159
/proc/meminfo: memFree=26629740/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=359628 CPUtime=0.72 cores=1,3,5,7
/proc/6151/stat : 6151 (python) S 6149 6151 3621 0 -1 4202496 11317 1010 1 0 53 19 0 0 20 0 2 0 338325497 368259072 7793 33554432000 4194304 5683644 140737267523088 140737267517920 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 28 0 0
/proc/6151/statm: 89907 7793 1900 364 0 25130 0
[pid=6157] ppid=6151 vsize=283848 CPUtime=0 cores=1,3,5,7
/proc/6157/stat : 6157 (python) S 6151 6151 3621 0 -1 4202560 768 0 0 0 0 0 0 0 20 0 1 0 338325673 290660352 6228 33554432000 4194304 5683644 140737267523088 140737267514176 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6157/statm: 70962 6228 341 364 0 6185 0
[pid=6159] ppid=6157 vsize=103888 CPUtime=1.32 cores=1,3,5,7
/proc/6159/stat : 6159 (scip-2.0.1.linu) R 6157 6159 6159 0 -1 4202496 22200 0 0 0 128 4 0 0 20 0 1 0 338325673 106381312 21596 33554432000 4194304 15243407 140735191081616 140735191077928 4880937 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6159/statm: 25972 21596 682 2698 0 23267 0
[pid=6151/tid=6158] ppid=6149 vsize=359628 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6158/stat : 6158 (python) S 6149 6151 3621 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 338325673 368259072 7793 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 747364
heavy processes:
[startup+6.30044 s]
/proc/loadavg: 2.09 2.12 2.39 3/192 6159
/proc/meminfo: memFree=26574684/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=359628 CPUtime=0.72 cores=1,3,5,7
/proc/6151/stat : 6151 (python) S 6149 6151 3621 0 -1 4202496 11317 1010 1 0 53 19 0 0 20 0 2 0 338325497 368259072 7793 33554432000 4194304 5683644 140737267523088 140737267517920 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 28 0 0
/proc/6151/statm: 89907 7793 1900 364 0 25130 0
[pid=6157] ppid=6151 vsize=283848 CPUtime=0 cores=1,3,5,7
/proc/6157/stat : 6157 (python) S 6151 6151 3621 0 -1 4202560 894 0 0 0 0 0 0 0 20 0 1 0 338325673 290660352 6250 33554432000 4194304 5683644 140737267523088 140737267514176 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6157/statm: 70962 6250 363 364 0 6185 0
[pid=6159] ppid=6157 vsize=159708 CPUtime=4.52 cores=1,3,5,7
/proc/6159/stat : 6159 (scip-2.0.1.linu) R 6157 6159 6159 0 -1 4202496 36174 0 0 0 442 10 0 0 20 0 1 0 338325673 163540992 35570 33554432000 4194304 15243407 140735191081616 140735191077928 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6159/statm: 39927 35570 686 2698 0 37222 0
[pid=6151/tid=6158] ppid=6149 vsize=359628 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6158/stat : 6158 (python) S 6149 6151 3621 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 338325673 368259072 7793 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 5.24
Current children cumulated vsize (KiB) 803184
[startup+12.7005 s]
/proc/loadavg: 2.07 2.11 2.38 3/192 6159
/proc/meminfo: memFree=26529496/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=359628 CPUtime=0.72 cores=1,3,5,7
/proc/6151/stat : 6151 (python) S 6149 6151 3621 0 -1 4202496 11317 1010 1 0 53 19 0 0 20 0 2 0 338325497 368259072 7793 33554432000 4194304 5683644 140737267523088 140737267517920 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 28 0 0
/proc/6151/statm: 89907 7793 1900 364 0 25130 0
[pid=6157] ppid=6151 vsize=283848 CPUtime=0.01 cores=1,3,5,7
/proc/6157/stat : 6157 (python) S 6151 6151 3621 0 -1 4202560 900 0 0 0 0 1 0 0 20 0 1 0 338325673 290660352 6251 33554432000 4194304 5683644 140737267523088 140737267514176 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6157/statm: 70962 6251 364 364 0 6185 0
[pid=6159] ppid=6157 vsize=198228 CPUtime=10.92 cores=1,3,5,7
/proc/6159/stat : 6159 (scip-2.0.1.linu) R 6157 6159 6159 0 -1 4202496 46165 0 0 0 1075 17 0 0 20 0 1 0 338325673 202985472 45561 33554432000 4194304 15243407 140735191081616 140735191077928 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6159/statm: 49557 45561 686 2698 0 46852 0
[pid=6151/tid=6158] ppid=6149 vsize=359628 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6158/stat : 6158 (python) S 6149 6151 3621 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 338325673 368259072 7793 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 841704
[startup+25.5004 s]
/proc/loadavg: 2.06 2.11 2.38 3/192 6159
/proc/meminfo: memFree=26460188/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=359628 CPUtime=0.72 cores=1,3,5,7
/proc/6151/stat : 6151 (python) S 6149 6151 3621 0 -1 4202496 11317 1010 1 0 53 19 0 0 20 0 2 0 338325497 368259072 7793 33554432000 4194304 5683644 140737267523088 140737267517920 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 28 0 0
/proc/6151/statm: 89907 7793 1900 364 0 25130 0
[pid=6157] ppid=6151 vsize=283848 CPUtime=0.03 cores=1,3,5,7
/proc/6157/stat : 6157 (python) S 6151 6151 3621 0 -1 4202560 1010 0 0 0 1 2 0 0 20 0 1 0 338325673 290660352 6256 33554432000 4194304 5683644 140737267523088 140737267514176 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6157/statm: 70962 6256 369 364 0 6185 0
[pid=6159] ppid=6157 vsize=265048 CPUtime=23.72 cores=1,3,5,7
/proc/6159/stat : 6159 (scip-2.0.1.linu) R 6157 6159 6159 0 -1 4202496 62647 0 0 0 2336 36 0 0 20 0 1 0 338325673 271409152 62011 33554432000 4194304 15243407 140735191081616 140735191077704 13277498 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6159/statm: 66262 62011 873 2698 0 63557 0
[pid=6151/tid=6158] ppid=6149 vsize=359628 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6158/stat : 6158 (python) S 6149 6151 3621 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 338325673 368259072 7793 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 24.47
Current children cumulated vsize (KiB) 908524
[startup+51.1071 s]
/proc/loadavg: 2.04 2.10 2.36 3/195 6162
/proc/meminfo: memFree=26376608/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=359628 CPUtime=0.72 cores=1,3,5,7
/proc/6151/stat : 6151 (python) S 6149 6151 3621 0 -1 4202496 11317 1010 1 0 53 19 0 0 20 0 2 0 338325497 368259072 7793 33554432000 4194304 5683644 140737267523088 140737267517920 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 28 0 0
/proc/6151/statm: 89907 7793 1900 364 0 25130 0
[pid=6157] ppid=6151 vsize=283848 CPUtime=0.07 cores=1,3,5,7
/proc/6157/stat : 6157 (python) S 6151 6151 3621 0 -1 4202560 1028 0 0 0 3 4 0 0 20 0 1 0 338325673 290660352 6256 33554432000 4194304 5683644 140737267523088 140737267514176 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6157/statm: 70962 6256 369 364 0 6185 0
[pid=6159] ppid=6157 vsize=290200 CPUtime=49.33 cores=1,3,5,7
/proc/6159/stat : 6159 (scip-2.0.1.linu) R 6157 6159 6159 0 -1 4202496 72655 0 0 0 4858 75 0 0 20 0 1 0 338325673 297164800 67998 33554432000 4194304 15243407 140735191081616 140735191076328 7432110 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6159/statm: 72550 67998 898 2698 0 69845 0
[pid=6151/tid=6158] ppid=6149 vsize=359628 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6158/stat : 6158 (python) S 6149 6151 3621 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 2 0 338325673 368259072 7793 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 50.12
Current children cumulated vsize (KiB) 933676
[startup+102.301 s]
/proc/loadavg: 2.01 2.08 2.34 3/207 6174
/proc/meminfo: memFree=26206984/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=511376 CPUtime=0.77 cores=1,3,5,7
/proc/6151/stat : 6151 (python) S 6149 6151 3621 0 -1 4202496 13139 1010 1 0 57 20 0 0 20 0 4 0 338325497 523649024 7826 33554432000 4194304 5683644 140737267523088 140737267517920 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 28 0 0
/proc/6151/statm: 127844 7826 1905 364 0 63061 0
[pid=6157] ppid=6151 vsize=359628 CPUtime=0.08 cores=1,3,5,7
/proc/6157/stat : 6157 (python) S 6151 6151 3621 0 -1 4202560 1164 0 0 0 4 4 0 0 20 0 2 0 338325673 368259072 6291 33554432000 4194304 5683644 140737267523088 140737267514736 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6157/statm: 89907 6291 397 364 0 25130 0
[pid=6159] ppid=6157 vsize=290148 CPUtime=50.12 cores=1,3,5,7
/proc/6159/stat : 6159 (scip-2.0.1.linu) T 6157 6159 6159 0 -1 4202496 74114 0 0 0 4937 75 0 0 20 0 1 0 338325673 297111552 67780 33554432000 4194304 15243407 140735191081616 140735191076328 6958470 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6159/statm: 72537 67780 898 2698 0 69832 0
[pid=6157/tid=6163] ppid=6151 vsize=359628 CPUtime=0 cores=1,3,5,7
/proc/6157/task/6163/stat : 6163 (python) S 6151 6151 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338330687 368259072 6291 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6164] ppid=6151 vsize=359804 CPUtime=0.07 cores=1,3,5,7
/proc/6164/stat : 6164 (python) S 6151 6151 3621 0 -1 4202560 1084 0 0 0 4 3 0 0 20 0 2 0 338330690 368439296 6294 33554432000 4194304 5683644 140737267523088 140737267514736 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6164/statm: 89951 6294 384 364 0 25171 0
[pid=6166] ppid=6164 vsize=14228 CPUtime=47.11 cores=1,3,5,7
/proc/6166/stat : 6166 (clasp-1.3.7-x86) T 6164 6166 6166 0 -1 4202496 3662 0 0 0 4710 1 0 0 20 0 1 0 338330690 14569472 3316 33554432000 134512640 136139019 4294694784 4294693760 134883787 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6166/statm: 3557 3316 182 398 0 3157 0
[pid=6164/tid=6171] ppid=6151 vsize=359804 CPUtime=0 cores=1,3,5,7
/proc/6164/task/6171/stat : 6171 (python) S 6151 6151 3621 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338335403 368439296 6294 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6172] ppid=6151 vsize=435596 CPUtime=0 cores=1,3,5,7
/proc/6172/stat : 6172 (python) S 6151 6151 3621 0 -1 4202560 804 0 0 0 0 0 0 0 20 0 1 0 338335405 446050304 6251 33554432000 4194304 5683644 140737267523088 140737267514176 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 108899 6251 336 364 0 44116 0
[pid=6174] ppid=6172 vsize=135064 CPUtime=3.2 cores=1,3,5,7
/proc/6174/stat : 6174 (scip-2.0.1.linu) R 6172 6174 6174 0 -1 4202496 30399 0 0 0 312 8 0 0 20 0 1 0 338335405 138305536 29783 33554432000 4194304 13684479 140734409002544 140734408998840 11876362 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/6174/statm: 33766 29783 635 2317 0 31444 0
[pid=6151/tid=6158] ppid=6149 vsize=511376 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6158/stat : 6158 (python) S 6149 6151 3621 0 -1 4202560 26 1010 0 0 0 0 0 0 20 0 4 0 338325673 523649024 7826 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6151/tid=6165] ppid=6149 vsize=511376 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6165/stat : 6165 (python) S 6149 6151 3621 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 4 0 338330690 523649024 7826 33554432000 4194304 5683644 140737267523088 139865903870512 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6151/tid=6173] ppid=6149 vsize=511376 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6173/stat : 6173 (python) S 6149 6151 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 4 0 338335405 523649024 7826 33554432000 4194304 5683644 140737267523088 139865893380656 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 2105844
[startup+162.301 s]
/proc/loadavg: 2.00 2.06 2.32 3/209 6176
/proc/meminfo: memFree=26010704/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=511816 CPUtime=0.79 cores=1,3,5,7
################
# More data... #
################
[pid=6208/tid=6229] ppid=6151 vsize=663412 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6229/stat : 6229 (python) S 6151 6151 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338363930 679333888 6936 33554432000 4194304 5683644 140737267523088 139865666605616 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6292] ppid=6151 vsize=739204 CPUtime=0.02 cores=1,3,5,7
/proc/6292/stat : 6292 (python) S 6151 6151 3621 0 -1 4202560 1004 0 0 0 1 1 0 0 20 0 1 0 338381978 756944896 6916 33554432000 4194304 5683644 140737267523088 140737267514176 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/6292/statm: 184801 6916 359 364 0 120006 0
[pid=6294] ppid=6292 vsize=55340 CPUtime=17.48 cores=1,3,5,7
/proc/6294/stat : 6294 (bsolo_pb10) R 6292 6294 6294 0 -1 4202496 11876 0 0 0 1740 8 0 0 20 0 1 0 338381978 56668160 11413 33554432000 134512640 137138936 4291122512 4291121196 136520979 0 0 16781312 16384 0 0 0 17 1 0 0 0 0 0
/proc/6294/statm: 13835 11413 192 642 0 13191 0
[pid=6151/tid=6158] ppid=6149 vsize=814984 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6158/stat : 6158 (python) S 6149 6151 3621 0 -1 4202560 31 1010 0 0 0 0 0 0 20 0 8 0 338325673 834543616 8476 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6151/tid=6165] ppid=6149 vsize=814984 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6165/stat : 6165 (python) S 6149 6151 3621 0 -1 4202560 31 1010 0 0 0 0 0 0 20 0 8 0 338330690 834543616 8476 33554432000 4194304 5683644 140737267523088 139865903870512 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6151/tid=6173] ppid=6149 vsize=814984 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6173/stat : 6173 (python) S 6149 6151 3621 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 8 0 338335405 834543616 8476 33554432000 4194304 5683644 140737267523088 139865893380656 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6151/tid=6199] ppid=6149 vsize=814984 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6199/stat : 6199 (python) S 6149 6151 3621 0 -1 4202560 19 1010 0 0 0 0 0 0 20 0 8 0 338344930 834543616 8476 33554432000 4194304 5683644 140737267523088 139865677095472 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6151/tid=6204] ppid=6149 vsize=814984 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6204/stat : 6204 (python) S 6149 6151 3621 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 8 0 338349667 834543616 8476 33554432000 4194304 5683644 140737267523088 139865666605616 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6151/tid=6209] ppid=6149 vsize=814984 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6209/stat : 6209 (python) S 6149 6151 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 8 0 338359177 834543616 8476 33554432000 4194304 5683644 140737267523088 139865656115760 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6151/tid=6293] ppid=6149 vsize=814984 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6293/stat : 6293 (python) S 6149 6151 3621 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 8 0 338381978 834543616 8476 33554432000 4194304 5683644 140737267523088 139865645625904 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 584.3
Current children cumulated vsize (KiB) 14938960
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+613.102 s]
/proc/loadavg: 2.00 2.01 2.18 3/237 6302
/proc/meminfo: memFree=24173724/32873844 swapFree=6608/6608
[pid=6151] ppid=6149 vsize=890776 CPUtime=1.56 cores=1,3,5,7
/proc/6151/stat : 6151 (python) S 6149 6151 3621 0 -1 4202496 18149 1010 1 0 134 22 0 0 20 0 9 0 338325497 912154624 8484 33554432000 4194304 5683644 140737267523088 140737267517920 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 28 0 0
/proc/6151/statm: 222694 8484 1915 364 0 157896 0
[pid=6157] ppid=6151 vsize=359628 CPUtime=0.17 cores=1,3,5,7
/proc/6157/stat : 6157 (python) S 6151 6151 3621 0 -1 4202560 1196 0 0 0 9 8 0 0 20 0 2 0 338325673 368259072 6292 33554432000 4194304 5683644 140737267523088 140737267514736 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6157/statm: 89907 6292 398 364 0 25130 0
[pid=6159] ppid=6157 vsize=290248 CPUtime=95.39 cores=1,3,5,7
/proc/6159/stat : 6159 (scip-2.0.1.linu) T 6157 6159 6159 0 -1 4202496 104854 0 0 0 9453 86 0 0 20 0 1 0 338325673 297213952 69153 33554432000 4194304 15243407 140735191081616 140735191076328 6958376 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6159/statm: 72562 69153 946 2698 0 69857 0
[pid=6157/tid=6163] ppid=6151 vsize=359628 CPUtime=0 cores=1,3,5,7
/proc/6157/task/6163/stat : 6163 (python) S 6151 6151 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338330687 368259072 6292 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6164] ppid=6151 vsize=359804 CPUtime=0.41 cores=1,3,5,7
/proc/6164/stat : 6164 (python) S 6151 6151 3621 0 -1 4202560 1178 0 0 0 25 16 0 0 20 0 2 0 338330690 368439296 6294 33554432000 4194304 5683644 140737267523088 140737267514736 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6164/statm: 89951 6294 384 364 0 25171 0
[pid=6166] ppid=6164 vsize=24932 CPUtime=229.62 cores=1,3,5,7
/proc/6166/stat : 6166 (clasp-1.3.7-x86) T 6164 6166 6166 0 -1 4202496 6324 0 0 0 22960 2 0 0 20 0 1 0 338330690 25530368 5978 33554432000 134512640 136139019 4294694784 4294693648 134608383 0 0 16781312 16386 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6166/statm: 6233 5978 182 398 0 5833 0
[pid=6164/tid=6171] ppid=6151 vsize=359804 CPUtime=0 cores=1,3,5,7
/proc/6164/task/6171/stat : 6171 (python) S 6151 6151 3621 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 338335403 368439296 6294 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6172] ppid=6151 vsize=435596 CPUtime=0.17 cores=1,3,5,7
/proc/6172/stat : 6172 (python) S 6151 6151 3621 0 -1 4202560 1155 0 0 0 10 7 0 0 20 0 2 0 338335405 446050304 6300 33554432000 4194304 5683644 140737267523088 140737267514736 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6172/statm: 108899 6300 384 364 0 44116 0
[pid=6174] ppid=6172 vsize=289644 CPUtime=92.48 cores=1,3,5,7
/proc/6174/stat : 6174 (scip-2.0.1.linu) T 6172 6174 6174 0 -1 4202496 71674 0 0 0 9159 89 0 0 20 0 1 0 338335405 296595456 68822 33554432000 4194304 13684479 140734409002544 140734408996472 7361384 0 0 16781312 2 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6174/statm: 72411 68822 786 2317 0 70089 0
[pid=6172/tid=6176] ppid=6151 vsize=435596 CPUtime=0 cores=1,3,5,7
/proc/6172/task/6176/stat : 6176 (python) S 6151 6151 3621 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 2 0 338340355 446050304 6300 33554432000 4194304 5683644 140737267523088 139865903870512 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6198] ppid=6151 vsize=511828 CPUtime=0.06 cores=1,3,5,7
/proc/6198/stat : 6198 (python) S 6151 6151 3621 0 -1 4202560 1130 0 0 0 4 2 0 0 20 0 2 0 338344930 524111872 6416 33554432000 4194304 5683644 140737267523088 140737267514736 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6198/statm: 127957 6416 384 364 0 63171 0
[pid=6200] ppid=6198 vsize=86152 CPUtime=47.32 cores=1,3,5,7
/proc/6200/stat : 6200 (minion) T 6198 6200 6200 0 -1 4202496 7979 0 0 0 4731 1 0 0 20 0 1 0 338344930 88219648 14248 33554432000 134512640 165565024 4290868624 4290865872 142764901 0 0 16781312 8396802 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6200/statm: 21538 14248 336 7582 0 13953 0
[pid=6198/tid=6202] ppid=6151 vsize=511828 CPUtime=0 cores=1,3,5,7
/proc/6198/task/6202/stat : 6202 (python) S 6151 6151 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 338349664 524111872 6416 33554432000 4194304 5683644 140737267523088 139865893380656 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6203] ppid=6151 vsize=587620 CPUtime=0.09 cores=1,3,5,7
/proc/6203/stat : 6203 (python) S 6151 6151 3621 0 -1 4202560 1137 0 0 0 5 4 0 0 20 0 2 0 338349667 601722880 6929 33554432000 4194304 5683644 140737267523088 140737267514736 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6203/statm: 146905 6929 384 364 0 82116 0
[pid=6205] ppid=6203 vsize=95596 CPUtime=49.73 cores=1,3,5,7
/proc/6205/stat : 6205 (wbo1.4a) T 6203 6205 6205 0 -1 4202496 23763 0 0 0 4927 46 0 0 20 0 1 0 338349667 97890304 23406 33554432000 134512640 135751879 4293994080 4293991696 134604611 0 0 16781312 3 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6205/statm: 23899 23406 143 303 0 23594 0
[pid=6203/tid=6207] ppid=6151 vsize=587620 CPUtime=0 cores=1,3,5,7
/proc/6203/task/6207/stat : 6207 (python) S 6151 6151 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338354642 601722880 6929 33554432000 4194304 5683644 140737267523088 139865677095472 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6208] ppid=6151 vsize=663412 CPUtime=0.09 cores=1,3,5,7
/proc/6208/stat : 6208 (python) S 6151 6151 3621 0 -1 4202560 1148 0 0 0 5 4 0 0 20 0 2 0 338359176 679333888 6936 33554432000 4194304 5683644 140737267523088 140737267514736 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6208/statm: 165853 6936 384 364 0 101061 0
[pid=6210] ppid=6208 vsize=9624972 CPUtime=49.75 cores=1,3,5,7
/proc/6210/stat : 6210 (java) T 6208 6210 6210 0 -1 4202496 18617 0 1 0 4937 38 0 0 20 0 19 0 338359177 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 140734360792336 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6210/statm: 2406243 423647 2266 9 0 2396937 0
[pid=6210/tid=6211] ppid=6208 vsize=9624972 CPUtime=47.06 cores=1,3,5,7
/proc/6210/task/6211/stat : 6211 (java) T 6208 6210 6210 0 -1 4202560 3701 0 1 0 4683 23 0 0 20 0 19 0 338359178 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723632733312 139723490893942 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6212] ppid=6208 vsize=9624972 CPUtime=0.09 cores=1,3,5,7
/proc/6210/task/6212/stat : 6212 (java) T 6208 6210 6210 0 -1 4202560 50 0 0 0 9 0 0 0 20 0 19 0 338359180 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723610835752 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6210/tid=6213] ppid=6208 vsize=9624972 CPUtime=0.09 cores=1,3,5,7
/proc/6210/task/6213/stat : 6213 (java) T 6208 6210 6210 0 -1 4202560 36 0 0 0 9 0 0 0 20 0 19 0 338359180 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723609782952 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6210/tid=6214] ppid=6208 vsize=9624972 CPUtime=0.08 cores=1,3,5,7
/proc/6210/task/6214/stat : 6214 (java) T 6208 6210 6210 0 -1 4202560 43 0 0 0 8 0 0 0 20 0 19 0 338359180 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723608730664 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6210/tid=6215] ppid=6208 vsize=9624972 CPUtime=0.09 cores=1,3,5,7
/proc/6210/task/6215/stat : 6215 (java) T 6208 6210 6210 0 -1 4202560 41 0 0 0 7 2 0 0 20 0 19 0 338359180 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723272088488 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6210/tid=6216] ppid=6208 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/6210/task/6216/stat : 6216 (java) T 6208 6210 6210 0 -1 4202560 49 0 0 0 9 2 0 0 20 0 19 0 338359180 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723271035176 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6210/tid=6217] ppid=6208 vsize=9624972 CPUtime=0.1 cores=1,3,5,7
/proc/6210/task/6217/stat : 6217 (java) T 6208 6210 6210 0 -1 4202560 48 0 0 0 8 2 0 0 20 0 19 0 338359180 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723269982376 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6218] ppid=6208 vsize=9624972 CPUtime=0.1 cores=1,3,5,7
/proc/6210/task/6218/stat : 6218 (java) T 6208 6210 6210 0 -1 4202560 43 0 0 0 8 2 0 0 20 0 19 0 338359180 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723268930088 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6219] ppid=6208 vsize=9624972 CPUtime=0.11 cores=1,3,5,7
/proc/6210/task/6219/stat : 6219 (java) T 6208 6210 6210 0 -1 4202560 35 0 0 0 9 2 0 0 20 0 19 0 338359180 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723267877288 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6220] ppid=6208 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6220/stat : 6220 (java) T 6208 6210 6210 0 -1 4202560 739 0 0 0 0 0 0 0 20 0 19 0 338359181 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723255466728 213423011753 0 0 0 16800975 18446744071579387992 0 0 -1 1 0 0 0 0 0
[pid=6210/tid=6221] ppid=6208 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6221/stat : 6221 (java) T 6208 6210 6210 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338359181 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723254412792 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6210/tid=6222] ppid=6208 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6222/stat : 6222 (java) T 6208 6210 6210 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338359181 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723253360392 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6210/tid=6223] ppid=6208 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6223/stat : 6223 (java) T 6208 6210 6210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338359184 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723252308880 213423019808 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6210/tid=6224] ppid=6208 vsize=9624972 CPUtime=0.8 cores=1,3,5,7
/proc/6210/task/6224/stat : 6224 (java) T 6208 6210 6210 0 -1 4202560 5782 0 0 0 78 2 0 0 20 0 19 0 338359184 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723251255480 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 3 0 0 0 0 0
[pid=6210/tid=6225] ppid=6208 vsize=9624972 CPUtime=0.82 cores=1,3,5,7
/proc/6210/task/6225/stat : 6225 (java) T 6208 6210 6210 0 -1 4202560 6631 0 0 0 80 2 0 0 20 0 19 0 338359184 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723250202680 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6226] ppid=6208 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6226/stat : 6226 (java) T 6208 6210 6210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338359184 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723249150584 213423010876 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6227] ppid=6208 vsize=9624972 CPUtime=0.01 cores=1,3,5,7
/proc/6210/task/6227/stat : 6227 (java) T 6208 6210 6210 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 338359184 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723248097992 213423011753 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6210/tid=6228] ppid=6208 vsize=9624972 CPUtime=0 cores=1,3,5,7
/proc/6210/task/6228/stat : 6228 (java) T 6208 6210 6210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338359217 9855971328 423647 33554432000 1073741824 1073778376 140734360801200 139723247015336 213423011753 0 4 0 16800975 18446744071579387992 0 0 -1 5 0 0 0 0 0
[pid=6208/tid=6229] ppid=6151 vsize=663412 CPUtime=0 cores=1,3,5,7
/proc/6208/task/6229/stat : 6229 (python) S 6151 6151 3621 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 2 0 338363930 679333888 6936 33554432000 4194304 5683644 140737267523088 139865666605616 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6292] ppid=6151 vsize=739204 CPUtime=0.08 cores=1,3,5,7
/proc/6292/stat : 6292 (python) S 6151 6151 3621 0 -1 4202560 1178 0 0 0 4 4 0 0 20 0 2 0 338381978 756944896 6942 33554432000 4194304 5683644 140737267523088 140737267514736 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6292/statm: 184801 6942 384 364 0 120006 0
[pid=6294] ppid=6292 vsize=97972 CPUtime=47.31 cores=1,3,5,7
/proc/6294/stat : 6294 (bsolo_pb10) T 6292 6294 6294 0 -1 4202496 22518 0 0 0 4719 12 0 0 20 0 1 0 338381978 100323328 22055 33554432000 134512640 137138936 4291122512 4291121440 134542613 0 0 16781312 16384 18446744071579387992 0 0 17 1 0 0 0 0 0
/proc/6294/statm: 24493 22055 192 642 0 23849 0
[pid=6292/tid=6299] ppid=6151 vsize=739204 CPUtime=0 cores=1,3,5,7
/proc/6292/task/6299/stat : 6299 (python) S 6151 6151 3621 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 2 0 338386710 756944896 6942 33554432000 4194304 5683644 140737267523088 139865656115760 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6300] ppid=6151 vsize=814996 CPUtime=0 cores=1,3,5,7
/proc/6300/stat : 6300 (python) S 6151 6151 3621 0 -1 4202560 850 0 0 0 0 0 0 0 20 0 1 0 338386713 834555904 6899 33554432000 4194304 5683644 140737267523088 140737267514176 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/6300/statm: 203749 6899 336 364 0 138951 0
[pid=6302] ppid=6300 vsize=13048 CPUtime=0.94 cores=1,3,5,7
/proc/6302/stat : 6302 (bsolo_pb10) R 6300 6302 6302 0 -1 4202496 1165 0 0 0 94 0 0 0 20 0 1 0 338386713 13361152 802 33554432000 134512640 137138936 4290574416 4290498860 136570369 0 0 16781312 16384 0 0 0 17 1 0 0 0 0 0
/proc/6302/statm: 3262 802 184 642 0 2618 0
[pid=6151/tid=6158] ppid=6149 vsize=890776 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6158/stat : 6158 (python) S 6149 6151 3621 0 -1 4202560 31 1010 0 0 0 0 0 0 20 0 9 0 338325673 912154624 8484 33554432000 4194304 5683644 140737267523088 139865914360368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6151/tid=6165] ppid=6149 vsize=890776 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6165/stat : 6165 (python) S 6149 6151 3621 0 -1 4202560 31 1010 0 0 0 0 0 0 20 0 9 0 338330690 912154624 8484 33554432000 4194304 5683644 140737267523088 139865903870512 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6151/tid=6173] ppid=6149 vsize=890776 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6173/stat : 6173 (python) S 6149 6151 3621 0 -1 4202560 25 1010 0 0 0 0 0 0 20 0 9 0 338335405 912154624 8484 33554432000 4194304 5683644 140737267523088 139865893380656 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6151/tid=6199] ppid=6149 vsize=890776 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6199/stat : 6199 (python) S 6149 6151 3621 0 -1 4202560 19 1010 0 0 0 0 0 0 20 0 9 0 338344930 912154624 8484 33554432000 4194304 5683644 140737267523088 139865677095472 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6151/tid=6204] ppid=6149 vsize=890776 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6204/stat : 6204 (python) S 6149 6151 3621 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 9 0 338349667 912154624 8484 33554432000 4194304 5683644 140737267523088 139865666605616 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6151/tid=6209] ppid=6149 vsize=890776 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6209/stat : 6209 (python) S 6149 6151 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 9 0 338359177 912154624 8484 33554432000 4194304 5683644 140737267523088 139865656115760 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6151/tid=6293] ppid=6149 vsize=890776 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6293/stat : 6293 (python) S 6149 6151 3621 0 -1 4202560 22 1010 0 0 0 0 0 0 20 0 9 0 338381978 912154624 8484 33554432000 4194304 5683644 140737267523088 139865645625904 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6151/tid=6301] ppid=6149 vsize=890776 CPUtime=0 cores=1,3,5,7
/proc/6151/task/6301/stat : 6301 (python) S 6149 6151 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 9 0 338386713 912154624 8484 33554432000 4194304 5683644 140737267523088 139865635136048 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 615.17
Current children cumulated vsize (KiB) 15885428
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)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6151 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=346795
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=225965
# CPU time returned by wait4() is 1.57276
# while last known CPU time is 615.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 613.164
CPU time (s): 615.17
CPU user time (s): 611.76
CPU system time (s): 3.41
CPU usage (%): 100.327
Max. virtual memory (cumulated for all children) (KiB): 15885428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.34679
system time used= 0.225965
maximum resident set size= 33936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19615
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2083
involuntary context switches= 14
runsolver used 2.75058 second user time and 6.74497 second system time
The end