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/3e4f8550-0b33-11df-942d-00163e1d94dc.cudf.debian-dudf.log.runsolver ./aspcud-trendy-1.2 /home/misc2010/data/2010/debian-dudf//3e4f8550-0b33-11df-942d-00163e1d94dc.cudf /home/misc2010/tmp/201007051233/aspcud-trendy-1.2/3e4f8550-0b33-11df-942d-00163e1d94dc.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.00 1.00 1.00 3/33 9187 /proc/meminfo: memFree=675696/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=3460 CPUtime=0.01 /proc/9187/stat : 9187 (aspcud-trendy-1) R 9186 9187 3447 769 3447 4202496 553 0 0 0 1 0 0 0 25 0 1 0 527470119 3543040 445 1283457024 134512640 135539072 4293001440 18446744073709551615 135047121 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/9187/statm: 865 445 280 251 0 166 0 [startup+0.123655 s] /proc/loadavg: 1.00 1.00 1.00 3/33 9187 /proc/meminfo: memFree=675696/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=0.02 /proc/9187/stat : 9187 (aspcud-trendy-1) R 9186 9187 3447 769 3447 4202496 974 0 0 0 2 0 0 0 25 0 1 0 527470119 4698112 837 1283457024 134512640 135539072 4293001440 18446744073709551615 4159521184 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/9187/statm: 1147 837 399 251 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4588 [startup+0.213674 s] /proc/loadavg: 1.00 1.00 1.00 3/33 9187 /proc/meminfo: memFree=675696/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=0.02 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 527470119 4698112 839 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 839 401 251 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4588 [startup+0.303681 s] /proc/loadavg: 1.00 1.00 1.00 3/33 9187 /proc/meminfo: memFree=675696/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=0.02 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 527470119 4698112 839 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 839 401 251 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4588 [startup+0.703757 s] /proc/loadavg: 1.00 1.00 1.00 3/33 9187 /proc/meminfo: memFree=675696/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=0.02 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 527470119 4698112 839 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 839 401 251 0 405 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4588 [startup+1.51402 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9189 /proc/meminfo: memFree=665220/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=0.02 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 527470119 4698112 839 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 839 401 251 0 405 0 [pid=9189] ppid=9187 vsize=14160 CPUtime=1.49 /proc/9189/stat : 9189 (cudf2lp) R 9187 9187 3447 769 3447 4202496 3412 0 0 0 147 2 0 0 25 0 1 0 527470121 14499840 3207 1283457024 134512640 135993029 4294318672 18446744073709551615 134569868 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9189/statm: 3540 3207 110 362 0 3122 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 18748 [startup+3.10441 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9189 /proc/meminfo: memFree=656416/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=0.02 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 527470119 4698112 839 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 839 401 251 0 405 0 [pid=9189] ppid=9187 vsize=27248 CPUtime=3.08 /proc/9189/stat : 9189 (cudf2lp) R 9187 9187 3447 769 3447 4202496 6591 0 0 0 306 2 0 0 25 0 1 0 527470121 27901952 6386 1283457024 134512640 135993029 4294318672 18446744073709551615 134602605 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9189/statm: 6812 6386 111 362 0 6394 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 31836 [startup+6.30524 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9189 /proc/meminfo: memFree=630996/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=0.02 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 527470119 4698112 839 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 839 401 251 0 405 0 [pid=9189] ppid=9187 vsize=52672 CPUtime=6.28 /proc/9189/stat : 9189 (cudf2lp) R 9187 9187 3447 769 3447 4202496 12825 0 0 0 624 4 0 0 25 0 1 0 527470121 53936128 12620 1283457024 134512640 135993029 4294318672 18446744073709551615 134566689 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9189/statm: 13168 12620 111 362 0 12750 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 57260 [startup+12.7125 s] /proc/loadavg: 1.00 1.00 1.00 2/35 9189 /proc/meminfo: memFree=512768/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=0.02 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1033 0 0 0 2 0 0 0 25 0 1 0 527470119 4698112 839 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 2 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 839 401 251 0 405 0 [pid=9189] ppid=9187 vsize=170476 CPUtime=12.64 /proc/9189/stat : 9189 (cudf2lp) R 9187 9187 3447 769 3447 4202496 42268 0 2 0 1132 132 0 0 25 0 1 0 527470121 174567424 42032 1283457024 134512640 135993029 4294318672 18446744073709551615 134847104 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9189/statm: 42619 42032 135 362 0 42201 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 175064 [startup+25.5064 s] /proc/loadavg: 1.14 1.03 1.01 2/36 9191 /proc/meminfo: memFree=89912/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=13.29 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1224 45528 0 2 2 0 1160 167 18 0 1 0 527470119 4698112 842 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 842 404 251 0 405 0 [pid=9190] ppid=9187 vsize=516264 CPUtime=10 /proc/9190/stat : 9190 (bingo) R 9187 9187 3447 769 3447 4202496 149862 0 0 0 949 51 0 0 25 0 1 0 527471453 528654336 97261 1283457024 134512640 136195415 4290905968 18446744073709551615 135604544 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9190/statm: 129066 97261 220 411 0 128653 0 [pid=9191] ppid=9187 vsize=188080 CPUtime=2.14 /proc/9191/stat : 9191 (clasp) S 9187 9187 3447 769 3447 4202496 53309 0 0 0 192 22 0 0 18 0 1 0 527471455 192593920 45960 1283457024 134512640 136080129 4286618464 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/9191/statm: 47020 45960 144 383 0 46635 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 708932 Maximum VSize exceeded: sending signal-name then SIGKILL [startup+29.4085 s] /proc/loadavg: 1.21 1.05 1.01 3/36 9191 /proc/meminfo: memFree=5932/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=13.29 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1224 45528 0 2 2 0 1160 167 18 0 1 0 527470119 4698112 842 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 842 404 251 0 405 0 [pid=9190] ppid=9187 vsize=955696 CPUtime=13.52 /proc/9190/stat : 9190 (bingo) R 9187 9187 3447 769 3447 4202496 267706 0 0 0 1272 80 0 0 25 0 1 0 527471453 978632704 177641 1283457024 134512640 136195415 4290905968 18446744073709551615 134655893 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9190/statm: 238924 177641 220 411 0 238511 0 [pid=9191] ppid=9187 vsize=192040 CPUtime=2.37 /proc/9191/stat : 9191 (clasp) S 9187 9187 3447 769 3447 4202496 54438 0 0 0 215 22 0 0 18 0 1 0 527471455 196648960 47089 1283457024 134512640 136080129 4286618464 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/9191/statm: 48010 47089 144 383 0 47625 0 Current children cumulated CPU time (s) 29.18 Current children cumulated vsize (KiB) 1152324 Sending User defined signal 1 to process tree (bottom up) Sleeping 10 seconds Solver just ended. Dumping a history of the last processes samples [startup+29.4085 s] /proc/loadavg: 1.21 1.05 1.01 3/36 9191 /proc/meminfo: memFree=5932/1048576 swapFree=2094608/2097144 [pid=9187] ppid=9186 vsize=4588 CPUtime=13.29 /proc/9187/stat : 9187 (aspcud-trendy-1) S 9186 9187 3447 769 3447 4202496 1224 45528 0 2 2 0 1160 167 18 0 1 0 527470119 4698112 842 1283457024 134512640 135539072 4293001440 18446744073709551615 4160459694 0 0 16781312 514 18446744071564329979 0 0 17 0 0 0 0 /proc/9187/statm: 1147 842 404 251 0 405 0 [pid=9190] ppid=9187 vsize=955696 CPUtime=13.52 /proc/9190/stat : 9190 (bingo) R 9187 9187 3447 769 3447 4202496 267706 0 0 0 1272 80 0 0 25 0 1 0 527471453 978632704 177641 1283457024 134512640 136195415 4290905968 18446744073709551615 134655893 0 0 16781312 0 0 0 0 17 0 0 0 0 /proc/9190/statm: 238924 177641 220 411 0 238511 0 [pid=9191] ppid=9187 vsize=192040 CPUtime=2.37 /proc/9191/stat : 9191 (clasp) S 9187 9187 3447 769 3447 4202496 54438 0 0 0 215 22 0 0 18 0 1 0 527471455 196648960 47089 1283457024 134512640 136080129 4286618464 18446744073709551615 135562558 0 0 16781312 16386 18446744071564457842 0 0 17 0 0 0 0 /proc/9191/statm: 48010 47089 144 383 0 47625 0 Current children cumulated CPU time (s) 29.18 Current children cumulated vsize (KiB) 1152324 Child status: 1 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 9187 and gives # childrusage.ru_utime.tv_sec=13 # childrusage.ru_utime.tv_usec=788861 # childrusage.ru_stime.tv_sec=1 # childrusage.ru_stime.tv_usec=912119 # CPU time returned by wait4() is 15.701 # while last known CPU time is 29.18 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 29.4912 CPU time (s): 29.18 CPU user time (s): 26.49 CPU system time (s): 2.69 CPU usage (%): 98.9448 Max. virtual memory (cumulated for all children) (KiB): 1152324 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.7889 system time used= 1.91212 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101964 page faults= 5 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7460 involuntary context switches= 523 runsolver used 0 second user time and 0 second system time The end