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/201007051233/aspcud-trendy-1.2/7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/debian-dudf//7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/7266f636-4b23-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.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.01 1.02 1.00 1/33 13290 /proc/meminfo: memFree=750788/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=2884 CPUtime=0 /proc/13290/stat : 13290 (runsolver) R 13289 13290 3447 769 3447 4202560 74 0 0 0 0 0 0 0 25 0 1 0 528136026 2953216 93 1283457024 134512640 134586868 4288304016 18446744073709551615 4157989930 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/13290/statm: 721 93 62 19 0 53 0 [startup+0.172695 s] /proc/loadavg: 1.01 1.02 1.00 1/33 13290 /proc/meminfo: memFree=750788/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=4444 CPUtime=0 /proc/13290/stat : 13290 (aspcud-trendy-1) D 13289 13290 3447 769 3447 4202496 844 0 16 0 0 0 0 0 24 0 1 0 528136026 4550656 729 1283457024 134512640 135539072 4294280208 18446744073709551615 4159893764 0 0 16781312 2 18446744071564332000 0 0 17 0 0 0 0 /proc/13290/statm: 1111 729 362 251 0 406 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4444 [startup+0.204659 s] /proc/loadavg: 1.01 1.02 1.00 1/33 13290 /proc/meminfo: memFree=750788/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=5624 CPUtime=0 /proc/13290/stat : 13290 (aspcud-trendy-1) S 13289 13290 3447 769 3447 4202496 1000 0 18 0 0 0 0 0 24 0 1 0 528136026 5758976 841 1283457024 134512640 135539072 4294280208 18446744073709551615 4159735118 0 0 16781312 2 18446744071564457842 0 0 17 0 0 0 0 /proc/13290/statm: 1406 841 400 251 0 664 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 5624 [startup+0.304648 s] /proc/loadavg: 1.01 1.02 1.00 1/33 13290 /proc/meminfo: memFree=750788/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=4596 CPUtime=0 /proc/13290/stat : 13290 (aspcud-trendy-1) S 13289 13290 3447 769 3447 4202496 1016 0 18 0 0 0 0 0 24 0 1 0 528136026 4706304 840 1283457024 134512640 135539072 4294280208 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13290/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4596 [startup+0.713438 s] /proc/loadavg: 1.01 1.02 1.00 1/33 13290 /proc/meminfo: memFree=750788/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=4596 CPUtime=0 /proc/13290/stat : 13290 (aspcud-trendy-1) S 13289 13290 3447 769 3447 4202496 1016 0 18 0 0 0 0 0 24 0 1 0 528136026 4706304 840 1283457024 134512640 135539072 4294280208 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13290/statm: 1149 840 401 251 0 407 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 4596 [startup+1.51356 s] /proc/loadavg: 1.01 1.02 1.00 2/35 13292 /proc/meminfo: memFree=738688/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=4596 CPUtime=0 /proc/13290/stat : 13290 (aspcud-trendy-1) S 13289 13290 3447 769 3447 4202496 1016 0 18 0 0 0 0 0 24 0 1 0 528136026 4706304 840 1283457024 134512640 135539072 4294280208 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13290/statm: 1149 840 401 251 0 407 0 [pid=13292] ppid=13290 vsize=12176 CPUtime=1.23 /proc/13292/stat : 13292 (cudf2lp) R 13290 13290 3447 769 3447 4202496 2896 0 17 0 123 0 0 0 25 0 1 0 528136047 12468224 2708 1283457024 134512640 135993029 4288757136 18446744073709551615 134569150 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13292/statm: 3044 2708 110 362 0 2626 0 Current children cumulated CPU time (s) 1.23 Current children cumulated vsize (KiB) 16772 [startup+3.11381 s] /proc/loadavg: 1.01 1.02 1.00 2/35 13292 /proc/meminfo: memFree=729512/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=4596 CPUtime=0 /proc/13290/stat : 13290 (aspcud-trendy-1) S 13289 13290 3447 769 3447 4202496 1016 0 18 0 0 0 0 0 24 0 1 0 528136026 4706304 840 1283457024 134512640 135539072 4294280208 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13290/statm: 1149 840 401 251 0 407 0 [pid=13292] ppid=13290 vsize=24700 CPUtime=2.83 /proc/13292/stat : 13292 (cudf2lp) R 13290 13290 3447 769 3447 4202496 5974 0 17 0 283 0 0 0 25 0 1 0 528136047 25292800 5786 1283457024 134512640 135993029 4288757136 18446744073709551615 134579311 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13292/statm: 6175 5786 111 362 0 5757 0 Current children cumulated CPU time (s) 2.83 Current children cumulated vsize (KiB) 29296 [startup+6.31427 s] /proc/loadavg: 1.01 1.02 1.00 2/35 13292 /proc/meminfo: memFree=703348/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=4596 CPUtime=0 /proc/13290/stat : 13290 (aspcud-trendy-1) S 13289 13290 3447 769 3447 4202496 1016 0 18 0 0 0 0 0 24 0 1 0 528136026 4706304 840 1283457024 134512640 135539072 4294280208 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13290/statm: 1149 840 401 251 0 407 0 [pid=13292] ppid=13290 vsize=50440 CPUtime=6.02 /proc/13292/stat : 13292 (cudf2lp) R 13290 13290 3447 769 3447 4202496 12293 0 17 0 600 2 0 0 25 0 1 0 528136047 51650560 12105 1283457024 134512640 135993029 4288757136 18446744073709551615 134538316 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13292/statm: 12610 12105 111 362 0 12192 0 Current children cumulated CPU time (s) 6.02 Current children cumulated vsize (KiB) 55036 [startup+12.7056 s] /proc/loadavg: 1.01 1.02 1.00 2/35 13292 /proc/meminfo: memFree=599996/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=4596 CPUtime=0 /proc/13290/stat : 13290 (aspcud-trendy-1) S 13289 13290 3447 769 3447 4202496 1016 0 18 0 0 0 0 0 24 0 1 0 528136026 4706304 840 1283457024 134512640 135539072 4294280208 18446744073709551615 4159738798 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/13290/statm: 1149 840 401 251 0 407 0 [pid=13292] ppid=13290 vsize=158264 CPUtime=12.4 /proc/13292/stat : 13292 (cudf2lp) R 13290 13290 3447 769 3447 4202496 39147 0 19 0 1151 89 0 0 25 0 1 0 528136047 162062336 38928 1283457024 134512640 135993029 4288757136 18446744073709551615 135479934 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13292/statm: 39566 38928 135 362 0 39148 0 Current children cumulated CPU time (s) 12.4 Current children cumulated vsize (KiB) 162860 [startup+25.5088 s] /proc/loadavg: 1.08 1.03 1.00 3/36 13294 /proc/meminfo: memFree=225668/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=4596 CPUtime=13.81 /proc/13290/stat : 13290 (aspcud-trendy-1) S 13289 13290 3447 769 3447 4202496 1210 48006 18 19 0 0 1226 155 20 0 1 0 528136026 4706304 843 1283457024 134512640 135539072 4294280208 18446744073709551615 4159738798 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/13290/statm: 1149 843 404 251 0 407 0 [pid=13293] ppid=13290 vsize=427360 CPUtime=9.39 /proc/13293/stat : 13293 (bingo) R 13290 13290 3447 769 3447 4202496 127402 0 20 0 895 44 0 0 25 0 1 0 528137437 437616640 82866 1283457024 134512640 136195415 4292078576 18446744073709551615 135137823 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13293/statm: 106840 82866 220 411 0 106427 0 [pid=13294] ppid=13290 vsize=178044 CPUtime=1.81 /proc/13294/stat : 13294 (clasp) S 13290 13290 3447 769 3447 4202496 50485 0 16 0 161 20 0 0 18 0 1 0 528137438 182317056 43456 1283457024 134512640 136080129 4287828112 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/13294/statm: 44511 43456 144 383 0 44126 0 Current children cumulated CPU time (s) 25.01 Current children cumulated vsize (KiB) 610000 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+31.1086 s] /proc/loadavg: 1.16 1.05 1.01 2/36 13294 /proc/meminfo: memFree=4256/1048576 swapFree=2094596/2097144 [pid=13290] ppid=13289 vsize=4596 CPUtime=13.81 /proc/13290/stat : 13290 (aspcud-trendy-1) S 13289 13290 3447 769 3447 4202496 1210 48006 18 19 0 0 1226 155 20 0 1 0 528136026 4706304 843 1283457024 134512640 135539072 4294280208 18446744073709551615 4159738798 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/13290/statm: 1149 843 404 251 0 407 0 [pid=13293] ppid=13290 vsize=946692 CPUtime=14.05 /proc/13293/stat : 13293 (bingo) R 13290 13290 3447 769 3447 4202496 268328 0 20 0 1294 111 0 0 25 0 1 0 528137437 969412608 179892 1283457024 134512640 136195415 4292078576 18446744073709551615 134659714 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/13293/statm: 236673 179892 220 411 0 236260 0 [pid=13294] ppid=13290 vsize=202216 CPUtime=2.49 /proc/13294/stat : 13294 (clasp) S 13290 13290 3447 769 3447 4202496 57676 0 16 0 227 22 0 0 18 0 1 0 528137438 207069184 49203 1283457024 134512640 136080129 4287828112 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/13294/statm: 50554 49203 144 383 0 50169 0 Current children cumulated CPU time (s) 30.35 Current children cumulated vsize (KiB) 1153504 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 status: 1 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13290 and gives # childrusage.ru_utime.tv_sec=14 # childrusage.ru_utime.tv_usec=532908 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=800112 # CPU time returned by wait4() is 16.333 # while last known CPU time is 30.35 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 31.1904 CPU time (s): 30.35 CPU user time (s): 27.47 CPU system time (s): 2.88 CPU usage (%): 97.3056 Max. virtual memory (cumulated for all children) (KiB): 1153504 getrusage(RUSAGE_CHILDREN,...) data: user time used= 14.5329 system time used= 1.80011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107667 page faults= 54 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8300 involuntary context switches= 215 runsolver used 0 second user time and 0.004 second system time The end