runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/apt-get-paranoid-1.0/randaafcce.cudf.impossible.log.runsolver ./apt-get-paranoid-1.0 /home/misc2010/data/2010/impossible//randaafcce.cudf /home/misc2010/tmp/201012061533/apt-get-paranoid-1.0/randaafcce.cudf.impossible.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.57 1.36 1.24 4/46 30250
/proc/meminfo: memFree=772932/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2572 CPUtime=0
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 364 0 0 0 0 0 0 0 18 0 1 0 876528373 2633728 271 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/30249/statm: 643 271 232 194 0 29 0
[pid=30250] ppid=30249 vsize=2572 CPUtime=0.01
/proc/30250/stat : 30250 (apt-get-paranoi) R 30249 30249 2059 34821 2220 4202560 100 0 0 0 1 0 0 0 25 0 1 0 876528373 2633728 122 1283457024 134512640 135304128 4291214976 18446744073709551615 4160317979 0 0 0 65538 0 0 0 17 0 0 0 0
/proc/30250/statm: 643 122 81 194 0 29 0

[startup+0.131894 s]
/proc/loadavg: 1.57 1.36 1.24 4/46 30250
/proc/meminfo: memFree=772932/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2584 CPUtime=0.07
/proc/30249/stat : 30249 (apt-get-paranoi) R 30248 30249 2059 34821 2220 4202496 537 1857 0 0 0 0 2 5 25 0 1 0 876528373 2646016 282 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/30249/statm: 646 282 240 194 0 32 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2584

[startup+0.211909 s]
/proc/loadavg: 1.57 1.36 1.24 4/46 30250
/proc/meminfo: memFree=772932/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2584 CPUtime=0.07
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 555 1857 0 0 0 0 2 5 25 0 1 0 876528373 2646016 282 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 646 282 240 194 0 32 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2584

[startup+0.311923 s]
/proc/loadavg: 1.57 1.36 1.24 4/46 30250
/proc/meminfo: memFree=772932/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2584 CPUtime=0.07
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 555 1857 0 0 0 0 2 5 25 0 1 0 876528373 2646016 282 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 646 282 240 194 0 32 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2584

[startup+0.711985 s]
/proc/loadavg: 1.57 1.36 1.24 4/46 30250
/proc/meminfo: memFree=772932/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2584 CPUtime=0.07
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 555 1857 0 0 0 0 2 5 25 0 1 0 876528373 2646016 282 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 646 282 240 194 0 32 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2584

[startup+1.51209 s]
/proc/loadavg: 1.57 1.36 1.24 2/47 30260
/proc/meminfo: memFree=723444/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2584 CPUtime=0.07
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 555 1857 0 0 0 0 2 5 25 0 1 0 876528373 2646016 282 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 646 282 240 194 0 32 0
[pid=30260] ppid=30249 vsize=33432 CPUtime=1.44
/proc/30260/stat : 30260 (cudftodeb.nativ) R 30249 30249 2059 34821 2220 4202496 7933 0 0 0 143 1 0 0 25 0 1 0 876528379 34234368 7860 1283457024 134512640 135004320 4287916976 18446744073709551615 134951521 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/30260/statm: 8358 7860 225 121 0 7750 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 36016

[startup+3.11246 s]
/proc/loadavg: 1.57 1.36 1.24 2/47 30260
/proc/meminfo: memFree=701124/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2584 CPUtime=0.07
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 555 1857 0 0 0 0 2 5 25 0 1 0 876528373 2646016 282 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 646 282 240 194 0 32 0
[pid=30260] ppid=30249 vsize=65124 CPUtime=3.04
/proc/30260/stat : 30260 (cudftodeb.nativ) R 30249 30249 2059 34821 2220 4202496 15740 0 0 0 302 2 0 0 25 0 1 0 876528379 66686976 15665 1283457024 134512640 135004320 4287916976 18446744073709551615 134959863 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/30260/statm: 16281 15665 225 121 0 15673 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 67708

