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/rand8d117b.cudf.easy.log.runsolver ./apt-pbo-paranoid-1.0.5 /home/misc2010/data/2010/easy//rand8d117b.cudf /home/misc2010/tmp/201007050905/apt-pbo-paranoid-1.0.5/rand8d117b.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.38 1.24 0.97 4/37 27734 /proc/meminfo: memFree=454384/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=2920 CPUtime=0 /proc/27735/stat : 27735 (apt-pbo) D 27733 27733 24102 769 24102 4194304 114 0 0 0 0 0 0 0 25 0 1 0 525083556 2990080 52 1283457024 134512640 135758360 4290436608 18446744073709551615 4160004228 0 0 0 0 18446744071564252162 0 0 17 0 0 0 0 /proc/27735/statm: 730 52 35 305 0 12 0 [startup+0.203734 s] /proc/loadavg: 1.38 1.24 0.97 4/37 27734 /proc/meminfo: memFree=454384/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=7664 CPUtime=0.04 /proc/27735/stat : 27735 (apt-pbo) S 27733 27733 24102 769 24102 4202496 1338 0 0 0 4 0 0 0 25 0 1 0 525083556 7847936 1245 1283457024 134512640 135758360 4290436608 18446744073709551615 4159669582 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27735/statm: 1916 1245 584 305 0 689 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10048 [startup+0.459747 s] /proc/loadavg: 1.38 1.24 0.97 4/37 27734 /proc/meminfo: memFree=454384/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=7664 CPUtime=0.04 /proc/27735/stat : 27735 (apt-pbo) S 27733 27733 24102 769 24102 4202496 1338 0 0 0 4 0 0 0 25 0 1 0 525083556 7847936 1245 1283457024 134512640 135758360 4290436608 18446744073709551615 4159669582 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27735/statm: 1916 1245 584 305 0 689 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10048 [startup+0.507751 s] /proc/loadavg: 1.38 1.24 0.97 4/37 27734 /proc/meminfo: memFree=454384/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=7664 CPUtime=0.04 /proc/27735/stat : 27735 (apt-pbo) S 27733 27733 24102 769 24102 4202496 1338 0 0 0 4 0 0 0 25 0 1 0 525083556 7847936 1245 1283457024 134512640 135758360 4290436608 18446744073709551615 4159669582 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27735/statm: 1916 1245 584 305 0 689 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 10048 [startup+0.70964 s] /proc/loadavg: 1.38 1.24 0.97 4/37 27734 /proc/meminfo: memFree=454384/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=7928 CPUtime=0.08 /proc/27735/stat : 27735 (apt-pbo) R 27733 27733 24102 769 24102 4202496 1604 721 0 0 8 0 0 0 21 0 1 0 525083556 8118272 1363 1283457024 134512640 135758360 4290436608 18446744073709551615 135089936 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27735/statm: 1982 1363 630 305 0 755 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 10312 [startup+1.50981 s] /proc/loadavg: 1.38 1.24 0.97 2/38 27738 /proc/meminfo: memFree=441944/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=12996 CPUtime=0.87 /proc/27735/stat : 27735 (apt-pbo) R 27733 27733 24102 769 24102 4202496 3088 721 0 0 87 0 0 0 22 0 1 0 525083556 13307904 2624 1283457024 134512640 135758360 4290436608 18446744073709551615 134870958 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27735/statm: 3249 2624 630 305 0 2022 0 Current children cumulated CPU time (s) 0.87 Current children cumulated vsize (KiB) 15380 [startup+3.11016 s] /proc/loadavg: 1.38 1.24 0.97 2/38 27738 /proc/meminfo: memFree=426276/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=23404 CPUtime=2.47 /proc/27735/stat : 27735 (apt-pbo) R 27733 27733 24102 769 24102 4202496 5691 721 0 0 247 0 0 0 25 0 1 0 525083556 23965696 5219 1283457024 134512640 135758360 4290436608 18446744073709551615 134971603 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27735/statm: 5851 5219 630 305 0 4624 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 25788 heavy processes: [startup+6.30432 s] /proc/loadavg: 1.35 1.24 0.97 1/39 27747 /proc/meminfo: memFree=361940/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=47900 CPUtime=4.56 /proc/27735/stat : 27735 (apt-pbo) S 27733 27733 24102 769 24102 4202496 12154 8328 0 194 374 6 68 8 18 0 1 0 525083556 49049600 11229 1283457024 134512640 135758360 4290436608 18446744073709551615 4159669582 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27735/statm: 11975 11229 3929 305 0 7326 0 Current children cumulated CPU time (s) 4.56 Current children cumulated vsize (KiB) 50284 heavy processes: Solver just ended. Dumping a history of the last processes samples [startup+6.60438 s] /proc/loadavg: 1.35 1.24 0.97 3/40 27751 /proc/meminfo: memFree=367380/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=47900 CPUtime=4.56 /proc/27735/stat : 27735 (apt-pbo) S 27733 27733 24102 769 24102 4202496 12154 8328 0 194 374 6 68 8 18 0 1 0 525083556 49049600 11229 1283457024 134512640 135758360 4290436608 18446744073709551615 4159669582 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27735/statm: 11975 11229 3929 305 0 7326 0 [pid=27748] ppid=27735 vsize=2388 CPUtime=0 /proc/27748/stat : 27748 (apt-get.sh) S 27735 27733 24102 769 24102 4202496 392 611 0 0 0 0 0 0 18 0 1 0 525084170 2445312 264 1283457024 134512640 135191968 4293892480 18446744073709551615 4159371678 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27748/statm: 597 264 224 166 0 29 0 [pid=27751] ppid=27748 vsize=19524 CPUtime=0.45 /proc/27751/stat : 27751 (apt-get) R 27748 27733 24102 769 24102 4202496 4326 0 0 0 43 2 0 0 24 0 1 0 525084171 19992576 4216 1283457024 134512640 134646397 4289650064 18446744073709551615 4156793646 0 0 4096 134217728 0 0 0 17 0 0 0 0 /proc/27751/statm: 4881 4216 3639 33 0 583 0 Current children cumulated CPU time (s) 5.01 Current children cumulated vsize (KiB) 72196 [startup+8.20462 s] /proc/loadavg: 1.32 1.23 0.97 2/39 27752 /proc/meminfo: memFree=361204/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=49228 CPUtime=6.44 /proc/27735/stat : 27735 (apt-pbo) S 27733 27733 24102 769 24102 4202496 12885 13672 0 194 508 8 116 12 20 0 1 0 525083556 50409472 11553 1283457024 134512640 135758360 4290436608 18446744073709551615 4159669582 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27735/statm: 12307 11553 3936 305 0 7658 0 [pid=27752] ppid=27735 vsize=0 CPUtime=0.03 /proc/27752/stat : 27752 (wbo) Z 27735 27733 24102 769 24102 4202508 610 0 0 0 2 1 0 0 20 0 1 0 525084223 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/27752/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 6.47 Current children cumulated vsize (KiB) 51612 [startup+9.0047 s] /proc/loadavg: 1.32 1.23 0.97 2/39 27757 /proc/meminfo: memFree=356120/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=49348 CPUtime=7.31 /proc/27735/stat : 27735 (apt-pbo) R 27733 27733 24102 769 24102 4202496 13736 19642 0 194 527 10 177 17 19 0 1 0 525083556 50532352 11596 1283457024 134512640 135758360 4290436608 18446744073709551615 135136751 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27735/statm: 12337 11596 3937 305 0 7688 0 [pid=27757] ppid=27735 vsize=0 CPUtime=0.08 /proc/27757/stat : 27757 (wbo) Z 27735 27733 24102 769 24102 4202508 715 0 0 0 8 0 0 0 21 0 1 0 525084428 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/27757/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.39 Current children cumulated vsize (KiB) 51732 [startup+9.40475 s] /proc/loadavg: 1.32 1.23 0.97 2/39 27757 /proc/meminfo: memFree=356120/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=49348 CPUtime=7.34 /proc/27735/stat : 27735 (apt-pbo) S 27733 27733 24102 769 24102 4202496 13771 19642 0 194 530 10 177 17 20 0 1 0 525083556 50532352 11596 1283457024 134512640 135758360 4290436608 18446744073709551615 4159669582 0 0 128 0 18446744071564457842 0 0 17 0 0 0 0 /proc/27735/statm: 12337 11596 3937 305 0 7688 0 [pid=27757] ppid=27735 vsize=0 CPUtime=0.08 /proc/27757/stat : 27757 (wbo) Z 27735 27733 24102 769 24102 4202508 715 0 0 0 8 0 0 0 21 0 1 0 525084428 0 0 1283457024 0 0 0 0 0 0 0 0 3 18446744071564254338 0 0 17 0 0 0 0 /proc/27757/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 7.42 Current children cumulated vsize (KiB) 51732 [startup+9.80575 s] /proc/loadavg: 1.32 1.23 0.97 2/39 27757 /proc/meminfo: memFree=356120/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=49348 CPUtime=8.1 /proc/27735/stat : 27735 (apt-pbo) R 27733 27733 24102 769 24102 4202496 14646 25714 0 194 534 10 242 24 19 0 1 0 525083556 50532352 11602 1283457024 134512640 135758360 4290436608 18446744073709551615 134944889 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27735/statm: 12337 11602 3937 305 0 7688 0 Current children cumulated CPU time (s) 8.1 Current children cumulated vsize (KiB) 51732 [startup+9.90579 s] /proc/loadavg: 1.32 1.23 0.97 2/39 27757 /proc/meminfo: memFree=356120/1048576 swapFree=2095456/2097144 [pid=27733] ppid=27732 vsize=2384 CPUtime=0 /proc/27733/stat : 27733 (sh) S 27732 27733 24102 769 24102 4202496 388 308 0 0 0 0 0 0 25 0 1 0 525083555 2441216 265 1283457024 134512640 135191968 4289850928 18446744073709551615 4158982558 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27733/statm: 596 265 227 166 0 28 0 [pid=27735] ppid=27733 vsize=49348 CPUtime=8.2 /proc/27735/stat : 27735 (apt-pbo) R 27733 27733 24102 769 24102 4202496 15016 25714 0 194 544 10 242 24 19 0 1 0 525083556 50532352 11602 1283457024 134512640 135758360 4290436608 18446744073709551615 135517175 0 0 128 0 0 0 0 17 0 0 0 0 /proc/27735/statm: 12337 11602 3937 305 0 7688 0 Current children cumulated CPU time (s) 8.2 Current children cumulated vsize (KiB) 51732 Child status: 0 Real time (s): 9.99144 CPU time (s): 8.29652 CPU user time (s): 7.9245 CPU system time (s): 0.372023 CPU usage (%): 83.0362 Max. virtual memory (cumulated for all children) (KiB): 89696 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.9245 system time used= 0.372023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44652 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= 367 involuntary context switches= 560 runsolver used 0 second user time and 0.008 second system time The end