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/rand359ca0.cudf.easy.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/easy//rand359ca0.cudf /home/misc2010/tmp/201007050905/apt-pbo-trendy-1.0.5/rand359ca0.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.31 1.12 0.62 4/34 25864 /proc/meminfo: memFree=503680/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) R 25862 25863 24102 769 24102 4194304 352 0 0 0 0 0 0 0 25 0 1 0 524989255 2441216 264 1283457024 134512640 135191968 4290363056 18446744073709551615 4159369632 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/25863/statm: 596 264 226 166 0 28 0 [pid=25864] ppid=25863 vsize=2384 CPUtime=0 /proc/25864/stat : 25864 (sh) R 25863 25863 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 524989255 2441216 38 1283457024 134512640 135191968 4290363056 18446744073709551615 4159369632 0 65538 4 65536 0 0 0 17 0 0 0 0 /proc/25864/statm: 596 38 0 166 0 28 0 [startup+0.211163 s] /proc/loadavg: 1.31 1.12 0.62 4/34 25864 /proc/meminfo: memFree=503680/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.311184 s] /proc/loadavg: 1.31 1.12 0.62 4/34 25864 /proc/meminfo: memFree=503680/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.41121 s] /proc/loadavg: 1.31 1.12 0.62 4/34 25864 /proc/meminfo: memFree=503680/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.711292 s] /proc/loadavg: 1.31 1.12 0.62 4/34 25864 /proc/meminfo: memFree=503680/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.51145 s] /proc/loadavg: 1.28 1.11 0.62 2/35 25868 /proc/meminfo: memFree=491172/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 [pid=25866] ppid=25863 vsize=17256 CPUtime=1.5 /proc/25866/stat : 25866 (apt-pbo) R 25863 25863 24102 769 24102 4202496 4140 722 0 0 144 6 0 0 25 0 1 0 524989255 17670144 3677 1283457024 134512640 135758360 4286769792 18446744073709551615 135086549 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25866/statm: 4314 3677 630 305 0 3087 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 19640 [startup+3.11181 s] /proc/loadavg: 1.28 1.11 0.62 2/35 25868 /proc/meminfo: memFree=481004/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 [pid=25866] ppid=25863 vsize=27620 CPUtime=3.08 /proc/25866/stat : 25866 (apt-pbo) R 25863 25863 24102 769 24102 4202496 6731 722 0 0 300 8 0 0 25 0 1 0 524989255 28282880 6260 1283457024 134512640 135758360 4286769792 18446744073709551615 135045830 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25866/statm: 6905 6260 630 305 0 5678 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 30004 [startup+6.30344 s] /proc/loadavg: 1.34 1.13 0.62 2/36 25882 /proc/meminfo: memFree=434388/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 [pid=25866] ppid=25863 vsize=49288 CPUtime=5.83 /proc/25866/stat : 25866 (apt-pbo) R 25863 25863 24102 769 24102 4202496 12878 13685 0 194 400 13 147 23 18 0 1 0 524989255 50470912 11581 1283457024 134512640 135758360 4286769792 18446744073709551615 134975553 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25866/statm: 12322 11581 3936 305 0 7673 0 [pid=25882] ppid=25866 vsize=0 CPUtime=0.35 /proc/25882/stat : 25882 (wbo) Z 25866 25863 24102 769 24102 4202508 1203 0 0 0 34 1 0 0 20 0 1 0 524989809 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25882/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.18 Current children cumulated vsize (KiB) 51672 Solver just ended. Dumping a history of the last processes samples [startup+6.51348 s] /proc/loadavg: 1.34 1.13 0.62 2/36 25882 /proc/meminfo: memFree=434388/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 [pid=25866] ppid=25863 vsize=49552 CPUtime=6.04 /proc/25866/stat : 25866 (apt-pbo) R 25863 25863 24102 769 24102 4202496 12930 13685 0 194 421 13 147 23 18 0 1 0 524989255 50741248 11630 1283457024 134512640 135758360 4286769792 18446744073709551615 134980417 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25866/statm: 12388 11630 3936 305 0 7739 0 [pid=25882] ppid=25866 vsize=0 CPUtime=0.35 /proc/25882/stat : 25882 (wbo) Z 25866 25863 24102 769 24102 4202508 1203 0 0 0 34 1 0 0 20 0 1 0 524989809 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25882/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 51936 [startup+8.11378 s] /proc/loadavg: 1.34 1.13 0.62 3/38 25886 /proc/meminfo: memFree=434488/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 [pid=25866] ppid=25863 vsize=49948 CPUtime=7.09 /proc/25866/stat : 25866 (apt-pbo) S 25863 25863 24102 769 24102 4202496 13080 13685 0 194 526 13 147 23 18 0 1 0 524989255 51146752 11743 1283457024 134512640 135758360 4286769792 18446744073709551615 4159915342 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25866/statm: 12487 11743 3936 305 0 7838 0 [pid=25882] ppid=25866 vsize=0 CPUtime=0.35 /proc/25882/stat : 25882 (wbo) Z 25866 25863 24102 769 24102 4202508 1203 0 0 0 34 1 0 0 20 0 1 0 524989809 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25882/statm: 0 0 0 0 0 0 0 [pid=25883] ppid=25866 vsize=2412 CPUtime=0 /proc/25883/stat : 25883 (apt-get.sh) S 25866 25863 24102 769 24102 4202496 407 615 0 0 0 0 0 0 20 0 1 0 524990011 2469888 269 1283457024 134512640 135191968 4289343488 18446744073709551615 4159314334 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25883/statm: 603 269 224 166 0 35 0 [pid=25886] ppid=25883 vsize=19524 CPUtime=0.53 /proc/25886/stat : 25886 (apt-get) R 25883 25863 24102 769 24102 4202496 4331 0 0 0 50 3 0 0 25 0 1 0 524990012 19992576 4220 1283457024 134512640 134646397 4288708464 18446744073709551615 4157216311 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/25886/statm: 4881 4220 3642 33 0 583 0 Current children cumulated CPU time (s) 7.97 Current children cumulated vsize (KiB) 74268 [startup+9.71416 s] /proc/loadavg: 1.34 1.13 0.62 2/36 25887 /proc/meminfo: memFree=431412/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 [pid=25866] ppid=25863 vsize=50132 CPUtime=8.68 /proc/25866/stat : 25866 (apt-pbo) S 25863 25863 24102 769 24102 4202496 14223 20268 0 194 554 16 266 32 18 0 1 0 524989255 51335168 11772 1283457024 134512640 135758360 4286769792 18446744073709551615 4159915342 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25866/statm: 12533 11772 3937 305 0 7884 0 [pid=25887] ppid=25866 vsize=0 CPUtime=0.46 /proc/25887/stat : 25887 (wbo) Z 25866 25863 24102 769 24102 4202508 1397 0 0 0 44 2 0 0 21 0 1 0 524990105 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/25887/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 9.14 Current children cumulated vsize (KiB) 52516 [startup+10.5144 s] /proc/loadavg: 1.34 1.13 0.62 2/38 25891 /proc/meminfo: memFree=432876/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 [pid=25866] ppid=25863 vsize=50132 CPUtime=10.09 /proc/25866/stat : 25866 (apt-pbo) S 25863 25863 24102 769 24102 4202496 15081 27053 0 194 554 17 393 45 18 0 1 0 524989255 51335168 11772 1283457024 134512640 135758360 4286769792 18446744073709551615 4159915342 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/25866/statm: 12533 11772 3937 305 0 7884 0 Current children cumulated CPU time (s) 10.09 Current children cumulated vsize (KiB) 52516 [startup+10.9145 s] /proc/loadavg: 1.34 1.13 0.62 2/38 25891 /proc/meminfo: memFree=432876/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 [pid=25866] ppid=25863 vsize=50132 CPUtime=10.32 /proc/25866/stat : 25866 (apt-pbo) R 25863 25863 24102 769 24102 4202496 15366 27053 0 194 577 17 393 45 18 0 1 0 524989255 51335168 11772 1283457024 134512640 135758360 4286769792 18446744073709551615 134969673 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25866/statm: 12533 11772 3937 305 0 7884 0 Current children cumulated CPU time (s) 10.32 Current children cumulated vsize (KiB) 52516 [startup+11.0145 s] /proc/loadavg: 1.34 1.13 0.62 2/38 25891 /proc/meminfo: memFree=432876/1048576 swapFree=2095456/2097144 [pid=25863] ppid=25862 vsize=2384 CPUtime=0 /proc/25863/stat : 25863 (sh) S 25862 25863 24102 769 24102 4202496 389 308 0 0 0 0 0 0 25 0 1 0 524989255 2441216 265 1283457024 134512640 135191968 4290363056 18446744073709551615 4159367582 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/25863/statm: 596 265 227 166 0 28 0 [pid=25866] ppid=25863 vsize=50132 CPUtime=10.42 /proc/25866/stat : 25866 (apt-pbo) R 25863 25863 24102 769 24102 4202496 18643 27053 0 194 587 17 393 45 18 0 1 0 524989255 51335168 11772 1283457024 134512640 135758360 4286769792 18446744073709551615 134824941 0 0 128 0 0 0 0 17 0 0 0 0 /proc/25866/statm: 12533 11772 3937 305 0 7884 0 Current children cumulated CPU time (s) 10.42 Current children cumulated vsize (KiB) 52516 Child status: 0 Real time (s): 11.0388 CPU time (s): 10.4607 CPU user time (s): 9.81261 CPU system time (s): 0.64804 CPU usage (%): 94.7628 Max. virtual memory (cumulated for all children) (KiB): 74460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.81261 system time used= 0.64804 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46858 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= 8201 involuntary context switches= 8029 runsolver used 0 second user time and 0 second system time The end