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-3728921-1338713242/watcher-3728921-1338713242 -o /tmp/evaluation-result-3728921-1338713242/solver-3728921-1338713242 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3728921-1338713242.opb -seed 1151885072 -budget 1800
running on 4 cores: 0,2,4,6
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.29 1.28 1.62 3/179 3737
/proc/meminfo: memFree=26973724/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/3737/stat : 3737 (python) D 3735 3737 3621 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 337449215 15749120 631 33554432000 4194304 5683644 140733847209296 140733847149784 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/3737/statm: 3845 631 334 364 0 287 0
[startup+0.00794404 s]
/proc/loadavg: 1.29 1.28 1.62 3/179 3737
/proc/meminfo: memFree=26973724/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=15608 CPUtime=0 cores=0,2,4,6
/proc/3737/stat : 3737 (python) R 3735 3737 3621 0 -1 4202496 849 0 0 0 0 0 0 0 20 0 1 0 337449215 15982592 715 33554432000 4194304 5683644 140733847209296 140733847167752 4540219 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3737/statm: 3902 715 347 364 0 344 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15608
[startup+0.100242 s]
/proc/loadavg: 1.29 1.28 1.62 3/179 3737
/proc/meminfo: memFree=26973724/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=36708 CPUtime=0.04 cores=0,2,4,6
/proc/3737/stat : 3737 (python) D 3735 3737 3621 0 -1 4202496 1768 0 0 0 3 1 0 0 20 0 1 0 337449215 37588992 1457 33554432000 4194304 5683644 140733847209296 140733847163016 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/3737/statm: 9177 1457 461 364 0 949 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 36708
[startup+0.300264 s]
/proc/loadavg: 1.29 1.28 1.62 3/179 3737
/proc/meminfo: memFree=26973724/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=107656 CPUtime=0.11 cores=0,2,4,6
/proc/3737/stat : 3737 (python) D 3735 3737 3621 0 -1 4202496 4833 1010 1 0 8 3 0 0 20 0 1 0 337449215 110239744 2998 33554432000 4194304 5683644 140733847209296 140733847046088 213419639696 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/3737/statm: 26914 2998 905 364 0 2021 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 107656
[startup+0.700234 s]
/proc/loadavg: 1.29 1.28 1.62 3/179 3737
/proc/meminfo: memFree=26973724/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=201488 CPUtime=0.27 cores=0,2,4,6
/proc/3737/stat : 3737 (python) R 3735 3737 3621 0 -1 4202496 7315 1010 1 0 18 9 0 0 20 0 1 0 337449215 206323712 5004 33554432000 4194304 5683644 140733847209296 140733847054424 213419639696 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/3737/statm: 50372 5004 1500 364 0 3670 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 201488
[startup+1.50023 s]
/proc/loadavg: 1.29 1.28 1.62 2/174 3743
/proc/meminfo: memFree=26967980/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=289336 CPUtime=0.97 cores=0,2,4,6
/proc/3737/stat : 3737 (python) R 3735 3737 3621 0 -1 4202496 13637 1010 1 0 85 12 0 0 20 0 1 0 337449215 296280064 9115 33554432000 4194304 5683644 140733847209296 140733847123368 213427185433 0 0 16781312 33554434 0 0 0 17 2 0 0 3 0 0
/proc/3737/statm: 72334 9115 1847 364 0 7563 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 289336
[startup+3.1003 s]
/proc/loadavg: 1.29 1.28 1.62 3/178 3779
/proc/meminfo: memFree=26959780/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=365272 CPUtime=1.05 cores=0,2,4,6
/proc/3737/stat : 3737 (python) S 3735 3737 3621 0 -1 4202496 13931 1010 1 0 93 12 0 0 20 0 2 0 337449215 374038528 9180 33554432000 4194304 5683644 140733847209296 140733847204128 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 3 0 0
/proc/3737/statm: 91318 9180 1901 364 0 26541 0
[pid=3751] ppid=3737 vsize=289492 CPUtime=0 cores=0,2,4,6
/proc/3751/stat : 3751 (python) S 3737 3737 3621 0 -1 4202560 741 0 0 0 0 0 0 0 20 0 1 0 337449373 296439808 7613 33554432000 4194304 5683644 140733847209296 140733847200384 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3751/statm: 72373 7613 340 364 0 7596 0
[pid=3753] ppid=3751 vsize=15940 CPUtime=1.5 cores=0,2,4,6
/proc/3753/stat : 3753 (clasp-1.3.7-x86) R 3751 3753 3753 0 -1 4202496 4198 0 0 0 149 1 0 0 20 0 1 0 337449374 16322560 3727 33554432000 134512640 136139019 4289712032 4289710896 134608320 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/3753/statm: 3985 3727 181 398 0 3585 0
[pid=3737/tid=3752] ppid=3735 vsize=365272 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3752/stat : 3752 (python) S 3735 3737 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 337449374 374038528 9180 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 670704
[startup+6.30031 s]
/proc/loadavg: 1.42 1.31 1.63 3/183 3837
/proc/meminfo: memFree=26903644/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=365272 CPUtime=1.05 cores=0,2,4,6
/proc/3737/stat : 3737 (python) S 3735 3737 3621 0 -1 4202496 13931 1010 1 0 93 12 0 0 20 0 2 0 337449215 374038528 9180 33554432000 4194304 5683644 140733847209296 140733847204128 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 3 0 0
/proc/3737/statm: 91318 9180 1901 364 0 26541 0
[pid=3751] ppid=3737 vsize=289492 CPUtime=0 cores=0,2,4,6
/proc/3751/stat : 3751 (python) S 3737 3737 3621 0 -1 4202560 889 0 0 0 0 0 0 0 20 0 1 0 337449373 296439808 7636 33554432000 4194304 5683644 140733847209296 140733847200384 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3751/statm: 72373 7636 363 364 0 7596 0
[pid=3753] ppid=3751 vsize=22112 CPUtime=4.69 cores=0,2,4,6
/proc/3753/stat : 3753 (clasp-1.3.7-x86) R 3751 3753 3753 0 -1 4202496 5727 0 0 0 468 1 0 0 20 0 1 0 337449374 22642688 5256 33554432000 134512640 136139019 4289712032 4289711008 134877212 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/3753/statm: 5528 5256 181 398 0 5128 0
[pid=3737/tid=3752] ppid=3735 vsize=365272 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3752/stat : 3752 (python) S 3735 3737 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 337449374 374038528 9180 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.74
Current children cumulated vsize (KiB) 676876
[startup+12.7003 s]
/proc/loadavg: 1.55 1.34 1.64 3/183 3837
/proc/meminfo: memFree=26860392/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=365272 CPUtime=1.05 cores=0,2,4,6
/proc/3737/stat : 3737 (python) S 3735 3737 3621 0 -1 4202496 13931 1010 1 0 93 12 0 0 20 0 2 0 337449215 374038528 9180 33554432000 4194304 5683644 140733847209296 140733847204128 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 3 0 0
/proc/3737/statm: 91318 9180 1901 364 0 26541 0
[pid=3751] ppid=3737 vsize=289492 CPUtime=0.01 cores=0,2,4,6
/proc/3751/stat : 3751 (python) S 3737 3737 3621 0 -1 4202560 899 0 0 0 0 1 0 0 20 0 1 0 337449373 296439808 7636 33554432000 4194304 5683644 140733847209296 140733847200384 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3751/statm: 72373 7636 363 364 0 7596 0
[pid=3753] ppid=3751 vsize=36476 CPUtime=11.1 cores=0,2,4,6
/proc/3753/stat : 3753 (clasp-1.3.7-x86) R 3751 3753 3753 0 -1 4202496 9326 0 0 0 1108 2 0 0 20 0 1 0 337449374 37351424 8855 33554432000 134512640 136139019 4289712032 4289710896 134608341 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/3753/statm: 9119 8855 181 398 0 8719 0
[pid=3737/tid=3752] ppid=3735 vsize=365272 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3752/stat : 3752 (python) S 3735 3737 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 337449374 374038528 9180 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 691240
[startup+25.5066 s]
/proc/loadavg: 1.65 1.37 1.64 3/183 3837
/proc/meminfo: memFree=26825000/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=365272 CPUtime=1.05 cores=0,2,4,6
/proc/3737/stat : 3737 (python) S 3735 3737 3621 0 -1 4202496 13931 1010 1 0 93 12 0 0 20 0 2 0 337449215 374038528 9180 33554432000 4194304 5683644 140733847209296 140733847204128 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 3 0 0
/proc/3737/statm: 91318 9180 1901 364 0 26541 0
[pid=3751] ppid=3737 vsize=289492 CPUtime=0.03 cores=0,2,4,6
/proc/3751/stat : 3751 (python) S 3737 3737 3621 0 -1 4202560 907 0 0 0 1 2 0 0 20 0 1 0 337449373 296439808 7636 33554432000 4194304 5683644 140733847209296 140733847200384 213419655592 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3751/statm: 72373 7636 363 364 0 7596 0
[pid=3753] ppid=3751 vsize=44424 CPUtime=23.9 cores=0,2,4,6
/proc/3753/stat : 3753 (clasp-1.3.7-x86) R 3751 3753 3753 0 -1 4202496 11327 0 0 0 2388 2 0 0 20 0 1 0 337449374 45490176 10856 33554432000 134512640 136139019 4289712032 4289710748 134831265 0 0 16781312 16386 0 0 0 17 0 0 0 0 0 0
/proc/3753/statm: 11106 10856 181 398 0 10706 0
[pid=3737/tid=3752] ppid=3735 vsize=365272 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3752/stat : 3752 (python) S 3735 3737 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 2 0 337449374 374038528 9180 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 699188
[startup+51.1004 s]
/proc/loadavg: 1.77 1.42 1.65 3/187 3841
/proc/meminfo: memFree=26660160/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=441064 CPUtime=1.08 cores=0,2,4,6
/proc/3737/stat : 3737 (python) S 3735 3737 3621 0 -1 4202496 14917 1010 1 0 95 13 0 0 20 0 3 0 337449215 451649536 9697 33554432000 4194304 5683644 140733847209296 140733847204128 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 3 0 0
/proc/3737/statm: 110266 9697 1904 364 0 45486 0
[pid=3751] ppid=3737 vsize=365272 CPUtime=0.06 cores=0,2,4,6
/proc/3751/stat : 3751 (python) S 3737 3737 3621 0 -1 4202560 1150 0 0 0 3 3 0 0 20 0 2 0 337449373 374038528 7676 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3751/statm: 91318 7676 396 364 0 26541 0
[pid=3753] ppid=3751 vsize=70220 CPUtime=47.08 cores=0,2,4,6
/proc/3753/stat : 3753 (clasp-1.3.7-x86) T 3751 3753 3753 0 -1 4202496 17729 0 0 0 4705 3 0 0 20 0 1 0 337449374 71905280 17256 33554432000 134512640 136139019 4289712032 4289710484 134626624 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3753/statm: 17555 17256 181 398 0 17155 0
[pid=3751/tid=3838] ppid=3737 vsize=365272 CPUtime=0 cores=0,2,4,6
/proc/3751/task/3838/stat : 3838 (python) S 3737 3737 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337454086 374038528 7676 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3839] ppid=3737 vsize=365284 CPUtime=0 cores=0,2,4,6
/proc/3839/stat : 3839 (python) S 3737 3737 3621 0 -1 4202560 791 0 0 0 0 0 0 0 20 0 1 0 337454088 374050816 7614 33554432000 4194304 5683644 140733847209296 140733847200384 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3839/statm: 91321 7614 335 364 0 26541 0
[pid=3841] ppid=3839 vsize=105188 CPUtime=2.35 cores=0,2,4,6
/proc/3841/stat : 3841 (scip-2.0.1.linu) R 3839 3841 3841 0 -1 4202496 24588 0 0 0 232 3 0 0 20 0 1 0 337454089 107712512 23322 33554432000 4194304 13684479 140735496534832 140735496528760 7361380 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3841/statm: 26297 23322 742 2317 0 23975 0
[pid=3737/tid=3752] ppid=3735 vsize=441064 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3752/stat : 3752 (python) S 3735 3737 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 3 0 337449374 451649536 9697 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3737/tid=3840] ppid=3735 vsize=441064 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3840/stat : 3840 (python) S 3735 3737 3621 0 -1 4202560 19 1010 0 0 0 0 0 0 20 0 3 0 337454089 451649536 9697 33554432000 4194304 5683644 140733847209296 140524551922224 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 1347028
[startup+102.301 s]
/proc/loadavg: 1.90 1.50 1.66 3/199 3853
/proc/meminfo: memFree=26274120/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=516856 CPUtime=1.1 cores=0,2,4,6
/proc/3737/stat : 3737 (python) S 3735 3737 3621 0 -1 4202496 15806 1010 1 0 97 13 0 0 20 0 4 0 337449215 529260544 9705 33554432000 4194304 5683644 140733847209296 140733847204128 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 2 0 0 3 0 0
/proc/3737/statm: 129214 9705 1906 364 0 64431 0
[pid=3751] ppid=3737 vsize=365272 CPUtime=0.06 cores=0,2,4,6
/proc/3751/stat : 3751 (python) S 3737 3737 3621 0 -1 4202560 1150 0 0 0 3 3 0 0 20 0 2 0 337449373 374038528 7676 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3751/statm: 91318 7676 396 364 0 26541 0
[pid=3753] ppid=3751 vsize=70220 CPUtime=47.08 cores=0,2,4,6
/proc/3753/stat : 3753 (clasp-1.3.7-x86) T 3751 3753 3753 0 -1 4202496 17729 0 0 0 4705 3 0 0 20 0 1 0 337449374 71905280 17282 33554432000 134512640 136139019 4289712032 4289710484 134626624 0 0 16781312 16386 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3753/statm: 17555 17282 181 398 0 17155 0
[pid=3751/tid=3838] ppid=3737 vsize=365272 CPUtime=0 cores=0,2,4,6
/proc/3751/task/3838/stat : 3838 (python) S 3737 3737 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337454086 374038528 7676 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3839] ppid=3737 vsize=365284 CPUtime=0.07 cores=0,2,4,6
/proc/3839/stat : 3839 (python) S 3737 3737 3621 0 -1 4202560 1094 0 0 0 4 3 0 0 20 0 2 0 337454088 374050816 7663 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3839/statm: 91321 7663 383 364 0 26541 0
[pid=3841] ppid=3839 vsize=151344 CPUtime=48.31 cores=0,2,4,6
/proc/3841/stat : 3841 (scip-2.0.1.linu) T 3839 3841 3841 0 -1 4202496 38667 0 0 0 4816 15 0 0 20 0 1 0 337454089 154976256 34940 33554432000 4194304 13684479 140735496534832 140735496528632 11876362 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3841/statm: 37836 34940 823 2317 0 35514 0
[pid=3839/tid=3846] ppid=3737 vsize=365284 CPUtime=0 cores=0,2,4,6
/proc/3839/task/3846/stat : 3846 (python) S 3737 3737 3621 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 337458922 374050816 7663 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3847] ppid=3737 vsize=441076 CPUtime=0 cores=0,2,4,6
/proc/3847/stat : 3847 (python) S 3737 3737 3621 0 -1 4202560 923 0 0 0 0 0 0 0 20 0 1 0 337458924 451661824 8151 33554432000 4194304 5683644 140733847209296 140733847200384 213419655651 0 0 16781312 33554946 18446744071580425449 0 0 17 2 0 0 0 0 0
/proc/3847/statm: 110269 8151 358 364 0 45486 0
[pid=3849] ppid=3847 vsize=108716 CPUtime=5.2 cores=0,2,4,6
/proc/3849/stat : 3849 (scip-2.0.1.linu) R 3847 3849 3849 0 -1 4202496 37847 0 0 0 513 7 0 0 20 0 1 0 337458924 111325184 24098 33554432000 4194304 15243407 140737350077584 140737350071976 12374656 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/3849/statm: 27179 24098 955 2698 0 24474 0
[pid=3737/tid=3752] ppid=3735 vsize=516856 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3752/stat : 3752 (python) S 3735 3737 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 4 0 337449374 529260544 9705 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3737/tid=3840] ppid=3735 vsize=516856 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3840/stat : 3840 (python) S 3735 3737 3621 0 -1 4202560 19 1010 0 0 0 0 0 0 20 0 4 0 337454089 529260544 9705 33554432000 4194304 5683644 140733847209296 140524551922224 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
################
# More data... #
################
/proc/3737/task/3848/stat : 3848 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337458924 762093568 9729 33554432000 4194304 5683644 140733847209296 140524541432368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3737/tid=3861] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3861/stat : 3861 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337472808 762093568 9729 33554432000 4194304 5683644 140733847209296 140524530942512 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3737/tid=3869] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3869/stat : 3869 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337495845 762093568 9729 33554432000 4194304 5683644 140733847209296 140524520452656 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3737/tid=3904] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3904/stat : 3904 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337546208 762093568 9729 33554432000 4194304 5683644 140733847209296 140524509962800 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (KiB) 4905312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 2.03 2.02 1.92 3/208 3993
/proc/meminfo: memFree=24173820/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=744232 CPUtime=2.96 cores=0,2,4,6
/proc/3737/stat : 3737 (python) S 3735 3737 3621 0 -1 4202496 19696 1010 1 0 281 15 0 0 20 0 7 0 337449215 762093568 9729 33554432000 4194304 5683644 140733847209296 140733847204128 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 3 0 0
/proc/3737/statm: 186058 9729 1912 364 0 121266 0
[pid=3751] ppid=3737 vsize=365272 CPUtime=0.39 cores=0,2,4,6
/proc/3751/stat : 3751 (python) S 3737 3737 3621 0 -1 4202560 1219 0 0 0 23 16 0 0 20 0 2 0 337449373 374038528 7677 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3751/statm: 91318 7677 397 364 0 26541 0
[pid=3753] ppid=3751 vsize=104456 CPUtime=229.57 cores=0,2,4,6
/proc/3753/stat : 3753 (clasp-1.3.7-x86) T 3751 3753 3753 0 -1 4202496 26309 0 0 0 22952 5 0 0 20 0 1 0 337449374 106962944 25862 33554432000 134512640 136139019 4289712032 4289710896 134608370 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/3753/statm: 26114 25862 181 398 0 25714 0
[pid=3751/tid=3838] ppid=3737 vsize=365272 CPUtime=0 cores=0,2,4,6
/proc/3751/task/3838/stat : 3838 (python) S 3737 3737 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337454086 374038528 7677 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3839] ppid=3737 vsize=365284 CPUtime=2.28 cores=0,2,4,6
/proc/3839/stat : 3839 (python) S 3737 3737 3621 0 -1 4202560 1195 0 0 0 134 94 0 0 20 0 2 0 337454088 374050816 7663 33554432000 4194304 5683644 140733847209296 140733847200384 213419655651 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3839/statm: 91321 7663 383 364 0 26541 0
[pid=3841] ppid=3839 vsize=166516 CPUtime=1286 cores=0,2,4,6
/proc/3841/stat : 3841 (scip-2.0.1.linu) R 3839 3841 3841 0 -1 4202496 42425 0 0 0 128303 297 0 0 20 0 1 0 337454089 170512384 39689 33554432000 4194304 13684479 140735496534832 140735496528760 4772007 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/3841/statm: 41629 39689 824 2317 0 39307 0
[pid=3839/tid=3846] ppid=3737 vsize=365284 CPUtime=0 cores=0,2,4,6
/proc/3839/task/3846/stat : 3846 (python) S 3737 3737 3621 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 337458922 374050816 7663 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3847] ppid=3737 vsize=441076 CPUtime=0.14 cores=0,2,4,6
/proc/3847/stat : 3847 (python) S 3737 3737 3621 0 -1 4202560 1146 0 0 0 8 6 0 0 20 0 2 0 337458924 451661824 8176 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3847/statm: 110269 8176 383 364 0 45486 0
[pid=3849] ppid=3847 vsize=108068 CPUtime=91.94 cores=0,2,4,6
/proc/3849/stat : 3849 (scip-2.0.1.linu) T 3847 3849 3849 0 -1 4202496 112592 0 0 0 9165 29 0 0 20 0 1 0 337458924 110661632 24655 33554432000 4194304 15243407 140737350077584 140737350072472 7060955 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3849/statm: 27017 24655 955 2698 0 24312 0
[pid=3847/tid=3854] ppid=3737 vsize=441076 CPUtime=0 cores=0,2,4,6
/proc/3847/task/3854/stat : 3854 (python) S 3737 3737 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337463711 451661824 8176 33554432000 4194304 5683644 140733847209296 140524551922224 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3860] ppid=3737 vsize=516868 CPUtime=0.07 cores=0,2,4,6
/proc/3860/stat : 3860 (python) S 3737 3737 3621 0 -1 4202560 1141 0 0 0 5 2 0 0 20 0 2 0 337472808 529272832 8183 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3860/statm: 129217 8183 383 364 0 64431 0
[pid=3862] ppid=3860 vsize=95856 CPUtime=47.75 cores=0,2,4,6
/proc/3862/stat : 3862 (minion) T 3860 3862 3862 0 -1 4202496 11532 0 0 0 4773 2 0 0 20 0 1 0 337472808 98156544 16675 33554432000 134512640 165565024 4287053888 4287051136 142765000 0 0 16781312 8396802 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3862/statm: 23964 16675 332 7582 0 16379 0
[pid=3860/tid=3866] ppid=3737 vsize=516868 CPUtime=0 cores=0,2,4,6
/proc/3860/task/3866/stat : 3866 (python) S 3737 3737 3621 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 337477585 529272832 8183 33554432000 4194304 5683644 140733847209296 140524541432368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3868] ppid=3737 vsize=592660 CPUtime=0.15 cores=0,2,4,6
/proc/3868/stat : 3868 (python) S 3737 3737 3621 0 -1 4202560 1185 0 0 0 10 5 0 0 20 0 2 0 337495845 606883840 8189 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3868/statm: 148165 8189 383 364 0 83376 0
[pid=3870] ppid=3868 vsize=596980 CPUtime=91.93 cores=0,2,4,6
/proc/3870/stat : 3870 (bsolo_pb10) T 3868 3870 3870 0 -1 4202496 149006 0 0 0 9135 58 0 0 20 0 1 0 337495846 611307520 146812 33554432000 134512640 137138936 4293566992 4293565920 134542516 0 0 16781312 16384 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/3870/statm: 149245 146812 190 642 0 148601 0
[pid=3868/tid=3872] ppid=3737 vsize=592660 CPUtime=0 cores=0,2,4,6
/proc/3868/task/3872/stat : 3872 (python) S 3737 3737 3621 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 337505041 606883840 8189 33554432000 4194304 5683644 140733847209296 140524530942512 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3903] ppid=3737 vsize=668452 CPUtime=0.07 cores=0,2,4,6
/proc/3903/stat : 3903 (python) S 3737 3737 3621 0 -1 4202560 1168 0 0 0 3 4 0 0 20 0 2 0 337546208 684494848 8195 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3903/statm: 167113 8195 383 364 0 102321 0
[pid=3905] ppid=3903 vsize=140208 CPUtime=46.82 cores=0,2,4,6
/proc/3905/stat : 3905 (wbo1.4a) T 3903 3905 3905 0 -1 4202496 35100 0 0 0 4666 16 0 0 20 0 1 0 337546208 143572992 34533 33554432000 134512640 135751879 4289716640 4289714252 134518948 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/3905/statm: 35052 34533 143 303 0 34747 0
[pid=3903/tid=3907] ppid=3737 vsize=668452 CPUtime=0 cores=0,2,4,6
/proc/3903/task/3907/stat : 3907 (python) S 3737 3737 3621 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337550892 684494848 8195 33554432000 4194304 5683644 140733847209296 140524520452656 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3737/tid=3752] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3752/stat : 3752 (python) S 3735 3737 3621 0 -1 4202560 36 1010 0 0 0 0 0 0 20 0 7 0 337449374 762093568 9729 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3737/tid=3840] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3840/stat : 3840 (python) S 3735 3737 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 7 0 337454089 762093568 9729 33554432000 4194304 5683644 140733847209296 140524551922224 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3737/tid=3848] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3848/stat : 3848 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337458924 762093568 9729 33554432000 4194304 5683644 140733847209296 140524541432368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3737/tid=3861] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3861/stat : 3861 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337472808 762093568 9729 33554432000 4194304 5683644 140733847209296 140524530942512 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3737/tid=3869] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3869/stat : 3869 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337495845 762093568 9729 33554432000 4194304 5683644 140733847209296 140524520452656 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3737/tid=3904] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3904/stat : 3904 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337546208 762093568 9729 33554432000 4194304 5683644 140733847209296 140524509962800 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4905928
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.9 s]
/proc/loadavg: 2.03 2.02 1.92 3/208 3993
/proc/meminfo: memFree=24173820/32873844 swapFree=6608/6608
[pid=3737] ppid=3735 vsize=744232 CPUtime=2.96 cores=0,2,4,6
/proc/3737/stat : 3737 (python) S 3735 3737 3621 0 -1 4202496 19696 1010 1 0 281 15 0 0 20 0 7 0 337449215 762093568 9729 33554432000 4194304 5683644 140733847209296 140733847204128 213423023373 0 0 16781312 33554434 18446744073709551615 0 0 17 6 0 0 3 0 0
/proc/3737/statm: 186058 9729 1912 364 0 121266 0
[pid=3751] ppid=3737 vsize=365272 CPUtime=0.39 cores=0,2,4,6
/proc/3751/stat : 3751 (python) S 3737 3737 3621 0 -1 4202560 1219 0 0 0 23 16 0 0 20 0 2 0 337449373 374038528 7677 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3751/statm: 91318 7677 397 364 0 26541 0
[pid=3753] ppid=3751 vsize=104456 CPUtime=229.57 cores=0,2,4,6
/proc/3753/stat : 3753 (clasp-1.3.7-x86) T 3751 3753 3753 0 -1 4202496 26309 0 0 0 22952 5 0 0 20 0 1 0 337449374 106962944 25862 33554432000 134512640 136139019 4289712032 4289710896 134608370 0 0 16781312 16386 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/3753/statm: 26114 25862 181 398 0 25714 0
[pid=3751/tid=3838] ppid=3737 vsize=365272 CPUtime=0 cores=0,2,4,6
/proc/3751/task/3838/stat : 3838 (python) S 3737 3737 3621 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 2 0 337454086 374038528 7677 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3839] ppid=3737 vsize=365284 CPUtime=2.28 cores=0,2,4,6
/proc/3839/stat : 3839 (python) S 3737 3737 3621 0 -1 4202560 1195 0 0 0 134 94 0 0 20 0 2 0 337454088 374050816 7663 33554432000 4194304 5683644 140733847209296 140733847200384 213419655651 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3839/statm: 91321 7663 383 364 0 26541 0
[pid=3841] ppid=3839 vsize=166516 CPUtime=1286 cores=0,2,4,6
/proc/3841/stat : 3841 (scip-2.0.1.linu) R 3839 3841 3841 0 -1 4202496 42425 0 0 0 128303 297 0 0 20 0 1 0 337454089 170512384 39689 33554432000 4194304 13684479 140735496534832 140735496528760 4772007 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/3841/statm: 41629 39689 824 2317 0 39307 0
[pid=3839/tid=3846] ppid=3737 vsize=365284 CPUtime=0 cores=0,2,4,6
/proc/3839/task/3846/stat : 3846 (python) S 3737 3737 3621 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 337458922 374050816 7663 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3847] ppid=3737 vsize=441076 CPUtime=0.14 cores=0,2,4,6
/proc/3847/stat : 3847 (python) S 3737 3737 3621 0 -1 4202560 1146 0 0 0 8 6 0 0 20 0 2 0 337458924 451661824 8176 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3847/statm: 110269 8176 383 364 0 45486 0
[pid=3849] ppid=3847 vsize=108068 CPUtime=91.94 cores=0,2,4,6
/proc/3849/stat : 3849 (scip-2.0.1.linu) T 3847 3849 3849 0 -1 4202496 112592 0 0 0 9165 29 0 0 20 0 1 0 337458924 110661632 24655 33554432000 4194304 15243407 140737350077584 140737350072472 7060955 0 0 16781312 2 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3849/statm: 27017 24655 955 2698 0 24312 0
[pid=3847/tid=3854] ppid=3737 vsize=441076 CPUtime=0 cores=0,2,4,6
/proc/3847/task/3854/stat : 3854 (python) S 3737 3737 3621 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 2 0 337463711 451661824 8176 33554432000 4194304 5683644 140733847209296 140524551922224 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3860] ppid=3737 vsize=516868 CPUtime=0.07 cores=0,2,4,6
/proc/3860/stat : 3860 (python) S 3737 3737 3621 0 -1 4202560 1141 0 0 0 5 2 0 0 20 0 2 0 337472808 529272832 8183 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/3860/statm: 129217 8183 383 364 0 64431 0
[pid=3862] ppid=3860 vsize=95856 CPUtime=47.75 cores=0,2,4,6
/proc/3862/stat : 3862 (minion) T 3860 3862 3862 0 -1 4202496 11532 0 0 0 4773 2 0 0 20 0 1 0 337472808 98156544 16675 33554432000 134512640 165565024 4287053888 4287051136 142765000 0 0 16781312 8396802 18446744071579387992 0 0 17 0 0 0 0 0 0
/proc/3862/statm: 23964 16675 332 7582 0 16379 0
[pid=3860/tid=3866] ppid=3737 vsize=516868 CPUtime=0 cores=0,2,4,6
/proc/3860/task/3866/stat : 3866 (python) S 3737 3737 3621 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 337477585 529272832 8183 33554432000 4194304 5683644 140733847209296 140524541432368 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3868] ppid=3737 vsize=592660 CPUtime=0.15 cores=0,2,4,6
/proc/3868/stat : 3868 (python) S 3737 3737 3621 0 -1 4202560 1185 0 0 0 10 5 0 0 20 0 2 0 337495845 606883840 8189 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3868/statm: 148165 8189 383 364 0 83376 0
[pid=3870] ppid=3868 vsize=596980 CPUtime=91.93 cores=0,2,4,6
/proc/3870/stat : 3870 (bsolo_pb10) T 3868 3870 3870 0 -1 4202496 149006 0 0 0 9135 58 0 0 20 0 1 0 337495846 611307520 146812 33554432000 134512640 137138936 4293566992 4293565920 134542516 0 0 16781312 16384 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/3870/statm: 149245 146812 190 642 0 148601 0
[pid=3868/tid=3872] ppid=3737 vsize=592660 CPUtime=0 cores=0,2,4,6
/proc/3868/task/3872/stat : 3872 (python) S 3737 3737 3621 0 -1 4202560 52 0 0 0 0 0 0 0 20 0 2 0 337505041 606883840 8189 33554432000 4194304 5683644 140733847209296 140524530942512 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3903] ppid=3737 vsize=668452 CPUtime=0.07 cores=0,2,4,6
/proc/3903/stat : 3903 (python) S 3737 3737 3621 0 -1 4202560 1168 0 0 0 3 4 0 0 20 0 2 0 337546208 684494848 8195 33554432000 4194304 5683644 140733847209296 140733847200944 213423023373 0 0 16781312 33554946 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3903/statm: 167113 8195 383 364 0 102321 0
[pid=3905] ppid=3903 vsize=140208 CPUtime=46.82 cores=0,2,4,6
/proc/3905/stat : 3905 (wbo1.4a) T 3903 3905 3905 0 -1 4202496 35100 0 0 0 4666 16 0 0 20 0 1 0 337546208 143572992 34533 33554432000 134512640 135751879 4289716640 4289714252 134518948 0 0 16781312 3 18446744071579387992 0 0 17 4 0 0 0 0 0
/proc/3905/statm: 35052 34533 143 303 0 34747 0
[pid=3903/tid=3907] ppid=3737 vsize=668452 CPUtime=0 cores=0,2,4,6
/proc/3903/task/3907/stat : 3907 (python) S 3737 3737 3621 0 -1 4202560 50 0 0 0 0 0 0 0 20 0 2 0 337550892 684494848 8195 33554432000 4194304 5683644 140733847209296 140524520452656 213423019808 0 0 16781312 33554946 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3737/tid=3752] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3752/stat : 3752 (python) S 3735 3737 3621 0 -1 4202560 36 1010 0 0 0 0 0 0 20 0 7 0 337449374 762093568 9729 33554432000 4194304 5683644 140733847209296 140524639937072 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3737/tid=3840] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3840/stat : 3840 (python) S 3735 3737 3621 0 -1 4202560 27 1010 0 0 0 0 0 0 20 0 7 0 337454089 762093568 9729 33554432000 4194304 5683644 140733847209296 140524551922224 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3737/tid=3848] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3848/stat : 3848 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337458924 762093568 9729 33554432000 4194304 5683644 140733847209296 140524541432368 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3737/tid=3861] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3861/stat : 3861 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337472808 762093568 9729 33554432000 4194304 5683644 140733847209296 140524530942512 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3737/tid=3869] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3869/stat : 3869 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337495845 762093568 9729 33554432000 4194304 5683644 140733847209296 140524520452656 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3737/tid=3904] ppid=3735 vsize=744232 CPUtime=0 cores=0,2,4,6
/proc/3737/task/3904/stat : 3904 (python) S 3735 3737 3621 0 -1 4202560 21 1010 0 0 0 0 0 0 20 0 7 0 337546208 762093568 9729 33554432000 4194304 5683644 140733847209296 140524509962800 213423019808 0 0 16781312 33554434 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4905928
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3737 and gives
# childrusage.ru_utime.tv_sec=1565
# childrusage.ru_utime.tv_usec=145061
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=524160
# CPU time returned by wait4() is 1570.67
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.95
CPU time (s): 1800.07
CPU user time (s): 1794.58
CPU system time (s): 5.49
CPU usage (%): 100.118
Max. virtual memory (cumulated for all children) (KiB): 4905928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1565.15
system time used= 5.52416
maximum resident set size= 587248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382653
page faults= 1
swaps= 0
block input operations= 0
block output operations= 3552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3666
involuntary context switches= 1794
runsolver used 7.30189 second user time and 16.7525 second system time
The end