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/201007050905/apt-pbo-paranoid-1.0.5/rand2fb7ab.cudf.easy.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/easy//rand2fb7ab.cudf /home/misc2010/tmp/201007050905/apt-pbo-paranoid-1.0.5/rand2fb7ab.cudf.easy.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.39 1.02 0.49 3/35 25255 /proc/meminfo: memFree=521104/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) R 25253 25254 24102 769 24102 4194304 353 0 0 0 0 0 0 0 25 0 1 0 524970115 2445312 266 1283457024 134512640 135191968 4288767264 18446744073709551615 4159549856 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/25254/statm: 597 266 226 166 0 29 0 [pid=25255] ppid=25254 vsize=2388 CPUtime=0 /proc/25255/stat : 25255 (sh) R 25254 25254 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 524970115 2445312 40 1283457024 134512640 135191968 4288767264 18446744073709551615 4159549856 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/25255/statm: 597 40 0 166 0 29 0 [startup+0.134017 s] /proc/loadavg: 1.39 1.02 0.49 3/35 25255 /proc/meminfo: memFree=521104/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.214084 s] /proc/loadavg: 1.39 1.02 0.49 3/35 25255 /proc/meminfo: memFree=521104/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.314109 s] /proc/loadavg: 1.39 1.02 0.49 3/35 25255 /proc/meminfo: memFree=521104/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.714201 s] /proc/loadavg: 1.39 1.02 0.49 3/35 25255 /proc/meminfo: memFree=521104/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.51439 s] /proc/loadavg: 1.39 1.02 0.49 2/36 25259 /proc/meminfo: memFree=506708/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 [pid=25257] ppid=25254 vsize=17256 CPUtime=1.48 /proc/25257/stat : 25257 (apt-pbo) R 25254 25254 24102 769 24102 4202496 4160 722 0 0 145 3 0 0 25 0 1 0 524970115 17670144 3695 1283457024 134512640 135758360 4291075744 18446744073709551615 135043755 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25257/statm: 4314 3695 630 305 0 3087 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19644 [startup+3.11478 s] /proc/loadavg: 1.36 1.02 0.49 2/36 25259 /proc/meminfo: memFree=493712/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 [pid=25257] ppid=25254 vsize=27888 CPUtime=3.08 /proc/25257/stat : 25257 (apt-pbo) R 25254 25254 24102 769 24102 4202496 6830 722 0 0 304 4 0 0 25 0 1 0 524970115 28557312 6357 1283457024 134512640 135758360 4291075744 18446744073709551615 134894005 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25257/statm: 6972 6357 630 305 0 5745 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30276 [startup+6.30686 s] /proc/loadavg: 1.36 1.02 0.49 2/40 25300 /proc/meminfo: memFree=444144/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 [pid=25257] ppid=25254 vsize=48852 CPUtime=5.78 /proc/25257/stat : 25257 (apt-pbo) R 25254 25254 24102 769 24102 4202496 12761 13666 0 194 441 6 107 24 19 0 1 0 524970115 50024448 11456 1283457024 134512640 135758360 4291075744 18446744073709551615 135510736 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25257/statm: 12213 11456 3936 305 0 7564 0 [pid=25300] ppid=25257 vsize=0 CPUtime=0.23 /proc/25300/stat : 25300 (wbo) Z 25257 25254 24102 769 24102 4202508 686 0 0 0 22 1 0 0 19 0 1 0 524970640 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25300/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.01 Current children cumulated vsize (KiB) 51240 Solver just ended. Dumping a history of the last processes samples [startup+6.40687 s] /proc/loadavg: 1.36 1.02 0.49 2/40 25300 /proc/meminfo: memFree=444144/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 [pid=25257] ppid=25254 vsize=48852 CPUtime=5.88 /proc/25257/stat : 25257 (apt-pbo) R 25254 25254 24102 769 24102 4202496 12764 13666 0 194 451 6 107 24 19 0 1 0 524970115 50024448 11459 1283457024 134512640 135758360 4291075744 18446744073709551615 134894136 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25257/statm: 12213 11459 3936 305 0 7564 0 [pid=25300] ppid=25257 vsize=0 CPUtime=0.23 /proc/25300/stat : 25300 (wbo) Z 25257 25254 24102 769 24102 4202508 686 0 0 0 22 1 0 0 19 0 1 0 524970640 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25300/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.11 Current children cumulated vsize (KiB) 51240 [startup+8.00715 s] /proc/loadavg: 1.33 1.02 0.49 2/42 25307 /proc/meminfo: memFree=442004/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 [pid=25257] ppid=25254 vsize=49248 CPUtime=6.86 /proc/25257/stat : 25257 (apt-pbo) S 25254 25254 24102 769 24102 4202496 12903 13666 0 194 548 7 107 24 21 0 1 0 524970115 50429952 11561 1283457024 134512640 135758360 4291075744 18446744073709551615 4159997262 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25257/statm: 12312 11561 3936 305 0 7663 0 [pid=25300] ppid=25257 vsize=0 CPUtime=0.23 /proc/25300/stat : 25300 (wbo) Z 25257 25254 24102 769 24102 4202508 686 0 0 0 22 1 0 0 19 0 1 0 524970640 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25300/statm: 0 0 0 0 0 0 0 [pid=25303] ppid=25257 vsize=2412 CPUtime=0 /proc/25303/stat : 25303 (apt-get.sh) S 25257 25254 24102 769 24102 4202496 405 614 0 0 0 0 0 0 20 0 1 0 524970853 2469888 268 1283457024 134512640 135191968 4288557168 18446744073709551615 4159523230 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25303/statm: 603 268 224 166 0 35 0 [pid=25306] ppid=25303 vsize=19528 CPUtime=0.6 /proc/25306/stat : 25306 (apt-get) R 25303 25254 24102 769 24102 4202496 4329 0 0 0 56 4 0 0 25 0 1 0 524970854 19996672 4218 1283457024 134512640 134646397 4292105184 18446744073709551615 4157378318 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/25306/statm: 4882 4218 3639 33 0 584 0 Current children cumulated CPU time (s) 7.69 Current children cumulated vsize (KiB) 73576 [startup+8.80863 s] /proc/loadavg: 1.33 1.02 0.49 2/42 25313 /proc/meminfo: memFree=441384/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 [pid=25257] ppid=25254 vsize=49368 CPUtime=8.02 /proc/25257/stat : 25257 (apt-pbo) S 25254 25254 24102 769 24102 4202496 13815 19712 0 194 572 12 186 32 19 0 1 0 524970115 50552832 11605 1283457024 134512640 135758360 4291075744 18446744073709551615 4159997262 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25257/statm: 12342 11605 3937 305 0 7693 0 [pid=25309] ppid=25257 vsize=0 CPUtime=0.3 /proc/25309/stat : 25309 (wbo) Z 25257 25254 24102 769 24102 4202508 927 0 0 0 30 0 0 0 21 0 1 0 524970917 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25309/statm: 0 0 0 0 0 0 0 [pid=25310] ppid=25257 vsize=2412 CPUtime=0 /proc/25310/stat : 25310 (apt-get.sh) S 25257 25254 24102 769 24102 4202496 408 614 0 0 0 0 0 0 19 0 1 0 524970975 2469888 269 1283457024 134512640 135191968 4290902480 18446744073709551615 4159343006 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25310/statm: 603 269 224 166 0 35 0 [pid=25313] ppid=25310 vsize=19520 CPUtime=0.19 /proc/25313/stat : 25313 (apt-get) R 25310 25254 24102 769 24102 4202496 4320 0 0 0 19 0 0 0 23 0 1 0 524970976 19988480 4208 1283457024 134512640 134646397 4292950992 18446744073709551615 4158870615 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/25313/statm: 4880 4208 3639 33 0 582 0 Current children cumulated CPU time (s) 8.51 Current children cumulated vsize (KiB) 73688 [startup+9.60877 s] /proc/loadavg: 1.33 1.02 0.49 2/42 25313 /proc/meminfo: memFree=441384/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 [pid=25257] ppid=25254 vsize=49368 CPUtime=8.98 /proc/25257/stat : 25257 (apt-pbo) R 25254 25254 24102 769 24102 4202496 14710 26005 0 194 574 14 274 36 18 0 1 0 524970115 50552832 11605 1283457024 134512640 135758360 4291075744 18446744073709551615 135357735 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25257/statm: 12342 11605 3937 305 0 7693 0 Current children cumulated CPU time (s) 8.98 Current children cumulated vsize (KiB) 51756 [startup+9.80881 s] /proc/loadavg: 1.33 1.02 0.49 2/42 25313 /proc/meminfo: memFree=441384/1048576 swapFree=2095456/2097144 [pid=25254] ppid=25253 vsize=2388 CPUtime=0 /proc/25254/stat : 25254 (sh) S 25253 25254 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 524970115 2445312 267 1283457024 134512640 135191968 4288767264 18446744073709551615 4159547806 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25254/statm: 597 267 227 166 0 29 0 [pid=25257] ppid=25254 vsize=49368 CPUtime=9.18 /proc/25257/stat : 25257 (apt-pbo) R 25254 25254 24102 769 24102 4202496 17904 26005 0 194 594 14 274 36 18 0 1 0 524970115 50552832 11605 1283457024 134512640 135758360 4291075744 18446744073709551615 135142373 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25257/statm: 12342 11605 3937 305 0 7693 0 Current children cumulated CPU time (s) 9.18 Current children cumulated vsize (KiB) 51756 Child status: 0 Real time (s): 9.837 CPU time (s): 9.22458 CPU user time (s): 8.71254 CPU system time (s): 0.512032 CPU usage (%): 93.7743 Max. virtual memory (cumulated for all children) (KiB): 89700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.71254 system time used= 0.512032 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45203 page faults= 194 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1890 involuntary context switches= 1779 runsolver used 0 second user time and 0.012 second system time The end