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-trendy-1.0.5/randba6b5b.cudf.easy.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/easy//randba6b5b.cudf /home/misc2010/tmp/201007050905/apt-pbo-trendy-1.0.5/randba6b5b.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.28 1.18 1.08 3/37 29492 /proc/meminfo: memFree=502848/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=1352 CPUtime=0.01 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4194304 74 0 0 0 0 1 0 0 25 0 1 0 525160307 1384448 16 1283457024 134512640 135758360 4291993472 18446744073709551615 4159611948 0 0 0 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 338 16 11 305 0 3 0 [startup+0.193453 s] /proc/loadavg: 1.28 1.18 1.08 3/37 29492 /proc/meminfo: memFree=502848/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=8584 CPUtime=0.19 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 1936 721 0 0 18 1 0 0 25 0 1 0 525160307 8790016 1524 1283457024 134512640 135758360 4291993472 18446744073709551615 135201258 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 2146 1524 630 305 0 919 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10976 [startup+0.213481 s] /proc/loadavg: 1.28 1.18 1.08 3/37 29492 /proc/meminfo: memFree=502848/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=8716 CPUtime=0.21 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 1968 721 0 0 20 1 0 0 25 0 1 0 525160307 8925184 1556 1283457024 134512640 135758360 4291993472 18446744073709551615 4158471113 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 2179 1556 630 305 0 952 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 11108 [startup+0.313496 s] /proc/loadavg: 1.28 1.18 1.08 3/37 29492 /proc/meminfo: memFree=502848/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=9384 CPUtime=0.31 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 2144 721 0 0 30 1 0 0 25 0 1 0 525160307 9609216 1732 1283457024 134512640 135758360 4291993472 18446744073709551615 135510139 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 2346 1732 630 305 0 1119 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 11776 [startup+0.71357 s] /proc/loadavg: 1.28 1.18 1.08 3/37 29492 /proc/meminfo: memFree=502848/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=12068 CPUtime=0.7 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 2850 721 0 0 68 2 0 0 25 0 1 0 525160307 12357632 2400 1283457024 134512640 135758360 4291993472 18446744073709551615 134981159 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 3017 2400 630 305 0 1790 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14460 [startup+1.51372 s] /proc/loadavg: 1.42 1.21 1.09 2/38 29495 /proc/meminfo: memFree=490968/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=17384 CPUtime=1.5 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 4193 721 0 0 147 3 0 0 25 0 1 0 525160307 17801216 3730 1283457024 134512640 135758360 4291993472 18446744073709551615 135016194 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 4346 3730 630 305 0 3119 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19776 [startup+3.11404 s] /proc/loadavg: 1.42 1.21 1.09 2/38 29495 /proc/meminfo: memFree=480552/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=28012 CPUtime=3.1 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 6861 721 0 0 304 6 0 0 25 0 1 0 525160307 28684288 6390 1283457024 134512640 135758360 4291993472 18446744073709551615 134826059 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 7003 6390 630 305 0 5776 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 30404 [startup+6.31552 s] /proc/loadavg: 1.38 1.20 1.09 3/40 29510 /proc/meminfo: memFree=433484/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=49544 CPUtime=5.95 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 12934 13681 0 194 415 13 143 24 18 0 1 0 525160307 50733056 11629 1283457024 134512640 135758360 4291993472 18446744073709551615 134948424 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 12386 11629 3936 305 0 7737 0 [pid=29510] ppid=29492 vsize=0 CPUtime=0.26 /proc/29510/stat : 29510 (wbo) Z 29492 29490 24102 769 24102 4202508 1222 0 0 0 26 0 0 0 20 0 1 0 525160853 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/29510/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 51936 Solver just ended. Dumping a history of the last processes samples [startup+6.41555 s] /proc/loadavg: 1.38 1.20 1.09 3/40 29510 /proc/meminfo: memFree=433484/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=49544 CPUtime=6.05 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 12934 13681 0 194 425 13 143 24 18 0 1 0 525160307 50733056 11629 1283457024 134512640 135758360 4291993472 18446744073709551615 134956637 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 12386 11629 3936 305 0 7737 0 [pid=29510] ppid=29492 vsize=0 CPUtime=0.26 /proc/29510/stat : 29510 (wbo) Z 29492 29490 24102 769 24102 4202508 1222 0 0 0 26 0 0 0 20 0 1 0 525160853 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/29510/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 51936 [startup+8.00598 s] /proc/loadavg: 1.38 1.20 1.09 2/42 29514 /proc/meminfo: memFree=433460/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=49940 CPUtime=7.04 /proc/29492/stat : 29492 (apt-pbo) S 29490 29490 24102 769 24102 4202496 13081 13681 0 194 524 13 143 24 18 0 1 0 525160307 51138560 11740 1283457024 134512640 135758360 4291993472 18446744073709551615 4159354190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/29492/statm: 12485 11740 3936 305 0 7836 0 [pid=29510] ppid=29492 vsize=0 CPUtime=0.26 /proc/29510/stat : 29510 (wbo) Z 29492 29490 24102 769 24102 4202508 1222 0 0 0 26 0 0 0 20 0 1 0 525160853 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/29510/statm: 0 0 0 0 0 0 0 [pid=29511] ppid=29492 vsize=2412 CPUtime=0.01 /proc/29511/stat : 29511 (apt-get.sh) S 29492 29490 24102 769 24102 4202496 409 615 0 0 0 0 0 1 20 0 1 0 525161047 2469888 270 1283457024 134512640 135191968 4293323680 18446744073709551615 4159486366 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29511/statm: 603 270 224 166 0 35 0 [pid=29514] ppid=29511 vsize=19524 CPUtime=0.58 /proc/29514/stat : 29514 (apt-get) R 29511 29490 24102 769 24102 4202496 4332 0 0 0 55 3 0 0 25 0 1 0 525161048 19992576 4221 1283457024 134512640 134646397 4288534288 18446744073709551615 4159863592 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/29514/statm: 4881 4221 3642 33 0 583 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 74268 [startup+9.60639 s] /proc/loadavg: 1.38 1.20 1.09 2/40 29515 /proc/meminfo: memFree=432872/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=50112 CPUtime=8.51 /proc/29492/stat : 29492 (apt-pbo) S 29490 29490 24102 769 24102 4202496 14215 20286 0 194 551 14 252 34 18 0 1 0 525160307 51314688 11768 1283457024 134512640 135758360 4291993472 18446744073709551615 4159354190 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/29492/statm: 12528 11768 3937 305 0 7879 0 [pid=29515] ppid=29492 vsize=0 CPUtime=0.35 /proc/29515/stat : 29515 (wbo) Z 29492 29490 24102 769 24102 4202508 1263 0 0 0 34 1 0 0 21 0 1 0 525161141 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/29515/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 8.86 Current children cumulated vsize (KiB) 52504 [startup+10.0065 s] /proc/loadavg: 1.38 1.20 1.09 2/39 29520 /proc/meminfo: memFree=432468/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=50112 CPUtime=9.8 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 14832 26932 0 194 551 15 371 43 18 0 1 0 525160307 51314688 11768 1283457024 134512640 135758360 4291993472 18446744073709551615 4158611872 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 12528 11768 3937 305 0 7879 0 Current children cumulated CPU time (s) 9.8 Current children cumulated vsize (KiB) 52504 [startup+10.4066 s] /proc/loadavg: 1.38 1.20 1.09 2/39 29520 /proc/meminfo: memFree=432468/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=50112 CPUtime=9.94 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 15340 26932 0 194 565 15 371 43 18 0 1 0 525160307 51314688 11768 1283457024 134512640 135758360 4291993472 18446744073709551615 135311458 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 12528 11768 3937 305 0 7879 0 Current children cumulated CPU time (s) 9.94 Current children cumulated vsize (KiB) 52504 [startup+10.5066 s] /proc/loadavg: 1.38 1.20 1.09 2/39 29520 /proc/meminfo: memFree=432468/1048576 swapFree=2095456/2097144 [pid=29490] ppid=29489 vsize=2392 CPUtime=0 /proc/29490/stat : 29490 (sh) S 29489 29490 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525160307 2449408 267 1283457024 134512640 135191968 4287906896 18446744073709551615 4159109534 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29490/statm: 598 267 227 166 0 30 0 [pid=29492] ppid=29490 vsize=50112 CPUtime=10.04 /proc/29492/stat : 29492 (apt-pbo) R 29490 29490 24102 769 24102 4202496 15340 26932 0 194 575 15 371 43 18 0 1 0 525160307 51314688 11768 1283457024 134512640 135758360 4291993472 18446744073709551615 135311593 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29492/statm: 12528 11768 3937 305 0 7879 0 Current children cumulated CPU time (s) 10.04 Current children cumulated vsize (KiB) 52504 Child status: 0 Real time (s): 10.5992 CPU time (s): 10.1526 CPU user time (s): 9.5406 CPU system time (s): 0.612038 CPU usage (%): 95.7869 Max. virtual memory (cumulated for all children) (KiB): 74268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.5406 system time used= 0.612038 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46676 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= 8659 involuntary context switches= 8616 runsolver used 0 second user time and 0 second system time The end