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-3450077-1307059397/watcher-3450077-1307059397 -o /tmp/evaluation-result-3450077-1307059397/solver-3450077-1307059397 -C 5000 -W 5100 -M 15500 python portfolio_solver.py -t 5000 -s 1824729102 HOME/instance-3450077-1307059397.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 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: 2.07 1.76 1.17 2/518 897
/proc/meminfo: memFree=22119108/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=15080 CPUtime=0 cores=0,2,4,6
/proc/897/stat : 897 (python) R 895 897 742 0 -1 4202496 647 0 0 0 0 0 0 0 21 0 1 0 798355432 15441920 544 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726090304 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/897/statm: 3770 544 312 364 0 257 0
[startup+0.053013 s]
/proc/loadavg: 2.07 1.76 1.17 2/518 897
/proc/meminfo: memFree=22119108/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892
[startup+0.101028 s]
/proc/loadavg: 2.07 1.76 1.17 2/518 897
/proc/meminfo: memFree=22119108/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892
[startup+0.300997 s]
/proc/loadavg: 2.07 1.76 1.17 2/518 897
/proc/meminfo: memFree=22119108/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892
[startup+0.700887 s]
/proc/loadavg: 2.07 1.76 1.17 2/518 897
/proc/meminfo: memFree=22119108/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 21892
[startup+1.50076 s]
/proc/loadavg: 2.15 1.78 1.18 3/520 899
/proc/meminfo: memFree=22104936/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
[pid=899] ppid=897 vsize=8364 CPUtime=1.45 cores=0,2,4,6
/proc/899/stat : 899 (features) R 897 897 742 0 -1 4202496 2645 0 0 0 143 2 0 0 25 0 1 0 798355436 8564736 1528 33554432000 134512640 135907751 4288886224 18446744073709551615 135392733 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/899/statm: 2091 1528 111 341 0 1747 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30256
[startup+3.10044 s]
/proc/loadavg: 2.15 1.78 1.18 3/520 899
/proc/meminfo: memFree=22105804/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
[pid=899] ppid=897 vsize=61440 CPUtime=3.05 cores=0,2,4,6
/proc/899/stat : 899 (features) R 897 897 742 0 -1 4202496 16379 0 0 0 300 5 0 0 25 0 1 0 798355436 62914560 14357 33554432000 134512640 135907751 4288886224 18446744073709551615 135340715 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/899/statm: 15360 14357 112 341 0 15016 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 83332
[startup+6.30086 s]
/proc/loadavg: 2.15 1.78 1.18 3/520 899
/proc/meminfo: memFree=22004980/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
[pid=899] ppid=897 vsize=115348 CPUtime=6.25 cores=0,2,4,6
/proc/899/stat : 899 (features) R 897 897 742 0 -1 4202496 28430 0 0 0 618 7 0 0 25 0 1 0 798355436 118116352 26407 33554432000 134512640 135907751 4288886224 18446744073709551615 134534342 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/899/statm: 28837 26407 112 341 0 28493 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 137240
[startup+12.7006 s]
/proc/loadavg: 2.12 1.79 1.19 3/520 899
/proc/meminfo: memFree=22005248/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
[pid=899] ppid=897 vsize=115348 CPUtime=12.65 cores=0,2,4,6
/proc/899/stat : 899 (features) R 897 897 742 0 -1 4202496 28460 0 0 0 1258 7 0 0 25 0 1 0 798355436 118116352 26437 33554432000 134512640 135907751 4288886224 18446744073709551615 134534804 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/899/statm: 28837 26437 112 341 0 28493 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 137240
[startup+25.5002 s]
/proc/loadavg: 2.11 1.79 1.20 3/520 900
/proc/meminfo: memFree=22003356/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
[pid=899] ppid=897 vsize=115348 CPUtime=25.46 cores=0,2,4,6
/proc/899/stat : 899 (features) R 897 897 742 0 -1 4202496 28525 0 0 0 2538 8 0 0 25 0 1 0 798355436 118116352 26502 33554432000 134512640 135907751 4288886224 18446744073709551615 134534355 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/899/statm: 28837 26502 112 341 0 28493 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 137240
[startup+51.1004 s]
/proc/loadavg: 2.19 1.84 1.23 3/520 900
/proc/meminfo: memFree=22004052/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=21892 CPUtime=0.01 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 1514 0 0 0 1 0 0 0 21 0 1 0 798355432 22417408 1349 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 6 0 0 0
/proc/897/statm: 5473 1349 443 364 0 928 0
[pid=899] ppid=897 vsize=115348 CPUtime=51.06 cores=0,2,4,6
/proc/899/stat : 899 (features) R 897 897 742 0 -1 4202496 28652 0 0 0 5097 9 0 0 25 0 1 0 798355436 118116352 26629 33554432000 134512640 135907751 4288886224 18446744073709551615 134534342 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/899/statm: 28837 26629 112 341 0 28493 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 137240
[startup+102.32 s]
/proc/loadavg: 2.14 1.88 1.28 3/523 907
/proc/meminfo: memFree=22002316/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=34392 CPUtime=21.04 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 2315 210653 0 0 2 0 2078 24 18 0 1 0 798355432 35217408 1407 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/897/statm: 8598 1407 468 364 0 932 0
[pid=899] ppid=897 vsize=0 CPUtime=79.35 cores=0,2,4,6
/proc/899/stat : 899 (features) Z 897 897 742 0 -1 4202524 36614 0 0 0 7924 11 0 0 25 0 1 0 798355436 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/899/statm: 0 0 0 0 0 0 0
[pid=902] ppid=897 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/902/stat : 902 (coach) Z 897 897 742 0 -1 4202524 3925 0 0 0 33 0 0 0 20 0 1 0 798363371 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/902/statm: 0 0 0 0 0 0 0
[pid=906] ppid=897 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/906/stat : 906 (timerun) S 897 897 742 0 -1 4202496 746 0 0 0 0 0 0 0 20 0 1 0 798365513 8908800 248 33554432000 4194304 4922060 140734007938864 18446744073709551615 264726224005 0 65536 16781316 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/906/statm: 2175 248 208 178 0 68 0
[pid=907] ppid=906 vsize=492884 CPUtime=1.49 cores=0,2,4,6
/proc/907/stat : 907 (adaptg2wsat2009) R 906 897 742 0 -1 4194304 25231 0 0 0 147 2 0 0 25 0 1 0 798365513 504713216 25177 33554432000 134512640 134546244 4293173120 18446744073709551615 134524497 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/907/statm: 123221 25177 91 9 0 121885 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 535976
Solver just ended. Dumping a history of the last processes samples
[startup+115.101 s]
/proc/loadavg: 2.12 1.88 1.28 3/523 909
/proc/meminfo: memFree=21931868/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=34392 CPUtime=25.04 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 2458 239827 0 0 2 0 2474 28 18 0 1 0 798355432 35217408 1407 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/897/statm: 8598 1407 468 364 0 932 0
[pid=899] ppid=897 vsize=0 CPUtime=79.35 cores=0,2,4,6
/proc/899/stat : 899 (features) Z 897 897 742 0 -1 4202524 36614 0 0 0 7924 11 0 0 25 0 1 0 798355436 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/899/statm: 0 0 0 0 0 0 0
[pid=902] ppid=897 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/902/stat : 902 (coach) Z 897 897 742 0 -1 4202524 3925 0 0 0 33 0 0 0 20 0 1 0 798363371 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/902/statm: 0 0 0 0 0 0 0
[pid=908] ppid=897 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/908/stat : 908 (timerun) S 897 897 742 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 798365913 8908800 248 33554432000 4194304 4922060 140735128226064 18446744073709551615 264726224005 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/908/statm: 2175 248 208 178 0 68 0
[pid=909] ppid=908 vsize=190776 CPUtime=10.27 cores=0,2,4,6
/proc/909/stat : 909 (precosat) R 908 897 742 0 -1 4202496 59909 0 0 0 1019 8 0 0 25 0 1 0 798365914 195354624 42852 33554432000 134512640 135142049 4289656992 18446744073709551615 134614832 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/909/statm: 47694 42852 82 154 0 47538 0
Current children cumulated CPU time (s) 114.99
Current children cumulated vsize (KiB) 233868
[startup+121.501 s]
/proc/loadavg: 2.10 1.89 1.29 3/523 909
/proc/meminfo: memFree=21928140/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=34392 CPUtime=25.04 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 2458 239827 0 0 2 0 2474 28 18 0 1 0 798355432 35217408 1407 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/897/statm: 8598 1407 468 364 0 932 0
[pid=899] ppid=897 vsize=0 CPUtime=79.35 cores=0,2,4,6
/proc/899/stat : 899 (features) Z 897 897 742 0 -1 4202524 36614 0 0 0 7924 11 0 0 25 0 1 0 798355436 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/899/statm: 0 0 0 0 0 0 0
[pid=902] ppid=897 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/902/stat : 902 (coach) Z 897 897 742 0 -1 4202524 3925 0 0 0 33 0 0 0 20 0 1 0 798363371 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/902/statm: 0 0 0 0 0 0 0
[pid=908] ppid=897 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/908/stat : 908 (timerun) S 897 897 742 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 798365913 8908800 248 33554432000 4194304 4922060 140735128226064 18446744073709551615 264726224005 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/908/statm: 2175 248 208 178 0 68 0
[pid=909] ppid=908 vsize=198868 CPUtime=16.68 cores=0,2,4,6
/proc/909/stat : 909 (precosat) R 908 897 742 0 -1 4202496 83500 0 0 0 1656 12 0 0 25 0 1 0 798365914 203640832 45169 33554432000 134512640 135142049 4289656992 18446744073709551615 134564374 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/909/statm: 49717 45169 82 154 0 49561 0
Current children cumulated CPU time (s) 121.4
Current children cumulated vsize (KiB) 241960
[startup+123.101 s]
/proc/loadavg: 2.10 1.89 1.29 3/523 909
/proc/meminfo: memFree=21919708/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=34392 CPUtime=25.04 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 2458 239827 0 0 2 0 2474 28 18 0 1 0 798355432 35217408 1407 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/897/statm: 8598 1407 468 364 0 932 0
[pid=899] ppid=897 vsize=0 CPUtime=79.35 cores=0,2,4,6
/proc/899/stat : 899 (features) Z 897 897 742 0 -1 4202524 36614 0 0 0 7924 11 0 0 25 0 1 0 798355436 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/899/statm: 0 0 0 0 0 0 0
[pid=902] ppid=897 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/902/stat : 902 (coach) Z 897 897 742 0 -1 4202524 3925 0 0 0 33 0 0 0 20 0 1 0 798363371 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/902/statm: 0 0 0 0 0 0 0
[pid=908] ppid=897 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/908/stat : 908 (timerun) S 897 897 742 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 798365913 8908800 248 33554432000 4194304 4922060 140735128226064 18446744073709551615 264726224005 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/908/statm: 2175 248 208 178 0 68 0
[pid=909] ppid=908 vsize=198868 CPUtime=18.28 cores=0,2,4,6
/proc/909/stat : 909 (precosat) R 908 897 742 0 -1 4202496 83502 0 0 0 1816 12 0 0 25 0 1 0 798365914 203640832 45171 33554432000 134512640 135142049 4289656992 18446744073709551615 134564374 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/909/statm: 49717 45171 82 154 0 49561 0
Current children cumulated CPU time (s) 123
Current children cumulated vsize (KiB) 241960
[startup+123.901 s]
/proc/loadavg: 2.10 1.89 1.29 3/523 909
/proc/meminfo: memFree=21919708/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=34392 CPUtime=25.04 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 2458 239827 0 0 2 0 2474 28 18 0 1 0 798355432 35217408 1407 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/897/statm: 8598 1407 468 364 0 932 0
[pid=899] ppid=897 vsize=0 CPUtime=79.35 cores=0,2,4,6
/proc/899/stat : 899 (features) Z 897 897 742 0 -1 4202524 36614 0 0 0 7924 11 0 0 25 0 1 0 798355436 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/899/statm: 0 0 0 0 0 0 0
[pid=902] ppid=897 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/902/stat : 902 (coach) Z 897 897 742 0 -1 4202524 3925 0 0 0 33 0 0 0 20 0 1 0 798363371 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/902/statm: 0 0 0 0 0 0 0
[pid=908] ppid=897 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/908/stat : 908 (timerun) S 897 897 742 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 798365913 8908800 248 33554432000 4194304 4922060 140735128226064 18446744073709551615 264726224005 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/908/statm: 2175 248 208 178 0 68 0
[pid=909] ppid=908 vsize=198868 CPUtime=19.08 cores=0,2,4,6
/proc/909/stat : 909 (precosat) R 908 897 742 0 -1 4202496 83502 0 0 0 1896 12 0 0 25 0 1 0 798365914 203640832 45171 33554432000 134512640 135142049 4289656992 18446744073709551615 134609866 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/909/statm: 49717 45171 82 154 0 49561 0
Current children cumulated CPU time (s) 123.8
Current children cumulated vsize (KiB) 241960
[startup+124.7 s]
/proc/loadavg: 2.10 1.89 1.29 3/523 909
/proc/meminfo: memFree=21919212/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=34392 CPUtime=25.04 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 2458 239827 0 0 2 0 2474 28 18 0 1 0 798355432 35217408 1407 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/897/statm: 8598 1407 468 364 0 932 0
[pid=899] ppid=897 vsize=0 CPUtime=79.35 cores=0,2,4,6
/proc/899/stat : 899 (features) Z 897 897 742 0 -1 4202524 36614 0 0 0 7924 11 0 0 25 0 1 0 798355436 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/899/statm: 0 0 0 0 0 0 0
[pid=902] ppid=897 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/902/stat : 902 (coach) Z 897 897 742 0 -1 4202524 3925 0 0 0 33 0 0 0 20 0 1 0 798363371 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/902/statm: 0 0 0 0 0 0 0
[pid=908] ppid=897 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/908/stat : 908 (timerun) S 897 897 742 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 798365913 8908800 248 33554432000 4194304 4922060 140735128226064 18446744073709551615 264726224005 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/908/statm: 2175 248 208 178 0 68 0
[pid=909] ppid=908 vsize=190384 CPUtime=19.87 cores=0,2,4,6
/proc/909/stat : 909 (precosat) R 908 897 742 0 -1 4202496 86331 0 0 0 1975 12 0 0 25 0 1 0 798365914 194953216 43051 33554432000 134512640 135142049 4289656992 18446744073709551615 134599756 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/909/statm: 47596 43051 82 154 0 47440 0
Current children cumulated CPU time (s) 124.59
Current children cumulated vsize (KiB) 233476
[startup+124.9 s]
/proc/loadavg: 2.10 1.89 1.29 3/523 909
/proc/meminfo: memFree=21919212/32951124 swapFree=62999000/67111528
[pid=897] ppid=895 vsize=34392 CPUtime=25.04 cores=0,2,4,6
/proc/897/stat : 897 (python) S 895 897 742 0 -1 4202496 2458 239827 0 0 2 0 2474 28 18 0 1 0 798355432 35217408 1407 33554432000 4194304 5683644 140734270714416 18446744073709551615 264726404864 0 0 16781312 2 18446744071562362840 0 0 17 2 0 0 0
/proc/897/statm: 8598 1407 468 364 0 932 0
[pid=899] ppid=897 vsize=0 CPUtime=79.35 cores=0,2,4,6
/proc/899/stat : 899 (features) Z 897 897 742 0 -1 4202524 36614 0 0 0 7924 11 0 0 25 0 1 0 798355436 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/899/statm: 0 0 0 0 0 0 0
[pid=902] ppid=897 vsize=0 CPUtime=0.33 cores=0,2,4,6
/proc/902/stat : 902 (coach) Z 897 897 742 0 -1 4202524 3925 0 0 0 33 0 0 0 20 0 1 0 798363371 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 6 0 0 0
/proc/902/statm: 0 0 0 0 0 0 0
[pid=908] ppid=897 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/908/stat : 908 (timerun) S 897 897 742 0 -1 4202496 745 0 0 0 0 0 0 0 20 0 1 0 798365913 8908800 248 33554432000 4194304 4922060 140735128226064 18446744073709551615 264726224005 0 65536 16781316 65538 18446744071562232103 0 0 17 6 0 0 0
/proc/908/statm: 2175 248 208 178 0 68 0
[pid=909] ppid=908 vsize=190384 CPUtime=20.07 cores=0,2,4,6
/proc/909/stat : 909 (precosat) R 908 897 742 0 -1 4202496 86331 0 0 0 1995 12 0 0 25 0 1 0 798365914 194953216 43051 33554432000 134512640 135142049 4289656992 18446744073709551615 134555536 0 0 16781312 17442 0 0 0 17 0 0 0 0
/proc/909/statm: 47596 43051 82 154 0 47440 0
Current children cumulated CPU time (s) 124.79
Current children cumulated vsize (KiB) 233476
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 897 and gives
# childrusage.ru_utime.tv_sec=104
# childrusage.ru_utime.tv_usec=347136
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=413937
# CPU time returned by wait4() is 104.761
# while last known CPU time is 124.79
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 124.982
CPU time (s): 124.79
CPU user time (s): 124.28
CPU system time (s): 0.51
CPU usage (%): 99.8464
Max. virtual memory (cumulated for all children) (KiB): 862872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.347
system time used= 0.413937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283419
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= 288
involuntary context switches= 200
runsolver used 0.677896 second user time and 1.41478 second system time
The end