[startup+6.31328 s]
/proc/loadavg: 1.52 1.35 1.24 2/47 30260
/proc/meminfo: memFree=640116/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2584 CPUtime=0.07
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 555 1857 0 0 0 0 2 5 25 0 1 0 876528373 2646016 282 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 646 282 240 194 0 32 0
[pid=30260] ppid=30249 vsize=123116 CPUtime=6.24
/proc/30260/stat : 30260 (cudftodeb.nativ) R 30249 30249 2059 34821 2220 4202496 30000 0 0 0 614 10 0 0 25 0 1 0 876528379 126070784 29925 1283457024 134512640 135004320 4287916976 18446744073709551615 4159482099 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/30260/statm: 30779 29925 236 121 0 30171 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 125700

[startup+12.705 s]
/proc/loadavg: 1.48 1.35 1.23 2/47 30260
/proc/meminfo: memFree=549720/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2584 CPUtime=0.07
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 555 1857 0 0 0 0 2 5 25 0 1 0 876528373 2646016 282 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 646 282 240 194 0 32 0
[pid=30260] ppid=30249 vsize=97184 CPUtime=12.62
/proc/30260/stat : 30260 (cudftodeb.nativ) R 30249 30249 2059 34821 2220 4202496 44787 0 0 0 1234 28 0 0 25 0 1 0 876528379 99516416 23545 1283457024 134512640 135004320 4287916976 18446744073709551615 134534264 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/30260/statm: 24296 23545 237 121 0 23688 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99768

Solver just ended. Dumping a history of the last processes samples

[startup+12.805 s]
/proc/loadavg: 1.48 1.35 1.23 2/47 30260
/proc/meminfo: memFree=549720/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2584 CPUtime=0.07
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 555 1857 0 0 0 0 2 5 25 0 1 0 876528373 2646016 282 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 646 282 240 194 0 32 0
[pid=30260] ppid=30249 vsize=97184 CPUtime=12.72
/proc/30260/stat : 30260 (cudftodeb.nativ) R 30249 30249 2059 34821 2220 4202496 44787 0 0 0 1244 28 0 0 25 0 1 0 876528379 99516416 23545 1283457024 134512640 135004320 4287916976 18446744073709551615 134961562 0 0 0 1024 0 0 0 17 0 0 0 0
/proc/30260/statm: 24296 23545 237 121 0 23688 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 99768

[startup+16.0137 s]
/proc/loadavg: 1.52 1.36 1.24 2/47 30270
/proc/meminfo: memFree=669348/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2592 CPUtime=13.96
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 689 49924 0 1 0 0 1348 48 18 0 1 0 876528373 2654208 293 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 648 293 249 194 0 34 0
[pid=30270] ppid=30249 vsize=101452 CPUtime=0.8
/proc/30270/stat : 30270 (apt-get) R 30249 30249 2059 34821 2220 4202496 4929 0 267 0 78 2 0 0 22 0 1 0 876529891 103886848 5121 1283457024 134512640 134619611 4294868576 18446744073709551615 4159091408 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/30270/statm: 25363 5121 5068 27 0 57 0
Current children cumulated CPU time (s) 14.76
Current children cumulated vsize (KiB) 104044

[startup+19.2109 s]
/proc/loadavg: 1.52 1.36 1.24 2/47 30270
/proc/meminfo: memFree=596056/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2592 CPUtime=13.96
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 689 49924 0 1 0 0 1348 48 18 0 1 0 876528373 2654208 293 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 648 293 249 194 0 34 0
[pid=30270] ppid=30249 vsize=44408 CPUtime=2.57
/proc/30270/stat : 30270 (apt-get) R 30249 30249 2059 34821 2220 4202496 19057 0 535 0 242 15 0 0 18 0 1 0 876529891 45473792 10052 1283457024 134512640 134619611 4294868576 18446744073709551615 4159216793 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/30270/statm: 11102 10052 9288 27 0 789 0
Current children cumulated CPU time (s) 16.53
Current children cumulated vsize (KiB) 47000

