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/201108300820/aspuncud-user-1.0/rand282.cudf.dudf-random.log.runsolver ./aspuncud-user-1.0 /home/misc2010/data/2011/dudf-random//rand282.cudf /home/misc2010/tmp/201108300820/aspuncud-user-1.0/rand282.cudf.dudf-random.result +sum(installedsize) 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.94 1.03 1.00 2/36 3823 /proc/meminfo: memFree=931648/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=3020 CPUtime=0 /proc/3823/stat : 3823 (runsolver) D 3822 3823 2160 34817 2160 4202560 73 0 0 0 0 0 0 0 24 0 1 0 51741742 3092480 94 1283457024 134512640 134586868 4294117504 18446744073709551615 4294960130 0 0 0 24578 18446744071564332000 0 0 17 0 0 0 0 /proc/3823/statm: 755 94 62 19 0 54 0 [startup+0.162457 s] /proc/loadavg: 0.94 1.03 1.00 2/36 3823 /proc/meminfo: memFree=931648/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=0 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 571 1520 0 3 0 0 0 0 25 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.206489 s] /proc/loadavg: 0.94 1.03 1.00 2/36 3823 /proc/meminfo: memFree=931648/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=0 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 571 1520 0 3 0 0 0 0 25 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.30652 s] /proc/loadavg: 0.94 1.03 1.00 2/36 3823 /proc/meminfo: memFree=931648/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=0 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 571 1520 0 3 0 0 0 0 25 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+0.70659 s] /proc/loadavg: 0.94 1.03 1.00 2/36 3823 /proc/meminfo: memFree=931648/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=0 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 571 1520 0 3 0 0 0 0 25 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2588 [startup+1.5067 s] /proc/loadavg: 0.94 1.03 1.00 2/40 3834 /proc/meminfo: memFree=912656/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=0 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 571 1520 0 3 0 0 0 0 25 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=3448 CPUtime=0 /proc/3832/stat : 3832 (unclasp) S 3823 3823 2160 34817 2160 4202496 402 0 5 0 0 0 0 0 25 0 1 0 51741747 3530752 272 1283457024 134512640 135121179 4286862576 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/3832/statm: 862 272 240 149 0 53 0 [pid=3833] ppid=3823 vsize=2692 CPUtime=0 /proc/3833/stat : 3833 (gringo) S 3823 3823 2160 34817 2160 4202496 385 0 23 0 0 0 0 0 24 0 1 0 51741747 2756608 281 1283457024 134512640 137056543 4294021488 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/3833/statm: 673 281 252 622 0 48 0 [pid=3834] ppid=3823 vsize=27484 CPUtime=1.29 /proc/3834/stat : 3834 (cudf2lp) R 3823 3823 2160 34817 2160 4202496 7565 0 15 0 127 2 0 0 25 0 1 0 51741747 28143616 6085 1283457024 134512640 135786343 4292241632 18446744073709551615 134606157 0 0 6 0 0 0 0 17 0 0 0 0 /proc/3834/statm: 6871 6085 128 311 0 6558 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 36212 [startup+3.10693 s] /proc/loadavg: 0.94 1.03 1.00 2/40 3834 /proc/meminfo: memFree=887484/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=0 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 571 1520 0 3 0 0 0 0 25 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=12876 CPUtime=0.02 /proc/3832/stat : 3832 (unclasp) S 3823 3823 2160 34817 2160 4202496 3107 0 6 0 2 0 0 0 18 0 1 0 51741747 13185024 2592 1283457024 134512640 135121179 4286862576 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/3832/statm: 3219 2592 275 149 0 2410 0 [pid=3833] ppid=3823 vsize=17324 CPUtime=0.51 /proc/3833/stat : 3833 (gringo) R 3823 3823 2160 34817 2160 4202496 4767 0 23 0 51 0 0 0 18 0 1 0 51741747 17739776 3230 1283457024 134512640 137056543 4294021488 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3833/statm: 4331 3230 253 622 0 3706 0 [pid=3834] ppid=3823 vsize=43700 CPUtime=2.33 /proc/3834/stat : 3834 (cudf2lp) R 3823 3823 2160 34817 2160 4202496 13482 0 15 0 228 5 0 0 25 0 1 0 51741747 44748800 10732 1283457024 134512640 135786343 4292241632 18446744073709551615 135258574 0 0 6 0 0 0 0 17 0 0 0 0 /proc/3834/statm: 10925 10732 139 311 0 10612 0 Current children cumulated CPU time (s) 2.86 Current children cumulated vsize (KiB) 76488 [startup+6.30796 s] /proc/loadavg: 1.02 1.05 1.00 3/40 3834 /proc/meminfo: memFree=795292/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=2.93 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 15005 0 18 0 0 288 5 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=53284 CPUtime=0.22 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 15307 0 6 0 18 4 0 0 18 0 1 0 51741747 54562816 12496 1283457024 134512640 135121179 4286862576 18446744073709551615 4294960130 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 13321 12496 276 149 0 12512 0 [pid=3833] ppid=3823 vsize=75292 CPUtime=2.93 /proc/3833/stat : 3833 (gringo) R 3823 3823 2160 34817 2160 4202496 25340 0 23 0 284 9 0 0 18 0 1 0 51741747 77099008 15209 1283457024 134512640 137056543 4294021488 18446744073709551615 134608568 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3833/statm: 18823 15209 268 622 0 18198 0 Current children cumulated CPU time (s) 6.08 Current children cumulated vsize (KiB) 131164 [startup+12.7102 s] /proc/loadavg: 1.02 1.05 1.00 2/38 3834 /proc/meminfo: memFree=803764/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=8.05 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 63414 0 41 0 0 777 28 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=130892 CPUtime=4.43 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 94516 0 7 0 416 27 0 0 25 0 1 0 51741747 134033408 30395 1283457024 134512640 135121179 4286862576 18446744073709551615 134734450 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 32723 30395 319 149 0 31914 0 Current children cumulated CPU time (s) 12.48 Current children cumulated vsize (KiB) 133480 [startup+25.5041 s] /proc/loadavg: 1.02 1.04 1.00 2/38 3834 /proc/meminfo: memFree=806244/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=8.05 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 63414 0 41 0 0 777 28 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=130892 CPUtime=17.21 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 346565 0 7 0 1609 112 0 0 25 0 1 0 51741747 134033408 30402 1283457024 134512640 135121179 4286862576 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 32723 30402 319 149 0 31914 0 Current children cumulated CPU time (s) 25.26 Current children cumulated vsize (KiB) 133480 [startup+51.1127 s] /proc/loadavg: 1.01 1.04 1.00 2/38 3834 /proc/meminfo: memFree=806120/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=8.05 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 63414 0 41 0 0 777 28 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=130904 CPUtime=42.78 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 847577 0 7 0 3952 326 0 0 25 0 1 0 51741747 134045696 30414 1283457024 134512640 135121179 4286862576 18446744073709551615 134734361 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 32726 30414 319 149 0 31917 0 Current children cumulated CPU time (s) 50.83 Current children cumulated vsize (KiB) 133492 [startup+102.306 s] /proc/loadavg: 1.00 1.03 1.00 2/38 3834 /proc/meminfo: memFree=802276/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=8.05 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 63414 0 41 0 0 777 28 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=134840 CPUtime=93.96 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 1833757 0 7 0 8626 770 0 0 25 0 1 0 51741747 138076160 31402 1283457024 134512640 135121179 4286862576 18446744073709551615 134981267 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 33710 31402 321 149 0 32901 0 Current children cumulated CPU time (s) 102.01 Current children cumulated vsize (KiB) 137428 [startup+162.307 s] /proc/loadavg: 1.00 1.02 1.00 2/38 3834 /proc/meminfo: memFree=805748/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=8.05 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 63414 0 41 0 0 777 28 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=130920 CPUtime=153.91 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 2966309 0 7 0 14134 1257 0 0 25 0 1 0 51741747 134062080 30456 1283457024 134512640 135121179 4286862576 18446744073709551615 134734477 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 32730 30456 321 149 0 31921 0 Current children cumulated CPU time (s) 161.96 Current children cumulated vsize (KiB) 133508 [startup+222.309 s] /proc/loadavg: 1.00 1.02 1.00 2/40 3838 /proc/meminfo: memFree=805352/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=8.05 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 63414 0 41 0 0 777 28 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=130924 CPUtime=213.86 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 4085872 0 7 0 19672 1714 0 0 25 0 1 0 51741747 134066176 30452 1283457024 134512640 135121179 4286862576 18446744073709551615 4159861920 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 32731 30452 321 149 0 31922 0 Current children cumulated CPU time (s) 221.91 Current children cumulated vsize (KiB) 133512 [startup+282.311 s] /proc/loadavg: 1.00 1.01 1.00 2/40 3844 /proc/meminfo: memFree=801508/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=8.05 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 63414 0 41 0 0 777 28 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=134424 CPUtime=273.78 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 5188174 0 7 0 25196 2182 0 0 25 0 1 0 51741747 137650176 30642 1283457024 134512640 135121179 4286862576 18446744073709551615 134990535 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 33606 30642 321 149 0 32797 0 Current children cumulated CPU time (s) 281.83 Current children cumulated vsize (KiB) 137012 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.504 s] /proc/loadavg: 1.00 1.01 1.00 2/40 3844 /proc/meminfo: memFree=805104/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=8.05 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 63414 0 41 0 0 777 28 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=131296 CPUtime=281.97 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 5338674 0 7 0 25951 2246 0 0 25 0 1 0 51741747 134447104 30469 1283457024 134512640 135121179 4286862576 18446744073709551615 134849021 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 32824 30469 321 149 0 32015 0 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (KiB) 133884 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+290.504 s] /proc/loadavg: 1.00 1.01 1.00 2/40 3844 /proc/meminfo: memFree=805104/1048576 swapFree=0/0 [pid=3823] ppid=3822 vsize=2588 CPUtime=8.05 /proc/3823/stat : 3823 (aspuncud-user-1) S 3822 3823 2160 34817 2160 4202496 572 63414 0 41 0 0 777 28 18 0 1 0 51741742 2650112 297 1283457024 134512640 135304128 4289465536 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/3823/statm: 647 297 251 194 0 34 0 [pid=3832] ppid=3823 vsize=131296 CPUtime=281.97 /proc/3832/stat : 3832 (unclasp) R 3823 3823 2160 34817 2160 4202496 5338674 0 7 0 25951 2246 0 0 25 0 1 0 51741747 134447104 30469 1283457024 134512640 135121179 4286862576 18446744073709551615 134849021 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/3832/statm: 32824 30469 321 149 0 32015 0 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (KiB) 133884 Child status: 0 Real time (s): 290.543 CPU time (s): 290.046 CPU user time (s): 267.285 CPU system time (s): 22.7614 CPU usage (%): 99.8291 Max. virtual memory (cumulated for all children) (KiB): 250932 getrusage(RUSAGE_CHILDREN,...) data: user time used= 267.285 system time used= 22.7614 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5405033 page faults= 50 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9602 involuntary context switches= 11335 runsolver used 0 second user time and 0 second system time The end