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-trendy-1.0.5/randa9ba44.cudf.easy.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/easy//randa9ba44.cudf /home/misc2010/tmp/201007050905/apt-pbo-trendy-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.21 1.25 1.04 3/37 28527 /proc/meminfo: memFree=480160/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=4192 CPUtime=0.01 /proc/28527/stat : 28527 (apt-pbo) R 28525 28525 24102 769 24102 4202496 732 0 0 0 0 1 0 0 25 0 1 0 525112620 4292608 664 1283457024 134512640 135758360 4290778720 18446744073709551615 135588444 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28527/statm: 1048 664 388 305 0 319 0 [startup+0.212183 s] /proc/loadavg: 1.21 1.25 1.04 3/37 28527 /proc/meminfo: memFree=480160/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=8716 CPUtime=0.21 /proc/28527/stat : 28527 (apt-pbo) R 28525 28525 24102 769 24102 4202496 1968 724 0 0 20 1 0 0 25 0 1 0 525112620 8925184 1555 1283457024 134512640 135758360 4290778720 18446744073709551615 134893877 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28527/statm: 2179 1555 630 305 0 952 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 11104 [startup+0.3122 s] /proc/loadavg: 1.21 1.25 1.04 3/37 28527 /proc/meminfo: memFree=480160/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=9384 CPUtime=0.31 /proc/28527/stat : 28527 (apt-pbo) R 28525 28525 24102 769 24102 4202496 2145 724 0 0 30 1 0 0 25 0 1 0 525112620 9609216 1732 1283457024 134512640 135758360 4290778720 18446744073709551615 134983840 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28527/statm: 2346 1732 630 305 0 1119 0 Current children cumulated CPU time (s) 0.31 Current children cumulated vsize (KiB) 11772 [startup+0.412211 s] /proc/loadavg: 1.21 1.25 1.04 3/37 28527 /proc/meminfo: memFree=480160/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=10044 CPUtime=0.41 /proc/28527/stat : 28527 (apt-pbo) R 28525 28525 24102 769 24102 4202496 2339 724 0 0 39 2 0 0 25 0 1 0 525112620 10285056 1888 1283457024 134512640 135758360 4290778720 18446744073709551615 135116617 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28527/statm: 2511 1888 630 305 0 1284 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 12432 [startup+0.712257 s] /proc/loadavg: 1.21 1.25 1.04 3/37 28527 /proc/meminfo: memFree=480160/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=12068 CPUtime=0.71 /proc/28527/stat : 28527 (apt-pbo) R 28525 28525 24102 769 24102 4202496 2850 724 0 0 69 2 0 0 25 0 1 0 525112620 12357632 2399 1283457024 134512640 135758360 4290778720 18446744073709551615 135045788 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28527/statm: 3017 2399 630 305 0 1790 0 Current children cumulated CPU time (s) 0.71 Current children cumulated vsize (KiB) 14456 [startup+1.51238 s] /proc/loadavg: 1.21 1.25 1.04 2/38 28530 /proc/meminfo: memFree=468280/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=17384 CPUtime=1.51 /proc/28527/stat : 28527 (apt-pbo) R 28525 28525 24102 769 24102 4202496 4196 724 0 0 149 2 0 0 25 0 1 0 525112620 17801216 3732 1283457024 134512640 135758360 4290778720 18446744073709551615 135510249 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28527/statm: 4346 3732 630 305 0 3119 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 19772 [startup+3.11271 s] /proc/loadavg: 1.20 1.24 1.04 2/38 28530 /proc/meminfo: memFree=457864/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=28144 CPUtime=3.11 /proc/28527/stat : 28527 (apt-pbo) R 28525 28525 24102 769 24102 4202496 6875 724 0 0 307 4 0 0 25 0 1 0 525112620 28819456 6403 1283457024 134512640 135758360 4290778720 18446744073709551615 134982976 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28527/statm: 7036 6403 630 305 0 5809 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 30532 Solver just ended. Dumping a history of the last processes samples [startup+3.31275 s] /proc/loadavg: 1.20 1.24 1.04 2/38 28530 /proc/meminfo: memFree=457864/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=29332 CPUtime=3.31 /proc/28527/stat : 28527 (apt-pbo) R 28525 28525 24102 769 24102 4202496 7182 724 0 0 327 4 0 0 25 0 1 0 525112620 30035968 6710 1283457024 134512640 135758360 4290778720 18446744073709551615 135510590 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28527/statm: 7333 6710 630 305 0 6106 0 Current children cumulated CPU time (s) 3.31 Current children cumulated vsize (KiB) 31720 [startup+4.91351 s] /proc/loadavg: 1.20 1.24 1.04 3/39 28539 /proc/meminfo: memFree=406968/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=47900 CPUtime=4.42 /proc/28527/stat : 28527 (apt-pbo) S 28525 28525 24102 769 24102 4202496 12160 8321 0 194 358 6 68 10 18 0 1 0 525112620 49049600 11230 1283457024 134512640 135758360 4290778720 18446744073709551615 4159821134 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/28527/statm: 11975 11230 3929 305 0 7326 0 Current children cumulated CPU time (s) 4.42 Current children cumulated vsize (KiB) 50288 [startup+5.31356 s] /proc/loadavg: 1.20 1.24 1.04 3/39 28539 /proc/meminfo: memFree=406968/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=47900 CPUtime=4.43 /proc/28527/stat : 28527 (apt-pbo) R 28525 28525 24102 769 24102 4202496 12160 8321 0 194 358 7 68 10 18 0 1 0 525112620 49049600 11230 1283457024 134512640 135758360 4290778720 18446744073709551615 4159821134 0 0 128 0 0 0 0 17 0 0 0 0 /proc/28527/statm: 11975 11230 3929 305 0 7326 0 Current children cumulated CPU time (s) 4.43 Current children cumulated vsize (KiB) 50288 [startup+5.51359 s] /proc/loadavg: 1.20 1.24 1.04 3/39 28539 /proc/meminfo: memFree=406968/1048576 swapFree=2095456/2097144 [pid=28525] ppid=28524 vsize=2388 CPUtime=0 /proc/28525/stat : 28525 (sh) S 28524 28525 24102 769 24102 4202496 390 307 0 0 0 0 0 0 25 0 1 0 525112620 2445312 266 1283457024 134512640 135191968 4293947920 18446744073709551615 4158994846 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28525/statm: 597 266 227 166 0 29 0 [pid=28527] ppid=28525 vsize=48728 CPUtime=5.33 /proc/28527/stat : 28527 (apt-pbo) S 28525 28525 24102 769 24102 4202496 12486 13677 0 194 358 9 146 20 18 0 1 0 525112620 49897472 11440 1283457024 134512640 135758360 4290778720 18446744073709551615 4159821134 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/28527/statm: 12182 11440 3932 305 0 7533 0 Current children cumulated CPU time (s) 5.33 Current children cumulated vsize (KiB) 51116 Child status: 0 Real time (s): 5.54428 CPU time (s): 5.38034 CPU user time (s): 5.05632 CPU system time (s): 0.32402 CPU usage (%): 97.043 Max. virtual memory (cumulated for all children) (KiB): 54504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.05632 system time used= 0.32402 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27176 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= 3172 involuntary context switches= 3094 runsolver used 0 second user time and 0 second system time The end