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/201103110955/apt-pbo-paranoid-1.0.8/25.cudf.caixa.log.runsolver ./apt-pbo-paranoid-1.0.8 /home/misc2010/data/misc4/caixa//25.cudf /home/misc2010/tmp/201103110955/apt-pbo-paranoid-1.0.8/25.cudf.caixa.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.09 1.08 1.01 4/37 17419 /proc/meminfo: memFree=80360/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=3412 CPUtime=0.01 /proc/17419/stat : 17419 (apt-pbo) R 17417 17417 12462 34817 12462 4202496 478 0 0 0 0 1 0 0 25 0 1 0 144408951 3493888 426 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 128 0 0 0 0 17 0 0 0 0 /proc/17419/statm: 853 426 348 302 0 121 0 [startup+0.135193 s] /proc/loadavg: 1.09 1.08 1.01 4/37 17419 /proc/meminfo: memFree=80360/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=8228 CPUtime=0.04 /proc/17419/stat : 17419 (apt-pbo) S 17417 17417 12462 34817 12462 4202496 1581 410 0 0 2 2 0 0 25 0 1 0 144408951 8425472 1401 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17419/statm: 2057 1401 648 302 0 790 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9904 [startup+0.205211 s] /proc/loadavg: 1.09 1.08 1.01 4/37 17419 /proc/meminfo: memFree=80360/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=8228 CPUtime=0.04 /proc/17419/stat : 17419 (apt-pbo) S 17417 17417 12462 34817 12462 4202496 1581 410 0 0 2 2 0 0 25 0 1 0 144408951 8425472 1401 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17419/statm: 2057 1401 648 302 0 790 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9904 [startup+0.305229 s] /proc/loadavg: 1.09 1.08 1.01 4/37 17419 /proc/meminfo: memFree=80360/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=8228 CPUtime=0.04 /proc/17419/stat : 17419 (apt-pbo) S 17417 17417 12462 34817 12462 4202496 1581 410 0 0 2 2 0 0 25 0 1 0 144408951 8425472 1401 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17419/statm: 2057 1401 648 302 0 790 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9904 [startup+0.765329 s] /proc/loadavg: 1.09 1.08 1.01 4/37 17419 /proc/meminfo: memFree=80360/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=8228 CPUtime=0.04 /proc/17419/stat : 17419 (apt-pbo) S 17417 17417 12462 34817 12462 4202496 1581 410 0 0 2 2 0 0 25 0 1 0 144408951 8425472 1401 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17419/statm: 2057 1401 648 302 0 790 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 9904 [startup+1.50534 s] /proc/loadavg: 1.08 1.08 1.01 2/39 17423 /proc/meminfo: memFree=42652/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=8228 CPUtime=0.04 /proc/17419/stat : 17419 (apt-pbo) S 17417 17417 12462 34817 12462 4202496 1581 410 0 0 2 2 0 0 25 0 1 0 144408951 8425472 1401 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17419/statm: 2057 1401 648 302 0 790 0 [pid=17423] ppid=17419 vsize=36260 CPUtime=1.39 /proc/17423/stat : 17423 (cudftodeb.nativ) R 17419 17417 12462 34817 12462 4202496 8747 0 0 0 135 4 0 0 25 0 1 0 144408956 37130240 8667 1283457024 134512640 135029684 4288951296 18446744073709551615 4159797676 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/17423/statm: 9065 8667 257 127 0 8446 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 46164 [startup+3.10578 s] /proc/loadavg: 1.08 1.08 1.01 2/39 17423 /proc/meminfo: memFree=20248/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=8228 CPUtime=0.04 /proc/17419/stat : 17419 (apt-pbo) S 17417 17417 12462 34817 12462 4202496 1581 410 0 0 2 2 0 0 25 0 1 0 144408951 8425472 1401 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17419/statm: 2057 1401 648 302 0 790 0 [pid=17423] ppid=17419 vsize=56420 CPUtime=2.99 /proc/17423/stat : 17423 (cudftodeb.nativ) R 17419 17417 12462 34817 12462 4202496 13743 0 0 0 258 41 0 0 25 0 1 0 144408956 57774080 13663 1283457024 134512640 135029684 4288951296 18446744073709551615 135015882 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/17423/statm: 14105 13663 258 127 0 13486 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 66324 Solver just ended. Dumping a history of the last processes samples [startup+3.20582 s] /proc/loadavg: 1.08 1.08 1.01 2/39 17423 /proc/meminfo: memFree=20248/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=8228 CPUtime=0.04 /proc/17419/stat : 17419 (apt-pbo) S 17417 17417 12462 34817 12462 4202496 1581 410 0 0 2 2 0 0 25 0 1 0 144408951 8425472 1401 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/17419/statm: 2057 1401 648 302 0 790 0 [pid=17423] ppid=17419 vsize=44324 CPUtime=3.1 /proc/17423/stat : 17423 (cudftodeb.nativ) R 17419 17417 12462 34817 12462 4202496 13753 0 0 0 268 42 0 0 25 0 1 0 144408956 45387776 10668 1283457024 134512640 135029684 4288951296 18446744073709551615 134968767 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/17423/statm: 11081 10668 258 127 0 10462 0 Current children cumulated CPU time (s) 3.14 Current children cumulated vsize (KiB) 54228 [startup+4.00539 s] /proc/loadavg: 1.08 1.08 1.01 2/39 17423 /proc/meminfo: memFree=17892/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=8228 CPUtime=3.66 /proc/17419/stat : 17419 (apt-pbo) S 17417 17417 12462 34817 12462 4202496 1754 14165 0 0 2 3 309 52 18 0 1 0 144408951 8425472 1427 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17419/statm: 2057 1427 653 302 0 790 0 Current children cumulated CPU time (s) 3.66 Current children cumulated vsize (KiB) 9904 [startup+4.40546 s] /proc/loadavg: 1.08 1.08 1.01 1/40 17431 /proc/meminfo: memFree=45408/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) S 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 25 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=8228 CPUtime=3.66 /proc/17419/stat : 17419 (apt-pbo) S 17417 17417 12462 34817 12462 4202496 1754 14165 0 0 2 3 309 52 18 0 1 0 144408951 8425472 1427 1283457024 134512640 135745756 4290311408 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/17419/statm: 2057 1427 653 302 0 790 0 [pid=17424] ppid=17419 vsize=2576 CPUtime=0 /proc/17424/stat : 17424 (apt-get.sh) S 17419 17417 12462 34817 12462 4202496 408 490 0 0 0 0 0 0 18 0 1 0 144409324 2637824 274 1283457024 134512640 135304128 4292507504 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/17424/statm: 644 274 232 194 0 31 0 [pid=17427] ppid=17424 vsize=52744 CPUtime=0.18 /proc/17427/stat : 17427 (apt-get) D 17424 17417 12462 34817 12462 4202496 567 1746 1 0 0 0 16 2 25 0 1 0 144409325 54009856 437 1283457024 134512640 134650667 4288351152 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/17427/statm: 13186 437 388 34 0 69 0 Current children cumulated CPU time (s) 3.84 Current children cumulated vsize (KiB) 65224 [startup+4.50556 s] /proc/loadavg: 1.08 1.08 1.01 1/40 17431 /proc/meminfo: memFree=45408/1048576 swapFree=0/0 [pid=17417] ppid=17416 vsize=1676 CPUtime=0 /proc/17417/stat : 17417 (sh) R 17416 17417 12462 34817 12462 4202496 222 176 0 0 0 0 0 0 18 0 1 0 144408951 1716224 129 1283457024 134512640 134593992 4292601856 18446744073709551615 4294960130 0 0 0 2 0 0 0 17 0 0 0 0 /proc/17417/statm: 419 129 112 20 0 46 0 [pid=17419] ppid=17417 vsize=0 CPUtime=3.86 /proc/17419/stat : 17419 (apt-pbo) Z 17417 17417 12462 34817 12462 4202508 2081 17413 1 1 2 3 325 56 16 0 1 0 144408951 0 0 1283457024 0 0 0 0 0 0 0 128 0 18446744071564254338 0 0 17 0 0 0 0 /proc/17419/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.86 Current children cumulated vsize (KiB) 1676 Child status: 100 Real time (s): 4.50587 CPU time (s): 3.88024 CPU user time (s): 3.28421 CPU system time (s): 0.596037 CPU usage (%): 86.1153 Max. virtual memory (cumulated for all children) (KiB): 66324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.28421 system time used= 0.596037 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19895 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 51 involuntary context switches= 134 runsolver used 0 second user time and 0 second system time The end