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/rand95e48b.cudf.difficult.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/difficult//rand95e48b.cudf /home/misc2010/tmp/201007051419/apt-pbo-paranoid-1.0.5/rand95e48b.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.04 1.02 2/95 16468 /proc/meminfo: memFree=1182356/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2880 CPUtime=0 /proc/16468/stat : 16468 (runsolver) R 16467 16468 13759 34823 13904 4202560 74 0 0 0 0 0 0 0 25 0 1 0 418020645 2949120 94 1283457024 134512640 134586868 4288239936 18446744073709551615 4158203162 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/16468/statm: 720 94 63 19 0 52 0 [startup+0.255229 s] /proc/loadavg: 1.00 1.04 1.02 2/95 16468 /proc/meminfo: memFree=1182356/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.307191 s] /proc/loadavg: 1.00 1.04 1.02 2/95 16468 /proc/meminfo: memFree=1182356/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.407197 s] /proc/loadavg: 1.00 1.04 1.02 2/95 16468 /proc/meminfo: memFree=1182356/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+0.707282 s] /proc/loadavg: 1.00 1.04 1.02 2/95 16468 /proc/meminfo: memFree=1182356/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2380 [startup+1.50725 s] /proc/loadavg: 1.00 1.04 1.02 2/97 16473 /proc/meminfo: memFree=1168332/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=16424 CPUtime=1.34 /proc/16471/stat : 16471 (apt-pbo) R 16468 16468 13759 34823 13904 4202496 3924 717 0 0 131 3 0 0 21 0 1 0 418020646 16818176 3481 1283457024 134512640 135758360 4288727488 18446744073709551615 4159111525 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16471/statm: 4106 3481 628 305 0 2879 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 18804 [startup+3.10732 s] /proc/loadavg: 1.00 1.04 1.02 2/97 16473 /proc/meminfo: memFree=1155584/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=26960 CPUtime=2.95 /proc/16471/stat : 16471 (apt-pbo) R 16468 16468 13759 34823 13904 4202496 6554 717 0 0 290 5 0 0 25 0 1 0 418020646 27607040 6104 1283457024 134512640 135758360 4288727488 18446744073709551615 4159111525 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16471/statm: 6740 6104 628 305 0 5513 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 29340 [startup+6.30747 s] /proc/loadavg: 1.00 1.04 1.02 2/97 16473 /proc/meminfo: memFree=1118452/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=44044 CPUtime=5.51 /proc/16471/stat : 16471 (apt-pbo) S 16468 16468 13759 34823 13904 4202496 10865 717 0 0 543 8 0 0 22 0 1 0 418020646 45101056 10381 1283457024 134512640 135758360 4288727488 18446744073709551615 4160017742 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16471/statm: 11011 10381 628 305 0 9784 0 Current children cumulated CPU time (s) 5.51 Current children cumulated vsize (KiB) 46424 [startup+12.7078 s] /proc/loadavg: 1.00 1.04 1.02 2/98 16488 /proc/meminfo: memFree=1063384/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=72564 CPUtime=9.28 /proc/16471/stat : 16471 (apt-pbo) R 16468 16468 13759 34823 13904 4202496 18468 16707 0 293 709 12 187 20 19 0 1 0 418020646 74305536 17303 1283457024 134512640 135758360 4288727488 18446744073709551615 4159111525 0 0 128 0 0 0 0 17 1 0 0 0 /proc/16471/statm: 18141 17303 5560 305 0 11777 0 [pid=16488] ppid=16471 vsize=0 CPUtime=3.07 /proc/16488/stat : 16488 (wbo) Z 16471 16468 13759 34823 13904 4202508 4185 0 0 0 306 1 0 0 18 0 1 0 418021455 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/16488/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 74944 [startup+25.5083 s] /proc/loadavg: 1.00 1.04 1.01 4/101 16773 /proc/meminfo: memFree=1044828/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=86680 CPUtime=21.93 /proc/16471/stat : 16471 (apt-pbo) R 16468 16468 13759 34823 13904 4202496 21978 16707 0 293 1972 14 187 20 25 0 1 0 418020646 88760320 20810 1283457024 134512640 135758360 4288727488 18446744073709551615 134894099 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16471/statm: 21670 20810 5560 305 0 15306 0 [pid=16488] ppid=16471 vsize=0 CPUtime=3.07 /proc/16488/stat : 16488 (wbo) Z 16471 16468 13759 34823 13904 4202508 4185 0 0 0 306 1 0 0 18 0 1 0 418021455 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/16488/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 25 Current children cumulated vsize (KiB) 89060 [startup+51.1055 s] /proc/loadavg: 1.14 1.07 1.02 2/98 16981 /proc/meminfo: memFree=1023968/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=86828 CPUtime=44.08 /proc/16471/stat : 16471 (apt-pbo) S 16468 16468 13759 34823 13904 4202496 26132 43605 0 293 3006 19 1341 42 18 0 1 0 418020646 88911872 20872 1283457024 134512640 135758360 4288727488 18446744073709551615 4160017742 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16471/statm: 21707 20872 5561 305 0 15343 0 [pid=16981] ppid=16471 vsize=24032 CPUtime=6.23 /proc/16981/stat : 16981 (wbo) R 16471 16468 13759 34823 13904 4202496 8787 0 0 0 618 5 0 0 18 0 1 0 418025128 24608768 5550 1283457024 134512640 135709839 4293636352 18446744073709551615 134571159 0 0 0 3 0 0 0 17 1 0 0 0 /proc/16981/statm: 6008 5550 132 293 0 5713 0 Current children cumulated CPU time (s) 50.31 Current children cumulated vsize (KiB) 113240 Solver just ended. Dumping a history of the last processes samples [startup+51.3055 s] /proc/loadavg: 1.14 1.07 1.02 2/98 16981 /proc/meminfo: memFree=1023968/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=86828 CPUtime=44.08 /proc/16471/stat : 16471 (apt-pbo) S 16468 16468 13759 34823 13904 4202496 26132 43605 0 293 3006 19 1341 42 18 0 1 0 418020646 88911872 20872 1283457024 134512640 135758360 4288727488 18446744073709551615 4160017742 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16471/statm: 21707 20872 5561 305 0 15343 0 [pid=16981] ppid=16471 vsize=24948 CPUtime=6.42 /proc/16981/stat : 16981 (wbo) R 16471 16468 13759 34823 13904 4202496 9185 0 0 0 636 6 0 0 19 0 1 0 418025128 25546752 5782 1283457024 134512640 135709839 4293636352 18446744073709551615 134605451 0 0 0 3 0 0 0 17 1 0 0 0 /proc/16981/statm: 6237 5782 133 293 0 5942 0 Current children cumulated CPU time (s) 50.5 Current children cumulated vsize (KiB) 114156 [startup+51.7055 s] /proc/loadavg: 1.14 1.07 1.02 2/98 16981 /proc/meminfo: memFree=1023968/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=86828 CPUtime=44.08 /proc/16471/stat : 16471 (apt-pbo) S 16468 16468 13759 34823 13904 4202496 26132 43605 0 293 3006 19 1341 42 18 0 1 0 418020646 88911872 20872 1283457024 134512640 135758360 4288727488 18446744073709551615 4160017742 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/16471/statm: 21707 20872 5561 305 0 15343 0 [pid=16981] ppid=16471 vsize=26880 CPUtime=6.82 /proc/16981/stat : 16981 (wbo) R 16471 16468 13759 34823 13904 4202496 9891 0 0 0 675 7 0 0 18 0 1 0 418025128 27525120 6238 1283457024 134512640 135709839 4293636352 18446744073709551615 135165952 0 0 0 3 0 0 0 17 1 0 0 0 /proc/16981/statm: 6720 6238 133 293 0 6425 0 Current children cumulated CPU time (s) 50.9 Current children cumulated vsize (KiB) 116088 [startup+51.9144 s] /proc/loadavg: 1.13 1.07 1.02 2/98 16981 /proc/meminfo: memFree=1043448/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=86828 CPUtime=44.24 /proc/16471/stat : 16471 (apt-pbo) R 16468 16468 13759 34823 13904 4202496 27087 43605 0 293 3022 19 1341 42 18 0 1 0 418020646 88911872 20872 1283457024 134512640 135758360 4288727488 18446744073709551615 135043753 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16471/statm: 21707 20872 5561 305 0 15343 0 [pid=16981] ppid=16471 vsize=0 CPUtime=6.87 /proc/16981/stat : 16981 (wbo) Z 16471 16468 13759 34823 13904 4202508 9905 0 0 0 680 7 0 0 18 0 1 0 418025128 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/16981/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.11 Current children cumulated vsize (KiB) 89208 [startup+52.0144 s] /proc/loadavg: 1.13 1.07 1.02 2/98 16981 /proc/meminfo: memFree=1043448/2097152 swapFree=2055620/2097144 [pid=16468] ppid=16467 vsize=2380 CPUtime=0 /proc/16468/stat : 16468 (sh) S 16467 16468 13759 34823 13904 4202496 386 307 0 0 0 0 0 0 25 0 1 0 418020645 2437120 263 1283457024 134512640 135191968 4287336752 18446744073709551615 4159228558 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/16468/statm: 595 263 226 166 0 27 0 [pid=16471] ppid=16468 vsize=86828 CPUtime=44.33 /proc/16471/stat : 16471 (apt-pbo) R 16468 16468 13759 34823 13904 4202496 29658 43605 0 293 3030 20 1341 42 18 0 1 0 418020646 88911872 20872 1283457024 134512640 135758360 4288727488 18446744073709551615 134983174 0 0 128 0 0 0 0 17 0 0 0 0 /proc/16471/statm: 21707 20872 5561 305 0 15343 0 [pid=16981] ppid=16471 vsize=0 CPUtime=6.87 /proc/16981/stat : 16981 (wbo) Z 16471 16468 13759 34823 13904 4202508 9905 0 0 0 680 7 0 0 18 0 1 0 418025128 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 1 0 0 0 /proc/16981/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 51.2 Current children cumulated vsize (KiB) 89208 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16468 and gives # childrusage.ru_utime.tv_sec=43 # childrusage.ru_utime.tv_usec=734733 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=660041 # CPU time returned by wait4() is 44.3948 # while last known CPU time is 51.2 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 52.0458 CPU time (s): 51.2 CPU user time (s): 50.51 CPU system time (s): 0.69 CPU usage (%): 98.3749 Max. virtual memory (cumulated for all children) (KiB): 118384 getrusage(RUSAGE_CHILDREN,...) data: user time used= 43.7347 system time used= 0.660041 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 74323 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= 3908 involuntary context switches= 2245 runsolver used 0.012 second user time and 0.012 second system time The end