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/randa9ba44.cudf.easy.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/easy//randa9ba44.cudf /home/misc2010/tmp/201007050905/apt-pbo-paranoid-1.0.5/randa9ba44.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.17 1.24 1.03 4/37 28419 /proc/meminfo: memFree=489036/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) R 28417 28418 24102 769 24102 4194304 352 0 0 0 1 0 0 0 25 0 1 0 525111123 2441216 265 1283457024 134512640 135191968 4288146576 18446744073709551615 4159213984 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/28418/statm: 596 265 226 166 0 28 0 [pid=28419] ppid=28418 vsize=2384 CPUtime=0 /proc/28419/stat : 28419 (sh) R 28418 28418 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525111123 2441216 39 1283457024 134512640 135191968 4288146576 18446744073709551615 4159213984 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/28419/statm: 596 39 0 166 0 28 0 [startup+0.158763 s] /proc/loadavg: 1.17 1.24 1.03 4/37 28419 /proc/meminfo: memFree=489036/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2384 [startup+0.215818 s] /proc/loadavg: 1.17 1.24 1.03 4/37 28419 /proc/meminfo: memFree=489036/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2384 [startup+0.315835 s] /proc/loadavg: 1.17 1.24 1.03 4/37 28419 /proc/meminfo: memFree=489036/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2384 [startup+0.715894 s] /proc/loadavg: 1.17 1.24 1.03 4/37 28419 /proc/meminfo: memFree=489036/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2384 [startup+1.50607 s] /proc/loadavg: 1.17 1.24 1.03 2/38 28423 /proc/meminfo: memFree=474456/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 [pid=28421] ppid=28418 vsize=17256 CPUtime=1.48 /proc/28421/stat : 28421 (apt-pbo) R 28418 28418 24102 769 24102 4202496 4141 722 0 0 146 2 0 0 25 0 1 0 525111124 17670144 3677 1283457024 134512640 135758360 4286737024 18446744073709551615 135510573 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28421/statm: 4314 3677 630 305 0 3087 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19640 [startup+3.10639 s] /proc/loadavg: 1.16 1.24 1.03 2/38 28427 /proc/meminfo: memFree=461888/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 [pid=28421] ppid=28418 vsize=27756 CPUtime=3.06 /proc/28421/stat : 28421 (apt-pbo) R 28418 28418 24102 769 24102 4202496 6766 722 0 0 302 4 0 0 25 0 1 0 525111124 28422144 6294 1283457024 134512640 135758360 4286737024 18446744073709551615 135026738 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28421/statm: 6939 6294 630 305 0 5712 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 30140 [startup+6.30858 s] /proc/loadavg: 1.16 1.24 1.03 2/39 28445 /proc/meminfo: memFree=414824/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 [pid=28421] ppid=28418 vsize=49240 CPUtime=6.11 /proc/28421/stat : 28421 (apt-pbo) R 28418 28418 24102 769 24102 4202496 12857 13668 0 194 478 8 115 10 20 0 1 0 525111124 50421760 11556 1283457024 134512640 135758360 4286737024 18446744073709551615 135020603 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28421/statm: 12310 11556 3936 305 0 7661 0 [pid=28445] ppid=28421 vsize=0 CPUtime=0.04 /proc/28445/stat : 28445 (wbo) Z 28421 28418 24102 769 24102 4202508 612 0 0 0 4 0 0 0 20 0 1 0 525111633 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/28445/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 51624 Solver just ended. Dumping a history of the last processes samples [startup+6.40908 s] /proc/loadavg: 1.16 1.24 1.03 2/39 28445 /proc/meminfo: memFree=414824/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 [pid=28421] ppid=28418 vsize=49240 CPUtime=6.2 /proc/28421/stat : 28421 (apt-pbo) R 28418 28418 24102 769 24102 4202496 12859 13668 0 194 486 9 115 10 20 0 1 0 525111124 50421760 11556 1283457024 134512640 135758360 4286737024 18446744073709551615 4159033760 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28421/statm: 12310 11556 3936 305 0 7661 0 [pid=28445] ppid=28421 vsize=0 CPUtime=0.04 /proc/28445/stat : 28445 (wbo) Z 28421 28418 24102 769 24102 4202508 612 0 0 0 4 0 0 0 20 0 1 0 525111633 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/28445/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 51624 [startup+7.20923 s] /proc/loadavg: 1.16 1.24 1.03 3/41 28449 /proc/meminfo: memFree=412684/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 [pid=28421] ppid=28418 vsize=49356 CPUtime=6.97 /proc/28421/stat : 28421 (apt-pbo) R 28418 28418 24102 769 24102 4202496 13745 19641 0 194 500 10 168 19 18 0 1 0 525111124 50540544 11599 1283457024 134512640 135758360 4286737024 18446744073709551615 134894008 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28421/statm: 12339 11599 3937 305 0 7690 0 Current children cumulated CPU time (s) 6.98 Current children cumulated vsize (KiB) 51740 [startup+7.60933 s] /proc/loadavg: 1.16 1.24 1.03 3/41 28449 /proc/meminfo: memFree=412684/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 [pid=28421] ppid=28418 vsize=49356 CPUtime=7.02 /proc/28421/stat : 28421 (apt-pbo) S 28418 28418 24102 769 24102 4202496 13779 19641 0 194 505 10 168 19 18 0 1 0 525111124 50540544 11599 1283457024 134512640 135758360 4286737024 18446744073709551615 4159776078 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/28421/statm: 12339 11599 3937 305 0 7690 0 Current children cumulated CPU time (s) 7.03 Current children cumulated vsize (KiB) 51740 [startup+8.00943 s] /proc/loadavg: 1.14 1.23 1.03 2/41 28454 /proc/meminfo: memFree=411692/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 [pid=28421] ppid=28418 vsize=49356 CPUtime=7.78 /proc/28421/stat : 28421 (apt-pbo) R 28418 28418 24102 769 24102 4202496 14669 25716 0 194 512 11 229 26 18 0 1 0 525111124 50540544 11605 1283457024 134512640 135758360 4286737024 18446744073709551615 135045714 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28421/statm: 12339 11605 3937 305 0 7690 0 Current children cumulated CPU time (s) 7.79 Current children cumulated vsize (KiB) 51740 [startup+8.10946 s] /proc/loadavg: 1.14 1.23 1.03 2/41 28454 /proc/meminfo: memFree=411692/1048576 swapFree=2095456/2097144 [pid=28418] ppid=28417 vsize=2384 CPUtime=0.01 /proc/28418/stat : 28418 (sh) S 28417 28418 24102 769 24102 4202496 390 308 0 0 1 0 0 0 25 0 1 0 525111123 2441216 266 1283457024 134512640 135191968 4288146576 18446744073709551615 4159211934 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28418/statm: 596 266 227 166 0 28 0 [pid=28421] ppid=28418 vsize=49356 CPUtime=7.88 /proc/28421/stat : 28421 (apt-pbo) R 28418 28418 24102 769 24102 4202496 16804 25716 0 194 521 12 229 26 18 0 1 0 525111124 50540544 11605 1283457024 134512640 135758360 4286737024 18446744073709551615 134894099 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28421/statm: 12339 11605 3937 305 0 7690 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 51740 Child status: 0 Real time (s): 8.15811 CPU time (s): 7.9405 CPU user time (s): 7.55647 CPU system time (s): 0.384024 CPU usage (%): 97.3325 Max. virtual memory (cumulated for all children) (KiB): 89692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.55647 system time used= 0.384024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44687 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= 1354 involuntary context switches= 1335 runsolver used 0 second user time and 0 second system time The end