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/3936.cudf.caixa.log.runsolver ./apt-pbo-paranoid-1.0.8 /home/misc2010/data/misc4/caixa//3936.cudf /home/misc2010/tmp/201103110955/apt-pbo-paranoid-1.0.8/3936.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.21 1.17 1.06 5/37 19320 /proc/meminfo: memFree=70584/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 213 0 0 0 0 0 0 0 18 0 1 0 144437701 1712128 127 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564457842 0 0 17 0 0 0 0 /proc/19319/statm: 418 127 110 20 0 45 0 [pid=19320] ppid=19319 vsize=1604 CPUtime=0 /proc/19320/stat : 19320 (dirname) R 19319 19319 12462 34817 12462 4194304 160 0 0 0 0 0 0 0 25 0 1 0 144437701 1642496 95 1283457024 134512640 134532740 4292358096 18446744073709551615 4159456815 0 0 0 0 0 0 0 17 0 0 0 0 /proc/19320/statm: 401 95 80 5 0 43 0 [startup+0.169641 s] /proc/loadavg: 1.21 1.17 1.06 5/37 19320 /proc/meminfo: memFree=70584/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1672 [startup+0.213949 s] /proc/loadavg: 1.21 1.17 1.06 5/37 19320 /proc/meminfo: memFree=70584/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1672 [startup+0.313962 s] /proc/loadavg: 1.21 1.17 1.06 5/37 19320 /proc/meminfo: memFree=70584/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1672 [startup+0.714066 s] /proc/loadavg: 1.21 1.17 1.06 5/37 19320 /proc/meminfo: memFree=70584/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1672 [startup+1.51427 s] /proc/loadavg: 1.21 1.17 1.06 2/39 19325 /proc/meminfo: memFree=32692/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 [pid=19322] ppid=19319 vsize=8228 CPUtime=0.05 /proc/19322/stat : 19322 (apt-pbo) S 19319 19319 12462 34817 12462 4202496 1582 410 0 0 5 0 0 0 25 0 1 0 144437702 8425472 1401 1283457024 134512640 135745756 4289774704 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/19322/statm: 2057 1401 648 302 0 790 0 [pid=19325] ppid=19322 vsize=36748 CPUtime=1.42 /proc/19325/stat : 19325 (cudftodeb.nativ) R 19322 19319 12462 34817 12462 4202496 8786 0 0 0 135 7 0 0 25 0 1 0 144437707 37629952 8706 1283457024 134512640 135029684 4293595248 18446744073709551615 134968855 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/19325/statm: 9187 8706 257 127 0 8568 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 46648 [startup+3.11465 s] /proc/loadavg: 1.21 1.17 1.06 2/39 19325 /proc/meminfo: memFree=11540/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 [pid=19322] ppid=19319 vsize=8228 CPUtime=0.05 /proc/19322/stat : 19322 (apt-pbo) S 19319 19319 12462 34817 12462 4202496 1582 410 0 0 5 0 0 0 25 0 1 0 144437702 8425472 1401 1283457024 134512640 135745756 4289774704 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/19322/statm: 2057 1401 648 302 0 790 0 [pid=19325] ppid=19322 vsize=52000 CPUtime=3.01 /proc/19325/stat : 19325 (cudftodeb.nativ) R 19322 19319 12462 34817 12462 4202496 12621 0 0 0 261 40 0 0 25 0 1 0 144437707 53248000 12541 1283457024 134512640 135029684 4293595248 18446744073709551615 134985764 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/19325/statm: 13000 12541 258 127 0 12381 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 61900 Solver just ended. Dumping a history of the last processes samples [startup+3.21467 s] /proc/loadavg: 1.21 1.17 1.06 2/39 19325 /proc/meminfo: memFree=11540/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 [pid=19322] ppid=19319 vsize=8228 CPUtime=0.05 /proc/19322/stat : 19322 (apt-pbo) S 19319 19319 12462 34817 12462 4202496 1582 410 0 0 5 0 0 0 25 0 1 0 144437702 8425472 1401 1283457024 134512640 135745756 4289774704 18446744073709551615 4294960130 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/19322/statm: 2057 1401 648 302 0 790 0 [pid=19325] ppid=19322 vsize=52000 CPUtime=3.1 /proc/19325/stat : 19325 (cudftodeb.nativ) R 19322 19319 12462 34817 12462 4202496 12621 0 0 0 268 42 0 0 25 0 1 0 144437707 53248000 12541 1283457024 134512640 135029684 4293595248 18446744073709551615 4294960130 0 0 0 1024 0 0 0 17 0 0 0 0 /proc/19325/statm: 13000 12541 258 127 0 12381 0 Current children cumulated CPU time (s) 3.15 Current children cumulated vsize (KiB) 61900 [startup+4.00586 s] /proc/loadavg: 1.19 1.17 1.06 2/39 19325 /proc/meminfo: memFree=5568/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 [pid=19322] ppid=19319 vsize=8228 CPUtime=3.73 /proc/19322/stat : 19322 (apt-pbo) S 19319 19319 12462 34817 12462 4202496 1755 13157 0 0 6 0 316 51 18 0 1 0 144437702 8425472 1427 1283457024 134512640 135745756 4289774704 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/19322/statm: 2057 1427 653 302 0 790 0 Current children cumulated CPU time (s) 3.73 Current children cumulated vsize (KiB) 9900 [startup+4.4059 s] /proc/loadavg: 1.19 1.17 1.06 1/40 19333 /proc/meminfo: memFree=44236/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 [pid=19322] ppid=19319 vsize=8228 CPUtime=3.73 /proc/19322/stat : 19322 (apt-pbo) S 19319 19319 12462 34817 12462 4202496 1755 13157 0 0 6 0 316 51 18 0 1 0 144437702 8425472 1427 1283457024 134512640 135745756 4289774704 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/19322/statm: 2057 1427 653 302 0 790 0 [pid=19326] ppid=19322 vsize=2576 CPUtime=0 /proc/19326/stat : 19326 (apt-get.sh) S 19322 19319 12462 34817 12462 4202496 409 491 0 0 0 0 0 0 18 0 1 0 144438080 2637824 274 1283457024 134512640 135304128 4291663520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19326/statm: 644 274 232 194 0 31 0 [pid=19329] ppid=19326 vsize=52748 CPUtime=0.19 /proc/19329/stat : 19329 (apt-get) D 19326 19319 12462 34817 12462 4202496 565 1746 1 0 0 0 16 3 25 0 1 0 144438080 54013952 436 1283457024 134512640 134650667 4289643760 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/19329/statm: 13187 436 388 34 0 70 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 65224 [startup+4.50591 s] /proc/loadavg: 1.19 1.17 1.06 1/40 19333 /proc/meminfo: memFree=44236/1048576 swapFree=0/0 [pid=19319] ppid=19318 vsize=1672 CPUtime=0 /proc/19319/stat : 19319 (sh) S 19318 19319 12462 34817 12462 4202496 222 175 0 0 0 0 0 0 25 0 1 0 144437701 1712128 129 1283457024 134512640 134593992 4288357360 18446744073709551615 4294960130 0 0 0 2 18446744071564329979 0 0 17 0 0 0 0 /proc/19319/statm: 418 129 112 20 0 45 0 [pid=19322] ppid=19319 vsize=8228 CPUtime=3.73 /proc/19322/stat : 19322 (apt-pbo) S 19319 19319 12462 34817 12462 4202496 1755 13157 0 0 6 0 316 51 18 0 1 0 144437702 8425472 1427 1283457024 134512640 135745756 4289774704 18446744073709551615 4294960130 0 0 135 0 18446744071564329979 0 0 17 0 0 0 0 /proc/19322/statm: 2057 1427 653 302 0 790 0 [pid=19326] ppid=19322 vsize=2576 CPUtime=0 /proc/19326/stat : 19326 (apt-get.sh) S 19322 19319 12462 34817 12462 4202496 409 491 0 0 0 0 0 0 18 0 1 0 144438080 2637824 274 1283457024 134512640 135304128 4291663520 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/19326/statm: 644 274 232 194 0 31 0 [pid=19329] ppid=19326 vsize=52748 CPUtime=0.19 /proc/19329/stat : 19329 (apt-get) D 19326 19319 12462 34817 12462 4202496 565 1746 1 0 0 0 16 3 25 0 1 0 144438080 54013952 436 1283457024 134512640 134650667 4289643760 18446744073709551615 4294960130 0 0 4096 134217728 18446744071696460772 0 0 17 0 0 0 0 /proc/19329/statm: 13187 436 388 34 0 70 0 Current children cumulated CPU time (s) 3.92 Current children cumulated vsize (KiB) 65224 Child status: 100 Real time (s): 4.58583 CPU time (s): 3.94825 CPU user time (s): 3.39621 CPU system time (s): 0.552034 CPU usage (%): 86.0966 Max. virtual memory (cumulated for all children) (KiB): 65224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3.39621 system time used= 0.552034 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18889 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= 149 runsolver used 0 second user time and 0 second system time The end