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/randba6b5b.cudf.easy.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/easy//randba6b5b.cudf /home/misc2010/tmp/201007050905/apt-pbo-paranoid-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.15 1.15 1.07 3/37 29392 /proc/meminfo: memFree=509800/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=4192 CPUtime=0.01 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 731 0 0 0 0 1 0 0 25 0 1 0 525158650 4292608 662 1283457024 134512640 135758360 4290426368 18446744073709551615 135024707 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 1048 662 388 305 0 319 0 [startup+0.162548 s] /proc/loadavg: 1.15 1.15 1.07 3/37 29392 /proc/meminfo: memFree=509800/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=8320 CPUtime=0.15 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 1874 724 0 0 13 2 0 0 25 0 1 0 525158650 8519680 1459 1283457024 134512640 135758360 4290426368 18446744073709551615 134971600 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 2080 1459 630 305 0 853 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 10712 [startup+0.212557 s] /proc/loadavg: 1.15 1.15 1.07 3/37 29392 /proc/meminfo: memFree=509800/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=8716 CPUtime=0.2 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 1963 724 0 0 18 2 0 0 25 0 1 0 525158650 8925184 1548 1283457024 134512640 135758360 4290426368 18446744073709551615 134957712 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 2179 1548 630 305 0 952 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 11108 [startup+0.312576 s] /proc/loadavg: 1.15 1.15 1.07 3/37 29392 /proc/meminfo: memFree=509800/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=9384 CPUtime=0.3 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 2136 724 0 0 28 2 0 0 25 0 1 0 525158650 9609216 1721 1283457024 134512640 135758360 4290426368 18446744073709551615 134975552 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 2346 1721 630 305 0 1119 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 11776 [startup+0.712668 s] /proc/loadavg: 1.15 1.15 1.07 3/37 29392 /proc/meminfo: memFree=509800/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=12068 CPUtime=0.7 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 2839 724 0 0 68 2 0 0 25 0 1 0 525158650 12357632 2386 1283457024 134512640 135758360 4290426368 18446744073709551615 135510306 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 3017 2386 630 305 0 1790 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 14460 [startup+1.51281 s] /proc/loadavg: 1.15 1.15 1.07 2/38 29395 /proc/meminfo: memFree=496152/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=17384 CPUtime=1.5 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 4171 724 0 0 148 2 0 0 25 0 1 0 525158650 17801216 3705 1283457024 134512640 135758360 4290426368 18446744073709551615 134893872 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 4346 3705 630 305 0 3119 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19776 [startup+3.11318 s] /proc/loadavg: 1.14 1.15 1.07 2/38 29395 /proc/meminfo: memFree=483652/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=27884 CPUtime=3.09 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 6813 724 0 0 305 4 0 0 25 0 1 0 525158650 28553216 6339 1283457024 134512640 135758360 4290426368 18446744073709551615 135041539 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 6971 6339 630 305 0 5744 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 30276 [startup+6.31382 s] /proc/loadavg: 1.14 1.15 1.07 2/39 29409 /proc/meminfo: memFree=436832/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=49228 CPUtime=6.17 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 12857 13675 0 194 480 7 113 17 20 0 1 0 525158650 50409472 11554 1283457024 134512640 135758360 4290426368 18446744073709551615 135510302 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 12307 11554 3936 305 0 7658 0 [pid=29409] ppid=29392 vsize=0 CPUtime=0.05 /proc/29409/stat : 29409 (wbo) Z 29392 29390 24102 769 24102 4202508 614 0 0 0 4 1 0 0 18 0 1 0 525159157 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/29409/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.22 Current children cumulated vsize (KiB) 51620 Solver just ended. Dumping a history of the last processes samples [startup+6.40383 s] /proc/loadavg: 1.14 1.15 1.07 2/39 29409 /proc/meminfo: memFree=436832/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=49228 CPUtime=6.26 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 12857 13675 0 194 489 7 113 17 20 0 1 0 525158650 50409472 11554 1283457024 134512640 135758360 4290426368 18446744073709551615 4159371101 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 12307 11554 3936 305 0 7658 0 [pid=29409] ppid=29392 vsize=0 CPUtime=0.05 /proc/29409/stat : 29409 (wbo) Z 29392 29390 24102 769 24102 4202508 614 0 0 0 4 1 0 0 18 0 1 0 525159157 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/29409/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 51620 [startup+7.20406 s] /proc/loadavg: 1.14 1.15 1.07 2/41 29413 /proc/meminfo: memFree=434816/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=49348 CPUtime=7.02 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 13727 19646 0 194 496 7 173 26 19 0 1 0 525158650 50532352 11597 1283457024 134512640 135758360 4290426368 18446744073709551615 134983198 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 12337 11597 3937 305 0 7688 0 Current children cumulated CPU time (s) 7.02 Current children cumulated vsize (KiB) 51740 [startup+8.00432 s] /proc/loadavg: 1.13 1.15 1.07 2/41 29418 /proc/meminfo: memFree=433824/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=49348 CPUtime=7.92 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 14242 25731 0 194 513 9 237 33 18 0 1 0 525158650 50532352 11597 1283457024 134512640 135758360 4290426368 18446744073709551615 4158636448 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 12337 11597 3937 305 0 7688 0 Current children cumulated CPU time (s) 7.92 Current children cumulated vsize (KiB) 51740 [startup+8.20435 s] /proc/loadavg: 1.13 1.15 1.07 2/41 29418 /proc/meminfo: memFree=433824/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=49348 CPUtime=8.01 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 14654 25731 0 194 522 9 237 33 18 0 1 0 525158650 50532352 11603 1283457024 134512640 135758360 4290426368 18446744073709551615 4158494200 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 12337 11603 3937 305 0 7688 0 Current children cumulated CPU time (s) 8.01 Current children cumulated vsize (KiB) 51740 [startup+8.30439 s] /proc/loadavg: 1.13 1.15 1.07 2/41 29418 /proc/meminfo: memFree=433824/1048576 swapFree=2095456/2097144 [pid=29390] ppid=29389 vsize=2392 CPUtime=0 /proc/29390/stat : 29390 (sh) S 29389 29390 24102 769 24102 4202496 392 307 0 0 0 0 0 0 25 0 1 0 525158650 2449408 267 1283457024 134512640 135191968 4287755312 18446744073709551615 4159576478 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/29390/statm: 598 267 227 166 0 30 0 [pid=29392] ppid=29390 vsize=49348 CPUtime=8.11 /proc/29392/stat : 29392 (apt-pbo) R 29390 29390 24102 769 24102 4202496 17637 25731 0 194 532 9 237 33 18 0 1 0 525158650 50532352 11603 1283457024 134512640 135758360 4290426368 18446744073709551615 134975578 0 0 128 0 0 0 0 17 0 0 0 0 /proc/29392/statm: 12337 11603 3937 305 0 7688 0 Current children cumulated CPU time (s) 8.11 Current children cumulated vsize (KiB) 51740 Child status: 0 Real time (s): 8.33296 CPU time (s): 8.15651 CPU user time (s): 7.72448 CPU system time (s): 0.432027 CPU usage (%): 97.8824 Max. virtual memory (cumulated for all children) (KiB): 73680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.72448 system time used= 0.432027 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44705 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= 2093 involuntary context switches= 2073 runsolver used 0 second user time and 0 second system time The end