[startup+20.0111 s]
/proc/loadavg: 1.48 1.35 1.24 2/47 30270
/proc/meminfo: memFree=595312/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2592 CPUtime=13.96
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 689 49924 0 1 0 0 1348 48 18 0 1 0 876528373 2654208 293 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 648 293 249 194 0 34 0
[pid=30270] ppid=30249 vsize=44844 CPUtime=3.37
/proc/30270/stat : 30270 (apt-get) R 30249 30249 2059 34821 2220 4202496 19152 0 535 0 322 15 0 0 19 0 1 0 876529891 45920256 10147 1283457024 134512640 134619611 4294868576 18446744073709551615 4159215097 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/30270/statm: 11211 10147 9292 27 0 898 0
Current children cumulated CPU time (s) 17.33
Current children cumulated vsize (KiB) 47436

[startup+20.4112 s]
/proc/loadavg: 1.48 1.35 1.24 2/47 30270
/proc/meminfo: memFree=595312/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2592 CPUtime=13.96
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 689 49924 0 1 0 0 1348 48 18 0 1 0 876528373 2654208 293 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 648 293 249 194 0 34 0
[pid=30270] ppid=30249 vsize=44844 CPUtime=3.77
/proc/30270/stat : 30270 (apt-get) R 30249 30249 2059 34821 2220 4202496 19152 0 535 0 362 15 0 0 20 0 1 0 876529891 45920256 10147 1283457024 134512640 134619611 4294868576 18446744073709551615 4159616535 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/30270/statm: 11211 10147 9292 27 0 898 0
Current children cumulated CPU time (s) 17.73
Current children cumulated vsize (KiB) 47436

[startup+20.6113 s]
/proc/loadavg: 1.48 1.35 1.24 2/47 30270
/proc/meminfo: memFree=595312/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2592 CPUtime=13.96
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 689 49924 0 1 0 0 1348 48 18 0 1 0 876528373 2654208 293 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 648 293 249 194 0 34 0
[pid=30270] ppid=30249 vsize=44844 CPUtime=3.97
/proc/30270/stat : 30270 (apt-get) R 30249 30249 2059 34821 2220 4202496 19152 0 535 0 382 15 0 0 21 0 1 0 876529891 45920256 10147 1283457024 134512640 134619611 4294868576 18446744073709551615 4159616532 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/30270/statm: 11211 10147 9292 27 0 898 0
Current children cumulated CPU time (s) 17.93
Current children cumulated vsize (KiB) 47436

[startup+20.712 s]
/proc/loadavg: 1.48 1.35 1.24 2/47 30270
/proc/meminfo: memFree=595312/1048576 swapFree=2078744/2097144
[pid=30249] ppid=30248 vsize=2592 CPUtime=13.96
/proc/30249/stat : 30249 (apt-get-paranoi) S 30248 30249 2059 34821 2220 4202496 689 49924 0 1 0 0 1348 48 18 0 1 0 876528373 2654208 293 1283457024 134512640 135304128 4291214976 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/30249/statm: 648 293 249 194 0 34 0
[pid=30270] ppid=30249 vsize=41668 CPUtime=4.07
/proc/30270/stat : 30270 (apt-get) R 30249 30249 2059 34821 2220 4202496 19161 0 535 0 391 16 0 0 21 0 1 0 876529891 42668032 3272 1283457024 134512640 134619611 4294868576 18446744073709551615 4294960130 0 0 4096 134217728 0 0 0 17 0 0 0 0
/proc/30270/statm: 10417 3272 3155 27 0 104 0
Current children cumulated CPU time (s) 18.03
Current children cumulated vsize (KiB) 44260

Child status: 100
Real time (s): 20.7155
CPU time (s): 18.0451
CPU user time (s): 17.4011
CPU system time (s): 0.64404
CPU usage (%): 87.1095
Max. virtual memory (cumulated for all children) (KiB): 185824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4011
system time used= 0.64404
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69786
page faults= 536
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 204
involuntary context switches= 444

runsolver used 0.004 second user time and 0 second system time

The end