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/randaaa8ea.cudf.easy.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/easy//randaaa8ea.cudf /home/misc2010/tmp/201007050905/apt-pbo-paranoid-1.0.5/randaaa8ea.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.20 1.25 1.06 3/37 28740 /proc/meminfo: memFree=526620/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) R 28738 28739 24102 769 24102 4194304 352 0 0 0 0 0 0 0 25 0 1 0 525122702 2445312 265 1283457024 134512640 135191968 4287880272 18446744073709551615 4159439264 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/28739/statm: 597 265 226 166 0 29 0 [pid=28740] ppid=28739 vsize=2388 CPUtime=0 /proc/28740/stat : 28740 (sh) R 28739 28739 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525122702 2445312 39 1283457024 134512640 135191968 4287880272 18446744073709551615 4159439264 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/28740/statm: 597 39 0 166 0 29 0 [startup+0.113911 s] /proc/loadavg: 1.20 1.25 1.06 3/37 28740 /proc/meminfo: memFree=526620/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.215719 s] /proc/loadavg: 1.20 1.25 1.06 3/37 28740 /proc/meminfo: memFree=526620/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.315756 s] /proc/loadavg: 1.20 1.25 1.06 3/37 28740 /proc/meminfo: memFree=526620/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+0.715822 s] /proc/loadavg: 1.20 1.25 1.06 3/37 28740 /proc/meminfo: memFree=526620/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2388 [startup+1.51598 s] /proc/loadavg: 1.20 1.25 1.06 2/38 28744 /proc/meminfo: memFree=512284/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 [pid=28742] ppid=28739 vsize=17252 CPUtime=1.49 /proc/28742/stat : 28742 (apt-pbo) R 28739 28739 24102 769 24102 4202496 4163 721 0 0 146 3 0 0 25 0 1 0 525122703 17666048 3699 1283457024 134512640 135758360 4287298304 18446744073709551615 134893284 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28742/statm: 4313 3699 630 305 0 3086 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19640 [startup+3.1063 s] /proc/loadavg: 1.18 1.25 1.06 2/38 28744 /proc/meminfo: memFree=499472/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 [pid=28742] ppid=28739 vsize=27884 CPUtime=3.08 /proc/28742/stat : 28742 (apt-pbo) R 28739 28739 24102 769 24102 4202496 6811 721 0 0 300 8 0 0 25 0 1 0 525122703 28553216 6339 1283457024 134512640 135758360 4287298304 18446744073709551615 135322808 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28742/statm: 6971 6339 630 305 0 5744 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30272 [startup+6.30867 s] /proc/loadavg: 1.18 1.25 1.06 2/41 28762 /proc/meminfo: memFree=451628/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 [pid=28742] ppid=28739 vsize=49108 CPUtime=6.14 /proc/28742/stat : 28742 (apt-pbo) R 28739 28739 24102 769 24102 4202496 13431 19352 0 194 454 16 125 19 20 0 1 0 525122703 50286592 11516 1283457024 134512640 135758360 4287298304 18446744073709551615 134944902 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28742/statm: 12277 11516 3936 305 0 7628 0 Current children cumulated CPU time (s) 6.14 Current children cumulated vsize (KiB) 51496 Solver just ended. Dumping a history of the last processes samples [startup+6.40869 s] /proc/loadavg: 1.18 1.25 1.06 2/41 28762 /proc/meminfo: memFree=451628/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 [pid=28742] ppid=28739 vsize=49108 CPUtime=6.24 /proc/28742/stat : 28742 (apt-pbo) R 28739 28739 24102 769 24102 4202496 13431 19352 0 194 464 16 125 19 20 0 1 0 525122703 50286592 11516 1283457024 134512640 135758360 4287298304 18446744073709551615 135028082 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28742/statm: 12277 11516 3936 305 0 7628 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 51496 [startup+7.209 s] /proc/loadavg: 1.17 1.24 1.06 4/41 28767 /proc/meminfo: memFree=451116/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 [pid=28742] ppid=28739 vsize=49220 CPUtime=7.05 /proc/28742/stat : 28742 (apt-pbo) R 28739 28739 24102 769 24102 4202496 13903 25326 0 194 480 18 179 28 18 0 1 0 525122703 50401280 11548 1283457024 134512640 135758360 4287298304 18446744073709551615 4158661024 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28742/statm: 12305 11548 3937 305 0 7656 0 Current children cumulated CPU time (s) 7.05 Current children cumulated vsize (KiB) 51608 [startup+8.00922 s] /proc/loadavg: 1.17 1.24 1.06 3/41 28772 /proc/meminfo: memFree=449892/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 [pid=28742] ppid=28739 vsize=49220 CPUtime=7.25 /proc/28742/stat : 28742 (apt-pbo) S 28739 28739 24102 769 24102 4202496 14411 25326 0 194 500 18 179 28 20 0 1 0 525122703 50401280 11563 1283457024 134512640 135758360 4287298304 18446744073709551615 4159403342 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/28742/statm: 12305 11563 3937 305 0 7656 0 [pid=28768] ppid=28742 vsize=0 CPUtime=0.05 /proc/28768/stat : 28768 (wbo) Z 28742 28739 24102 769 24102 4202508 710 0 0 0 5 0 0 0 18 0 1 0 525123419 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/28768/statm: 0 0 0 0 0 0 0 [pid=28769] ppid=28742 vsize=2412 CPUtime=0 /proc/28769/stat : 28769 (apt-get.sh) S 28742 28739 24102 769 24102 4202496 408 616 0 0 0 0 0 0 20 0 1 0 525123445 2469888 270 1283457024 134512640 135191968 4294456816 18446744073709551615 4158732702 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28769/statm: 603 270 224 166 0 35 0 [pid=28772] ppid=28769 vsize=19528 CPUtime=0.56 /proc/28772/stat : 28772 (apt-get) R 28769 28739 24102 769 24102 4202496 4330 0 0 0 53 3 0 0 25 0 1 0 525123447 19996672 4218 1283457024 134512640 134646397 4289360160 18446744073709551615 4156966501 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/28772/statm: 4882 4218 3639 33 0 584 0 Current children cumulated CPU time (s) 7.86 Current children cumulated vsize (KiB) 73548 [startup+8.20928 s] /proc/loadavg: 1.17 1.24 1.06 3/41 28772 /proc/meminfo: memFree=449892/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 [pid=28742] ppid=28739 vsize=49220 CPUtime=8 /proc/28742/stat : 28742 (apt-pbo) R 28739 28739 24102 769 24102 4202496 15284 31403 0 194 508 18 238 36 19 0 1 0 525122703 50401280 11563 1283457024 134512640 135758360 4287298304 18446744073709551615 134966120 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28742/statm: 12305 11563 3937 305 0 7656 0 Current children cumulated CPU time (s) 8 Current children cumulated vsize (KiB) 51608 [startup+8.30931 s] /proc/loadavg: 1.17 1.24 1.06 3/41 28772 /proc/meminfo: memFree=449892/1048576 swapFree=2095456/2097144 [pid=28739] ppid=28738 vsize=2388 CPUtime=0 /proc/28739/stat : 28739 (sh) S 28738 28739 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525122702 2445312 266 1283457024 134512640 135191968 4287880272 18446744073709551615 4159437214 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28739/statm: 597 266 227 166 0 29 0 [pid=28742] ppid=28739 vsize=49220 CPUtime=8.1 /proc/28742/stat : 28742 (apt-pbo) R 28739 28739 24102 769 24102 4202496 18392 31403 0 194 518 18 238 36 19 0 1 0 525122703 50401280 11563 1283457024 134512640 135758360 4287298304 18446744073709551615 4158518776 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28742/statm: 12305 11563 3937 305 0 7656 0 Current children cumulated CPU time (s) 8.1 Current children cumulated vsize (KiB) 51608 Child status: 0 Real time (s): 8.33337 CPU time (s): 8.14051 CPU user time (s): 7.56447 CPU system time (s): 0.576036 CPU usage (%): 97.6856 Max. virtual memory (cumulated for all children) (KiB): 73548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.56447 system time used= 0.576036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50972 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= 1211 involuntary context switches= 1219 runsolver used 0 second user time and 0.008 second system time The end