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/201007051419/apt-pbo-trendy-1.0.5/rand7141b1.cudf.impossible.log.runsolver ./apt-pbo-trendy-1.0.5 /home/misc2010/data/2010/impossible//rand7141b1.cudf /home/misc2010/tmp/201007051419/apt-pbo-trendy-1.0.5/rand7141b1.cudf.impossible.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.16 1.18 1.09 1/94 10752 /proc/meminfo: memFree=1179068/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4194304 357 0 0 0 0 0 0 0 18 0 1 0 416298512 2441216 263 1283457024 134512640 135191968 4287474000 18446744073709551615 4159250318 0 0 4 65536 18446744071564457842 0 0 17 1 0 0 0 /proc/10752/statm: 596 263 225 166 0 28 0 [pid=10753] ppid=10752 vsize=1436 CPUtime=0 /proc/10753/stat : 10753 (dirname) R 10752 10752 13759 34823 13904 4194304 269 0 0 0 0 0 0 0 19 0 1 0 416298512 1470464 69 1283457024 134512640 134534096 4288422528 18446744073709551615 4158797648 0 0 0 0 0 0 0 17 1 0 0 0 /proc/10753/statm: 359 82 69 6 0 9 0 [startup+0.199314 s] /proc/loadavg: 1.16 1.18 1.09 1/94 10752 /proc/meminfo: memFree=1179068/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.209311 s] /proc/loadavg: 1.16 1.18 1.09 1/94 10752 /proc/meminfo: memFree=1179068/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.309334 s] /proc/loadavg: 1.16 1.18 1.09 1/94 10752 /proc/meminfo: memFree=1179068/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.70941 s] /proc/loadavg: 1.16 1.18 1.09 1/94 10752 /proc/meminfo: memFree=1179068/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.50959 s] /proc/loadavg: 1.16 1.18 1.09 2/96 10757 /proc/meminfo: memFree=1167652/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=17084 CPUtime=1.45 /proc/10755/stat : 10755 (apt-pbo) R 10752 10752 13759 34823 13904 4202496 4100 714 0 0 142 3 0 0 25 0 1 0 416298513 17494016 3656 1283457024 134512640 135758360 4287064096 18446744073709551615 134826059 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10755/statm: 4271 3656 628 305 0 3044 0 Current children cumulated CPU time (s) 1.45 Current children cumulated vsize (KiB) 19468 [startup+3.10986 s] /proc/loadavg: 1.15 1.17 1.09 2/96 10757 /proc/meminfo: memFree=1157236/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=27788 CPUtime=3.05 /proc/10755/stat : 10755 (apt-pbo) R 10752 10752 13759 34823 13904 4202496 6756 714 0 0 298 7 0 0 25 0 1 0 416298513 28454912 6305 1283457024 134512640 135758360 4287064096 18446744073709551615 134980416 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10755/statm: 6947 6305 628 305 0 5720 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 30172 [startup+6.31044 s] /proc/loadavg: 1.15 1.17 1.09 4/96 10757 /proc/meminfo: memFree=1126980/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=48820 CPUtime=6.24 /proc/10755/stat : 10755 (apt-pbo) R 10752 10752 13759 34823 13904 4202496 12035 714 0 0 615 9 0 0 25 0 1 0 416298513 49991680 11582 1283457024 134512640 135758360 4287064096 18446744073709551615 134846555 0 0 128 0 0 0 0 17 0 0 0 0 /proc/10755/statm: 12205 11582 628 305 0 10978 0 Current children cumulated CPU time (s) 6.24 Current children cumulated vsize (KiB) 51204 [startup+12.7128 s] /proc/loadavg: 1.12 1.17 1.09 2/98 10766 /proc/meminfo: memFree=1039708/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=82224 CPUtime=11.22 /proc/10755/stat : 10755 (apt-pbo) S 10752 10752 13759 34823 13904 4202496 20921 714 0 0 1103 19 0 0 20 0 1 0 416298513 84197376 19923 1283457024 134512640 135758360 4287064096 18446744073709551615 4160308558 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10755/statm: 20556 19923 628 305 0 19329 0 [pid=10759] ppid=10755 vsize=2376 CPUtime=0 /proc/10759/stat : 10759 (apt-get.sh) S 10755 10752 13759 34823 13904 4202496 384 612 0 0 0 0 0 0 25 0 1 0 416299641 2433024 259 1283457024 134512640 135191968 4286668896 18446744073709551615 4159482510 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/10759/statm: 594 259 223 166 0 26 0 [pid=10762] ppid=10759 vsize=52608 CPUtime=1.35 /proc/10762/stat : 10762 (apt-get) R 10759 10752 13759 34823 13904 4202496 5132 1625 277 0 79 3 50 3 22 0 1 0 416299645 53870592 5271 1283457024 134512640 134646397 4291210432 18446744073709551615 4159745352 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/10762/statm: 13152 5271 5217 33 0 68 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 139592 [startup+25.5129 s] /proc/loadavg: 1.18 1.18 1.09 2/98 10772 /proc/meminfo: memFree=941208/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=128172 CPUtime=25.02 /proc/10755/stat : 10755 (apt-pbo) S 10752 10752 13759 34823 13904 4202496 32430 26651 0 588 1138 34 1244 86 18 0 1 0 416298513 131248128 30938 1283457024 134512640 135758360 4287064096 18446744073709551615 4160308558 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10755/statm: 32043 30938 10363 305 0 20613 0 Current children cumulated CPU time (s) 25.02 Current children cumulated vsize (KiB) 130556 [startup+51.1086 s] /proc/loadavg: 1.18 1.18 1.09 2/97 10774 /proc/meminfo: memFree=807328/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=128172 CPUtime=25.06 /proc/10755/stat : 10755 (apt-pbo) S 10752 10752 13759 34823 13904 4202496 32430 26651 0 588 1140 36 1244 86 18 0 1 0 416298513 131248128 30938 1283457024 134512640 135758360 4287064096 18446744073709551615 4160308558 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10755/statm: 32043 30938 10363 305 0 20613 0 [pid=10773] ppid=10755 vsize=122520 CPUtime=25.67 /proc/10773/stat : 10773 (wbo) R 10755 10752 13759 34823 13904 4202496 70906 0 0 0 2547 20 0 0 25 0 1 0 416301046 125460480 30004 1283457024 134512640 135709839 4294225824 18446744073709551615 135166305 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10773/statm: 30630 30004 132 293 0 30335 0 Current children cumulated CPU time (s) 50.73 Current children cumulated vsize (KiB) 253076 [startup+102.313 s] /proc/loadavg: 1.19 1.18 1.10 2/97 10778 /proc/meminfo: memFree=735912/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=128172 CPUtime=25.06 /proc/10755/stat : 10755 (apt-pbo) S 10752 10752 13759 34823 13904 4202496 32430 26651 0 588 1140 36 1244 86 18 0 1 0 416298513 131248128 30938 1283457024 134512640 135758360 4287064096 18446744073709551615 4160308558 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10755/statm: 32043 30938 10363 305 0 20613 0 [pid=10773] ppid=10755 vsize=193780 CPUtime=76.83 /proc/10773/stat : 10773 (wbo) R 10755 10752 13759 34823 13904 4202496 93014 0 0 0 7621 62 0 0 25 0 1 0 416301046 198430720 47562 1283457024 134512640 135709839 4294225824 18446744073709551615 134573761 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10773/statm: 48445 47562 134 293 0 48150 0 Current children cumulated CPU time (s) 101.89 Current children cumulated vsize (KiB) 324336 [startup+162.31 s] /proc/loadavg: 1.13 1.16 1.09 2/98 11272 /proc/meminfo: memFree=704648/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=128172 CPUtime=25.06 /proc/10755/stat : 10755 (apt-pbo) S 10752 10752 13759 34823 13904 4202496 32430 26651 0 588 1140 36 1244 86 18 0 1 0 416298513 131248128 30938 1283457024 134512640 135758360 4287064096 18446744073709551615 4160308558 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10755/statm: 32043 30938 10363 305 0 20613 0 [pid=10773] ppid=10755 vsize=224700 CPUtime=136.34 /proc/10773/stat : 10773 (wbo) R 10755 10752 13759 34823 13904 4202496 100643 0 0 0 13552 82 0 0 25 0 1 0 416301046 230092800 55191 1283457024 134512640 135709839 4294225824 18446744073709551615 134517524 0 0 0 3 0 0 0 17 0 0 0 0 /proc/10773/statm: 56175 55191 134 293 0 55880 0 Current children cumulated CPU time (s) 161.4 Current children cumulated vsize (KiB) 355256 [startup+222.305 s] /proc/loadavg: 1.08 1.14 1.09 2/97 11276 /proc/meminfo: memFree=685188/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=128172 CPUtime=25.06 /proc/10755/stat : 10755 (apt-pbo) S 10752 10752 13759 34823 13904 4202496 32430 26651 0 588 1140 36 1244 86 18 0 1 0 416298513 131248128 30938 1283457024 134512640 135758360 4287064096 18446744073709551615 4160308558 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10755/statm: 32043 30938 10363 305 0 20613 0 [pid=10773] ppid=10755 vsize=243564 CPUtime=196.21 /proc/10773/stat : 10773 (wbo) R 10755 10752 13759 34823 13904 4202496 106046 0 0 0 19509 112 0 0 25 0 1 0 416301046 249409536 60089 1283457024 134512640 135709839 4294225824 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/10773/statm: 60891 60089 134 293 0 60596 0 Current children cumulated CPU time (s) 221.27 Current children cumulated vsize (KiB) 374120 [startup+282.308 s] /proc/loadavg: 1.03 1.11 1.08 2/97 11280 /proc/meminfo: memFree=644028/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=128172 CPUtime=25.06 /proc/10755/stat : 10755 (apt-pbo) S 10752 10752 13759 34823 13904 4202496 32430 26651 0 588 1140 36 1244 86 18 0 1 0 416298513 131248128 30938 1283457024 134512640 135758360 4287064096 18446744073709551615 4160308558 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10755/statm: 32043 30938 10363 305 0 20613 0 [pid=10773] ppid=10755 vsize=284936 CPUtime=256.14 /proc/10773/stat : 10773 (wbo) R 10755 10752 13759 34823 13904 4202496 116441 0 0 0 25478 136 0 0 25 0 1 0 416301046 291774464 70484 1283457024 134512640 135709839 4294225824 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/10773/statm: 71234 70484 134 293 0 70939 0 Current children cumulated CPU time (s) 281.2 Current children cumulated vsize (KiB) 415492 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+291.108 s] /proc/loadavg: 1.03 1.11 1.08 2/97 11280 /proc/meminfo: memFree=636464/2097152 swapFree=2055676/2097144 [pid=10752] ppid=10751 vsize=2384 CPUtime=0 /proc/10752/stat : 10752 (sh) S 10751 10752 13759 34823 13904 4202496 388 308 0 0 0 0 0 0 18 0 1 0 416298512 2441216 264 1283457024 134512640 135191968 4287474000 18446744073709551615 4159089294 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/10752/statm: 596 264 226 166 0 28 0 [pid=10755] ppid=10752 vsize=128172 CPUtime=25.06 /proc/10755/stat : 10755 (apt-pbo) S 10752 10752 13759 34823 13904 4202496 32430 26651 0 588 1140 36 1244 86 18 0 1 0 416298513 131248128 30938 1283457024 134512640 135758360 4287064096 18446744073709551615 4160308558 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/10755/statm: 32043 30938 10363 305 0 20613 0 [pid=10773] ppid=10755 vsize=292064 CPUtime=264.95 /proc/10773/stat : 10773 (wbo) R 10755 10752 13759 34823 13904 4202496 118213 0 0 0 26354 141 0 0 25 0 1 0 416301046 299073536 72256 1283457024 134512640 135709839 4294225824 18446744073709551615 135232529 0 0 0 3 0 0 0 17 1 0 0 0 /proc/10773/statm: 73016 72256 134 293 0 72721 0 Current children cumulated CPU time (s) 290.01 Current children cumulated vsize (KiB) 422620 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 10 (SIGUSR1) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 10752 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=0 # CPU time returned by wait4() is 0 # while last known CPU time is 290.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 291.143 CPU time (s): 290.01 CPU user time (s): 287.38 CPU system time (s): 2.63 CPU usage (%): 99.611 Max. virtual memory (cumulated for all children) (KiB): 422620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 696 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 17 involuntary context switches= 4 runsolver used 0.012 second user time and 0.060003 second system time The end