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/randeb343c.cudf.easy.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/easy//randeb343c.cudf /home/misc2010/tmp/201007050905/apt-pbo-paranoid-1.0.5/randeb343c.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.04 1.15 1.09 5/38 30686 /proc/meminfo: memFree=511060/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) R 30684 30685 24102 769 24102 4194304 353 0 0 0 0 0 0 0 25 0 1 0 525212811 2445312 266 1283457024 134512640 135191968 4287525872 18446744073709551615 4159353248 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/30685/statm: 597 266 226 166 0 29 0 [pid=30686] ppid=30685 vsize=2388 CPUtime=0 /proc/30686/stat : 30686 (sh) R 30685 30685 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525212812 2445312 40 1283457024 134512640 135191968 4287525872 18446744073709551615 4159353248 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/30686/statm: 597 40 0 166 0 29 0 [startup+0.130069 s] /proc/loadavg: 1.04 1.15 1.09 5/38 30686 /proc/meminfo: memFree=511060/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.207386 s] /proc/loadavg: 1.04 1.15 1.09 5/38 30686 /proc/meminfo: memFree=511060/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.307403 s] /proc/loadavg: 1.04 1.15 1.09 5/38 30686 /proc/meminfo: memFree=511060/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.707481 s] /proc/loadavg: 1.04 1.15 1.09 5/38 30686 /proc/meminfo: memFree=511060/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.50761 s] /proc/loadavg: 1.03 1.14 1.09 2/39 30690 /proc/meminfo: memFree=496784/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 [pid=30688] ppid=30685 vsize=17252 CPUtime=1.48 /proc/30688/stat : 30688 (apt-pbo) R 30685 30685 24102 769 24102 4202496 4148 722 0 0 145 3 0 0 25 0 1 0 525212812 17666048 3682 1283457024 134512640 135758360 4292753456 18446744073709551615 134944891 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30688/statm: 4313 3682 630 305 0 3086 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 19640 [startup+3.10792 s] /proc/loadavg: 1.03 1.14 1.09 2/39 30690 /proc/meminfo: memFree=483912/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 [pid=30688] ppid=30685 vsize=27752 CPUtime=3.08 /proc/30688/stat : 30688 (apt-pbo) R 30685 30685 24102 769 24102 4202496 6779 722 0 0 300 8 0 0 25 0 1 0 525212812 28418048 6305 1283457024 134512640 135758360 4292753456 18446744073709551615 135037219 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30688/statm: 6938 6305 630 305 0 5711 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30140 [startup+6.30881 s] /proc/loadavg: 1.03 1.14 1.09 2/40 30704 /proc/meminfo: memFree=437208/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 [pid=30688] ppid=30685 vsize=49224 CPUtime=6.16 /proc/30688/stat : 30688 (apt-pbo) R 30685 30685 24102 769 24102 4202496 12857 13669 0 194 475 12 112 17 20 0 1 0 525212812 50405376 11552 1283457024 134512640 135758360 4292753456 18446744073709551615 134893734 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30688/statm: 12306 11552 3936 305 0 7657 0 [pid=30704] ppid=30688 vsize=0 CPUtime=0.03 /proc/30704/stat : 30704 (wbo) Z 30688 30685 24102 769 24102 4202508 612 0 0 0 2 1 0 0 20 0 1 0 525213321 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/30704/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.19 Current children cumulated vsize (KiB) 51612 Solver just ended. Dumping a history of the last processes samples [startup+6.4089 s] /proc/loadavg: 1.03 1.14 1.09 2/40 30704 /proc/meminfo: memFree=437208/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 [pid=30688] ppid=30685 vsize=49224 CPUtime=6.23 /proc/30688/stat : 30688 (apt-pbo) R 30685 30685 24102 769 24102 4202496 12888 13669 0 194 481 13 112 17 22 0 1 0 525212812 50405376 11552 1283457024 134512640 135758360 4292753456 18446744073709551615 4159649102 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30688/statm: 12306 11552 3936 305 0 7657 0 [pid=30704] ppid=30688 vsize=0 CPUtime=0.03 /proc/30704/stat : 30704 (wbo) Z 30688 30685 24102 769 24102 4202508 612 0 0 0 2 1 0 0 20 0 1 0 525213321 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/30704/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.26 Current children cumulated vsize (KiB) 51612 [startup+7.20903 s] /proc/loadavg: 1.03 1.14 1.09 2/42 30708 /proc/meminfo: memFree=435192/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 [pid=30688] ppid=30685 vsize=49344 CPUtime=7.01 /proc/30688/stat : 30688 (apt-pbo) R 30685 30685 24102 769 24102 4202496 13747 19641 0 194 495 13 166 27 19 0 1 0 525212812 50528256 11595 1283457024 134512640 135758360 4292753456 18446744073709551615 135518258 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30688/statm: 12336 11595 3937 305 0 7687 0 Current children cumulated CPU time (s) 7.01 Current children cumulated vsize (KiB) 51732 [startup+7.60915 s] /proc/loadavg: 1.03 1.14 1.09 2/42 30708 /proc/meminfo: memFree=435192/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 [pid=30688] ppid=30685 vsize=49344 CPUtime=7.08 /proc/30688/stat : 30688 (apt-pbo) S 30685 30685 24102 769 24102 4202496 13786 19641 0 194 501 14 166 27 18 0 1 0 525212812 50528256 11595 1283457024 134512640 135758360 4292753456 18446744073709551615 4159649102 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/30688/statm: 12336 11595 3937 305 0 7687 0 Current children cumulated CPU time (s) 7.08 Current children cumulated vsize (KiB) 51732 [startup+8.00924 s] /proc/loadavg: 1.03 1.14 1.09 2/42 30713 /proc/meminfo: memFree=434076/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 [pid=30688] ppid=30685 vsize=49344 CPUtime=7.82 /proc/30688/stat : 30688 (apt-pbo) R 30685 30685 24102 769 24102 4202496 14672 25713 0 194 507 15 226 34 19 0 1 0 525212812 50528256 11601 1283457024 134512640 135758360 4292753456 18446744073709551615 135356782 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30688/statm: 12336 11601 3937 305 0 7687 0 Current children cumulated CPU time (s) 7.82 Current children cumulated vsize (KiB) 51732 [startup+8.10927 s] /proc/loadavg: 1.03 1.14 1.09 2/42 30713 /proc/meminfo: memFree=434076/1048576 swapFree=2095456/2097144 [pid=30685] ppid=30684 vsize=2388 CPUtime=0 /proc/30685/stat : 30685 (sh) S 30684 30685 24102 769 24102 4202496 392 306 0 0 0 0 0 0 25 0 1 0 525212811 2445312 267 1283457024 134512640 135191968 4287525872 18446744073709551615 4159351198 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/30685/statm: 597 267 227 166 0 29 0 [pid=30688] ppid=30685 vsize=49344 CPUtime=7.92 /proc/30688/stat : 30688 (apt-pbo) R 30685 30685 24102 769 24102 4202496 16569 25713 0 194 517 15 226 34 19 0 1 0 525212812 50528256 11601 1283457024 134512640 135758360 4292753456 18446744073709551615 134953221 0 0 128 0 0 0 0 17 0 0 0 0 /proc/30688/statm: 12336 11601 3937 305 0 7687 0 Current children cumulated CPU time (s) 7.92 Current children cumulated vsize (KiB) 51732 Child status: 0 Real time (s): 8.16332 CPU time (s): 7.9925 CPU user time (s): 7.48047 CPU system time (s): 0.512032 CPU usage (%): 97.9075 Max. virtual memory (cumulated for all children) (KiB): 73668 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.48047 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= 44668 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= 1343 involuntary context switches= 1345 runsolver used 0 second user time and 0 second system time The end