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-paranoid-1.0.5/rand49d73b.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//rand49d73b.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/rand49d73b.cudf.difficult.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.00 1.02 1.05 2/94 13964 /proc/meminfo: memFree=1173704/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) R 13963 13964 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 18 0 1 0 416428416 2433024 262 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65536 0 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [startup+0.203924 s] /proc/loadavg: 1.00 1.02 1.05 2/94 13964 /proc/meminfo: memFree=1173704/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.313952 s] /proc/loadavg: 1.00 1.02 1.05 2/94 13964 /proc/meminfo: memFree=1173704/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.404005 s] /proc/loadavg: 1.00 1.02 1.05 2/94 13964 /proc/meminfo: memFree=1173704/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.704006 s] /proc/loadavg: 1.00 1.02 1.05 2/94 13964 /proc/meminfo: memFree=1173704/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+1.50418 s] /proc/loadavg: 1.00 1.02 1.05 2/96 13969 /proc/meminfo: memFree=1158668/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=17080 CPUtime=1.43 /proc/13967/stat : 13967 (apt-pbo) R 13964 13964 13759 34823 13904 4202496 4090 716 0 0 141 2 0 0 21 0 1 0 416428416 17489920 3647 1283457024 134512640 135758360 4286950288 18446744073709551615 134980448 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13967/statm: 4270 3647 628 305 0 3043 0 Current children cumulated CPU time (s) 1.43 Current children cumulated vsize (KiB) 19456 [startup+3.10442 s] /proc/loadavg: 1.00 1.02 1.05 2/96 13969 /proc/meminfo: memFree=1145672/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=27752 CPUtime=3.03 /proc/13967/stat : 13967 (apt-pbo) R 13964 13964 13759 34823 13904 4202496 6754 716 0 0 299 4 0 0 25 0 1 0 416428416 28418048 6304 1283457024 134512640 135758360 4286950288 18446744073709551615 4158913863 0 0 128 0 0 0 0 17 0 0 0 0 /proc/13967/statm: 6938 6304 628 305 0 5711 0 Current children cumulated CPU time (s) 3.03 Current children cumulated vsize (KiB) 30128 [startup+6.31094 s] /proc/loadavg: 1.00 1.02 1.05 2/100 13977 /proc/meminfo: memFree=1094944/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=44040 CPUtime=5.43 /proc/13967/stat : 13967 (apt-pbo) S 13964 13964 13759 34823 13904 4202496 10865 716 0 0 537 6 0 0 22 0 1 0 416428416 45096960 10381 1283457024 134512640 135758360 4286950288 18446744073709551615 4159821134 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/13967/statm: 11010 10381 628 305 0 9783 0 [pid=13970] ppid=13967 vsize=2380 CPUtime=0 /proc/13970/stat : 13970 (apt-get.sh) S 13967 13964 13759 34823 13904 4202496 389 611 0 0 0 0 0 0 19 0 1 0 416428967 2437120 261 1283457024 134512640 135191968 4288984224 18446744073709551615 4159490702 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/13970/statm: 595 261 223 166 0 27 0 [pid=13973] ppid=13970 vsize=52608 CPUtime=0.58 /proc/13973/stat : 13973 (apt-get) R 13970 13964 13759 34823 13904 4202496 3583 1627 182 0 44 4 9 1 17 0 1 0 416428970 53870592 3626 1283457024 134512640 134646397 4287092944 18446744073709551615 4159798771 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/13973/statm: 13152 3626 3572 33 0 68 0 Current children cumulated CPU time (s) 6.01 Current children cumulated vsize (KiB) 101404 [startup+12.7071 s] /proc/loadavg: 1.00 1.02 1.05 2/97 13983 /proc/meminfo: memFree=1051000/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=73516 CPUtime=10.81 /proc/13967/stat : 13967 (apt-pbo) R 13964 13964 13759 34823 13904 4202496 18692 16697 0 293 882 10 170 19 25 0 1 0 416428416 75280384 17534 1283457024 134512640 135758360 4286950288 18446744073709551615 135136775 0 0 128 0 0 0 0 17 1 0 0 0 /proc/13967/statm: 18379 17534 5561 305 0 12015 0 [pid=13983] ppid=13967 vsize=0 CPUtime=1.49 /proc/13983/stat : 13983 (wbo) Z 13967 13964 13759 34823 13904 4202508 2580 0 0 0 147 2 0 0 18 0 1 0 416429204 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/13983/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.3 Current children cumulated vsize (KiB) 75892 [startup+25.5117 s] /proc/loadavg: 1.08 1.04 1.05 2/97 13994 /proc/meminfo: memFree=1046676/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=73676 CPUtime=24.84 /proc/13967/stat : 13967 (apt-pbo) S 13964 13964 13759 34823 13904 4202496 21626 39691 0 293 1526 14 898 46 18 0 1 0 416428416 75444224 17596 1283457024 134512640 135758360 4286950288 18446744073709551615 4159821134 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/13967/statm: 18419 17596 5562 305 0 12055 0 [pid=13994] ppid=13967 vsize=4896 CPUtime=0.17 /proc/13994/stat : 13994 (wbo) R 13967 13964 13759 34823 13904 4202496 1079 0 0 0 16 1 0 0 20 0 1 0 416430948 5013504 783 1283457024 134512640 135709839 4288203232 18446744073709551615 135230974 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13994/statm: 1224 783 131 293 0 929 0 Current children cumulated CPU time (s) 25.01 Current children cumulated vsize (KiB) 80948 Solver just ended. Dumping a history of the last processes samples [startup+25.7077 s] /proc/loadavg: 1.08 1.04 1.05 2/97 13994 /proc/meminfo: memFree=1046676/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=73676 CPUtime=24.84 /proc/13967/stat : 13967 (apt-pbo) S 13964 13964 13759 34823 13904 4202496 21626 39691 0 293 1526 14 898 46 18 0 1 0 416428416 75444224 17596 1283457024 134512640 135758360 4286950288 18446744073709551615 4159821134 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/13967/statm: 18419 17596 5562 305 0 12055 0 [pid=13994] ppid=13967 vsize=5240 CPUtime=0.36 /proc/13994/stat : 13994 (wbo) R 13967 13964 13759 34823 13904 4202496 1215 0 0 0 35 1 0 0 18 0 1 0 416430948 5365760 888 1283457024 134512640 135709839 4288203232 18446744073709551615 135182886 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13994/statm: 1310 888 132 293 0 1015 0 Current children cumulated CPU time (s) 25.2 Current children cumulated vsize (KiB) 81292 [startup+27.312 s] /proc/loadavg: 1.08 1.04 1.05 2/97 13994 /proc/meminfo: memFree=1043948/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=73676 CPUtime=24.84 /proc/13967/stat : 13967 (apt-pbo) S 13964 13964 13759 34823 13904 4202496 21626 39691 0 293 1526 14 898 46 18 0 1 0 416428416 75444224 17596 1283457024 134512640 135758360 4286950288 18446744073709551615 4159821134 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/13967/statm: 18419 17596 5562 305 0 12055 0 [pid=13994] ppid=13967 vsize=9688 CPUtime=1.95 /proc/13994/stat : 13994 (wbo) R 13967 13964 13759 34823 13904 4202496 3170 0 0 0 194 1 0 0 18 0 1 0 416430948 9920512 1978 1283457024 134512640 135709839 4288203232 18446744073709551615 134529856 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13994/statm: 2422 1978 132 293 0 2127 0 Current children cumulated CPU time (s) 26.79 Current children cumulated vsize (KiB) 85740 [startup+28.9121 s] /proc/loadavg: 1.07 1.03 1.05 2/97 13995 /proc/meminfo: memFree=1037128/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=73676 CPUtime=24.84 /proc/13967/stat : 13967 (apt-pbo) S 13964 13964 13759 34823 13904 4202496 21626 39691 0 293 1526 14 898 46 18 0 1 0 416428416 75444224 17596 1283457024 134512640 135758360 4286950288 18446744073709551615 4159821134 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/13967/statm: 18419 17596 5562 305 0 12055 0 [pid=13994] ppid=13967 vsize=14844 CPUtime=3.55 /proc/13994/stat : 13994 (wbo) R 13967 13964 13759 34823 13904 4202496 5130 0 0 0 352 3 0 0 19 0 1 0 416430948 15200256 3264 1283457024 134512640 135709839 4288203232 18446744073709551615 134564871 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13994/statm: 3711 3264 132 293 0 3416 0 Current children cumulated CPU time (s) 28.39 Current children cumulated vsize (KiB) 90896 [startup+29.7122 s] /proc/loadavg: 1.07 1.03 1.05 2/97 13995 /proc/meminfo: memFree=1037128/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=73676 CPUtime=24.84 /proc/13967/stat : 13967 (apt-pbo) S 13964 13964 13759 34823 13904 4202496 21626 39691 0 293 1526 14 898 46 18 0 1 0 416428416 75444224 17596 1283457024 134512640 135758360 4286950288 18446744073709551615 4159821134 0 0 128 0 18446744071564457842 0 0 17 1 0 0 0 /proc/13967/statm: 18419 17596 5562 305 0 12055 0 [pid=13994] ppid=13967 vsize=18676 CPUtime=4.35 /proc/13994/stat : 13994 (wbo) R 13967 13964 13759 34823 13904 4202496 6308 0 0 0 431 4 0 0 18 0 1 0 416430948 19124224 4164 1283457024 134512640 135709839 4288203232 18446744073709551615 135172981 0 0 0 3 0 0 0 17 0 0 0 0 /proc/13994/statm: 4669 4164 133 293 0 4374 0 Current children cumulated CPU time (s) 29.19 Current children cumulated vsize (KiB) 94728 [startup+29.9079 s] /proc/loadavg: 1.07 1.03 1.05 2/97 13995 /proc/meminfo: memFree=1048544/2097152 swapFree=2055676/2097144 [pid=13964] ppid=13963 vsize=2376 CPUtime=0 /proc/13964/stat : 13964 (sh) S 13963 13964 13759 34823 13904 4202496 387 309 0 0 0 0 0 0 18 0 1 0 416428416 2433024 263 1283457024 134512640 135191968 4291386640 18446744073709551615 4159396494 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/13964/statm: 594 263 226 166 0 26 0 [pid=13967] ppid=13964 vsize=73824 CPUtime=25 /proc/13967/stat : 13967 (apt-pbo) R 13964 13964 13759 34823 13904 4202496 22236 39691 0 293 1542 14 898 46 18 0 1 0 416428416 75595776 17606 1283457024 134512640 135758360 4286950288 18446744073709551615 135046360 0 0 128 0 0 0 0 17 1 0 0 0 /proc/13967/statm: 18456 17606 5562 305 0 12092 0 [pid=13994] ppid=13967 vsize=0 CPUtime=4.38 /proc/13994/stat : 13994 (wbo) Z 13967 13964 13759 34823 13904 4202508 6360 0 0 0 434 4 0 0 18 0 1 0 416430948 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/13994/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 29.38 Current children cumulated vsize (KiB) 76200 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13964 and gives # childrusage.ru_utime.tv_sec=24 # childrusage.ru_utime.tv_usec=453528 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=624039 # CPU time returned by wait4() is 25.0776 # while last known CPU time is 29.38 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 29.9722 CPU time (s): 29.38 CPU user time (s): 28.74 CPU system time (s): 0.64 CPU usage (%): 98.024 Max. virtual memory (cumulated for all children) (KiB): 101404 getrusage(RUSAGE_CHILDREN,...) data: user time used= 24.4535 system time used= 0.624039 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65283 page faults= 293 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2361 involuntary context switches= 856 runsolver used 0.004 second user time and 0.008 second system time The end