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/201108311143/aspuncud-user-1.0/rand192.cudf.dudf-random.log.runsolver ./aspuncud-user-1.0 /home/misc2010/data/2011/dudf-random//rand192.cudf /home/misc2010/tmp/201108311143/aspuncud-user-1.0/rand192.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: 1.00 0.85 0.45 5/39 20015 /proc/meminfo: memFree=883380/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2588 CPUtime=0 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 374 0 0 0 0 0 0 0 18 0 1 0 60766936 2650112 280 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/20012/statm: 647 280 234 194 0 34 0 [pid=20013] ppid=20012 vsize=2588 CPUtime=0 /proc/20013/stat : 20013 (aspuncud-user-1) S 20012 20012 19908 34817 19908 4202560 118 0 0 0 0 0 0 0 18 0 1 0 60766936 2650112 134 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 0 0 65538 18446744071564457842 0 0 17 0 0 0 0 /proc/20013/statm: 647 134 87 194 0 34 0 [pid=20014] ppid=20013 vsize=2588 CPUtime=0 /proc/20014/stat : 20014 (aspuncud-user-1) R 20013 20012 19908 34817 19908 4202560 127 0 0 0 0 0 0 0 25 0 1 0 60766936 2650112 151 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/20014/statm: 647 151 104 194 0 34 0 [pid=20015] ppid=20014 vsize=2588 CPUtime=0 /proc/20015/stat : 20015 (aspuncud-user-1) R 20014 20012 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 1 0 60766936 2650112 47 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/20015/statm: 647 47 0 194 0 34 0 [startup+0.125182 s] /proc/loadavg: 1.00 0.85 0.45 5/39 20015 /proc/meminfo: memFree=883380/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=0.01 /proc/20012/stat : 20012 (aspuncud-user-1) R 20011 20012 19908 34817 19908 4202496 552 1517 0 0 0 0 0 1 25 0 1 0 60766936 2654208 297 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65538 4 1132560123 0 0 0 17 0 0 0 0 /proc/20012/statm: 648 297 250 194 0 35 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2592 [startup+0.205196 s] /proc/loadavg: 1.00 0.85 0.45 5/39 20015 /proc/meminfo: memFree=883380/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=0.01 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 577 1517 0 0 0 0 0 1 25 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2592 [startup+0.305215 s] /proc/loadavg: 1.00 0.85 0.45 5/39 20015 /proc/meminfo: memFree=883380/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=0.01 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 577 1517 0 0 0 0 0 1 25 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2592 [startup+0.705314 s] /proc/loadavg: 1.00 0.85 0.45 5/39 20015 /proc/meminfo: memFree=883380/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=0.01 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 577 1517 0 0 0 0 0 1 25 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2592 [startup+1.50548 s] /proc/loadavg: 1.00 0.85 0.45 2/40 20023 /proc/meminfo: memFree=859312/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=0.01 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 577 1517 0 0 0 0 0 1 25 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=3440 CPUtime=0 /proc/20021/stat : 20021 (unclasp) S 20012 20012 19908 34817 19908 4202496 407 0 0 0 0 0 0 0 25 0 1 0 60766937 3522560 271 1283457024 134512640 135121179 4286954192 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/20021/statm: 860 271 240 149 0 51 0 [pid=20022] ppid=20012 vsize=2692 CPUtime=0 /proc/20022/stat : 20022 (gringo) S 20012 20012 19908 34817 19908 4202496 409 0 0 0 0 0 0 0 25 0 1 0 60766937 2756608 281 1283457024 134512640 137056543 4294908400 18446744073709551615 4294960130 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0 /proc/20022/statm: 673 281 252 622 0 48 0 [pid=20023] ppid=20012 vsize=27480 CPUtime=1.5 /proc/20023/stat : 20023 (cudf2lp) R 20012 20012 19908 34817 19908 4202496 7726 0 0 0 144 6 0 0 25 0 1 0 60766937 28139520 6229 1283457024 134512640 135786343 4287716224 18446744073709551615 134614188 0 0 6 0 0 0 0 17 0 0 0 0 /proc/20023/statm: 6870 6229 128 311 0 6557 0 Current children cumulated CPU time (s) 1.51 Current children cumulated vsize (KiB) 36204 [startup+3.1059 s] /proc/loadavg: 1.00 0.85 0.45 2/40 20023 /proc/meminfo: memFree=840092/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.35 /proc/20012/stat : 20012 (aspuncud-user-1) R 20011 20012 19908 34817 19908 4202496 578 15018 0 0 0 0 227 8 19 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 0 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=8736 CPUtime=0.67 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 1944 0 0 0 66 1 0 0 18 0 1 0 60766937 8945664 1673 1283457024 134512640 135121179 4286954192 18446744073709551615 4157561622 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 2184 1673 323 149 0 1375 0 [pid=20022] ppid=20012 vsize=0 CPUtime=0.07 /proc/20022/stat : 20022 (gringo) Z 20012 20012 19908 34817 19908 4202508 1238 0 0 0 7 0 0 0 18 0 1 0 60766937 0 0 1283457024 0 0 0 0 0 0 0 6 16384 18446744071564254338 0 0 17 0 0 0 0 /proc/20022/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11328 [startup+6.30687 s] /proc/loadavg: 1.00 0.86 0.45 2/38 20023 /proc/meminfo: memFree=860592/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=30684 CPUtime=3.87 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 7542 0 0 0 386 1 0 0 25 0 1 0 60766937 31420416 7150 1283457024 134512640 135121179 4286954192 18446744073709551615 134713296 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 7671 7150 323 149 0 6862 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33276 [startup+12.7087 s] /proc/loadavg: 1.00 0.86 0.46 2/38 20023 /proc/meminfo: memFree=816944/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=72672 CPUtime=10.26 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 18198 0 0 0 1016 10 0 0 25 0 1 0 60766937 74416128 17625 1283457024 134512640 135121179 4286954192 18446744073709551615 134839044 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 18168 17625 323 149 0 17359 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 75264 [startup+25.5033 s] /proc/loadavg: 1.00 0.86 0.46 2/38 20023 /proc/meminfo: memFree=752960/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=134392 CPUtime=23.04 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 33866 0 0 0 2289 15 0 0 25 0 1 0 60766937 137617408 33022 1283457024 134512640 135121179 4286954192 18446744073709551615 134980988 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 33598 33022 323 149 0 32789 0 Current children cumulated CPU time (s) 25.46 Current children cumulated vsize (KiB) 136984 [startup+51.1116 s] /proc/loadavg: 1.00 0.87 0.48 2/38 20023 /proc/meminfo: memFree=673848/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=214916 CPUtime=48.63 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 54846 0 0 0 4842 21 0 0 25 0 1 0 60766937 220073984 53045 1283457024 134512640 135121179 4286954192 18446744073709551615 134873589 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 53729 53045 323 149 0 52920 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 217508 [startup+102.311 s] /proc/loadavg: 1.00 0.89 0.50 2/38 20023 /proc/meminfo: memFree=496776/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=389552 CPUtime=99.79 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 111091 0 0 0 9936 43 0 0 25 0 1 0 60766937 398901248 96662 1283457024 134512640 135121179 4286954192 18446744073709551615 134836023 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 97388 96662 323 149 0 96579 0 Current children cumulated CPU time (s) 102.21 Current children cumulated vsize (KiB) 392144 [startup+162.311 s] /proc/loadavg: 1.00 0.91 0.53 2/38 20023 /proc/meminfo: memFree=286720/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=603672 CPUtime=159.76 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 196465 0 0 0 15902 74 0 0 25 0 1 0 60766937 618160128 149598 1283457024 134512640 135121179 4286954192 18446744073709551615 134980988 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 150918 149598 323 149 0 150109 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 606264 [startup+222.311 s] /proc/loadavg: 1.00 0.92 0.56 2/40 20026 /proc/meminfo: memFree=111112/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=776768 CPUtime=219.72 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 259008 0 0 0 21868 104 0 0 25 0 1 0 60766937 795410432 192873 1283457024 134512640 135121179 4286954192 18446744073709551615 134836110 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 194192 192873 323 149 0 193383 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 779360 [startup+282.309 s] /proc/loadavg: 1.00 0.93 0.58 2/40 20031 /proc/meminfo: memFree=35348/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=853520 CPUtime=279.68 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 326101 0 0 0 27830 138 0 0 25 0 1 0 60766937 874004480 212070 1283457024 134512640 135121179 4286954192 18446744073709551615 4159095937 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 213380 212070 323 149 0 212571 0 Current children cumulated CPU time (s) 282.1 Current children cumulated vsize (KiB) 856112 Maximum CPU time exceeded: sending signal-name then SIGKILL [startup+290.211 s] /proc/loadavg: 1.00 0.94 0.58 2/40 20032 /proc/meminfo: memFree=20840/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=865968 CPUtime=287.58 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 339383 0 0 0 28618 140 0 0 25 0 1 0 60766937 886751232 215159 1283457024 134512640 135121179 4286954192 18446744073709551615 134839703 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 216492 215159 323 149 0 215683 0 Current children cumulated CPU time (s) 290 Current children cumulated vsize (KiB) 868560 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.211 s] /proc/loadavg: 1.00 0.94 0.58 2/40 20032 /proc/meminfo: memFree=20840/1048576 swapFree=0/0 [pid=20012] ppid=20011 vsize=2592 CPUtime=2.42 /proc/20012/stat : 20012 (aspuncud-user-1) S 20011 20012 19908 34817 19908 4202496 578 16256 0 0 0 0 234 8 16 0 1 0 60766936 2654208 298 1283457024 134512640 135304128 4290721264 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0 /proc/20012/statm: 648 298 251 194 0 35 0 [pid=20021] ppid=20012 vsize=865968 CPUtime=287.58 /proc/20021/stat : 20021 (unclasp) R 20012 20012 19908 34817 19908 4202496 339383 0 0 0 28618 140 0 0 25 0 1 0 60766937 886751232 215159 1283457024 134512640 135121179 4286954192 18446744073709551615 134839703 0 0 6 16384 0 0 0 17 0 0 0 0 /proc/20021/statm: 216492 215159 323 149 0 215683 0 Current children cumulated CPU time (s) 290 Current children cumulated vsize (KiB) 868560 Child status: 0 Real time (s): 290.272 CPU time (s): 290.074 CPU user time (s): 288.546 CPU system time (s): 1.52809 CPU usage (%): 99.9317 Max. virtual memory (cumulated for all children) (KiB): 868580 getrusage(RUSAGE_CHILDREN,...) data: user time used= 288.546 system time used= 1.52809 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 358631 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 173 involuntary context switches= 3758 runsolver used 0 second user time and 0 second system time The end