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/rand08759d.cudf.easy.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/easy//rand08759d.cudf /home/misc2010/tmp/201007050905/apt-pbo-paranoid-1.0.5/rand08759d.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: 0.15 0.04 0.01 2/38 24118 /proc/meminfo: memFree=580348/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=3384 CPUtime=0 /proc/24118/stat : 24118 (apt-pbo) D 24116 24116 24102 769 24102 4202496 393 0 0 0 0 0 0 0 25 0 1 0 524924793 3465216 325 1283457024 134512640 135758360 4288445472 18446744073709551615 4160111950 0 0 128 0 18446744071564332000 0 0 17 0 0 0 0 /proc/24118/statm: 846 325 260 305 0 121 0 [startup+0.176499 s] /proc/loadavg: 0.15 0.04 0.01 2/38 24118 /proc/meminfo: memFree=580348/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=8324 CPUtime=0.12 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 1865 720 1 0 12 0 0 0 25 0 1 0 524924793 8523776 1453 1283457024 134512640 135758360 4288445472 18446744073709551615 134893877 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 2081 1453 630 305 0 854 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 10712 [startup+0.2065 s] /proc/loadavg: 0.15 0.04 0.01 2/38 24118 /proc/meminfo: memFree=580348/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=8588 CPUtime=0.15 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 1921 720 1 0 15 0 0 0 25 0 1 0 524924793 8794112 1509 1283457024 134512640 135758360 4288445472 18446744073709551615 135510991 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 2147 1509 630 305 0 920 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 10976 [startup+0.306538 s] /proc/loadavg: 0.15 0.04 0.01 2/38 24118 /proc/meminfo: memFree=580348/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=9256 CPUtime=0.25 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 2094 720 1 0 25 0 0 0 25 0 1 0 524924793 9478144 1682 1283457024 134512640 135758360 4288445472 18446744073709551615 134944889 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 2314 1682 630 305 0 1087 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 11644 [startup+0.706624 s] /proc/loadavg: 0.15 0.04 0.01 2/38 24118 /proc/meminfo: memFree=580348/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=11940 CPUtime=0.66 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 2792 720 1 0 64 2 0 0 25 0 1 0 524924793 12226560 2342 1283457024 134512640 135758360 4288445472 18446744073709551615 4159227576 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 2985 2342 630 305 0 1758 0 Current children cumulated CPU time (s) 0.66 Current children cumulated vsize (KiB) 14328 [startup+1.5068 s] /proc/loadavg: 0.29 0.07 0.02 2/39 24121 /proc/meminfo: memFree=568652/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=17124 CPUtime=1.46 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 4125 720 1 0 144 2 0 0 25 0 1 0 524924793 17534976 3662 1283457024 134512640 135758360 4288445472 18446744073709551615 134893320 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 4281 3662 630 305 0 3054 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 19512 [startup+3.10707 s] /proc/loadavg: 0.29 0.07 0.02 2/39 24121 /proc/meminfo: memFree=558360/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=27756 CPUtime=3.05 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 6784 720 1 0 302 3 0 0 25 0 1 0 524924793 28422144 6313 1283457024 134512640 135758360 4288445472 18446744073709551615 134894111 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 6939 6313 630 305 0 5712 0 Current children cumulated CPU time (s) 3.05 Current children cumulated vsize (KiB) 30144 [startup+6.30866 s] /proc/loadavg: 0.43 0.10 0.03 2/40 24135 /proc/meminfo: memFree=514224/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=48844 CPUtime=5.92 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 12761 13671 1 194 454 7 117 14 20 0 1 0 524924793 50016256 11456 1283457024 134512640 135758360 4288445472 18446744073709551615 134874160 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 12211 11456 3936 305 0 7562 0 [pid=24135] ppid=24118 vsize=0 CPUtime=0.23 /proc/24135/stat : 24135 (wbo) Z 24118 24116 24102 769 24102 4202508 674 0 0 0 22 1 0 0 19 0 1 0 524925306 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/24135/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.15 Current children cumulated vsize (KiB) 51232 Solver just ended. Dumping a history of the last processes samples [startup+6.40867 s] /proc/loadavg: 0.43 0.10 0.03 2/40 24135 /proc/meminfo: memFree=514224/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=49240 CPUtime=6.02 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 12864 13671 1 194 464 7 117 14 20 0 1 0 524924793 50421760 11559 1283457024 134512640 135758360 4288445472 18446744073709551615 134881087 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 12310 11559 3936 305 0 7661 0 [pid=24135] ppid=24118 vsize=0 CPUtime=0.23 /proc/24135/stat : 24135 (wbo) Z 24118 24116 24102 769 24102 4202508 674 0 0 0 22 1 0 0 19 0 1 0 524925306 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/24135/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 51628 [startup+8.00902 s] /proc/loadavg: 0.43 0.10 0.03 2/42 24139 /proc/meminfo: memFree=511836/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=49360 CPUtime=7.78 /proc/24118/stat : 24118 (apt-pbo) S 24116 24116 24102 769 24102 4202496 13447 19711 1 194 553 8 196 21 19 0 1 0 524924793 50544640 11590 1283457024 134512640 135758360 4288445472 18446744073709551615 4160111950 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/24118/statm: 12340 11590 3937 305 0 7691 0 Current children cumulated CPU time (s) 7.78 Current children cumulated vsize (KiB) 51748 [startup+8.80921 s] /proc/loadavg: 0.43 0.10 0.03 2/42 24144 /proc/meminfo: memFree=511340/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=49360 CPUtime=8.03 /proc/24118/stat : 24118 (apt-pbo) S 24116 24116 24102 769 24102 4202496 13819 19711 1 194 578 8 196 21 18 0 1 0 524924793 50544640 11602 1283457024 134512640 135758360 4288445472 18446744073709551615 4160111950 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/24118/statm: 12340 11602 3937 305 0 7691 0 [pid=24140] ppid=24118 vsize=0 CPUtime=0.33 /proc/24140/stat : 24140 (wbo) Z 24118 24116 24102 769 24102 4202508 834 0 0 0 33 0 0 0 21 0 1 0 524925586 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/24140/statm: 0 0 0 0 0 0 0 [pid=24141] ppid=24118 vsize=2408 CPUtime=0 /proc/24141/stat : 24141 (apt-get.sh) S 24118 24116 24102 769 24102 4202496 405 616 0 0 0 0 0 0 19 0 1 0 524925645 2465792 268 1283457024 134512640 135191968 4287790784 18446744073709551615 4159207838 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24141/statm: 602 268 224 166 0 34 0 [pid=24144] ppid=24141 vsize=19520 CPUtime=0.27 /proc/24144/stat : 24144 (apt-get) R 24141 24116 24102 769 24102 4202496 4321 0 0 0 26 1 0 0 23 0 1 0 524925646 19988480 4210 1283457024 134512640 134646397 4289874128 18446744073709551615 4156864403 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/24144/statm: 4880 4210 3639 33 0 582 0 Current children cumulated CPU time (s) 8.63 Current children cumulated vsize (KiB) 73676 [startup+9.20931 s] /proc/loadavg: 0.43 0.10 0.03 2/42 24144 /proc/meminfo: memFree=511340/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=49360 CPUtime=9 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 14296 25908 1 194 578 9 282 31 18 0 1 0 524924793 50544640 11602 1283457024 134512640 135758360 4288445472 18446744073709551615 4159369632 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 12340 11602 3937 305 0 7691 0 Current children cumulated CPU time (s) 9 Current children cumulated vsize (KiB) 51748 [startup+9.60935 s] /proc/loadavg: 0.43 0.10 0.03 2/42 24144 /proc/meminfo: memFree=511340/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=49360 CPUtime=9.1 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 14713 25908 1 194 588 9 282 31 18 0 1 0 524924793 50544640 11602 1283457024 134512640 135758360 4288445472 18446744073709551615 4159227530 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 12340 11602 3937 305 0 7691 0 Current children cumulated CPU time (s) 9.1 Current children cumulated vsize (KiB) 51748 [startup+9.70939 s] /proc/loadavg: 0.43 0.10 0.03 2/42 24144 /proc/meminfo: memFree=511340/1048576 swapFree=2095456/2097144 [pid=24116] ppid=24115 vsize=2388 CPUtime=0 /proc/24116/stat : 24116 (sh) S 24115 24116 24102 769 24102 4202496 391 308 0 0 0 0 0 0 25 0 1 0 524924792 2445312 267 1283457024 134512640 135191968 4286995312 18446744073709551615 4159048094 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/24116/statm: 597 267 227 166 0 29 0 [pid=24118] ppid=24116 vsize=49360 CPUtime=9.2 /proc/24118/stat : 24118 (apt-pbo) R 24116 24116 24102 769 24102 4202496 16750 25908 1 194 598 9 282 31 18 0 1 0 524924793 50544640 11602 1283457024 134512640 135758360 4288445472 18446744073709551615 135410309 0 0 128 0 0 0 0 17 0 0 0 0 /proc/24118/statm: 12340 11602 3937 305 0 7691 0 Current children cumulated CPU time (s) 9.2 Current children cumulated vsize (KiB) 51748 Child status: 0 Real time (s): 9.76642 CPU time (s): 9.26458 CPU user time (s): 8.84855 CPU system time (s): 0.416026 CPU usage (%): 94.8616 Max. virtual memory (cumulated for all children) (KiB): 89708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 8.84855 system time used= 0.416026 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45112 page faults= 195 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1672 involuntary context switches= 1458 runsolver used 0 second user time and 0.008 second system time The end